Related papers: On the Arithmetic Fundamental Lemma conjecture ove…

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…

We investigate sections of arithmetic fundamental groups of hyperbolic curves over function fields. As a consequence we prove that the anabelian section conjecture of Grothendieck holds over all finitely generated fields over $\Bbb Q$ if it…

In this paper, we prove an averaged version of an algebraicity conjecture in \cite{GKZ87} concerning the values of higher Green's function at CM points. Furthermore, we give the factorization of the ideal generated by such algebraic value…

We formulate and prove an analogue of the non-commutative Iwasawa Main Conjecture for $\ell$-adic representations of the Galois group of a function field of characteristic $p$. We also prove a functional equation for the resulting…

If A/K is an abelian variety over a number field and P and Q are rational points, the original support conjecture asserted that if the order of Q (mod p) divides the order of P (mod p) for almost all primes p of K, then Q is obtained from P…

We define Hecke correspondences and Hecke operators on unitary RZ spaces and study their basic geometric properties, including a commutativity conjecture on Hecke operators. Then we formulate the Arithmetic Fundamental Lemma conjecture for…

The purpose of this paper is to explain how the identities of various fundamental lemmas fall within the scope of the transfer principle, a general result that allows to transfer theorems about identities of p-adic integrals from one…

We study the derivative of the standard $p$-adic $L$-function associated with a $P$-ordinary Siegel modular form (for $P$ a parabolic subgroup of $\mathrm{GL}(n)$) when it presents a semi-stable trivial zero. This implies part of…

Proofs of the fundamental theorem of algebra can be divided up into three groups according to the techniques involved: proofs that rely on real or complex analysis, algebraic proofs, and topological proofs. Algebraic proofs make use of the…

We prove the following function field analog of the Hardy-Littlewood conjecture (which generalizes the twin prime conjecture) over large finite fields. Let n,r be positive integers and q an odd prime power. For distinct polynomials a_1,…

We propose an equivalent formula for the higher-order derivatives used in the study of Generalized Almost Perfect Nonlinear functions over an arbitrary finite field of characteristic $p$. The result is obtained by counting the number of…

Let $\Gamma$ be a finite rank subgroup of $\overline{\mathbb{Q}}^*$. We prove that the multiplicative group of the field generated by all elements in the divisible hull of $\Gamma$, is free abelian modulo this divisible hull. This proves…

We investigate generalizations along the lines of the Mordell--Lang conjecture of the author's $p$-adic formal Manin--Mumford results for $n$-dimensional $p$-divisible formal groups $\mathcal{F}$. In particular, given a finitely generated…

We prove some distribution results for the $k$-fold divisor function in arithmetic progressions to moduli that exceed the square-root of length $X$ of the sum, with appropriate constrains and averaging on the moduli, saving a power of $X$…

We prove the conjectured compatibility of $p$-adic fundamental lines with specializations at motivic points for a wide class of $p$-adic families of $p$-adic Galois representations (for instance, the families which arise from $p$-adic…

In this paper, we generalize a conjecture due to Darmon and Logan in an adelic setting. We study the relation between our construction and Kudla's works on cycles on orthogonal Shimura varieties. This relation allows us to conjecture a…

We prove some new instances of a conjecture of Bachoc, Couvreur and Z\'emor that generalizes Freiman's $3k-4$ Theorem to a multiplicative version in a function field setting. As a consequence we find that if $F$ is a rational function field…

We prove both the biquadratic Guo--Jacquet Fundamental Lemma (FL) and the biquadratic linear Arithmetic Fundamental Lemma (AFL) for GL(4) with the unit test function. Our approach relies on a detailed study of pairs of quadratic embeddings,…

We generalize some of the results of Andreatta, Iovita, and Pilloni and the author to Hodge type Shimura varieties having non-empty ordinary locus. For any $p$-adic weight $\kappa$, we give a geometric definition of the space of…

We conjecture that a $p$-algebra over a complete discrete valued field $K$ contains a totally ramified purely inseparable subfield if and only if it contains a totally ramified cyclic maximal subfield. We prove the conjecture in several…