← Back to arXiv
arXivLogicarXiv:2607.19564

Model Theory of Generic Vector Space Endomorphisms IV: Preservation of NATP

The paper studies what happens when you take a mathematical structure described by a theory T (which includes an infinite vector space) and add a linear map called an endomorphism to it. An endomorphism is simply a map from the vector space to itself that respects the vector space operations. The central object of study is called a "model companion," which is a kind of idealized or generic version of the theory that captures what a "typical" or "generic" endomorphism should look like. Previous work by the same authors built a whole family of such model companions, organized by extra conditions describing how the kernels of polynomial expressions in the endomorphism relate to one another.

The main new result is about a property called NATP, which stands for "Not having the Antichain Tree Property." This is a recently introduced concept in a branch of mathematical logic called neostability theory, which classifies mathematical structures according to how complex or chaotic their definable sets are. Roughly speaking, NATP is a tameness condition: a theory has NATP if certain complicated tree-like combinatorial patterns cannot be encoded in the structure. The paper proves that if the original theory T has NATP, then so does the model companion of the theory with the generic endomorphism added.

The significance of this result is that it shows the process of adding a generic endomorphism to a well-behaved structure preserves a meaningful notion of tameness. This fits into a broader program of understanding how logical and combinatorial properties of mathematical theories are inherited or destroyed when you expand the structures you are studying. Results of this kind help build a map of which mathematical structures are tractable and which are wild, and they confirm that generic endomorphisms, despite adding new complexity, do not introduce the worst kinds of combinatorial chaos.

Read original →