-
The case of an N-gon
Authors:
Jens Funke,
Stephen Kudla
Abstract:
We construct the indefinite theta series attached to N-gons in the symmetric space of an indefinite inner product space of signature (m-2,2) following the suggestions of section C in the recent paper of Alexandrov, Banerjee, Manschot, and Pioline. We prove the termwise absolute convergence of the holomorphic mock modular part of these series and also obtain an interpretation of the coefficients of…
▽ More
We construct the indefinite theta series attached to N-gons in the symmetric space of an indefinite inner product space of signature (m-2,2) following the suggestions of section C in the recent paper of Alexandrov, Banerjee, Manschot, and Pioline. We prove the termwise absolute convergence of the holomorphic mock modular part of these series and also obtain an interpretation of the coefficients of this part as linking numbers. Thus we prove the convergence conjecture of ABMP provided none of the vectors in the collection CC={C_1,..., C_N} is a null vector. The use of linking numbers and a homotopy argument eliminates the need for an explicit parametrization of a surface S spanning the N-gon that was used in an essential way in our previous work. We indicate how our method could be carried over to a more general situation for signature (m-q,q) where higher homotopy groups are now involved. In the last section, we apply the method to the case of a dodecahedral cell in the symmetric space of a quadratic form of signature (m-3,3).
△ Less
Submitted 22 September, 2021;
originally announced September 2021.
-
On the p-adic uniformization of unitary Shimura curves
Authors:
Stephen Kudla,
Michael Rapoport,
Thomas Zink
Abstract:
We prove $p$-adic uniformization for Shimura curves attached to the group of unitary similitudes of certain binary skew hermitian spaces $V$ with respect to an arbitrary CM field $K$ with maximal totally real subfield $F$. For a place $v|p$ of $F$ that is not split in $K$ and for which $V_v$ is anisotropic, let $ν$ be an extension of $v$ to the reflex field $E$. We define an integral model of the…
▽ More
We prove $p$-adic uniformization for Shimura curves attached to the group of unitary similitudes of certain binary skew hermitian spaces $V$ with respect to an arbitrary CM field $K$ with maximal totally real subfield $F$. For a place $v|p$ of $F$ that is not split in $K$ and for which $V_v$ is anisotropic, let $ν$ be an extension of $v$ to the reflex field $E$. We define an integral model of the corresponding Shimura curve over ${\rm Spec}\, O_{E, (ν)}$ by means of a moduli problem for abelian schemes with suitable polarization and level structure prime to $p$. The formulation of the moduli problem involves a Kottwitz condition, an Eisenstein condition, and an adjusted invariant. The first two conditions are conditions on the Lie algebra of the abelian varieties; the last condition is a condition on the Riemann form of the polarization. The uniformization of the formal completion of this model along its special fiber is given in terms of the formal Drinfeld upper half plane for $F_v$. The proof relies on the construction of the contracting functor which relates a relative Rapoport-Zink space for strict formal $O_{F_v}$-modules with a Rapoport-Zink space of $p$-divisible groups which arise from the moduli problem, where the $O_{F_v}$-action is usually not strict when $F_v\ne \mathbb {Q}_p$. Our main tool is the theory of displays, in particular the Ahsendorf functor.
△ Less
Submitted 16 May, 2023; v1 submitted 10 July, 2020;
originally announced July 2020.
-
On the subring of special cycles
Authors:
Stephen Kudla
Abstract:
For a totally real field F of degree d>1 and a quadratic space V of signature (m,2)^{d_+} x (m+2,0)^{d-d_+} with associated Shimura variety Sh(V), we consider the subring of cohomology generated by the classes of weighted special cycles. We assume that d_+<d. We take the quotient SC(V) of this ring by the radical of the restriction of the intersection pairing to it. We show that the inner products…
▽ More
For a totally real field F of degree d>1 and a quadratic space V of signature (m,2)^{d_+} x (m+2,0)^{d-d_+} with associated Shimura variety Sh(V), we consider the subring of cohomology generated by the classes of weighted special cycles. We assume that d_+<d. We take the quotient SC(V) of this ring by the radical of the restriction of the intersection pairing to it. We show that the inner products of classes in SC(V) are determined by Fourier coefficients of pullbacks of Hilbert-Siegel Eisenstein series of genus m to products of smaller Siegel spaces and that the products of classes in SC(V) are determined by Fourier coefficients of pullbacks to triple products of smaller Siegel spaces. As a consequence, we show that, for quadratic spaces V and V' over F that are isomorphic at all finite places, but with no restriction on d_+(V) and d_+(V') other than the necessary condition that they have the same parity, the special cycles rings SC(V) and SC(V') are isometrically isomorphic. This is a consequence of the Siegel-Weil formula and the matching principle. Finally, we give a combinatorial construction of a ring SC(V_+) associated to a totally positive definite quadratic space V_+ of dimension m+2 over F and show that the comparison isomorphism extends to this case.
△ Less
Submitted 24 January, 2020;
originally announced January 2020.
-
Remarks on generating series for special cycles
Authors:
Stephen Kudla
Abstract:
In this note, we consider special algebraic cycles on the Shimura variety S associated to a quadratic space V over a totally real field F, |F:\Q|=d, of signature ((m,2)^{d_+},(m+2,0)^{d-d_+}), 1\le d_+<d. For each n, 1\le n\le m, there are special cycles Z(T) in S, of codimension nd_+, indexed by totally positive semi-definite matrices with coefficients in the ring of integers O_F. The generating…
▽ More
In this note, we consider special algebraic cycles on the Shimura variety S associated to a quadratic space V over a totally real field F, |F:\Q|=d, of signature ((m,2)^{d_+},(m+2,0)^{d-d_+}), 1\le d_+<d. For each n, 1\le n\le m, there are special cycles Z(T) in S, of codimension nd_+, indexed by totally positive semi-definite matrices with coefficients in the ring of integers O_F. The generating series for the classes of these cycles in the cohomology group H^{2nd_+}(S) are Hilbert-Siegel modular forms of parallel weight m/2+1. One can form analogous generating series for the classes of the special cycles in the Chow group CH^{nd_+}(S). For d_+=1 and n=1, the modularity of these series was proved by Yuan-Zhang-Zhang. In this note we prove the following: Assume the Bloch-Beilinson conjecture on the injectivity of Abel-Jacobi maps. Then the Chow group valued generating series for special cycles of codimension nd_+ on S is modular for all n with 1\le n\le m.
△ Less
Submitted 22 August, 2019;
originally announced August 2019.
-
Modularity of generating series of divisors on unitary Shimura varieties II: arithmetic applications
Authors:
Jan Bruinier,
Benjamin Howard,
Stephen S. Kudla,
Michael Rapoport,
Tonghai Yang
Abstract:
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 diviso…
▽ More
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.
△ Less
Submitted 21 February, 2020; v1 submitted 2 October, 2017;
originally announced October 2017.
-
Theta integrals and generalized error functions, II
Authors:
Jens Funke,
Stephen Kudla
Abstract:
Theta series for indefinite quadratic lattices were introduced by Zwegers, for signature (m-1,1), Alexandrov, Banerjee, Manschot and Pioline, for signature (m-2,2), and Nazaroglu, for signature (m-q,q). These series are modular modular completions, defined by means of generalized error functions, of certain non-modular holomorphic generating series associated to lattice vectors in positive cones.…
▽ More
Theta series for indefinite quadratic lattices were introduced by Zwegers, for signature (m-1,1), Alexandrov, Banerjee, Manschot and Pioline, for signature (m-2,2), and Nazaroglu, for signature (m-q,q). These series are modular modular completions, defined by means of generalized error functions, of certain non-modular holomorphic generating series associated to lattice vectors in positive cones. We show that these modular forms arise as integrals of the theta forms, defined in work of Millson and the second author, over certain singular q-cubes. We also give an explicit formula for the integrals of such forms over singular q-simplices. The sign function occurring in the holomorphic generating series arises as in intersection number of the singular q-cube or q-simplex with a totally geodesic subsymmetric space of codimension q. The cubical case for q=2 was treated in [11].
△ Less
Submitted 9 August, 2017;
originally announced August 2017.
-
Modularity of generating series of divisors on unitary Shimura varieties
Authors:
Jan Bruinier,
Benjamin Howard,
Stephen S. Kudla,
Michael Rapoport,
Tonghai Yang
Abstract:
We form generating series of special divisors, valued in the Chow group and in the arithmetic Chow group, on the compactified integral model of a Shimura variety associated to a unitary group of signature (n-1,1), and prove their modularity. The main ingredient of the proof is the calculation of the vertical components appearing in the divisor of a Borcherds product on the integral model.
We form generating series of special divisors, valued in the Chow group and in the arithmetic Chow group, on the compactified integral model of a Shimura variety associated to a unitary group of signature (n-1,1), and prove their modularity. The main ingredient of the proof is the calculation of the vertical components appearing in the divisor of a Borcherds product on the integral model.
△ Less
Submitted 21 February, 2020; v1 submitted 24 February, 2017;
originally announced February 2017.
-
A classification of harmonic Maass forms
Authors:
Kathrin Bringmann,
Stephen Kudla
Abstract:
We give a classification of the Harish-Chandra modules generated by the pullback to $\text{SL}_2(\mathbb R)$ of harmonic Maass forms for congruence subgroups of $\text{SL}_2(\mathbb Z)$ with exponential growth allowed at the cusps. We assume that the weight is integral but include vector-valued forms. Due to the weak growth condition, these modules need not be irreducible. Elementary Lie algebra c…
▽ More
We give a classification of the Harish-Chandra modules generated by the pullback to $\text{SL}_2(\mathbb R)$ of harmonic Maass forms for congruence subgroups of $\text{SL}_2(\mathbb Z)$ with exponential growth allowed at the cusps. We assume that the weight is integral but include vector-valued forms. Due to the weak growth condition, these modules need not be irreducible. Elementary Lie algebra considerations imply that there are 9 possibilities, and we show, by giving explicit examples, that all of them arise from harmonic Maass forms. Finally, we briefly discuss the case of forms that are not harmonic but rather are annihilated by a power of the Laplacian, where much more complicated Harish-Chandra modules can arise.
△ Less
Submitted 22 September, 2016;
originally announced September 2016.
-
Theta integrals and generalized error functions
Authors:
Stephen Kudla
Abstract:
In a recent preprint, arXiv:1606.05495v1, Alexandrov, Banerjee, Manschot and Pioline introduced generalized error functions and used them to construct indefinite theta series associated to quadratic lattices L of signature (n-2,2). These series are generalizations of those constructed by Zwegers for lattices of signature (n-1,1) and are shown to be `modular completions' of certain nice $q$-series.…
▽ More
In a recent preprint, arXiv:1606.05495v1, Alexandrov, Banerjee, Manschot and Pioline introduced generalized error functions and used them to construct indefinite theta series associated to quadratic lattices L of signature (n-2,2). These series are generalizations of those constructed by Zwegers for lattices of signature (n-1,1) and are shown to be `modular completions' of certain nice $q$-series. In this paper, we show that the ABMP-indefinite theta series for signature (n-2,2) can also be obtained as integrals of the form valued theta series introduced in joint work with J. Millson in 1986. Given two pairs {C1,C2} and {C2,C2'} of negative vectors in the real quadratic space V obtained from L, we suppose that these vectors determine 4 distinct oriented negative 2-planes {C1,C2},{C1,C2'},{C1',C2'},{C1',C2} lying in the same component of the space D of oriented negative 2 -planes in V. These 2-planes determined a surface S in D and the non-holomorphic modular form obtained by integrating the KM-theta series over S is show to coincide with the ABMP-indefinite theta series. Moreover, the associated q-series in interpreted as the generating series for the intersection numbers of S with the codimension 2 subspaces D_x of D defined by positive lattice vectors.
△ Less
Submitted 11 August, 2016;
originally announced August 2016.
-
A note about special cycles on moduli spaces of K3 surfaces
Authors:
Stephen Kudla
Abstract:
We describe the application of the results of Kudla-Millson on the modularity of generating series for cohomology classes of special cycles to the case of lattice polarized K3 surfaces. In this case, the special cycles can be interpreted as higher Noether-Lefschetz loci. These generating series can be paired with the cohomology classes of complete subvarieties of the moduli space to give classical…
▽ More
We describe the application of the results of Kudla-Millson on the modularity of generating series for cohomology classes of special cycles to the case of lattice polarized K3 surfaces. In this case, the special cycles can be interpreted as higher Noether-Lefschetz loci. These generating series can be paired with the cohomology classes of complete subvarieties of the moduli space to give classical Siegel modular forms with higher Noether-Lefschetz numbers as Fourier coefficients. Examples of such complete families associated to quadratic spaces over totally real number fields are constructed. A more explicit and concrete construction of such families and the resulting modular forms would be of interest.
△ Less
Submitted 8 August, 2014;
originally announced August 2014.
-
Another product for a Borcherds form
Authors:
Stephen Kudla
Abstract:
In his celebrated 1998 Inventiones paper, Borcherds constructed meromorphic automorphic forms Psi(F) for arithmetic subgroups associated to even integral lattices M of signature (n,2). The input to his construction is a vector valued weakly holomorphic modular form F of weight 1 - n/2, and the resulting Borcherds form has an explicit divisor on the arithmetic quotient X = Gamma_M\ D. Most remarkab…
▽ More
In his celebrated 1998 Inventiones paper, Borcherds constructed meromorphic automorphic forms Psi(F) for arithmetic subgroups associated to even integral lattices M of signature (n,2). The input to his construction is a vector valued weakly holomorphic modular form F of weight 1 - n/2, and the resulting Borcherds form has an explicit divisor on the arithmetic quotient X = Gamma_M\ D. Most remarkably, in the neighborhood of each cusp (= rational point boundary component), there is a beautiful product formula for Psi(F), reminiscent of the classical product formula for the Dedekind eta-function. In this paper, we describe an analogous product formula for Psi(F) in the neighborhood of each 1-dimensional rational boundary component. This formula, which, like that of Borcherds, is obtained through the calculation of a regularized theta integral, reveals the behavior of Psi(F) on a (partial) smooth compactification of X.
Information about Fourier-Jacobi coefficients is added to this revised version.
△ Less
Submitted 25 July, 2014; v1 submitted 3 February, 2014;
originally announced February 2014.
-
New cases of p-adic uniformization
Authors:
Stephen Kudla,
Michael Rapoport
Abstract:
We prove a Cherednik style $p$-adic uniformization theorem for Shimura varieties associated to certain groups of unitary similitudes of size two over totally real fields. Our basic tool is the alternative modular interpretation of the Drinfeld $p$-adic halfplane of our earlier paper (arXiv 1108.5713)
We prove a Cherednik style $p$-adic uniformization theorem for Shimura varieties associated to certain groups of unitary similitudes of size two over totally real fields. Our basic tool is the alternative modular interpretation of the Drinfeld $p$-adic halfplane of our earlier paper (arXiv 1108.5713)
△ Less
Submitted 30 December, 2013; v1 submitted 14 February, 2013;
originally announced February 2013.
-
On occult period maps
Authors:
Stephen Kudla,
Michael Rapoport
Abstract:
We consider the "occult" period maps into ball quotients which exist for the moduli spaces of cubic surfaces, cubic threefolds, non-hyperelliptic curves of genus three and four. These were constructed in the work of Allcock/Carlson/Toledo, Looijenga/Swierstra, and Kondo. We interpret these maps as morphisms into moduli spaces of polarized abelian varieties of Picard type, and show that these morph…
▽ More
We consider the "occult" period maps into ball quotients which exist for the moduli spaces of cubic surfaces, cubic threefolds, non-hyperelliptic curves of genus three and four. These were constructed in the work of Allcock/Carlson/Toledo, Looijenga/Swierstra, and Kondo. We interpret these maps as morphisms into moduli spaces of polarized abelian varieties of Picard type, and show that these morphisms, whose initial construction is transcendental, are defined over the natural field of definition of the spaces involved. This paper is extracted from section 15 of our paper arXiv:0912.3758, and differs from it only in some points of exposition.
△ Less
Submitted 30 December, 2013; v1 submitted 6 March, 2012;
originally announced March 2012.
-
An alternative description of the Drinfeld p-adic half-plane
Authors:
Stephen Kudla,
Michael Rapoport
Abstract:
We show that the Deligne formal model of the Drinfeld p-adic halfplane relative to a non-archimedean local field F represents a moduli problem of polarized O_F-modules with an action of the ring of integers O_E in a quadratic extension E of F. The proof proceeds by establishing a comparison isomorphism with the Drinfeld moduli problem. This isomorphism reflects the accidental isomorphism of SL_2(F…
▽ More
We show that the Deligne formal model of the Drinfeld p-adic halfplane relative to a non-archimedean local field F represents a moduli problem of polarized O_F-modules with an action of the ring of integers O_E in a quadratic extension E of F. The proof proceeds by establishing a comparison isomorphism with the Drinfeld moduli problem. This isomorphism reflects the accidental isomorphism of SL_2(F) and SU(C)(F) for a two-dimensional split hermitian space C for E/F.
△ Less
Submitted 6 January, 2013; v1 submitted 29 August, 2011;
originally announced August 2011.
-
On the pullback of an arithmetic theta function
Authors:
Stephen Kudla,
Tonghai Yang
Abstract:
In this paper, we consider the relation between the simplest types of arithmetic theta series, those associated to the cycles on the moduli space $\Cal C$ of elliptic curves with CM by the ring of integers $\OK$ in an imaginary quadratic field $\kay$, on the one hand, and those associated to cycles on the arithmetic surface $\M$ parametrizing 2-dimensional abelian varieties with an action of the m…
▽ More
In this paper, we consider the relation between the simplest types of arithmetic theta series, those associated to the cycles on the moduli space $\Cal C$ of elliptic curves with CM by the ring of integers $\OK$ in an imaginary quadratic field $\kay$, on the one hand, and those associated to cycles on the arithmetic surface $\M$ parametrizing 2-dimensional abelian varieties with an action of the maximal order $O_B$ in an indefinite quaternion algebra $B$ over $\Q$, on the other. We show that the arithmetic degree of the pullback to $Cal C$ of the arithmetic theta function of weight 3/2 valued in $\hat CH^1(\M)$ can be expressed as a linear combination of arithmetic theta functions of weight 1 for $\Cal C$ and unary theta series. This identity can be viewed as an arithmetic seesaw identity. In addition, we show that the arithmetic theta series of weight 1 coincide with the central derivative of certain incoherent Eisenstein series for SL(2)/Q, generalizing earlier joint work with M. Rapoport for the case of a prime discriminant.
△ Less
Submitted 23 June, 2011;
originally announced June 2011.
-
Faltings heights of big CM cycles and derivatives of L-functions
Authors:
Jan Hendrik Bruinier,
Stephen S. Kudla,
Tonghai Yang
Abstract:
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…
▽ More
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.
△ Less
Submitted 10 August, 2010;
originally announced August 2010.
-
Special cycles on unitary Shimura varieties II: global theory
Authors:
Stephen Kudla,
Michael Rapoport
Abstract:
We introduce moduli spaces of abelian varieties which are arithmetic models of Shimura varieties attached to unitary groups of signature (n-1, 1). We define arithmetic cycles on these models and study their intersection behaviour. In particular, in the non-degenerate case, we prove a relation between their intersection numbers and Fourier coefficients of the derivative at s=0 of a certain incohere…
▽ More
We introduce moduli spaces of abelian varieties which are arithmetic models of Shimura varieties attached to unitary groups of signature (n-1, 1). We define arithmetic cycles on these models and study their intersection behaviour. In particular, in the non-degenerate case, we prove a relation between their intersection numbers and Fourier coefficients of the derivative at s=0 of a certain incoherent Eisenstein series for the group U(n, n). This is done by relating the arithmetic cycles to their formal counterpart from Part I via non-archimedean uniformization, and by relating the Fourier coefficients to the derivatives of representation densities of hermitian forms. The result then follows from the main theorem of Part I and a counting argument.
△ Less
Submitted 18 December, 2012; v1 submitted 18 December, 2009;
originally announced December 2009.
-
Special cycles on unitary Shimura varieties I. unramified local theory
Authors:
Stephen Kudla,
Michael Rapoport
Abstract:
The supersingular locus in the fiber at p of a Shimura variety attached to a unitary similitude group GU(1,n-1) over Q is uniformized by a formal scheme \Cal N. In the case when p is inert, we define special cycles Z(x) in \Cal N, associated to a collection x of m `special homomorphisms' with fundamental matrix T in Herm_m(OK). When m=n and T is nonsingular, we show that the cycle Z(x) is a union…
▽ More
The supersingular locus in the fiber at p of a Shimura variety attached to a unitary similitude group GU(1,n-1) over Q is uniformized by a formal scheme \Cal N. In the case when p is inert, we define special cycles Z(x) in \Cal N, associated to a collection x of m `special homomorphisms' with fundamental matrix T in Herm_m(OK). When m=n and T is nonsingular, we show that the cycle Z(x) is a union of components of the Ekedahl-Oort stratification, and we give a necessary and sufficient conditions, in terms of T, for Z(x) to be irreducible. When Z(x) is zero dimensional -- in which case it reduces to a single point -- we determine the length of the corresponding local ring by using a variant of the theory of quasi-canonical liftings. We show that this length coincides with the derivative of a representation density for hermitian forms.
△ Less
Submitted 17 February, 2011; v1 submitted 3 April, 2008;
originally announced April 2008.
-
Modular forms and arithmetic geometry
Authors:
Stephen S. Kudla
Abstract:
This article describes results of joint work with Michael Rapoport and Tonghai Yang. First, we construct an modular form φ(τ) of weight 3/2 valued in the arithmetic Chow group of the arithmetic surface M attached toa Shimura curve over Q. The q-expansion of this function is an analogue of the Hirzebruch-Zagier generating function for the cohomology classes of curves on a Hilbert modular surface.…
▽ More
This article describes results of joint work with Michael Rapoport and Tonghai Yang. First, we construct an modular form φ(τ) of weight 3/2 valued in the arithmetic Chow group of the arithmetic surface M attached toa Shimura curve over Q. The q-expansion of this function is an analogue of the Hirzebruch-Zagier generating function for the cohomology classes of curves on a Hilbert modular surface. This`arithmetic theta function' is used to define an `arithmetic theta lift' from modular forms of weight 3/2 to the arithmetic Chow group of M. For integers t_1 and t_2 with t_1t_2 not a square, the (t_1,t_2)-Fourier coefficient of the height pairing <φ(τ_1),φ(τ_2)> coincides with the (t_1,t_2)-Fourier coefficient of the restriction to the diagonal of the central derivative of a certain Eisenstein series of weight 3/2 and genus 2. Using this fact and results about the doubling integral for forms of weight 3/2, we prove that the arithmetic theta lift of a Hecke eigenform f is nonzero if and only if there is no local obstruction (theta dichotomy) and the standard Hecke L-function L(s,F) of the corresponding newform F of weight 2 has nonvanishing derivative, L'(1,F)\ne0, at the center of symmetry. This is an analogue of a result of Waldspurger according to which the classical Shimura lift of such a form is nonzero if and only if there is no local obstruction and L(1,F)\ne0. Detailed proofs will be given elsewhere.
△ Less
Submitted 29 August, 2003;
originally announced August 2003.
-
Special cycles and derivatives of Eisenstein series
Authors:
Stephen S. Kudla
Abstract:
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…
▽ More
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.
△ Less
Submitted 29 August, 2003;
originally announced August 2003.
-
Derivatives of Eisenstein series and arithmetic geometry
Authors:
Stephen S. Kudla
Abstract:
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φ_1(τ)$ for 1-cycles (resp. $\hatφ_2(τ)$ for 0-cycles) on the arithmetic surface $\Cal M$ associated to a Shimu…
▽ More
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φ_1(τ)$ for 1-cycles (resp. $\hatφ_2(τ)$ 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.
△ Less
Submitted 16 April, 2003;
originally announced April 2003.
-
On a conjecture of Jacquet
Authors:
Michael Harris,
Stephen S. Kudla
Abstract:
In this note, we prove in full generality a conjecture of Jacquet concerning the nonvanishing of the triple product L-function at the central point.
Let $\kay$ be a number field and let $π_i$, $i=1$, 2, 3 be cuspidal automorphic representations of $GL_2(\A)$ such that the product of their central characters is trivial. Then the central value $L(\frac12,π_1\otimesπ_2\otimesπ_3)$ of the triple p…
▽ More
In this note, we prove in full generality a conjecture of Jacquet concerning the nonvanishing of the triple product L-function at the central point.
Let $\kay$ be a number field and let $π_i$, $i=1$, 2, 3 be cuspidal automorphic representations of $GL_2(\A)$ such that the product of their central characters is trivial. Then the central value $L(\frac12,π_1\otimesπ_2\otimesπ_3)$ of the triple product L--function is nonzero if and only if there exists a quaternion algebra $B$ over $\kay$ and automorphic forms $f_i^B\in π_i^B$, such that the integral of the product $f_1^B f_2^B f_3^B$ over the diagonal $Z(\Bbb A) B^\times(\kay) B^\times(\Bbb A)$ is nonzero, where $π_i^B$ is the representation of $B^\times(\A)$ corresponding to $π_i$.
In a previous paper, we proved this conjecture in the special case where $\kay=\Q$ and the $π_i$'s correspond to a triple of holomorphic newforms. Recent improvement on the Ramanujan bound due to Kim and Shahidi, results about the local L-factors due to Ikeda and Ramakrishnan, results of Chen-bo Zhu and Sahi about invariant distributions and degenerate principal series in the complex case, and an extension of the Siegel--Weil formula to similitude groups allow us to carry over our method to the general case.
△ Less
Submitted 21 November, 2001;
originally announced November 2001.
-
Derivatives of Eisenstein series and Faltings heights
Authors:
S. Kudla,
M. Rapoport,
T. Yang
Abstract:
We prove a relation between a generating series for the heights of Heegner cycles on the arithmetic surface associated to a Shimura curve and the second term in the Laurent expansion at s=1/2 of an Eisenstein series of weight 3/2 for SL(2). On the geometric side, a typical coefficient of the generating series involves the Faltings heights of abelian surfaces isogenous to a product of CM elliptic…
▽ More
We prove a relation between a generating series for the heights of Heegner cycles on the arithmetic surface associated to a Shimura curve and the second term in the Laurent expansion at s=1/2 of an Eisenstein series of weight 3/2 for SL(2). On the geometric side, a typical coefficient of the generating series involves the Faltings heights of abelian surfaces isogenous to a product of CM elliptic curves, an archimedean contribution, and contributions from vertical components in the fibers of bad reduction. On the analytic side, these terms arise via the derivatives of local Whittaker functions. It should be noted that s=1/2 is not the central point for the functional equation of the Eisenstein series in question. Moreover, the first term of the Laurent expansion at s=1/2 coincides with the generating function for the degrees of the Heegner cycles on the generic fiber, and, in particular, does not vanish.
△ Less
Submitted 26 October, 2001;
originally announced October 2001.
-
Integrals of Borcherds forms
Authors:
Stephen S. Kudla
Abstract:
In his Inventiones papers in 1995 and 1998, Borcherds constructed holomorphic automorphic forms $Ψ(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 coefficien…
▽ More
In his Inventiones papers in 1995 and 1998, Borcherds constructed holomorphic automorphic forms $Ψ(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_μ(-m)$, $m\ge0$. For example, the divisor of $Ψ(F)$ is the sum over $m>0$ and the coset parameter $μ$ of $c_μ(-m) Z_μ(m)$ for certain rational quadratic divisors $Z_μ(m)$ on the arithmetic quotient $X = ΓD$. In this paper, we give an explicit formula for the integral $κ(Ψ(F))$ of $-\log||Ψ(F)||^2$ over $X$, where $||.||^2$ is the Petersson norm. More precisely, this integral is given by a sum over $μ$ and $m>0$ of quantities $c_μ(-m) κ_μ(m)$, where $κ_μ(m)$ is the limit as $Im(τ) -> \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(τ,s)$ of weight $n/2 + 1$ attached to $V$. It is also shown, via the Siegel--Weil formula, that the value $E(τ, n/2)$ of the Eisenstein series at this point is the generating function of the volumes of the divisors $Z_μ(m)$ with respect to a suitable Kähler form. The possible role played by the quantity $κ(Ψ(F))$ in the Arakelov theory of the divisors $Z_μ(m)$ on $X$ is explained in the last section.
△ Less
Submitted 21 October, 2001;
originally announced October 2001.
-
Arithmetic Hirzebruch Zagier cycles
Authors:
S. Kudla,
M. Rapoport
Abstract:
We define special cycles on arithmetic models of twisted Hilbert-Blumenthal surfaces at primes of good reduction. These are arithmetic versions of these cycles. In particular, we characterize the non-degenerate intersections and partially determine the generating series formed from the intersection numbers of them relating it to the value at the center of symmetry of the derivative of a certain…
▽ More
We define special cycles on arithmetic models of twisted Hilbert-Blumenthal surfaces at primes of good reduction. These are arithmetic versions of these cycles. In particular, we characterize the non-degenerate intersections and partially determine the generating series formed from the intersection numbers of them relating it to the value at the center of symmetry of the derivative of a certain metaplectic Eisenstein series in 6 variables. These results are analogous to those obtained by us in the case of Siegel threefolds (alg-geom/9711025). We also study the case of degenerate intersections and show that in this case the intersection locus is a configuration of projective lines whose dual graph is described in terms of subcomplexes of the Bruhat-Tits building of PGL(2,F), where F is an unramified quadratic extension of Q_p.
△ Less
Submitted 16 April, 1999;
originally announced April 1999.
-
Height pairings on Shimura curves and p-adic uniformization
Authors:
S. Kudla,
M. Rapoport
Abstract:
We establish a relation between intersection numbers of special cycles on a Shimura curve and special values of derivatives of metaplectic Eisenstein series at a place of bad reduction where p-adic uniformization in the sense of Cherednik and Drinfeld holds. The result extends the one established by one of us (S. Kudla: Ann. of Math. 146 (1997)) for the archimedean place and for the non-archimed…
▽ More
We establish a relation between intersection numbers of special cycles on a Shimura curve and special values of derivatives of metaplectic Eisenstein series at a place of bad reduction where p-adic uniformization in the sense of Cherednik and Drinfeld holds. The result extends the one established by one of us (S. Kudla: Ann. of Math. 146 (1997)) for the archimedean place and for the non-archimedean places of good reduction. The bulk of the paper is concerned with the corresponding problem on the Drinfeld upper half plane (the formal scheme version).
△ Less
Submitted 25 September, 1998;
originally announced September 1998.
-
A peculiar modular form of weight one
Authors:
Stephen S. Kudla,
Michael Rapoport,
Tonghai Yang
Abstract:
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 sim…
▽ More
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.
△ Less
Submitted 30 August, 1998;
originally announced August 1998.
-
Cycles on Siegel 3-folds and derivatives of Eisenstein series
Authors:
S. Kudla,
M. Rapoport
Abstract:
We consider the Siegel modular variety of genus 2 and a p-integral model of it for a good prime p>2, which parametrizes principally polarized abelian varieties of dimension two with a level structure. We consider cycles on this model which are characterized by the existence of certain special endomorphisms, and their intersections. We characterize that part of the intersection which consists of…
▽ More
We consider the Siegel modular variety of genus 2 and a p-integral model of it for a good prime p>2, which parametrizes principally polarized abelian varieties of dimension two with a level structure. We consider cycles on this model which are characterized by the existence of certain special endomorphisms, and their intersections. We characterize that part of the intersection which consists of isolated points in characteristic p only. Furthermore, we relate the (naive) intersection multiplicities of the cycles at isolated points to special values of derivatives of certain Eisenstein series on the metaplectic group in 8 variables.
△ Less
Submitted 20 November, 1997;
originally announced November 1997.
