Related papers: Contracting Endomorphisms of Valued Fields
We show that the K-theory cosheaf is a complete invariant for separable continuous fields with vanishing boundary maps over a finite-dimensional compact metrizable topological space whose fibers are stable Kirchberg algebras with rational…
For an abelian variety $A$ over an algebraically closed non-archimedean field $K$ of residue characteristic $p$, we show that the isomorphism class of the pro-\'etale perfectoid cover $\widetilde A=\varprojlim_{[p]}A$ is locally constant as…
We consider a class of foliations on the complex projective plane that are determined by a quadratic vector field in a fixed affine neighborhood. Such foliations, as a rule, have an invariant line at infinity. Two foliations with…
We propose a generic framework for establishing the decidability of a wide range of logical entailment problems (briefly called querying), based on the existence of countermodels that are structurally simple, gauged by certain types of…
We establish a polynomial ergodic theorem for actions of the affine group of a countable field $K$. As an application, we deduce--via a variant of Furstenberg's correspondence principle--that for fields of characteristic zero, any "large"…
Tarski initiated a logic-based approach to formal geometry that studies first-order structures with a ternary betweenness relation (\beta) and a quaternary equidistance relation (\equiv). Tarski established, inter alia, that the first-order…
We prove a conjecture of Medvedev and Scanlon for endomorphisms of connected commutative linear algebraic groups $G$ defined over an algebraically closed field $\mathbb{k}$ of characteristic $0$. That is, if $\Phi\colon G\longrightarrow G$…
E. Hrushovski proved that the theory of difference-differential fields of characteristic zero has a model-companion. We denote it DCFA. In this paper we study definable groups in a model of DCFA. First we prove that such a group is embeds…
We analyze the deformation theory of equivariant vector bundles. In particular, we provide an effective criterion for verifying whether all infinitesimal deformations preserve the equivariant structure. As an application, using rigidity of…
We study Frobenius eigenvalues of the compactly supported rigid cohomology of a variety defined over a finite field of $q$ elements via Dwork's method. A couple of arithmetic consequences will be drawn from this study. As the first…
We show that if $E \subset \mathbb{F}_q^d$, the $d$-dimensional vector space over the finite field with $q$ elements, and $|E| \geq \rho q^d$, where $ q^{-\frac{1}{2}}\ll \rho \leq 1$, then $E$ contains an isometric copy of at least $c…
We give a function field specific, algebraic proof of the main results of class field theory for abelian extensions of degree coprime to the characteristic. By adapting some methods known for number fields and combining them in a new way,…
It is proved that the fixed point submonoid and the periodic point submonoid of a trace monoid endomorphism are always finitely generated. Considering the Foata normal form metric on trace monoids and uniformly continuous endomorphisms, a…
Finite \'etale covers of a connected scheme $X$ are parametrised by the \'etale fundamental group via the monodromy correspondence. This was generalised to an exodromy correspondence for constructible sheaves, first in the topological…
We construct some extension ({\it Stable Field Theory}) of Cohomological Field Theory. The Stable Field Theory is a system of homomorphisms to some vector spaces generated by spheres and disks with punctures. It is described by a formal…
Building on work of J. Robinson and A. Shlapentokh, we develop a general framework to obtain definability and decidability results of large classes of infinite algebraic extensions of $\mathbb{F}_p(t)$. As an application, we show that for…
We develop the theory of matroids over one-dimensional algebraic groups, with special emphasis on positive characteristic. In particular, we compute the Lindstr\"om valuations and Frobenius flocks of such matroids. Building on work by Evans…
A Frobenius difference field is an algebraically closed field of characteristic $p>0$, enriched with a symbol for $x \mapsto x^{p^m}$. We study a sentence or formula in the language of fields with a distinguished automorphism, interpreted…
In this note we study sets of NIP formulas in some theories of fields and valued fields, with a special focus on the sets of quantifier-free and existential formulas. First, we give a new proof of the fact that Separably Closed Valued…
We prove field quantifier elimination for valued fields endowed with both an analytic structure and an automorphism that are $\sigma$-Henselian. From this result we can deduce various Ax-Kochen-Ersov type results with respect to…