Related papers: The large Galois orbits conjecture under multiplic…
Let $A$ be an abelian variety over $\mathbb{Q}$ of dimension $g$ such that the image of its associated absolute Galois representation $\rho_A$ is open in $\operatorname{GSp}_{2g}(\hat{\mathbb{Z}})$. We investigate the arithmetic of the…
The classical polynomial interpolation problem in several variables can be generalized to the case of points with greater multiplicities. What is known, as yet, is essentially concentrated in the Alexander-Hirschowitz Theorem which says…
For a split reductive group $G$ we realise identities in the Grothendieck group of $\widehat{G}$-representation in terms of cycle relations between certain closed subschemes inside the affine grassmannian. These closed subschemes are…
The main result asserts: Let $G$ be a reductive, affine algebraic group and let $(\rho ,V)$ be a regular representation of $G$. Let $X$ be an irreducible $\mathbb{C}^{ \times } G$ invariant Zariski closed subset such that $G$ has a closed…
Building on ideas of Vatsal, Cornut proved a conjecture of Mazur asserting the generic nonvanishing of Heegner points on an elliptic curve E as one ascends the anticyclotomic Z_p-extension of a quadratic imaginary extension K/Q. In the…
We study algebraic cycles on complex Gushel-Mukai (GM) varieties. We prove the generalised Hodge conjecture, the (motivated) Mumford-Tate conjecture, and the generalised Tate conjecture for all GM varieties. We compute all integral Chow…
An extension B\subset A of algebras over a commutative ring k is an H-extension for an L-bialgebroid H if A is an H-comodule algebra and B is the subalgebra of its coinvariants. It is H-Galois if the canonical map A\otimes_B A\to A\otimes_L…
The formula of the title relates $p$-adic heights of Heegner points and derivatives of $p$-adic $L$-functions. It was originally proved by Perrin-Riou for $p$-ordinary elliptic curves over the rationals, under the assumption that $p$ splits…
We introduce the notion of a Galois extension of commutative S-algebras (E_infty ring spectra), often localized with respect to a fixed homology theory. There are numerous examples, including some involving Eilenberg-Mac Lane spectra of…
We prove a special case of a dynamical analogue of the classical Mordell-Lang conjecture. In particular, let $\phi$ be a rational function with no superattracting periodic points other than exceptional points. If the coefficients of $\phi$…
Let $A/\mathbb{Q}$ be an elliptic curve with split multiplicative reduction at a prime $p$. We prove (an analogue of) a conjecture of Perrin-Riou, relating $p$-adic Beilinson$-$Kato elements to Heegner points in $A(\mathbb{Q})$, and a large…
We prove the "divisible case" of the Milnor-Bloch-Kato conjecture (which is the first step of Voevodsky's proof of this conjecture for arbitrary prime l) in a rather clear and elementary way. Assuming this conjecture, we construct a 6-term…
We provide evidence for this conclusion: given a finite Galois cover $f: X \rightarrow \mathbb{P}^1_\mathbb{Q}$ of group $G$, almost all (in a density sense) realizations of $G$ over $\mathbb{Q}$ do not occur as specializations of $f$. We…
We prove in generic situations that the lattice in a tame type induced by the completed cohomology of a $U(3)$-arithmetic manifold is purely local, i.e., only depends on the Galois representation at places above $p$. This is a…
In this paper we develop a strategy and some technical tools for proving the Andre-Oort conjecture. We give lower bounds for the degrees of Galois orbits of geometric components of special subvarieties of Shimura varieties, assuming the…
The Frey--Mazur conjecture states that an elliptic curve over $\mathbb{Q}$ is determined up to isogeny by its $p$-torsion Galois representation for $p\geq 17$. We study a geometric analog of this conjecture, and show that the map from…
In this paper we provide a detailed study on effective versions of the celebrated Bilu's equidistribution theorem for Galois orbits of sequences of points of small height in the $N$-dimensional algebraic torus, identifying the quantitative…
Let $E/\mathbb{Q}_p$ be an elliptic curve whose mod $p$ Galois image is contained in the normaliser of a non-split Cartan. We classify the possible $p$-adic images of $E$ using tools from $p$-adic Hodge theory via a careful analysis of the…
In this survey, we outline the role of G-functions in arithmetic geometry, notably their link with Picard-Fuchs differential equations and periods. We explain how polynomial relations between special values of G-functions arising from a…
We define variants of PEL type of the Shimura varieties that appear in the context of the Arithmetic Gan-Gross-Prasad conjecture. We formulate for them a version of the AGGP conjecture. We also construct (global and semi-global) integral…