High dimensional Gross--Zagier formula: a survey

Wei Zhang

2024-02-28

Abstract: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.

Number Theory,Representation Theory,Algebraic Geometry

What problem does this paper attempt to address?

The universal $p$-adic Gross-Zagier formula

Daniel Disegni

DOI: https://doi.org/10.1007/s00222-022-01133-w

2024-02-23

Abstract:Let ${\mathrm G}$ be the group $({\rm GL}_{2}\times {\rm GU}(1))/{\rm GL}_{1}$ over a totally real field $F$, and let $\mathscr{X}$ be a Hida family for ${\rm G}$. Revisiting a construction of Howard and Fouquet, we construct an explicit section $\mathscr{P}$ of a sheaf of Selmer groups over $\mathscr{X}$. We show, answering a question of Howard, that $\mathscr{P}$ is a universal Heegner class, in the sense that it interpolates geometrically defined Heegner classes at all the relevant classical points of $\mathscr{X}$. We also propose a `Bertolini-Darmon' conjecture for the leading term of $\mathscr{P}$ at classical points. We then prove that the $p$-adic height of $\mathscr{P}$ is given by the cyclotomic derivative of a $p$-adic $L$-function. This formula over $\mathscr{X}$ (which is an identity of functionals on some universal ordinary automorphic representations) specialises at classical points to all the Gross-Zagier formulas for ${\rm G}$ that may be expected from representation-theoretic considerations. Combined with a result of Fouquet, the formula implies the $p$-adic analogue of the Beilinson-Bloch-Kato conjecture in analytic rank one, for the selfdual motives attached to Hilbert modular forms and their twists by CM Hecke characters. It also implies one half of the first example of a non-abelian Iwasawa main conjecture for derivatives, in $2[F:{\bf Q}]$ variables. Other applications include two different generic non-vanishing results for Heegner classes and $p$-adic heights.

Number Theory
Explicit Gross-Zagier and Waldspurger Formulae

Li Cai,Jie Shu,Ye Tian

DOI: https://doi.org/10.2140/ant.2014.8.2523

2014-11-18

Abstract:We give an explicit form of Gross-Zagier formula on Shimura Curves and an explicit form of Waldspurger formula.

Number Theory
The Gross–Kohnen–Zagier Theorem over Totally Real Fields

Xinyi Yuan,Shou-Wu Zhang,Wei Zhang

DOI: https://doi.org/10.1112/s0010437x08003734

2009-01-01

Compositio Mathematica

Abstract:On Shimura varieties of orthogonal type over totally real fields, we prove a product formula and the modularity of Kudla's generating series of special cycles in Chow groups.
Introduction and Statement of Main Results

Xinyi Yuan,Shou-Wu Zhang,Wei Zhang

DOI: https://doi.org/10.1007/978-3-319-72947-3_2

2012-01-01

Abstract:This chapter states the main result of this book regarding Shimura curves and abelian varieties as well as the main idea of the proof of a complete Gross–Zagier formula on quaternionic Shimura curves over totally real fields. It begins with a discussion of the original formula proved by Benedict Gross and Don Zagier, which relates the Néeron–Tate heights of Heegner points on X⁰(N) to the central derivatives of some Rankin–Selberg L-functions under the Heegner condition. In particular, it considers the Gross–Zagier formula on modular curves and abelian varieties parametrized by Shimura curves. It then decribes CM points and the Waldspurger formula before concluding with an outline of our proof, along with the notation and terminology.
Periods, cycles, and $L$-functions: a relative trace formula approach

Wei Zhang

DOI: https://doi.org/10.48550/arXiv.1712.08844

2017-12-24

Abstract:This is a report for the author's talk in ICM-2018. Motivated by the formulas of Gross--Zagier and Waldspurger, we review conjectures and theorems on automorphic period integrals, special cycles on Shimura varieties, and their connection to central values of L-functions and their derivatives. We focus on the global Gan--Gross--Prasad conjectures, their arithmetic versions and some variants in the author's joint work with Rapoport and Smithling. We discuss the approach of relative trace formulas and the arithmetic fundamental lemma conjecture. In the function field setting, Z. Yun and the author obtain a formula for higher order derivatives of L-functions in terms of special cycles on the moduli space of Drinfeld Shtukas.

Number Theory
The Gross--Kohnen--Zagier theorem via $p$-adic uniformization

Lea Beneish,Henri Darmon,Lennart Gehrmann,Martí Roset

2024-03-27

Abstract:This article gives a new proof of the Gross--Kohnen--Zagier theorem for Shimura curves which exploits the $p$-adic uniformization of Cerednik--Drinfeld. The explicit description of CM points via this uniformization leads to an expression relating the Gross--Kohnen--Zagier generating series to the ordinary projection of the first derivative, with respect to a weight variable, of a $p$-adic family of positive definite ternary theta series.

Number Theory
On the arithmetic Siegel--Weil formula for GSpin Shimura varieties

Chao Li,Wei Zhang

DOI: https://doi.org/10.48550/arXiv.2106.15038

2021-06-29

Abstract:We formulate and prove a local arithmetic Siegel--Weil formula for GSpin Rapoport--Zink spaces, which is a precise identity between the arithmetic intersection numbers of special cycles on GSpin Rapoport--Zink spaces and the derivatives of local representation densities of quadratic forms. As a first application, we prove a semi-global arithmetic Siegel--Weil formula as conjectured by Kudla, which relates the arithmetic intersection numbers of special cycles on GSpin Shimura varieties at a place of good reduction and the central derivatives of nonsingular Fourier coefficients of incoherent Siegel Eisenstein series.

Number Theory,Algebraic Geometry,Representation Theory
Triple product $p$-adic $L$-functions for finite slope families and a $p$-adic Gross-Zagier formula

Ting-Han Huang

2024-03-27

Abstract:In this paper, we generalize two results of H. Darmon and V. Rotger on triple product $p$-adic $L$-functions associated with Hida families to finite slope families. We first prove a $p$-adic Gross-Zagier formula, then demonstrate an application to a special case of the equivariant Birch and Swinnerton-Dyer conjecture for supersingular elliptic curves.

Number Theory
On the arithmetic Siegel–Weil formula for GSpin Shimura varieties

Chao Li,Wei Zhang

DOI: https://doi.org/10.1007/s00222-022-01106-z

IF: 3.128

2022-03-16

Inventiones mathematicae

Abstract:We formulate and prove a local arithmetic Siegel–Weil formula for GSpin Rapoport–Zink spaces, which is a precise identity between the arithmetic intersection numbers of special cycles on GSpin Rapoport–Zink spaces and the derivatives of local representation densities of quadratic forms. As a first application, we prove a semi-global arithmetic Siegel–Weil formula as conjectured by Kudla, which relates the arithmetic intersection numbers of special cycles on GSpin Shimura varieties at a place of good reduction and the central derivatives of nonsingular Fourier coefficients of incoherent Siegel Eisenstein series.

mathematics
A New $\pm$ Iwasawa Theory and Converse of Gross-Zagier and Kolyvagin Theorem (with an Appendix by Yangyu Fan)

Xin Wan

2023-04-20

Abstract:Let $p>3$ be a prime. In this paper we develop a new kind of anticyclotomic local $\pm$-Iwasawa theory at $p$ for Hecke characters of quadratic imaginary fields which is valid for all ramification types of $p$ (split, inert and ramified). As an application we deduce the converse of Gross-Zagier-Kolyvagin theorem for these CM forms, which states that Selmer rank one implies analytic rank one. To carry out the Iwasawa theory argument we employ a recent construction of a new type of $p$-adic $L$-function by Andreatta-Iovita, and generalized by Yangyu Fan to Shimura curves in the Appendix, and a ``virtual Heenger family'' made via a limiting procedure from a Heegner family along Coleman-Mazur eigencurve constructed by Jetchev-Loeffler-Zerbes.

Number Theory
Hecke and Galois Properties of Special Cycles on Unitary Shimura Varieties

Dimitar P. Jetchev

DOI: https://doi.org/10.48550/arXiv.1410.6692

2016-10-07

Abstract:We define and study a collection of special cycles on certain non-PEL Shimura varieties for $U(2,1) \times U(1,1)$ that appear naturally in the context of the recent conjectures of Gan, Gross and Prasad on restrictions of automorphic forms for unitary groups and conjectural generalizations of the Gross--Zagier formula. We prove a combinatorial formula expressing the Galois action in terms of the distance function on the Bruhat--Tits buildings for these groups. In addition, we calculate explicitly the Hecke polynomial appearing in the congruence relation conjectured by Blasius and Rogawski. Using methods and recent results of Koskivirta, we prove the congruence relation in this case. Finally, using the action of the local Hecke algebra on the Bruhat--Tits building, we establish explicit relations (distribution relations) between the Hecke action and the Galois action on the special cycles. These relations are key for a work in progress by the author on constructing a new Euler system from these cycles and using it to prove instances of the Bloch{Kato{ Beilinson conjecture for certain Galois representations associated to automorphic forms on unitary groups.

Number Theory
On the Gross–Prasad conjecture with its refinement for (SO(5), SO(2)) and the generalized Böcherer conjecture

Morimoto,Kazuki

DOI: https://doi.org/10.1112/s0010437x24007267

2024-09-14

Compositio Mathematica

Abstract:We investigate the Gross–Prasad conjecture and its refinement for the Bessel periods in the case of . In particular, by combining several theta correspondences, we prove the Ichino–Ikeda-type formula for any tempered irreducible cuspidal automorphic representation. As a corollary of our formula, we prove an explicit formula relating certain weighted averages of Fourier coefficients of holomorphic Siegel cusp forms of degree two, which are Hecke eigenforms, to central special values of -functions. The formula is regarded as a natural generalization of the Böcherer conjecture to the non-trivial toroidal character case.

mathematics
Modular Heights of Quaternionic Shimura Curves

Xinyi Yuan

2024-05-26

Abstract:The goal of this paper is to prove a formula expressing the modular height of a quaternionic Shimura curve over a totally real number field in terms of the logarithmic derivative of the Dedekind zeta function of the totally real number field. Our proof is based on the work of Yuan-Zhang-Zhang on the Gross-Zagier formula and the work of Yuan-Zhang on the averaged Colmez conjecture. All these works are in turn inspired by the Pioneering work of Gross-Zagier and some philosophies of Kudla's program.

Number Theory,Algebraic Geometry
Zero-Dimensional Shimura Varieties and Central Derivatives of Eisenstein Series

Siddarth Sankaran

DOI: https://doi.org/10.1093/imrn/rnae179

2024-09-02

International Mathematics Research Notices

Abstract:Abstract We formulate and prove a version of the arithmetic Siegel–Weil formula for (zero dimensional) Shimura varieties attached to tori, equipped with some additional data. More precisely, we define a family of “special” divisors in terms of Green functions at archimedean and non-archimedean places and prove that their degrees coincide with the Fourier coefficients of the central derivative of an Eisenstein series. The proof relies on the usual Siegel–Weil formula to provide a direct link between both sides of the identity, and in some sense, offers a more conceptual point of view on prior results in the literature.

mathematics
Intersection formulas on moduli spaces of unitary shtukas

Yongyi Chen,Benjamin Howard

2023-11-14

Abstract:Feng-Yun-Zhang have proved a function field analogue of the arithmetic Siegel-Weil formula, relating special cycles on moduli spaces of unitary shtukas to higher derivatives of Eisenstein series. We prove an extension of this formula in a low-dimensional case, and deduce from it a Gross-Zagier style formula expressing intersection multiplicities of cycles in terms of higher derivatives of base-change $L$-functions.

Number Theory
On the arithmetic inner product formula and central derivatives of L-functions

Tuoping Du

2024-12-01

Abstract:This research provides a formal definition of the arithmetic theta lift for cusp forms of weight $3/2$ and establishes the arithmetic inner product formula, thereby completing the Kudla program on modular curves. This formula is demonstrated to be equivalent to the Gross-Zagier formula, for which we provide a new proof. Additionally, the authors introduce a new arithmetic representation for the central derivatives of L-functions associated with cusp forms of higher weight. Although this representation differs from Zhang's higher weight Gross-Zagier formula, it maintains a significant connection to it. This study also proposes a conjecture indicating that the vanishing of derivatives of L-functions is determined by the algebraicity of the coefficients of harmonic weak Maass forms. A consistent approach is employed to study both parts of this work.

Number Theory
Geometric G-functions and Atypicality

David Urbanik

2023-08-21

Abstract:We describe a general method for giving $p$-adic interpretations of $G$-functions arising from degenerating periods of smooth projective algebraic varieties. Using this, we are able to implement a strategy due to André for bounding heights of moduli points where period functions acquire unusual algebraic relations. This leads to new results on Galois lower bounds for special moduli, and new cases of the Zilber-Pink conjecture. In particular, we establish the first Galois-orbit lower bounds on CM moduli in non-Shimura settings. As a more technical contribution, we introduce a refinement of the Pila-Zannier strategy capable of handling Zilber-Pink-type atypical intersection problems in arbitrary dimension and for arbitrary smooth projective families.

Algebraic Geometry,Number Theory
A higher Gross–Zagier formula and the structure of Selmer groups

Chan-Ho Kim

DOI: https://doi.org/10.1090/tran/9125

IF: 1.3529

2024-04-10

Transactions of the American Mathematical Society

Abstract:Chan-Ho Kim Trans. Amer. Math. Soc. 377 (), 3691-3725. , references and article information

mathematics
Gorenstein Global Dimension of Recollements of Abelian Categories

Houjun Zhang,Xiaosheng Zhu

DOI: https://doi.org/10.1080/00927872.2019.1648650

2020-01-01

Communications in Algebra

Abstract:In this article, we investigate the Gorenstein global dimension with respect to the recollements of abelian categories. With the invariants spli and silp of the categories, we give some upper bounds of Gorenstein global dimensions of the categories involved in a recollement of abelian categories. We apply our results to some rings and artin algebras, especially to the triangular matrix artin algebras.
The global Gan-Gross-Prasad conjecture for Fourier-Jacobi periods on unitary groups

Paul Boisseau,Weixiao Lu,Hang Xue

2024-10-31

Abstract:We prove the Gan-Gross-Prasad conjecture for Fourier-Jacobi periods on unitary groups and an Ichino-Ikeda type refinement. Our strategy is based on the comparison of relative trace formulae formulated by Liu. We develop the full coarse spectral and geometric expansions of the relative trace formulae, and compute relevant spectral terms via zeta integrals and truncated periods. We compare all geometric terms and characterize the local geometric comparison in terms of spectral data.

Representation Theory,Number Theory

High dimensional Gross--Zagier formula: a survey

The universal $p$-adic Gross-Zagier formula

Explicit Gross-Zagier and Waldspurger Formulae

The Gross–Kohnen–Zagier Theorem over Totally Real Fields

Introduction and Statement of Main Results

Periods, cycles, and $L$-functions: a relative trace formula approach

The Gross--Kohnen--Zagier theorem via $p$-adic uniformization

On the arithmetic Siegel--Weil formula for GSpin Shimura varieties

Triple product $p$-adic $L$-functions for finite slope families and a $p$-adic Gross-Zagier formula

On the arithmetic Siegel–Weil formula for GSpin Shimura varieties

A New $\pm$ Iwasawa Theory and Converse of Gross-Zagier and Kolyvagin Theorem (with an Appendix by Yangyu Fan)

Hecke and Galois Properties of Special Cycles on Unitary Shimura Varieties

On the Gross–Prasad conjecture with its refinement for (SO(5), SO(2)) and the generalized Böcherer conjecture

Modular Heights of Quaternionic Shimura Curves

Zero-Dimensional Shimura Varieties and Central Derivatives of Eisenstein Series

Intersection formulas on moduli spaces of unitary shtukas

On the arithmetic inner product formula and central derivatives of L-functions

Geometric G-functions and Atypicality

A higher Gross–Zagier formula and the structure of Selmer groups

Gorenstein Global Dimension of Recollements of Abelian Categories

The global Gan-Gross-Prasad conjecture for Fourier-Jacobi periods on unitary groups