Related papers: A decisive Theorem (Un th\'eor\`eme d\'ecisif)

We define a Weil-\'etale complex with compact support for duals (in the sense of the Bloch dualizing cycles complex $\mathbb{Z}^c$) of a large class of $\mathbb{Z}$-constructible sheaves on an integral $1$-dimensional proper arithmetic…

In many instances in first order logic or computable algebra, classical theorems show that many problems are undecidable for general structures, but become decidable if some rigidity is imposed on the structure. For example, the set of…

We provide a characterisation of differentially large fields in arbitrary characteristic and a single derivation in the spirit of Blum axioms for differentially closed fields. In the case of characteristic zero, we use these axioms to…

In this short note, we mimic the proof of the simplicity of the theory ACFA of generic difference fields in order to provide a criterion, valid for certain theories of pure fields and fields equipped with operators, which shows that a…

We prove the fundamental lemma for twisted endoscopy, for the unit elements of the spherical Hecke algebras, in the case of a non ramified elliptic endo- scopic datum whose underlying group is a torus. This implies that the fundamental…

We prove the existence of an effective universal upper bound for the order of any integral periodic orbit of any integral algebraic dynamical system in a fixed ambient space. Using this, we demonstrate the decidability of periodicity in…

A theory $T$ is said to be relatively decidable if for every model of $T$, one can compute the elementary diagram of that model from its atomic diagram together with $T$. We verify a conjecture of Chubb, Miller, and Solomon by showing that…

Consider the semialgebraic structure over the real field. More generally, let an ominimal structure be over a real closed field. We show that a definable metric space X with a definable metric d is embedded into a Euclidean space so that…

In this paper we prove global class field theory using a purely geometric result. We first write in detail Deligne's proof to the unramified case of class field theory, including defining the required objects for the proof. Then we…

We prove the following theorems: Theorem 1: For any E-field with cyclic kernel, in particular $\mathbb C$ or the Zilber fields, all real abelian algebraic numbers are pointwise definable. Theorem 2: For the Zilber fields, the only pointwise…

We give a new proof of the theorem stating that for any connected linear algebraic group G over an algebraically closed field k of characteristic 0 and for any closed connected subgroup H of G, the unramified Brauer group of G/H vanishes.

We show that a tensor product of irreducible, finite dimensional representations of a simple Lie algebra over a field of characteristic zero, determines the individual constituents uniquely. This is analogous to the uniqueness of prime…

We show that the $\ell$-adic Tate conjecture for divisors on smooth proper varieties over finitely generated fields of positive characteristic follows from the $\ell$-adic Tate conjecture for divisors on smooth projective surfaces over…

We determine a strong form of the decomposition theorem for proper toric maps over finite fields.

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…

We prove, under some mild hypothesis, that an \'etale cover of curves defined over a number field has infinitely many specializations into an everywhere unramified extension of number fields. This constitutes an "absolute" version of the…

We prove a theorem which asserts that the Lie algebra of all holomorphic vector fields on a compact K\"ahler manifold with a perturbed extremal metric has the structure similar to the case of an unperturbed extremal K\"ahler metric proved…

We prove that nonsingular retract rational algebraic varieties over any infinite field are uniformly retract rational. As a consequence, every rational, projective, nonsingular complex variety is algebraically elliptic.

Let $S$ be KLT threefold singularity over an algebraically closed field of positive characteristic $p>5$. We prove that its local \'etale fundamental group is tame and finite. Further, we show that every finite unipotent torsor over a big…

We prove that a perverse sheaf on a connected commutatitve algebraic group over a finite is generically unramified. This implies an equidistribution theorem for Tannakian monodromy groups in previously unavailable generality. We also prove…