相关论文: On function field Mordell-Lang and Manin-Mumford

The main theorem (2.2) consists in two characterizations of isomorphisms of factorial domains in terms of prime or primary rings elements, and unramified, flat or weakly injective affine schemes morphisms. In order to apply this theorem to…

Let $C$ be the class of separable-algebraically maximal equi-characteristic Kaplansky fields of a given imperfection degree, admitting an angular component map. We prove that the common theory of the class $C$ resplendently eliminates…

We propose analogs of the classical Generalized Riemann Hypothesis and the Generalized Simplicity Conjecture for the characteristic p L-series associated to function fields over a finite field. These analogs are based on the use of absolute…

The generalized Mordell-Lang conjecture (GML) is the statement that the irreducible components of the Zariski closure of a subset of a group of finite rank inside a semi-abelian variety are translates of closed algebraic subgroups. M.…

We give a short proof of the "prime-to-$p$ version" of the Manin-Mumford conjecture for an abelian variety over a number field, when it has supersingular reduction at a prime dividing $p$, by combining the methods of Bogomolov, Hrushovski,…

We give a new proof of quantifier elimination in the theory of all ordered abelian groups in a suitable language. More precisely, this is only "quantifier elimination relative to ordered sets" in the following sense. Each definable set in…

We obtain a refinement of Manin-Mumford (Raynaud's Theorem) for abelian schemes over some ring of integers. Torsion points are replaced by special 0-cycles, that is reductions modulo some, possibly varying, prime of Galois orbits of torsion…

In his paper on the Mordell-Lang conjecture, Hrushovski employed techniques from model theory to prove the function field version of the conjecture. In doing so he was able to answer a related question of Voloch, which we refer to…

We give here a counter-example to a conjecture of Spivakovsky. M. Spivakovsky conjectured that the function that appears in the strong Artin approximation theorem is bounded by a linear function. First we show that there is no Liouville…

There are abundant results on Diophantine approximation over fields of positive characteristic (see the survey papers [13, 25]), but there is very little information about simultaneous approximation. In this paper, we develop a technique of…

In this paper we shall show that when k is a field of positive characteristic the affine space A^n_k is not cancellative for any n greater than 2.

There are three aims of this note. The first one is to report some advances around the dynamical Mordell-Lang (=DML) conjecture. Second, we generalize some known results. For example, the Dynamical Mordell-lang conjecture was known for…

We use generalized Taylor formulae in order to give some simple constructions in the real closure of an \ovfz. We deduce a new, simple quantifier elimination algorithm for \rcvfs and some theorems about constructible subsets of real…

We formulate a conjecture on the finitude of rationality fields (i.e., Fourier coefficient fields) of newforms of bounded degree, and prove this for CM forms assuming a generalized Riemann hypothesis. Then we explicitly determine what…

This paper explores two generalizations of the classical Aubin-Lions Lemma. First we give a sufficient condition to commute weak limit and multiplication of two functions. We deduce from this criteria a compactness Theorem for degenerate…

We prove that various arithmetic quotients of the unit ball in $\mathbb{C}^n$ are Mordellic, in the sense that they have only finitely many rational points over any finitely generated field extension of $\mathbb{Q}$. In the previously known…

We prove elimination of field quantifiers for strongly dependent henselian fields in the Denef-Pas language. This is achieved by proving the result for a class of fields generalizing algebraically maximal Kaplansky fields. We deduce that if…

In this paper a constructive formalization of quantifier elimination is presented, based on a classical formalization by Tobias Nipkow. The formalization is implemented and verified in the programming language/proof assistant Agda. It is…

We present here the natural extension of our Pila-Wilkie type estimates on the number of rational points of the trascendent part of a compact analytic subset of $\mathbb{F}_{q}((1/T))^{n}$ to analogous subsets of $K^{n}$, where $K$ is a…

The work of Chatzidakis and Hrushovski on the model theory of difference fields in characteristic zero showed that groups defined by difference equations have a very restricted structure. Recent work of Chatzidakis, Hrushovski and Peterzil…