Related papers: Darmon's points and quaternionic Shimura varieties

Darmon's conjecture on a relation between cyclotomic units over real quadratic fields and certain algebraic regulators was recently solved by Mazur and Rubin by using their theory of Kolyvagin systems. In this paper, we formulate a…

We formulate an Iwasawa main conjecture for a higher rank Euler system for a general motive. We prove "one half" of the main conjecture under mild hypotheses. We also formulate a conjecture on "Darmon-type derivatives" of Euler systems and…

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…

We discuss the relationships between the Andr\'e-Oort, Andr\'e-Pink-Zannier, and Mordell-Lang conjectures for Shimura varieties. We then combine the latter with the geometric Zilber-Pink conjecture to obtain some new results on unlikely…

Kobayashi recently proved that the generalized Heegner cycles of Bertolini--Darmon--Prasanna can be interpolated along the anticyclotomic tower, giving rise to distribution valued cohomology classes with expected growth rate. We interpolate…

In this paper we prove the equidistribution of $\Cbf$-special subvarieties in certain Kuga varieties, which implies a special case of the general Andr\'e-Oort conjecture formulated for mixed Shimura varieties proposed by R.Pink. The main…

We prove the Mumford--Tate conjecture for those abelian varieties over number fields whose extensions to C have attached adjoint Shimura varieties that are products of simple, adjoint Shimura varieties of certain Shimura types. In…

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…

We formulate a general conjecture on the characteristic polynomials of S-decomposed T-ramified Iwasawa modules over the cyclotomic Z {\ell}-extension of a number field. We show that this conjecture is equivalent to the conjunctions of the…

We survey recent developments on generalizing the Gross--Zagier formula to high dimensional Shimura varieties, with an emphasis on the Arithmetic Gan--Gross--Prasad conjecture and the relative trace formula approach.

We state an improved version of the conjecture of Langlands and Rapoport, and we prove the conjecture for a large class of Shimura varieties. In particular, we obtain the first proof of the (original) conjecture for Shimura varieties of…

We develop the (co)homological tools that make effective the construction of the quaternionic Darmon points introduced by Matthew Greenberg. In addition, we use the overconvergent cohomology techniques of Pollack--Pollack to allow for the…

In this paper we prove a special case of the Andr\'e-Oort conjecture for Kuga varieties. If $M$ is a Kuga variety fibred over a pure Shimura variety $S$ as an abelian scheme, and $(M_n)$ is a sequence of special subvarieties in $M$ which…

We prove the Kudla--Rapoport conjecture for Kr\"amer models of unitary Rapoport--Zink spaces at ramified places. It is a precise identity between arithmetic intersection numbers of special cycles on Kr\"amer models and modified derived…

We give a new proof of a recent generalization to Shimura curve of genus 0 of the work of Gross and Zagier in `On singular moduli'. This generalization was conjectured by Giampietro and Darmon and proved by Daas by using $p$-adic…

Xue proved an equational refinement of the unitary Shimura curve case of the arithmetic Gan-Gross-Prasad conjecture via the Gross-Zagier formula for quaternionic Shimura curves. On the other hand, Rapoport, Smithling and Zhang posed a…

We survey recent joint work with M. Rapoport and W. Zhang related to the arithmetic Gan-Gross-Prasad conjecture for Shimura varieties attached to unitary groups.

We prove one divisibility relation of the anticyclotomic Iwasawa Main Conjecture for a higher weight ordinary modular form $f$ and an imaginary quadratic field satisfying a "relaxed" Heegner hypothesis. Let $\Lambda$ be the anticyclotomic…

In this article, we prove that a version of Tate conjectures for certain Deligne-Lusztig varieties implies the Kudla-Rapoport conjecture for unitary Shimura varieties with maximal parahoric level at unramified primes. Furthermore, we prove…

We construct an anticyclotomic Euler system for the Rankin-Selberg convolution of two modular forms, using $p$-adic families of generalized Gross-Kudla-Schoen diagonal cycles. As applications of this construction, we prove new cases of the…