Leon Chini | arXiv Science

arXiv2026

Model Theory of Generic Vector Space Endomorphisms V: The o-Minimal Case

This paper further studies the model companion of an endomorphism acting on a vector space, possibly with extra structure. Let $T$ be a model-complete theory that $\varnothing$-defines an infinite $K$-vector space $\mathbb{V}$. In previous work, we introduced a family $\{T^C_θ: C \in \mathcal{C}\}$ of extensions of the theory $T_θ:= T \cup \{\text{``$θ$ is an endomorphism of $\mathbb{V}$''}\}$ that parameterizes all consistent extensions of the form $$ T_θ\cup \left\{\sum\nolimits_{k}\bigcap\nolimits_{l}\operatorname{Ker}(ρ_{j, k, l}[θ]) = \sum\nolimits_{k}\bigcap\nolimits_{l} \operatorname{Ker}(η_{j, k, l}[θ]) : j \in \mathcal{J}\right\}, $$ where all sums and intersections are finite, all the $ρ[θ]$'s and $η[θ]$'s are polynomials over $K$ with $θ$ plugged in, and $\mathcal{J}$ is some possibly infinite index set. We also presented a sufficient condition that implies that every $T^C_θ$ has a model companion $Tθ^C$. In this paper, we study the case where $T$ is an o-minimal expansion of the theory of ordered groups. Doing so, we obtain a new family of theories that have $\operatorname{TP}_2$ and $\operatorname{SOP}$, and are $\operatorname{NATP}$, as well as distal non-o-minimal theories of various $\operatorname{dp}$-ranks with and without the exchange property.

math.LO↗

arXiv2026

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

This paper further studies the model companion of an endomorphism acting on a vector space, possibly with extra structure. Let $T$ be a model-complete theory that $\varnothing$-defines an infinite $K$-vector space $\mathbb{V}$. In previous work, we introduced a family $\{T^C_θ: C \in \mathcal{C}\}$ of extensions of the theory $T_θ:= T \cup \{\text{``$θ$ is an endomorphism of $\mathbb{V}$''}\}$ that parameterizes all consistent extensions of the form $$ T_θ\cup \left\{\sum\nolimits_{k}\bigcap\nolimits_{l}\operatorname{Ker}(ρ_{j, k, l}[θ]) = \sum\nolimits_{k}\bigcap\nolimits_{l} \operatorname{Ker}(η_{j, k, l}[θ]) : j \in \mathcal{J}\right\}, $$ where all sums and intersections are finite, all the $ρ[θ]$'s and $η[θ]$'s are polynomials over $K$ with $θ$ plugged in, and $\mathcal{J}$ is some possibly infinite index set. We also presented a sufficient condition that implies that every $T^C_θ$ has a model companion $Tθ^C$. In this paper, we show that, under this sufficient condition, the model companion $Tθ^C$ has $\operatorname{NATP}$, a neostability property recently introduced by Ahn and Kim, whenever $T$ does.

math.LO↗

arXiv2026

Model theory of generic vector space endomorphisms III: Reducts

This paper further studies the model companion of an endomorphism acting on a vector space, possibly with extra structure. Let $T$ be a model-complete theory that $\varnothing$-defines an infinite $K$-vector space $\mathbb{V}$. In previous work, we introduced a family $\{T^C_θ: C \in \mathcal{C}\}$ of extensions of the theory $T_θ:= T \cup \{\text{``$θ$ is an endomorphism of $\mathbb{V}$''}\}$ that parameterizes all consistent extensions of the form $$ T_θ\cup \left\{\sum\nolimits_{k}\bigcap\nolimits_{l}\operatorname{Ker}(ρ_{j, k, l}[θ]) = \sum\nolimits_{k}\bigcap\nolimits_{l} \operatorname{Ker}(η_{j, k, l}[θ]) : j \in \mathcal{J}\right\}, $$ where all sums and intersections are finite, all the $ρ[θ]$'s and $η[θ]$'s are polynomials over $K$ with $θ$ plugged in, and $\mathcal{J}$ is some possibly infinite index set. We also presented a sufficient condition that implies that every $T^C_θ$ has a model companion $Tθ^C$. We simplify our axiomatization of $Tθ^C$ and the criterion for its existence for theories ``close to the theory of $K$-vector spaces''. We apply this to the explicit case where $T$ is the pure theory of $K$-vector spaces and characterize all $\varnothing$-definable endomorphisms of $\mathbb{V}$ in this case. Given an existentially closed model $(\mathcal{M}, θ) \models T^C_θ$ and a polynomial $ρ\in K[X]$, we show that $(\mathcal{M},\operatorname{Ker}(ρ[θ]))$ is, unless $\operatorname{Ker}(ρ[θ]) = \{0\}$ or $\operatorname{Ker}(ρ[θ]) = \mathbb{V}$, an existentially closed model of $T_V := T \cup \{\text{``$V$ is a vector subspace of $\mathbb{V}$''}\}$. In the same vein, we present a criterion for when $(\mathcal{M}, ρ[θ])$ is again an existentially closed model of $T^{C'}_θ$ for some $C' \in \mathcal{C}$.

math.LO↗

arXiv2026

Model Theory of Generic Vector Space Endomorphisms II

This paper further studies the model companion of an endomorphism acting on a vector space, possibly with extra structure. Given a theory $T$ that $\varnothing$-defines an infinite $K$-vector space $\mathbb{V}$ in every model, we set $T_θ:= T \cup \{\text{``$θ$ is a $K$-endomorphism of $\mathbb{V}$''}\}$. We previously defined a family $\{T^C_θ: C \in \mathcal{C}\}$ of extensions of $T_θ$ that parameterizes all consistent extensions of the form $$ T_θ\cup \left\{\sum\nolimits_{k}\bigcap\nolimits_{l}\operatorname{Ker}(ρ_{j, k, l}[θ]) = \sum\nolimits_{k}\bigcap\nolimits_{l} \operatorname{Ker}(η_{j, k, l}[θ]) : j \in \mathcal{J}\right\}, $$ where all sums and intersections are finite, and all the $ρ[θ]$'s and $η[θ]$'s are polynomials over $K$ with $θ$ plugged in. Notice that properties such as $θ^2 - 2\operatorname{Id} = 0$ or ``$ρ[θ]$ is injective for every $ρ\in K[X] \setminus \{0\}$'' can be expressed in such a manner. We also presented a sufficient condition that implies that every $T^C_θ$ has a model companion $Tθ^C$. Under this condition, we characterize all definable sets in $Tθ^C$ and study the completions of $Tθ^C$ as well as the algebraic closure. If $T$ is o-minimal and extends $\operatorname{Th}(\mathbb{R}, <)$, we prove that $Tθ^C$ has an o-minimal open core.

math.LO↗

arXiv2026

Model Theory of Generic Vector Space Endomorphisms

This paper deals with the model companion of an endomorphism acting on a vector space, possibly with extra structure. Given a theory $T$ that $\varnothing$-defines an infinite $K$-vector space ${\mathbb{V}}$ in every model, we define $T_θ:= T \cup \{\text{``$θ$ defines a $K$-endomorphism of $\mathbb{V}$''}\}$. We then consider extensions of the form $$ T_θ\cup \big\{\sum\nolimits_{k}\bigcap\nolimits_{l}\operatorname{Ker}(ρ_{j, k, l}[θ]) = \sum\nolimits_{k}\bigcap\nolimits_{l} \operatorname{Ker}(η_{j, k, l}[θ]) : j \in \mathcal{J}\big\}, $$ where all sums and intersections are finite, and all the $ρ[θ]$'s and $η[θ]$'s are polynomials over $K$ with $θ$ plugged in. Note that properties such as $θ^2 - 2\operatorname{Id} = 0$ or $\operatorname{Ker}(θ^n) = \operatorname{Ker}(θ^{n+1})$ can be expressed in such a form. We then parametrize the consistent extensions of this form by a family $\{T^C_θ: C \in \mathcal{C}\}$ and characterize the existentially closed models of each $T^C_θ$. We also present a sufficient criterion, which depends only on $T$, for when these characterizations are first-order expressible, i.e., for when a model companion of each $T^C_θ$ exists.

math.LO↗