Related papers: Model theory of valued fields with an endomorphism
We provide axiomatization and relative quantifier elimination for valued fields equipped with an automorphism, in residue characteristic zero. Similar results are known under strong assumptions on the interaction between the automorphism…
We prove that the class of separably algebraically closed valued fields equipped with a distinguished Frobenius endomorphism $x \mapsto x^q$ is decidable, uniformly in $q$. The result is a simultaneous generalization of the work of…
Following our first article, we continue to investigate ultrametic modules over a ring of twisted polynomials of the form $[K;\vfi]$, where $\vfi$ is a ring endomorphism of $K$. The main motivation comes from the the theory of valued…
We prove quantifier elimination for the theory of quasi-real closed fields with a compatible valuation. This unifies the same known results for algebraically closed valued fields and real closed valued fields.
We present a unifying framework of residual domination for (expansions of) henselian valued fields of equicharacteristic zero, encompassing some valued fields with operators. We show that the class of residually dominated types coincides…
We study valued fields equipped with an automorphism $\sigma$ which is locally infinitely contracting in the sense that $\alpha\ll\sigma\alpha$ for all $0<\alpha\in\Gamma$. We show that various notions of valuation theory, such as Henselian…
We study valued fields equipped with an automorphism. We prove that all of them have an extension admitting an equivariant cross-section of the valuation. In residual characteristic zero, and in the presence of such a cross-section, we show…
We consider valued fields with a distinguished contractive map as valued modules over the Ore ring of difference operators. We prove quantifier elimination for separably closed valued fields with the Frobenius map, in the pure module…
We prove some results about the model theory of fields with a derivation of the Frobenius map, especially that the model companion of this theory is axiomatizable by axioms used by Wood in the case of the theory $\operatorname{DCF}_p$ and…
We investigate the model completeness of the theory of a mixed characteristic henselian valued field with finite ramification relative to the residue field and value group. We address the case in which the valued field has a value group…
We present a reduction of the function field Mordell-Lang conjecture to the function field Manin-Mumford conjecture, in all characteristics, via model theory, but avoiding recourse to the dichotomy theorems for (generalized) Zariski…
We show that a projective variety with an int-amplified endomorphism of degree invertible in the base field satisfies Bott vanishing. This is a new way to analyze which varieties have nontrivial endomorphisms. In particular, we extend some…
We present an application of elimination theory to the study of singularities over arbitrary fields, particularly to the open problem of resolution. A partial extension of a function, defining resolution of singularities over fields of…
In this paper we discuss multiplicative relations between eigenvalues of Frobenius endomorphism of abelian varieties of small dimension over finite fields.
We show that the theories of some (ordered) central simple algebras with involution over real closed fields are model-complete or admit quantifier elimination, and characterize positive cones in terms of morphisms into models of some of…
We study the relative Frobenius map associated with a map of derived commutative rings over a field of positive characteristic. As part of this, we examine a relative analog of perfectness and construct a relative inverse limit perfection…
A bounded automorphism of a field or a group with trivial approximate centre is definable. In an expansion of a field by a Pfaffian family F of additive endomorphisms such that algebraic closure in the expansion coincides with relative…
This paper gives a survey on a valuation theoretical approach to local uniformization in positive characteristic, the model theory of valued fields in positive characteristic, and their connection with the valuation theoretical phenomenon…
A Basarab-Kuhlmann style language L_RV is introduced in the Hrushovski-Kazhdan integration theory. The theory ACVF of algebraically closed valued fields formulated in this language admits quantifier elimination. In this paper, using…
We prove that a quasi-finite endomorphism of an algebraic variety over an algebraically closed field of characteristic zero, that is injective on the complement of a closed subvariety, is an automorphism. We also prove that an endomorphism…