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.
We prove Mazur and Rubin's Iwasawa-theoretic Gross-Zagier conjecture (under some restrictive hypotheses), which relates Heegner points in towers of number fields to the 2-variable p-adic L-function. The result generalizes Perrin-Riou's p-adic Gross-Zagier theorem.
We relate $p$-adic families of Jacobi forms to Big Heegner points constructed by B. Howard, in the spirit of the Gross-Kohnen-Zagier theorem. We view this as a GL(2) instance of a $p$-adic Kudla program.
In this work, we derive Gross-Zagier type CM value formulas for Hauptmoduls $j_{p}^{*}(τ)$ on Fricke groups $Γ_{0}^{*}(p)$. We also illustrate how to employ these formulas to obtain certain Hilbert class polynomials.
This note points out that for any odd prime $p$, Zagier's weight $3/2$ mock Eisenstein series can be completed to a $p$-adic modular form in a way that bears some resemblance to its completion to a harmonic Maass form.
We prove the Gross-Zagier-Zhang formula over global function fields of arbitrary characteristics. It is an explicit formula which relates the Neron-Tate heights of CM points on abelian varieties and central derivatives of associated quadratic base change $L$-functions. Our proof is based on an arithmetic variant of a relative trace identity of Jacquet. This approach is proposed by W. Zhang.
Let $A/\mathbb{Q}$ be an elliptic curve having split multiplicative reduction at an odd prime $p$. Under some mild technical assumptions, we prove the statement: $$rank_{\mathbb{Z}}A(\mathbb{Q})=1 \ \ and\ \ \ \#\Big(\underline{III}(A/\mathbb{Q})[p^\infty]\Big)<\infty\ \ \implies\ \ \mathrm{ord}_{s=1}L(A/\mathbb{Q},s)=1,$$ thus providing a "$p$-converse" to a celebrated theorem of Kolyvagin-Gross-Zagier.
Let $p$ be a prime number and let $E/\mathbb{Q}$ be an elliptic curve of conductor $p^2$ and odd analytic rank. We prove that the positions of its special points arising from non-split Cartan curves and imaginary quadratic fields where $p$ is inert are encoded in the Fourier coefficients of a Jacobi form of weight $6$ and lattice index of rank $9$, obtaining a result analogous to that of Gross, Kohnen and Zagier.
The theorems of Gross-Zagier and Zhang relate the Néron-Tate heights of complex multiplication points on the modular curve X_0(N) (and on Shimura curve analogues) with the central derivatives of automorphic L-functions. We extend these results to include certain CM points on Shimura curves of higher level structure. These results are motivated by applications to Hida theory which are described in the companion article "Central derivatives of L-functions in Hida families."
Gross and Zagier conjectured that if the analytic rank of a rational elliptic curve is 1, then the order of the rational torsion subgroup of the elliptic curve divides the product of Tamagawa number, Manin constant, and the square root of the order of Tate--Shafarevich group over an imaginary quadratic field. In this paper, we show that this conjecture is true.
Let $L/F$ be a quadratic extension of totally real number fields. For any prime $p$ unramified in $L$, we construct a $p$-adic $L$-function interpolating the central values of the twisted triple product $L$-functions attached to a $p$-nearly ordinary family of unitary cuspidal automorphic representations of $\text{Res}_{L\times F/F}(\text{GL}_{2})$. Furthermore, when $L/\mathbb{Q}$ is a real quadratic number field and $p$ is a split prime, we prove a $p$-adic Gross-Zagier formula relating the value of the $p$-adic $L$-function outside the range of interpolation to the syntomic Abel-Jacobi imag…
In this work, we show that the difference of a Hauptmodul for a genus zero group $Γ_{0}(N)$ as a Hilbert modular function on $Y_{0}(N)\times Y_{0}(N)$ is a Borcherds lift of type $(2,2)$. As applications, we derive Monster denominator formula like product expansions for these Hilbert modular functions and certain Gross-Zagier type CM value formulas.
On the background of Zhang's local Gross-Zagier formulae for GL(2), we study some p-adic problems. The local Gross-Zagier formulae give identities of very special local geometric data (local linking numbers) with certain local Fourier coefficients of a Rankin L-function. The local linking numbers are local coefficients of a geometric (height) pairing. The Fourier coefficients are products of the local Whittaker functions of two automorphic representations of GL(2). We establish a matching of the space of local linking numbers with the space of all those Whittaker products. Further, we construc…
In this paper we investigate some consequences of the Gross/Zagier types of formulae which were introduced by Gross and Zagier, and were then generalized in various directions by Hatcher, Zhang, Kudla and several other people. Working in the classical context of central values of L-series of holomorphic forms of prime level, we deduce an exact average formula for suitable twists of such L-values, with a relation to the class number of associated imaginary quadratic fieds, thereby strengthening a result of Duke. One also obtains a stability result, as well as subconvexity (in this setting), and…
We give a proof of a soft version of the $p$-converse to a theorem of Gross--Zagier and Kolyvagin for non-CM elliptic curves with good ordinary reduction at $p >3$ under the irreducibility assumption on the residual representation. In particular, no condition on the conductor is imposed. Combining with the known results, we obtain that the Mordell-Weil rank is one and the Tate-Shafarevich group is finite if and only if the analytic rank is one for every elliptic curve over the rationals.
In this paper I'm going to study the intersection of two Heegner-Drinfeld cycles coming from two different nonsplit tori on the Yun-Zhang moduli stack of $PGL_2$ Drinfeld stukas with Iwahori level structure. We will see that the intersection number is related to a certain period integral. It is an extension of the result by Howard-Shinidman to the Iwahori case.
A nonzero rational number is called a cube sum if it is of form $a^3+b^3$ with $a,b\in \mathbb{Q}^\times$. In this paper, we prove that for any odd integer $k\geq 1$, there exist infinitely many cube-free odd integers $n$ with exactly $k$ distinct prime factors such that $2n$ is a cube sum (resp. not a cube sum). We give also a general construction of Heegner point and obtain an explicit Gross-Zagier formula which is used to prove the Birch and Swinnerton-Dyer conjecture for certain elliptic curve related to the cube sum problem.
Let $p$ be an odd prime. Given an imaginary quadratic field $K=\mathbb{Q}(\sqrt{-D_K})$ where $p$ splits with $D_K>3$, and a $p$-ordinary newform $f \in S_k(Γ_0(N))$ such that $N$ verifies the Heegner hypothesis relative to $K$, we prove a $p$-adic Gross-Zagier formula for the critical slope $p$-stabilization of $f$ (assuming that it is non-$θ$-critical). In the particular case when $f=f_A$ is the newform of weight $2$ associated to an elliptic curve $A$ that has good ordinary reduction at $p$, this allows us to verify a conjecture of Perrin-Riou. The $p$-adic Gross-Zagier formula we prove has…
Let $X$ be a quotient of the modular curve $X_0(N)$ whose Jacobian $J_X$ is a simple factor of $J_0(N)^{new}$ over $\mathbb{Q}$. Let $f$ be the newform of level $N$ and weight 2 associated with $J_X$; assume $f$ has analytic rank 1. We give analytic methods for determining the rational points of $X$ using quadratic Chabauty by computing two $p$-adic Gross-Zagier formulas for $f$. Quadratic Chabauty requires a supply of rational points on the curve or its Jacobian; this new method eliminates this requirement. To achieve this, we give an algorithm to compute the special value of the anticyclotom…
Hirzebruch-Zagier cycles in $p$-adic families and adjoint $L$-values
University College Dublin（都柏林大学）；LMNO - Laboratoire de Mathématiques Nicolas Oresme, CNRS - UMR 6139, UNICAEN, Normandie Univ.（诺曼底大学）；Concordia University（康考迪亚大学）
We compute the p-adic Abel-Jacobi map of the product of a Hilbert modular surface and a modular curve at a null-homologous (modified) embedding of the modular curve in this product, evaluated on differentials associated to a Hilbert cuspidal form f of weight (2,2) and a cuspidal form of weight 2. We generalize this computation to suitable null-homological cycles in the fibre products of the universal families on the surface and the curve, evaluated at differentials associated to f and g of higher weights. We express the values of the p-adic Abel-Jacobi map at these weights in terms of a p-adic…
Let $p\equiv 4,7\mod 9$ be a rational prime number such that $3\mod p$ is not a cubic residue. In this paper we prove the 3-part of the product of the full BSD conjectures for $E_p$ and $E_{3p^3}$ is true using an explicit Gross-Zagier formula, where $E_p: x^3+y^3=p$ and $E_{3p^2}: x^3+y^3=3p^2$ are the elliptic curves related to the Sylvester conjecture and cube sum problems.
We prove that Heegner cycles of codimension m+1 inside Kuga-Sato type varieties of dimension 2m+1 are coefficients of modular forms of weight 3/2+m in the appropriate quotient group. The main technical tool for generating the necessary relations is a Borcherds style theta lift with polynomials. We also show how this lift defines a new singular Shimura-type correspondence from weakly holomorphic modular forms of weight 1/2-m to meromorphic modular forms of weight 2m+2.
The main result of this text is a generalization of Perrin-Riou's p-adic Gross-Zagier formula to the case of Shimura curves over totally real fields. Let $F$ be a totally real field. Let $f$ be a Hilbert modular form over $F$ of parallel weight $2$, which is a new form and is ordinary at $p$. Let $E$ be a totally imaginary quadratic extension of $F$ of discriminant prime to $p$ and to the conductor of $f$. We may construct a $p$-adic $L$ function that interpolates special values of the complex $L$ functions associated to $f$, $E$ and finite order Hecke characters of $E$. The $p$-adic Gross-Zag…
We prove a general formula for the $p$-adic heights of Heegner points on modular abelian varieties with potentially ordinary (good or semistable) reduction at the primes above $p$. The formula is in terms of the cyclotomic derivative of a Rankin-Selberg $p$-adic $L$-function, which we construct. It generalises previous work of Perrin-Riou, Howard, and the author, to the context of the work of Yuan-Zhang-Zhang on the archimedean Gross-Zagier formula and of Waldspurger on toric periods. We further construct analytic functions interpolating Heegner points in the anticyclotomic variables, and obta…
We prove Zagier's conjecture regarding the 2-adic valuation of the coefficients $\{b_m\}$ that appear in Ewing and Schober's series formula for the area of the Mandelbrot set in the case where $m\equiv 2 \mod 4$.
We give a new proof of Howard's $Λ$-adic Gross-Zagier formula, which we extend to the context of indefinite Shimura curves over $\mathbf{Q}$ attached to nonsplit quaternion algebras. This formula relates the cyclotomic derivative of a two-variable $p$-adic $L$-function restricted to the anticyclotomic line to the cyclotomic $p$-adic heights of Heegner points over the anticyclotomic tower, and our proof, rather than inspired by the original approaches of Gross-Zagier and Perrin-Riou, is via Iwasawa theory, based on the connection between Heegner points, Beilinson-Flach elements, and their expli…
Let $E$ be a semistable elliptic curve over $\mathbb{Q}$. We prove that if $E$ has non-split multiplicative reduction at at least one odd prime or split multiplicative reduction at at least two odd primes and if the rank of $E(\mathbb{Q})$ is one and the Tate-Shafarevich group of $E$ has finite order, then $\mathrm{ord}_{s=1}L(E,s)=1$. We also prove the corresponding result for the abelian variety associated with a weight two newform $f$ of trivial character. These, and other related results, are consequences of our main theorem, which establishes criteria for $f$ and $H^1_f(\mathbb{Q},V)$, wh…
We prove that if two semi-algebraic subsets of $\mathbb{Q}_p^n$ have the same $p$-adic measure, then this equality can already be deduced using only some basic integral transformation rules. On the one hand, this can be considered as a positive answer to a $p$-adic analogue of a question asked by Kontsevich-Zagier in the reals (though the question in the reals is much harder). On the other hand, our result can also be considered as stating that over $\mathbb{Q}_p$, universal motivic integration (in the sense of Hrushovski-Kazhdan) is just $p$-adic integration.
We study analytic properties of multiple zeta-functions of generalized Hurwitz-Lerch type. First, as a special type of them, we consider multiple zeta-functions of generalized Euler-Zagier-Lerch type and investigate their analytic properties which were already announced in our previous paper. Next we give `desingularization' of multiple zeta-functions of generalized Hurwitz-Lerch type, which include those of generalized Euler-Zagier-Lerch type, the Mordell-Tornheim type, and so on. As a result, the desingularized multiple zeta-function turns out to be an entire function and can be expressed as…
Let $B$ be a simple CM abelian variety over a CM field $E$, $p$ a rational prime. Suppose that $B$ has potentially ordinary reduction above $p$ and is self-dual with root number $-1$. Under some further conditions, we prove the generic non-vanishing of (cyclotomic) $p$-adic heights on $B$ along anticyclotomic $\Z_{p}$-extensions of $E$. This provides evidence towards Schneider's conjecture on the non-vanishing of $p$-adic heights. For CM elliptic curves over $\Q$, the result was previously known as a consequence of work of Bertrand, Gross--Zagier and Rohrlich in the 1980s. Our proof is based o…
In this note, we will apply the results of Gross-Zagier, Gross-Kohnen-Zagier and their generalizations to give a short proof that the differences of singular moduli are not units. As a consequence, we obtain a result on isogenies between reductions of CM elliptic curves.
Let $F$ be the field of rational functions on a smooth projective curve over a finite field, and let $π$ be an unramified cuspidal automorphic representation for $\mathrm{PGL}_2$ over $F$. We prove a variant of the formula of Yun and Zhang relating derivatives of the $L$-function of $π$ to the self-intersections of Heegner-Drinfeld cycles on moduli spaces of shtukas. In our variant, instead of a self-intersection, we compute the intersection pairing of Heegner-Drinfeld cycles coming from two different quadratic extensions of $F$, and relate the intersection to the $r$-th derivative of a produc…
We study classical hypergeometric series as a p-adic function of its parameters inspired by a problem in the American Mathematical Monthly solved by D. Zagier. This is an extended abstract of a talk given at the workshop "Hypergeometric motives and Calabi-Yau differential equations" at the Mathematical Research Institute (MATRIX) of The University of Melbourne in Creswick, Australia in January of 2017.
In this paper, we study the parallel cases of Zagier's and Folsom-Ono's grids of weakly holomorphic (resp. weakly holomorphic and mock modular) forms of weights 3/2 and 1/2, investigating their $p$-adic properties under the action of Hecke operators.
We prove a higher dimensional generalization of Gross and Zagier's theorem on the factorization of differences of singular moduli. Their result is proved by giving a counting formula for the number of isomorphisms between elliptic curves with complex multiplication by two different imaginary quadratic fields $K$ and $K^\prime$, when the curves are reduced modulo a supersingular prime and its powers. Equivalently, the Gross-Zagier formula counts optimal embeddings of the ring of integers of an imaginary quadratic field into particular maximal orders in $B_{p, \infty}$, the definite quaternion a…
We study a relation between two refinements of the rank one abelian Gross-Stark conjecture: For a suitable abelian extension $H/F$ of number fields, a Gross-Stark unit is defined as a $p$-unit of $H$ satisfying some proporties. Let $τ\in \mathrm{Gal}(H/F)$. Yoshida and the author constructed the symbol $Y_p(τ)$ by using $p$-adic $\log$ multiple gamma functions, and conjectured that the $\log_p$ of a Gross-Stark unit can be expressed by $Y_p(τ)$. Dasgupta constructed the symbol $u_T(τ)$ by using the $p$-adic multiplicative integration, and conjectured that a Gross-Stark unit can be expressed by…
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 variant of the conjecture, using modified PEL type Shimura varieties, which we call RSZ Shimura varieties. We reinterpret the result of Xue in terms of the modified Shimura curves. We then use the reinterpretation to prove a case of the variant of the conjecture. Our result combined with the work of Xue establishes a connection between the variant and the Gross-Z…
A quadratic twist of the L-function associated with a modular form is known to satisfy a functional equation, which may be even or odd. A result due to Gross and Zagier explicitly computes the central value of the L-function or its derivative. In prime level when the functional equation is even, Michel and Ramakrishnan have used an averaging method to prove several consequences of the Gross-Zagier formulae, including a non-vanishing result. The present research concerns L-functions arising from newforms in prime-squared level, which necessarily have odd functional equations. Such an L-function…
We relate the $p$-adic heights of generalized Heegner cycles to the derivative of a $p$-adic $L$-function attached to a pair $(f, χ)$, where $f$ is an ordinary weight $2r$ newform and $χ$ is an unramified imaginary quadratic Hecke character of infinity type $(\ell,0)$, with $0 < \ell < 2r$. This generalizes the $p$-adic Gross-Zagier formula in the case $\ell = 0$ due to Perrin-Riou (in weight two) and Nekováur (in higher weight).
In 1987, B. Perrin-Riou formulated a Heegner point main conjecture for elliptic curves at primes of ordinary reduction. In this paper, we formulate an analogue of Perrin-Riou's main conjecture for supersingular primes. We then prove this conjecture under mild hypotheses, and deduce from this result a $Λ$-adic extension of Kobayashi's $p$-adic Gross-Zagier formula, new cases of B.-D. Kim's doubly-signed main conjectures, and a strengthened version of Skinner's converse to the Gross-Zagier-Kolyvagin theorem for supersingular primes.
