DOCSLIB.ORG

Siegel-Eisenstein Series and Triple Products of Coleman’S Families (A Joint Work with S.Boecherer)

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Siegel-Eisenstein Series and Triple Products of Coleman’S Families (A Joint Work with S.Boecherer) Siegel-Eisenstein series and triple products of Coleman’s families (a joint work with S.Boecherer) A. A. Panchishkin∗ http://www-fourier.ujf-grenoble.fr/˜panchish e-mail : [email protected], FAX: 33 (0) 4 76 51 44 78 Abstract We start with classical examples of modular form, including elliptic modular forms, Siegel-Eisenstein series, and triple modular forms. For a prime number p ≥ 5, we discuss congruences mod pv between modular form, and explain their relation with p-adic integration. Slide 1 Consider three classical modular cusp eigenforms ∞ X fj (z) = an,j exp(2πinz) ∈ Skj (Nj , ψj ), (j = 1, 2, 3) of n=1 weights kj , conductors Nj , and of nebentypus characters ψj mod Nj (j = 1, 2, 3), see [Ma-Pa05]. According to H.Hida [Hi86] and R.Coleman [CoPB], one can include each fj (under suitable assumptions on p and on fj ) into a p-adic analytic ∞ 0 X n family k 7→ {f 0 = an(f 0 )q } of cusp eigenforms f 0 of j j,kj j,kj j,kj n=1 0 weights kj in such a way that fj,kj = fj , and that all their ∗A talk for the Kinki University mathematics seminar. Date: 20 September (16:30-17:30) 0 0 Fourier coefficients are p-adic analytic functions kj 7→ an,j (kj ). In the second part of this talk we describe p-adic measures attached to Garrett’s triple product of three Coleman’s families and extend our previous results in [PaTV]. We consider the product of three Satake parameters: 0 0 0 (1) 0 (1) 0 (1) 0 λ = λp(k1, k2, k3) = αp,1(k1)αp,2(k2)αp,3(k3). We consider the p-adic weight space Slide 2 ∗ X = Homcont(Y, Cp). This is an analytic space over Cp, which consists of all ∗ ∗ continuous characters of the profinite group Y = (Z/NZ) × Zp, 0 containing all (kj , ψj ). Assume that the slope of this product 0 0 0 0 0 0 σ = ordp(λ(k1, k2, k3)) = σ(k1, k2, k3) = σ1 + σ2 + σ3 0 0 0 0 is constant and positive for all triplets k = (k1, k2, k3) in a 3 3 p-adic neighbourhood B ⊂ X of k = (k1, k2, k3) ∈ X . We use the theory of p-adic integration with values in an algebra A over the Tate field Cp. We obtain a p-adic L-function of four variables as the p-adic Mellin transform of a measure µ with values the Banach algebra A = A(B) associated with an analytic space B ⊂ X3. We obtain the function in question of four variables Lµ(x, s) 3 by evaluation at s = ((s1, ψ1), (s2, ψ2), (s3, ψ3)) ∈ B ⊂ X : this Slide 3 is a p-adic analytic function in four variables (x, s) ∈ X × B ⊂ X × X × X × X: Lµ˜(x, s) := evs(Lµ˜)(x)(x ∈ X, s ∈ B1 × B2 × B3, Lµ˜(x) ∈ A). We construct such a measure from higher twists of classical Siegel-Eisenstein series, which produce distributions with values in certain Banach A-modules M = M(N; A) of triple modular forms with coefficients in the algebra A. 0 Contents 1 Classical modular forms and L-functions 5 2 Generalities on triple products 17 3 Statement of the problem 22 Slide 4 4 Arithmetical nearly holomorphic modular forms 29 5 Siegel-Eisensten series 32 6 Main results 43 7 Criterion of admissibility 77 1 Classical modular forms and L-functions Our purpose is to extend to Garrett’s triple products our previous results in [PaTV], Two variable p-adic L functions attached to eigenfamilies of positive slope, Invent. Math. v. 154, N3 (2003), pp. 551 - 615. Slide 5 We view modular forms as: where q = exp(2πiz), 1) power series z ∈ H, and define ∞ X f = a qn ∈ [[q]] the L-function n C ∞ n=0 X −s Lf (s, χ) = χ(n)ann 2) holomorphic functions n=0 on the upper half plane for a Dirichlet character H = {z ∈ C | Im z > 0} χ :(Z/NZ)∗ → C∗. 1 A famous example: the Ramanujan function τ(n) The function ∆ (of the variable z) τ(1) = 1, τ(2) = −24, is defined by the formal expansion τ(3) = 252, τ(4) = −1472 P∞ n ∆ = n=1 τ(n)q τ(m)τ(n) = τ(mn) Q∞ m 24 = q m=1(1 − q ) for (n, m) = 1, is a cusp form of weight k = 12 |τ(p)| ≤ 2p11/2 (Ramanujan- Slide 6 with respect to Γ = SL2(Z). Deligne) for all primes p . gp > h6=sum(k=1,20,k^5*q^k/(1-q^k)+O(q^20)) gp > h4=sum(k=1,20,k^3*q^k/(1-q^k)+O(q^20) gp > Delta=((1+240*h4)^3-(1-504*h6)^2)/1728 q - 24*q^2 + 252*q^3 - 1472*q^4 + 4830*q^5 - 6048*q^6 - 16744*q^7 + 84480*q^8 - 113643*q^9 - 115920*q^10 + 534612*q^11 - 370944*q^12 - 577738*q^13 + 401856*q^14 + 1217160*q^15 + 987136*q^16 - 6905934*q^17+ 2727432*q^18 + 10661420*q^19 + O(q^20) The L-function attached to a primitive form f of weight k and Dirichlet character ψ mod N admits an Euler product (Hecke) X −s where H (X) = Lf (s, χ) = χ(n)ann , p,f k−1 2 Slide 7 n≥1 1 − apX + ψ(p)p X Y −s −1 = Hp,f (χ(p)p ) = (1 − α(1)X)(1 − α(2)X) p compare with Euler’s product is the Hecke polynomial, X Y (1) (2) ζ(s) = n−s = (1 − p−s)−1 α and α are called n≥1 p the Satake parameters of f (for any variable Dirichlet character χ :(Z/NZ)∗ → C∗). 2 Let Γ be a subgroup of finite index in the modular group SL2(Z). Recall: a holomorphic function f : H → C is called a modular form of weight k with respect to Γ iff the conditions a) and b) are satisfied (notation f ∈ Mk(Γ)): a) Automorphy condition k f((aγ z + bγ )/(cγ z + dγ )) = (cγ z + dγ ) f(z) (1.1) Slide 8 for all elements γ = aγ bγ ∈ Γ; cγ dγ b) Regularity at cusps: f is regular at cusps z ∈ Q ∪ i∞ (the cusps can be viewed as fixed points of parabolic elements of Γ); this a b means that for each element σ = c d ∈ SL2(Z) the function −k az+b f|kσ(z) := (cz + d) f cz+d admits a Fourier expansion over 1/N X 1/N non–negative powers of q : f|kσ = an,σq , N = Nσ ≥ 1. n=0 A function f : H → C is called a cusp form if the constant term an,σ = 0 (i.e. if f vanishes at all cusps σ(∞), notation f ∈ Sk(Γ)), see T.Miyake ([Miy], 1989), G. Shimura ([Shi71], 1971) and Yu.Manin-A.Panchishkin ([Ma-Pa05], 2005). Another known example of a modular form is given by the Eisenstein series 0 X −k Gk(z) = (m1 + m2z) (1.2) Slide 9 m1,m2∈Z (with respect to SL2(Z) of weight k ≥ 4, prime denoting (m1, m2) 6= (0, 0)). One has Gk(z) ≡ 0 for odd k and ∞ 2(2πi)k ζ(1 − k) X X G (z) = + dk−1qn , (1.3) k (k − 1)! 2 n=1 d|n ∞ Bk P −s where ζ(1 − k) = − k , ζ(s) = n is the Riemann zeta function, n=1 3 th Bk is the k Bernoulli number. One can also define the Eisenstein series using the action of the group Γ = SL2(Z) as X X −k Ek(z) = 1|kγ = (cz + d) = γ∈P \Γ (c,d)=1,c>0 c=0,d=1 ∞ 2 X X (k − 1)! 2 1 + dk−1qn = · G , ζ(1 − k) 2(2πi)k ζ(1 − k) k n=1 d|n Slide 10 n a b o −k az+b where P = γ = 0 d ∈ Γ , f|kσ(z) := (cz + d) f cz+d . gp > e4=1+240*sum(n=1,20,n^3*q^n/(1-q^n)+O(q^20)) %1 = 1 + 240*q + 2160*q^2 + 6720*q^3 + 17520*q^4 + 30240*q^5 + 60480*q^6 + 82560*q^7 + 140400*q^8 + 181680*q^9 + 272160*q^10 + 319680*q^11 + 490560*q^12 + 527520*q^13 + 743040*q^14 + 846720*q^15 + 1123440*q^16 + 1179360*q^17 + 1635120*q^18+ 1646400*q^19 + O(q^20) The graded algebra M(SL2(Z)) = ⊕k≥0 evenMk(SL2(Z)) is isomorphic to the polynomial ring of the (independent) variables P∞ n P∞ n E4 = 1 + 240 n=1 σ3(n)q and E6 = 1 − 504 n=1 σ5(n)q . In 3 2 particular, ∆ = (E4 − E6 )/1728 (see the above example). 1.1 Congruences bewteen modular forms Slide 11 A new chapter in arithmetic was opened by Serre and Deligne, who explained a whole series of mysterious facts concerning various arithmetical functions. Examples of these facts are: the conjecture of Ramanujan–Petersson |τ(p)| < 2p11/2 for the Ramanujan function τ(p), and the congruence of Ramanujan X τ(n) ≡ d11 mod 691 : (1.4) d|n 4 gp > h12=sum(n=1,20,n^11*q^n/(1-q^n)+O(q^20)) %9 = q + 2049*q^2 + 177148*q^3 + 4196353*q^4 + 48828126*q^5 + 362976252*q^6 + 1977326744*q^7 + 8594130945*q^8 + 31381236757*q^9 + 100048830174*q^10 + 285311670612*q^11 + 743375541244*q^12 + 1792160394038*q^13 + 4051542498456*q^14 + 86498048 64648*q^15 + 17600780175361*q^16 + 34271896307634*q^17 Slide 12 + 64300154115093*q^18 + 116490258898220*q^19 + O(q^20) gp > (Delta-h12)/691 %10 = -3*q^2 - 256*q^3 - 6075*q^4 - 70656*q^5 - 525300*q^6 - 2861568*q^7 - 12437115*q^8 - 45414400*q^9 - 144788634*q^10 - 412896000*q^11 - 1075797268*q^12 - 2593575936*q^13 - 5863302600*q^14 - 12517805568*q^15 - 25471460475*q^16 - 49597544448*q^17 - 93053764671*q^18 - 168582124800*q^19 + O(q^20) Classical Kummer congruences for Bernoulli numbers can be sated and proved in terms of ∗) Eisenstein series.
Load more

Recommended publications
  • 18.785 Notes
    Contents 1 Introduction 4 1.1 What is an automorphic form? . 4 1.2 A rough definition of automorphic forms on Lie groups . 5 1.3 Specializing to G = SL(2; R)....................... 5 1.4 Goals for the course . 7 1.5 Recommended Reading . 7 2 Automorphic forms from elliptic functions 8 2.1 Elliptic Functions . 8 2.2 Constructing elliptic functions . 9 2.3 Examples of Automorphic Forms: Eisenstein Series . 14 2.4 The Fourier expansion of G2k ...................... 17 2.5 The j-function and elliptic curves . 19 3 The geometry of the upper half plane 19 3.1 The topological space ΓnH ........................ 20 3.2 Discrete subgroups of SL(2; R) ..................... 22 3.3 Arithmetic subgroups of SL(2; Q).................... 23 3.4 Linear fractional transformations . 24 3.5 Example: the structure of SL(2; Z)................... 27 3.6 Fundamental domains . 28 3.7 ΓnH∗ as a topological space . 31 3.8 ΓnH∗ as a Riemann surface . 34 3.9 A few basics about compact Riemann surfaces . 35 3.10 The genus of X(Γ) . 37 4 Automorphic Forms for Fuchsian Groups 40 4.1 A general definition of classical automorphic forms . 40 4.2 Dimensions of spaces of modular forms . 42 4.3 The Riemann-Roch theorem . 43 4.4 Proof of dimension formulas . 44 4.5 Modular forms as sections of line bundles . 46 4.6 Poincar´eSeries . 48 4.7 Fourier coefficients of Poincar´eseries . 50 4.8 The Hilbert space of cusp forms . 54 4.9 Basic estimates for Kloosterman sums . 56 4.10 The size of Fourier coefficients for general cusp forms .
    [Show full text]
  • CONGRUENCES of SIEGEL EISENSTEIN SERIES of DEGREE TWO 11 Cubic Lifts to Siegel Cusp Forms of Scalar Weight Other Than Three (Cf
    CONGRUENCES OF SIEGEL EISENSTEIN SERIES OF DEGREE TWO TAKUYA YAMAUCHI Abstract. In this paper we study congruences between Siegel Eisenstein series and Siegel cusp forms for Sp4(Z). 1. Introduction The congruences for automorphic forms have been studied throughly in several settings. The well-known prototype seems to be one related to Ramanujan delta function and the Eisenstein series of weight 12 for SL2(Z). Apart from its own interests, various important applications, for instance Iwasawa theory, have been made since many individual examples found before. In [24] Ribet tactfully used Galois representations for elliptic cusp forms of level one to obtain the converse of the Herbrand’s theorem in the class numbers for cyclotomic fields. Herbrand-Ribet’s theorem is now understood in the context of Hida theory and Iwasawa main conjecture [1]. The notion of congruence modules is developed by many authors (cf. [13],[22] among others). In this paper we study the congruence primes between Siegel Eisenstein series of degree 2 and Siegel cusp forms with respect to Sp4(Z). To explain the main claims we need to fix the notation. Let H = Z M (C) tZ = Z > 0 be the Siegel upper half space of degree 2 and Γ := 2 { ∈ 2 | } t 02 E2 02 E2 Sp4(Z) = γ GL4(Z) γ γ = where E2 is the identity matrix ( ∈ E 0 ! E 0 ! ) − 2 2 − 2 2 −1 A B arXiv:1912.03847v2 [math.NT] 13 Dec 2019 of size 2. The group Γ acts on H2 by γZ := (AZ + B)(CZ + D) for γ = Γ C D! ∈ and Z H .
    [Show full text]
  • Arxiv:1812.08378V4 [Math.NT]
    CENTRAL VALUES OF ADDITIVE TWISTS OF CUSPIDAL L-FUNCTIONS ASBJØRN CHRISTIAN NORDENTOFT Abstract. Additive twists are important invariants associated to holomor- phic cusp forms; they encode the Eichler–Shimura isomorphism and contain information about automorphic L-functions. In this paper we prove that cen- tral values of additive twists of the L-function associated to a holomorphic cusp form f of even weight k are asymptotically normally distributed. This generalizes (to k ≥ 4) a recent breakthrough of Petridis and Risager concern- ing the arithmetic distribution of modular symbols. Furthermore we give as an application an asymptotic formula for the averages of certain ‘wide’ families of automorphic L-functions consisting of central values of the form L(f ⊗ χ, 1/2) with χ a Dirichlet character. 1. Introduction In this paper we study the statistics of central values of additive twists of the L-functions of holomorphic cusp forms (of arbitrary even weight). Additive twists of cuspidal L-functions are important invariants; on the one hand they show up in the parametrization of the Eichler–Shimura isomorphism and on the other hand ad- ditive twists shed light on central values of Dirichlet twists of cuspidal L-functions. We prove that when arithmetically ordered, the central values of the additive twists of a cuspidal L-function are asymptotically normally distributed. As an application we calculate the asymptotic behavior (as X ) of the averages of certain ‘wide’ families of automorphic L-functions; → ∞ (1.1) ∗ L(π, 1/2), π , cond(π) X
    [Show full text]
  • Periods of Modular Forms and Jacobi Theta Functions
    Invent. math. 104, 449~465 (1991) Inventiones mathematicae Springer-Verlag 1991 Periods of modular forms and Jacobi theta functions Don Zagier Max-Planck-lnstitut ffir Mathematik, Gotffried-Claren-Strage 26, W-5300 Bonn 3, FRG and University of Maryland, Department of Mathematics, College Park, MD 20742, USA Oblatum 20-1II-1990 & 23-VI1-1990 1. Introduction and statement of theorem co The period polynomial of a cusp form f(r)= ~.l=1 af( l)ql (teSS = upper half- plane, q = e 2~i~) of weight k on F = PSL2(TI) is the polynomial of degree k - 2 defined by rf(X) = f f(z)(z - X) k-z dr (1) 0 or equivalently by k-2 (k-2)! L(fn+ l)xk_z_., rf(X) = - ,~o ( k~--n)! (2~zi)"+' (2) where L(f s) denotes the L-series off(= analytic continuation of ~=co 1 a:(l)l-s). The Eichler-Shimura-Manin theory tells us that the maple--, r: is an injection from the space Sg of cusp forms of weight k on F to the space of polynomials of degree _-< k - 2 and that the product of the nth and ruth coefficients of r: is an algebraic multiple of the Petersson scalar product (f,f) iff is a Hecke eigenform and n and m have opposite parity. More precisely, for each integer l > 1 the polynomial in two variables (rf(X)r:( Y))- 2i k-3 a:(l), (3) :~s. ( ) (f,f) eigenform has rational coefficients; here (r:(X)r:( Y)) ~ = X)r:( Y) - r:(-X)r:(- Y)) is the odd part of r:( X)r:( Y) and the sum is taken over a basis of Hecke eigenforms of Sk.
    [Show full text]
  • Arxiv:Math/0605346V2 [Math.AG] 21 May 2007 Ru SL(2 Group Fhceoeaos Rmtefuircoefficients
    SIEGEL MODULAR FORMS GERARD VAN DER GEER Abstract. These are the lecture notes of the lectures on Siegel modular forms at the Nordfjordeid Summer School on Modular Forms and their Applications. We give a survey of Siegel modular forms and explain the joint work with Carel Faber on vector-valued Siegel modular forms of genus 2 and present evidence for a conjecture of Harder on congruences between Siegel modular forms of genus 1 and 2. 1. Introduction Siegel modular forms generalize the usual modular forms on SL(2, Z) in that the group SL(2, Z) is replaced by the automorphism group Sp(2g, Z) of a unimodular symplectic form on Z2g and the upper half plane is replaced by the Siegel upper half plane g. The integer g 1 is called the degree or genus. Siegel pioneeredH the generalization≥ of the theory of elliptic modular forms to the modular forms in more variables now named after him. He was motivated by his work on the Minkowski-Hasse principle for quadratic forms over the rationals, cf., [95]. He investigated the geometry of the Siegel upper half plane, determined a fundamental domain and its volume and proved a central result equating an Eisenstein series with a weighted sum of theta functions. No doubt, Siegel modular forms are of fundamental importance in number theory and algebraic geometry, but unfortunately, their reputation does not match their importance. And although vector-valued rather than scalar-valued Siegel modular forms are the natural generalization of elliptic modular forms, their reputation amounts to even less. A tradition of ill-chosen notations may have contributed to this, but the lack of attractive examples that can be handled decently seems to be the main responsible.
    [Show full text]
  • Harmonic Maass Forms, Mock Modular Forms, and Quantum Modular Forms
    HARMONIC MAASS FORMS, MOCK MODULAR FORMS, AND QUANTUM MODULAR FORMS KEN ONO Abstract. This short course is an introduction to the theory of harmonic Maass forms, mock modular forms, and quantum modular forms. These objects have many applications: black holes, Donaldson invariants, partitions and q-series, modular forms, probability theory, singular moduli, Borcherds products, central values and derivatives of modular L-functions, generalized Gross-Zagier formulae, to name a few. Here we discuss the essential facts in the theory, and consider some applications in number theory. This mathematics has an unlikely beginning: the mystery of Ramanujan’s enigmatic “last letter” to Hardy written three months before his untimely death. Section 15 gives examples of projects which arise naturally from the mathematics described here. Modular forms are key objects in modern mathematics. Indeed, modular forms play cru- cial roles in algebraic number theory, algebraic topology, arithmetic geometry, combinatorics, number theory, representation theory, and mathematical physics. The recent history of the subject includes (to name a few) great successes on the Birch and Swinnerton-Dyer Con- jecture, Mirror Symmetry, Monstrous Moonshine, and the proof of Fermat’s Last Theorem. These celebrated works are dramatic examples of the evolution of mathematics. Here we tell a different story, the mathematics of harmonic Maass forms, mock modular forms, and quantum modular forms. This story has an unlikely beginning, the mysterious last letter of the Ramanujan. 1. Ramanujan The story begins with the legend of Ramanujan, the amateur Indian genius who discovered formulas and identities without any rigorous training1 in mathematics. He recorded his findings in mysterious notebooks without providing any indication of proofs.
    [Show full text]
  • 1 Theta Functions 2 Poisson Summation for Lattices
    April 22, 1:00 pm 1 Theta Functions We've previously seen connections between modular forms and Ramanujan's work by verifying that Eisenstein series are indeed modular forms, and showing that the Discriminant function ∆ is a weight 12 cusp form with a product expansion in q. As we said then, the extent to which we can express modular forms in terms of products and quotients of the η function begin to explain many of the q-series iden- tities given in Berndt. Using facts like the additivity of weights of modular forms under multiplication, we can even begin to predict where to look for such impressive identities. Many of the identities we used for solving the problem of representations by sums of squares could be boiled down to identities about the theta function, a q- series supported on powers n2. In this section, we'll begin a study of theta functions and their connection to quadratic forms. 2 Poisson Summation for Lattices The theory of the Fourier transform is often stated for functions of a real variable, but is really no different for a real vector space. Given a function f on R that is sufficiently well-behaved (For example f is piece-wise continuous with only finitely many discontinuities, of bounded total variation, satisfying 1 f(a) = lim f(x) + lim f(x) for all a, 2 x!a− x!a+ and −c2 jf(x)j < c1 min(1; x ) for some c1 > 0; c2 > 1. One can fuss with these conditions some, but these will be more than sufficient for us.) Now for such a function, define the Fourier transform Z 1 f^(x) = f(y)e2πixydy: −∞ 1 Proposition 1 (Poisson Summation for R) Given a function f as above with Fourier transform f^, then 1 1 X X f(n) = f^(n) n=−∞ n=−∞ Remember that we're working with functions on R here, which is non-compact.
    [Show full text]
  • Notes on Theta Series
    Notes on theta series Nicolas Simard November 2, 2015 Contents 1 Sum of four squares: introduction to theta series1 2 Theta series and L-functions3 2.1 The Riemann zeta function....................................3 2.2 Non-holomorphic Eisenstein series................................4 2.3 Numerical evaluation of L-functions...............................5 3 Theta series in general6 3.1 Multiplier systems and automorphic forms............................6 3.2 Spherical functions........................................8 3.3 Classical theta functions......................................8 3.4 Hecke's theta series........................................ 11 4 Modular forms of weight one 12 1 Sum of four squares: introduction to theta series In this section, we prove the well-known four square theorem. The goal is to give a nice first encounter with theta series to the reader. First, recall that a modular form of weight k for a congruence subgroup Γ is a holomorphic function f : H C satisfying the following two conditions: 1. f is invariant under the slash operator defined for every γ in SL ( ) as ! 2 Z -k (fjkγ)(z) = j(γ, z) f(γz); a b where j(γ, z) = (cz + d) if γ = . c d 2. f is holomorphic at all cusps. The C-vector space for weight k modular forms for Γ is denoted Mk(Γ). A modular form vanishing at all cusps is called a cusp form. Cusp forms of weight k for Γ form a subspace of MK(Γ), denoted Sk(Γ).A remarkable fact in the theory is that these spaces are finite dimensional. An explicit bound can also be given ([Zag, Prop 3]). Proposition 1. Let Γ be a congruence subgroup of SL2(Z).
    [Show full text]
  • AUTOMORPHIC FORMS for SOME EVEN UNIMODULAR LATTICES 3 Us to a Conjecture (7.6) About Congruences for Non-Parallel Weight Hilbert Modular Forms
    AUTOMORPHIC FORMS FOR SOME EVEN UNIMODULAR LATTICES NEIL DUMMIGAN AND DAN FRETWELL Abstract. We look at genera of even unimodular lattices of rank 12 over the ring of integers of Q(√5) and of rank 8 over the ring of integers of Q(√3), us- ing Kneser neighbours to diagonalise spaces of scalar-valued algebraic modular forms. We conjecture most of the global Arthur parameters, and prove several of them using theta series, in the manner of Ikeda and Yamana. We find in- stances of congruences for non-parallel weight Hilbert modular forms. Turning to the genus of Hermitian lattices of rank 12 over the Eisenstein integers, even and unimodular over Z, we prove a conjecture of Hentschel, Krieg and Nebe, identifying a certain linear combination of theta series as an Hermitian Ikeda lift, and we prove that another is an Hermitian Miyawaki lift. 1. Introduction Nebe and Venkov [NV] looked at formal linear combinations of the 24 Niemeier lattices, which represent classes in the genus of even, unimodular, Euclidean lattices of rank 24. They found a set of 24 eigenvectors for the action of an adjacency oper- ator for Kneser 2-neighbours, with distinct integer eigenvalues. This is equivalent to computing a set of Hecke eigenforms in a space of scalar-valued modular forms for a definite orthogonal group O24. They conjectured the degrees gi in which the (gi) Siegel theta series Θ (vi) of these eigenvectors are first non-vanishing, and proved them in 22 out of the 24 cases. (gi) Ikeda [I2, 7] identified Θ (vi) in terms of Ikeda lifts and Miyawaki lifts, in 20 out of the§ 24 cases, exploiting his integral construction of Miyawaki lifts.
    [Show full text]
  • Eisenstein Series of Small Weight
    VECTOR-VALUED EISENSTEIN SERIES OF SMALL WEIGHT BRANDON WILLIAMS Abstract. We study the (mock) Eisenstein series of weight k ≤ 2 for the Weil representation on an even lattice. We describe the transformation laws in general and give examples where the coefficients contain interesting arithmetic information. Key words and phrases: Modular forms; Mock modular forms; Eisenstein series; Weil representation 1. Introduction In [4], Bruinier and Kuss give an expression for the Fourier coefficients of the Eisenstein series Ek of weight k ≥ 5=2 for the Weil representation attached to a discriminant form. These coefficients involve special values of L-functions and zero counts of polynomials modulo prime powers, and they also make sense for k 2 f1; 3=2; 2g and sometimes k = 1=2: Unfortunately, the q-series obtained in this way often fail to be modular forms. In particular, in weight k = 3=2 and k = 2, the Eisenstein series may be a mock modular form that requires a real-analytic correction in order to transform as a modular form. Many examples of this phenomenon of the Eisenstein series are well-known (although perhaps less familiar in a vector-valued setting). We will list a few examples of this: Example 1. The Eisenstein series of weight 2 for a unimodular lattice Λ is the quasimodular form 1 X n 2 3 4 E2(τ) = 1 − 24 σ1(n)q = 1 − 24q − 72q − 96q − 168q − ::: n=1 P where σ1(n) = djn d, which transforms under the modular group by aτ + b 6 E = (cτ + d)2E (τ) + c(cτ + d): 2 cτ + d 2 πi 2 Example 2.
    [Show full text]
  • The Eisenstein Measure and P-Adic Interpolation
    The Eisenstein Measure and P-Adic Interpolation Nicholas M. Katz American Journal of Mathematics, Vol. 99, No. 2. (Apr., 1977), pp. 238-311. Stable URL: http://links.jstor.org/sici?sici=0002-9327%28197704%2999%3A2%3C238%3ATEMAPI%3E2.0.CO%3B2-N American Journal of Mathematics is currently published by The Johns Hopkins University Press. Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/about/terms.html. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your personal, non-commercial use. Please contact the publisher regarding any further use of this work. Publisher contact information may be obtained at http://www.jstor.org/journals/jhup.html. Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission. The JSTOR Archive is a trusted digital repository providing for long-term preservation and access to leading academic journals and scholarly literature from around the world. The Archive is supported by libraries, scholarly societies, publishers, and foundations. It is an initiative of JSTOR, a not-for-profit organization with a mission to help the scholarly community take advantage of advances in technology. For more information regarding JSTOR, please contact [email protected]. http://www.jstor.org Mon Oct 15 12:58:55 2007 THE EISENSTEIN MEASURE AND P-ADIC INTERPOLATION Introduction.
    [Show full text]
  • Eisenstein Series, Crystals, and Ice Benjamin Brubaker, Daniel Bump, and Solomon Friedberg
    Eisenstein Series, Crystals, and Ice Benjamin Brubaker, Daniel Bump, and Solomon Friedberg utomorphic forms are generalizations Schur Polynomials of periodic functions; they are func- The symmetric group on n letters, Sn, acts on tions on a group that are invariant the ring of polynomials Z[x1, . , xn] by permuting under a discrete subgroup. A natural the variables. A polynomial is symmetric if it is Away to arrange this invariance is by invariant under this action. Classical examples are averaging. Eisenstein series are an important class the familiar elementary symmetric functions of functions obtained in this way. It is possible to e = x ··· x . give explicit formulas for their Fourier coefficients. j i1 ij 1≤i1<···<ij ≤n Such formulas can provide clues to deep connec- tions with other fields. As an example, Langlands’s Since the property of being symmetric is preserved study of Eisenstein series inspired his far-reaching by sums and products, the symmetric polynomials conjectures that dictate the role of automorphic make up a subring n of Z[x1, . , xn]. The ej , forms in modern number theory. 1 ≤ j ≤ n, generate this subring. In this article, we present two new explicit Since n is also anΛ abelian group under poly- formulas for the Fourier coefficients of (certain) nomial addition, it is natural to seek a set that Eisenstein series, each given in terms of a com- generatesΛ n as an abelian group. One such set is given by the Schur polynomials (first considered binatorial model: crystal graphs and square ice. by Jacobi),Λ which are indexed by partitions.
    [Show full text]