Search

We prove two formulas in the style of the Gross-Zagier theorem, relating derivatives of L-functions to arithmetic intersection pairings on a unitary Shimura variety. We also prove a special case of Colmez's conjecture on the Faltings heights of abelian varieties with complex multiplication. These results are derived from the authors' earlier results on the modularity of generating series of divisors on unitary Shimura varieties., Comment: Final version. To appear in Asterisque

We give a formula for the values of automorphic Green functions on the special rational 0-cycles (big CM points) attached to certain maximal tori in the Shimura varieties associated to rational quadratic spaces of signature (2d,2). Our approach depends on the fact that the Green functions in question are constructed as regularized theta lifts of harmonic weak Mass forms, and it involves the Siegel-Weil formula and the central derivatives of incoherent Eisenstein series for totally real fields. In the case of a weakly holomorphic form, the formula is an explicit combination of quantities obtained from the Fourier coefficients of the central derivative of the incoherent Eisenstein series. In the case of a general harmonic weak Maass form, there is an additional term given by the central derivative of a Rankin-Selberg type convolution., 39 pages

We describe connections between the Fourier coefficients of derivatives of Eisenstein series and invariants from the arithmetic geometry of the Shimura varieties $M$ associated to rational quadratic forms $(V,Q)$ of signature $(n,2)$. In the case $n=1$, we define generating series $\hat\phi_1(\tau)$ for 1-cycles (resp. $\hat\phi_2(\tau)$ for 0-cycles) on the arithmetic surface $\Cal M$ associated to a Shimura curve over $\Bbb Q$. These series are related to the second term in the Laurent expansion of an Eisenstein series of weight $\frac32$ and genus 1 (resp. genus 2) at the Siegel--Weil point, and these relations can be seen as examples of an `arithmetic' Siegel--Weil formula. Some partial results and conjectures for higher dimensional cases are also discussed.

This article sketches relations among algebraic cycles for the Shimura varieties defined by arithmetic quotients of symmetric domains for O(n,2), theta functions, values and derivatives of Eisenstein series and values and derivatives of certain L-functions. In the geometric case, results of joint work with John Millson imply that the generating functions for the classes in cohomology of certain algebraic cycles of codimension r are Siegel modular forms of genus r and weight n/2+1. A result of Borcherds shows that, for r=1, the same is true for the generating function for the classes of such divisors in the Chow group. By the Siegel-Weil formula, the generating function for the volumes of codimension r cycles coincides with a value of a Siegel-Eisenstein series of genus r. In particular, this gives an interpretation of the Fourier coefficients of these Eisenstein series as volumes of algebraic cycles. The second part of the paper discusses the possible analogues of these results in the arithmetic case, where the special values of derivatives of Eisenstein series arise. In this case, the Fourier coefficients of such derivatives are should be the heights (arithmetic volumes) of certain cycles on integral models of the O(n,2) type Shimura varieties. Relations of this sort would yield relations between central derivatives of certain L-functions and height pairings. The case of curves on a Siegel 3-fold and of the central derivative of a triple product L-function are discussed., Comment: to appear in the proceedings of the conference on Special Values of Rankin L series, held at MSRI in December of 2001

In his Inventiones papers in 1995 and 1998, Borcherds constructed holomorphic automorphic forms $\Psi(F)$ with product expansions on bounded domains $D$ associated to rational quadratic spaces $V$ of signature (n,2). The input $F$ for his construction is a vector valued modular form of weight $1-n/2$ for $SL_2(Z)$ which is allowed to have a pole at the cusp and whose non-positive Fourier coefficients are integers $c_\mu(-m)$, $m\ge0$. For example, the divisor of $\Psi(F)$ is the sum over $m>0$ and the coset parameter $\mu$ of $c_\mu(-m) Z_\mu(m)$ for certain rational quadratic divisors $Z_\mu(m)$ on the arithmetic quotient $X = \Gamma D$. In this paper, we give an explicit formula for the integral $\kappa(\Psi(F))$ of $-\log||\Psi(F)||^2$ over $X$, where $||.||^2$ is the Petersson norm. More precisely, this integral is given by a sum over $\mu$ and $m>0$ of quantities $c_\mu(-m) \kappa_\mu(m)$, where $\kappa_\mu(m)$ is the limit as $Im(\tau) -> \infty$ of the $m$th Fourier coefficient of the second term in the Laurent expansion at $s= n/2$ of a certain Eisenstein series $E(\tau,s)$ of weight $n/2 + 1$ attached to $V$. It is also shown, via the Siegel--Weil formula, that the value $E(\tau, n/2)$ of the Eisenstein series at this point is the generating function of the volumes of the divisors $Z_\mu(m)$ with respect to a suitable K\"ahler form. The possible role played by the quantity $\kappa(\Psi(F))$ in the Arakelov theory of the divisors $Z_\mu(m)$ on $X$ is explained in the last section.

In this paper we construct a modular form f of weight one attached to an imaginary quadratic field K. This form, which is non-holomorphic and not a cusp form, has several curious properties. Its negative Fourier coefficients are non-zero precisely for neqative integers -n such that n >0 is a norm from K, and these coefficients involve the exponential integral. The Mellin transform of f has a simple expression in terms of the Dedekind zeta function of K and the difference of the logarithmic derivatives of Riemann zeta function and of the Dirichlet L-series of K. Finally, the positive Fourier coefficients of f are connected with the theory of complex multiplication and arise in the work of Gross and Zagier on singular moduli.