arXiv ScienceSearch

arXiv subjects

Rodolphe Richard

Publications and source records attributed to Rodolphe Richard.

16 recordsLinked to original sources

Hybrid Conjecture in a Mixed Shimura variety

The authors previously formulated the hybrid conjecture, unifying Andr\'e-Pink-Zannier and Andr\'e-Oort conjectures, and proved it in Shimura varieties of abelian type. We study its analogue for mixed Shimura varieties, and consider the prime example, the universal abelian scheme $\mathcal{A}_g\to \mathbb{A}_g$. In a radical departure from the Pila-Zannier strategy, typically applied to such questions, we employ instead a combination of equidistribution and o-minimality Our main result strictly includes the following: the Hybrid Conjecture, in particular the Andr\'e-Pink-Zannier and Andr\'e-Oort conjectures, for $\mathbb{A}_g$; the mixed Andr\'e-Oort conjecture for $\mathcal{A}_g$; and Manin-Mumford conjecture for arbitrary abelian varieties. It also yields an analogue of the ``Manin-Mumford in arithmetic pencil", a result of Baldi-Richard-Ullmo, for abelian schemes over a variety. The mixed hybrid conjecture in $\mathcal{A}_g$ also encompasses the Mordell-Lang conjecture. We actually reduce the mixed hybrid conjecture for $\mathbb{A}_g$ to its "mordellic" part. We also prove, Galois-theoretic results: uniform variants on the Ribet's Kummer theory of Abelian varieties, and Serre's theorem on Lang's conjecture.

math.NT

Heights on 'Hybrid orbits' in Shimura varieties

We prove the 'hybrid conjecture' which is a common generalisation of the Andre\'e-Oort conjecture and the Andr\'e-Pink-Zannier conjecture, in the case of Shimura varieties of abelian type.

math.NT

A Common Generalisation of the Andr\'e-Oort and Andr\'e-Pink-Zannier Conjectures

We introduce a ``hybrid'' conjecture which is a common generalisation of the Andr\'e-Oort conjecture and the Andr\'e-Pink-Zannier conjecture and we prove that it is a consequence of the Zilber-Pink conjecture. We also show that our hybrid conjecture implies the Zilber-Pink conjecture for hypersurfaces contained in weakly special subvarieties.

math.AG

Generalised Andr\'e-Pink-Zannier Conjecture for Shimura varieties of abelian type

In this paper, we prove the generalised Andr\'e-Pink-Zannier conjecture (an important case of the Zilber-Pink conjecture) for all Shimura varieties of abelian type. Questions of this type were first asked by Y. Andr\'e in 1989. We actually prove a general statement for all Shimura varieties, subject to certain assumptions that are satisfied for Shimura varieties of abelian type and are expected to hold in general. We also prove another result, a p-adic Kempf-Ness theorem, on the relation between good reduction of homogeneous spaces over p-adic integers with Mumford stability property in p-adic geometric invariant theory.

math.NT

Height functions on Hecke orbits and the generalised Andr\'e-Pink-Zannier conjecture

We introduce and study the notion of a generalised Hecke orbit in a Shimura variety. We define a height function on such an orbit and study its properties. We obtain a lower bounds for the size of Galois orbits of points in a generalised Hecke orbit in terms of these height, assuming a version of the Mumford-Tate conjecture. We then use it to prove the generalised Andr\'e-Pink-Zannier conjecture under this assumption by implementing the Pila-Zannier strategy.

math.NT

Manin-Mumford in arithmetic pencils

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 points. There is a flat/horizontal part and a vertical one. The irreducible components of the flat part are given by the Zariski closure, over the integers, of torsion cosets of the generic fibre of the abelian scheme. The vertical components are given by translates of abelian subvarieties, which 'come from characteristic zero'.

math.NT

Equidistribution de sous-vari\'et\'es sp\'eciales et o-minimalit\'e: Andr\'e-Oort g\'eom\'etrique

A characterization of subvarieties of Shimura varieties which contain a Zariski dense subset of weakly special subvarieties has been proved by the second author, by combining o-minimality results and functional transcendence results. In this paper, we obtain a new proof of this statement by dynamics techniques on homogeneous spaces in the spirit of the earlier work of Clozel and the second author. The proof combines ergodic theory \`a la Ratner, with a statement on the dimension of a Hausdorff limit of a sequence of definable subsets (in an o-minimal theory) extracted from a definable family. One obtains in passing general homogeneous dynamics statements valid on arbitrary arithmetic quotients which are of independent interest, that can be applied in the study of variations of Hodge structures and their associated period domains.

math.AG

Constructing abelian extensions with prescribed norms

Given a number field $K$, a finite abelian group $G$ and finitely many elements $\alpha_1,\ldots,\alpha_t\in K$, we construct abelian extensions $L/K$ with Galois group $G$ that realise all of the elements $\alpha_1,\ldots,\alpha_t$ as norms of elements in $L$. In particular, this shows existence of such extensions for any given parameters. Our approach relies on class field theory and a recent formulation of Tate's characterisation of the Hasse norm principle, a local-global principle for norms. The constructions are sufficiently explicit to be implemented on a computer, and we illustrate them with concrete examples.

math.NT

A two dimensional arithmetic Andr\'e-Oort problem

We state and investigate an integral analogue of the Andr\'e-Oort conjecture (in integral models of Shimura varieties). We establish an instance of this conjecture: the case of a modular curve, as a scheme over Z. It is a scheme of dimension two and, already in this case, our conjecture is highly non-trivial. Our approach relies on equidistribution estimates related to subconvexity in analytic number theory and our result is unconditional.

math.NT

Inner Galois Equidistribution in S-Hecke orbits

We obtain results on the so-called Andre-Pink-Zannier conjecture which is a special case of a the Zilber-Pink conjecture on unlikely intersections in Shimura varieties. Our methods rely on an ergodic theorem of Richard-Zamojski and we are able to obtain stronger conclusions that those of the Andre-Pink-Zannier conjecture in the special case we consider. We work under the assumption of the S-Shafarevich conjecture and S-semisimplicity conjecture which hold for Shimura varieties of abelian type.

math.AG

Limit distribution of Translated pieces of possibly irrational leaves in S-arithmetic homogeneous spaces

The purpose of this article is to describe and characterize the limit distributions of translates of a bounded open "piece of orbit" of a reductive subgroup on a space of S-arithmetic lattices. This is accomplished under a mild assumption of "analytic stability" on the sequence of translates. It is important to note however that it is not necessary to assume that the reductive subgroup or its centralizer are algebraic. Moreover, it is also not necessary to assume that the initial orbit is of finite measure or even closed. This article thus provides important generalizations on previously known results and opens ways to new applications in number theory, two of which are briefly mentioned.

math.NT

Sur les {\pi}-exponentielles I : Vecteurs de Witt annul\'es par Frobenius et Algorithme de (leur rayon de convergence)

(Quoted from the article) Our object is the theory of "{\pi}-exponentials" Pulita developed in his thesis [...] We start with an abstract algebra statement about the structure of the kernel of iterations of the Frobenius endomorphism on the ring of Witt vectors with coordinates in the ring of integers of an ultrametric extension of $\mathbf{Q}_p$. Provided sufficiently (ramified) roots of unity are available, it is, unexpectedly simply, a principal ideal with respect to an explicit generator essentially given by Pulita's {\pi}-exponential. This result is a consequence and a reformulation of core facts of Pulita's theory. It happened to be simpler to prove directly than reformulating Pulita's results. Its translation in terms of series is very elementary, and gives a criterion for solv- abilty and integrality for p-adic exponential series of polynomials. We explain how to deduce an explicit formula of their radius of convergence, and even the function radius of convergence. We recover this way, in elementary terms, with a new proof, and important simplifications, an algorithm of Christol based similarly on Pulita's work. One concrete advantage is: one can easily prove rigorous complexity bounds about the implied algorithm from our explicit formula. We also add there and there refinements and observation, notably hinting some of the finer informations that can also given by the algorithm. One of the appendix produce a computation which gives finer estimates on the coefficients of these series. It should provide useful in proving complexity bounds for various computational use involving these series.[...]

math.NT

On {\pi}-exponentials II : Closed formula for the index

(Quoted from the article) This article pursue the series, initiated by [Ric14], dedicated to Pulita's {\pi}-exponentials and p-adic differential equation of rank one with coefficients a polynomial in a ultrametric extension of the field of $p$-adic numbers. We complement [Ric14] with a closed formula for the index. The "$p$-typical" particular case answers one problem studied in [Mor10]. We also answer a question [Rob86, {\S}2.4] of Robba on the comparison from rational cohomology toward Dwork cohomology. We even indicate a procedure to palliate the lack of isomorphy of this comparison. We establish by the way a characterisation of soluble equations up to equivalence on the dagger algebra. An appendix determine the polynomial complexity of the derived algorithm.

math.NT

Geometric results on linear actions of reductive Lie groups for applications to homogeneous dynamics

Several problems in number theory when reformulated in terms of homogenous dynamics involve study of limiting distributions of translates of algebraically defined measures on orbits of reductive groups. The general non-divergence and linearization techniques, in view of Ratner's measure classification for unipotent flows, reduce such problems to dynamical questions about linear actions of reductive groups on finite dimensional vectors spaces. This article provides general results which resolve these linear dynamical questions in terms of natural group theoretic or geometric conditions.

math.RT