CHOWLA-SELBERG FORMULA AND COLMEZ S CONJECTURE
|
|
- Ashlie Mitchell
- 5 years ago
- Views:
Transcription
1 CHOWLA-SELBERG FORMULA AND COLMEZ S CONJECTURE TONGHAI YANG Abstract. In this paper, we reinterpret the Colmez conjecture on Faltings height of CM abelian varieties in terms of Hilbert (and Siegel) modular forms. We construct an elliptic modular form involving Faltings height of a CM abelian surface and arithmetic intersection numbers, and prove that Colmez s conjecture for CM abelian surfaces is equivalent to the cuspitality of this modular form. [a] CL(K) 1. Introduction The celebrated Chowla-Selberg formula [CS] asserts: ( ) 6h 1 (1.1) (τ a ) Im(τ a ) 6 = π Γ( c l l )6ɛ(c). 0<c<l Here K = Q( l) is an imaginary field of prime discriminant l, h is the ideal class number of K, and ɛ(c) = ( l ). Moreover, is the well-known cusp form of weight 1, and c Γ(x) is the usual Gamma function. Gross re-interpreted this formula (up to a constant multiple in Q) as a period relation for a CM elliptic curve in his thesis [Gr1]. Later, he generalized this period relation to an CM abelian variety with CM by a CM abelian extension of Q [Gr]. Anderson reformulate the right-hand-side of Gross s formula [An] in terms of log-derivative of Dirichlet L-series. In 1993, Colmez [Co] defined p-adic periods of a CM abelian variety (using integral model) and conjectured that there should be a product formula for periods. Using that, he derived a conjecture which gives a very precise identity between the Faltings s height of a CM abelian variety and the logarithmic derivative of certain virtual Artin L-function at s = 0. It can be roughly stated as follows. Let K be a CM number field and let Φ be a CM type of K. Let A be a CM abelian variety of CM type (O K, Φ) defined over a number field L such that A has good reduction everywhere, and let α Λ g Ω A be a Neron differential of A over O L, non-vanishing everywhere, Then the Faltings height of A is defined as (our normalization is slightly different from that of [Co]) (1.) h Fal (A) = 1 log [L : Q] ( 1 πi )g σ(α) σ(α) + log #Λg Ω A /O L α. σ:l C σ(a)(c) 000 Mathematics Subject Classification. 11G15, 11F41, 14K. Partially supported by grants DMS ,DMS , DMS , NSFC , and Vilas Life Cycle Professorship (Univ. Wisconsin). 1
2 TONGHAI YANG Here g = dim A. It is independent of the choice of L. In fact, Colmez proved that h Fal (Φ) = 1 h [K:Q] Fal (A) depends only on the CM type Φ, not on A or K ([Co, Theorem 0.3]). On the other hand, Colmez constructed a class function A 0 Φ on Gal( Q/Q) from the CM type Φ (see Section 3 for detail), which can be viewed as a linear combination of characters of Artin representations, say a χ χ. The Colmez conjecture asserts (1.3) h Fal (Φ) = L (0, χ) a χ L(0, χ) 1 aχ log f Art (χ) + 1 log π 4 where f Art (χ) is the analytic Artin conductor of χ. When the CM abelian variety is an elliptic curve, it is a reformulation of the Chowla- Selberg formula. In the same paper, he proved the conjecture for an abelian CM number field, by combining Gross s work with his computation of p-adic period of the Jacobian of the Fermat curves. A less precise version of the conjecture and the result have been recently generalized to CM motives by V. Maillot and Roessler [MR] and Köhler and Roessler [KR] using Lefschetz fixed point theorem in Arakelov geometry. Yoshida independently developed conjectures about absolute CM period which is very close to Colmez s conjecture and provided some non-trivial numerical evidence as well as partial results (see for example [Yo]). We should also mention that van der Pootern and Williams [VW] gave another proof of the Chowla-Selberg formula by computing the CM values of the η-function. Nothing is known about Colmez s conjecture besides what he has proved. It remains a mystery in the non-abelian case. The goal of this note is trying to understand the conjecture in terms of modular forms and arithmetic intersection. In Section, we interpret the Faltings height from the moduli point of view as in Faltings original definition and relate it with Siegel modular forms and Hilbert modular forms, and arithmetic intersections. For example, we have (Corollary.4) Proposition 1.1. Let F = Q( D) be a real quadratic field with prime discriminant D 1 mod 4. Let K a quartic CM number field with real quadratic subfield F, and let Φ be a CM type of K. Let X be the moduli stack of abelian surfaces with real multiplication by O F, and let ˆM k be the line bundle on X of Hilbert modular forms of weight k with the Petersson metric. Then k#cm(k, Φ) h W K Fal (A) = h ˆMk (CM(K, Φ)). Here W K is the number of roots of unity in K, CM(K, Φ) is the 0-cycle of CM abelian surfaces of CM type (O K, Φ) in X ( Q), and CM(K, Φ) is the flat closure of CM(K, Φ) in X. Let Ψ be a normalized meromorphic Hilbert modular form for SL (O F ) of weight k such that div Ψ and CM(K, Φ) intersect properly, then k#cm(k, Φ) W K h Fal (A) = div Ψ.CM(K, Φ) 1 W K for an Abelian surface of the CM type (K, Φ). z CM(K,Φ) Ψ(z) Pet
3 A 0 Φ CHOWLA-SELBERG FORMULA AND COLMEZ S CONJECTURE 3 In Section 3, we review Colmez s conjecture and unravel his definition of class function associated to a CM type Φ, and prove the following proposition. Proposition 1.. Let F = Q( D) be a real quadratic field of prime discriminant D 1 mod 4. Let K be a non-biquadratic CM quartic field with real quadratic field F with a CM type Φ. Then Colmez s conjecture for the CM type Φ is the same as Here h Fal (A) = 1 β(k/f ). (1.4) β(k/f ) = Λ (0, χ K/F ) Λ(0, χ K/F ) + Γ (1) log 4π and Λ(s, χ K/F ) is the complete L-function of the quadratic Hecke character χ K/F associated to K/F as defined in (3.19). In particular, the Faltings height is independent of the choice of CM types of K. Finally, let X be the moduli stack over Z of abelian varieties (A, ι, λ) with real multiplications (see Section for precise definition). Let CM(K) be the moduli stack of (A, ι, λ) where ι : O K End(A) is an O K -action on A such that (A, ι OF, λ) X, and the Rosati involution associated to the polarizations λ gives the complex conjugation on K. The map (A, ι, λ) (A, ι OF, λ) is a finite proper map from CM(K) into M, and we denote its direct image in M still by CM(K) by abuse of notation. Finally, let T m be the flat closure of the well-known Hirzebruch-Zagier divisors T m in X, see [BBK] for more information. Then T m and CM(K) are arithmetic and 1-cycles in the arithmetic 3-fold X and they intersect properly. In [BY, (1.10)] (a minor mistake in the conjectured formula), it is conjectured (1.5) T m.cm(k) = 1 b m. Here b m = p b m (p) log p is defined as follows. Let K be the reflex field of (K, Φ) with real quadratic field F = Q( D). Then (1.6) b m (p) log p = p p t= n+m D D d 1 K/ F, n <m D B t (p) where { 0 if p is split in (1.7) B t (p) = K, (ord p t n + 1)ρ(td K/ F p 1 ) log p if p is not split in K, and The main result of this paper is ρ(a) = #{A O K : N K/ F A = a}.
4 4 TONGHAI YANG Theorem 1.3. Let the notation be as above, and assume that d K = D D with D 1 mod 4 being prime. Then g(τ) = #CM(K) ( h Fal (A) + 1 β(k/f )) + (T m.cm(k) 1 b m)q m m>0 is a modular form of weight, level D, and character ɛ D = ( D ). Moreover, Colmez s conjecture holds for K if and only if g(τ) is a cusp form. We will prove this theorem in Section 4, Here is the rough idea. Bruinier, Burgos-Gil, and Kühn defined an arithmetic Hirzebruch-Zagier divisors ˆT m in X and proved that ˆφ(τ) = ˆφ(τ) = M 1 + ˆT m e(mτ) M 1 is a modular form of weight, level D, Nybentypus character ( D ) with values in ĈH1 (X ). Doing height pairing with CM(K) gives rise to the following modular form (see (4.6)) φ(τ) = #CM(K) h W K Fal (A) + (T m.cm(k) + G m (CM(K)))q m. W m>0 K On the other hand, [BY, Theorems 5.1, 8.1] (see also Theorem 4.1) asserts that f(τ) = #CM(K) β(k/f ) + ( 1 W K b m + G m (CM(K)))q m W m>0 K is a modular form of weight, level D, Nybentypus character ( D ). Since g(τ) = φ(τ) f(τ), one obtains the theorem. In [Ya1], we prove that T 1.CM(K) = 1b 1 if furthermore O K is a free O F -module. In particular, for D = 5, 13, 17, this, together with Theorem 1.3, implies that g(τ) is cuspidal, and so Colmez s conjecture holds in these cases. In [Ya], we prove T m.cm(k) = 1b m for all m 1 assuming further that O K is a free O F -module. It gives the first non-abelian Chowla-Selberg formula. Acknowledgments. This project (this paper and [Ya1], [Ya]) started almost immediately after I finished a joint paper [BY] with Bruinier and took a long time to finish. I would like to thank J. Bruinier, Burgos-Gil, C.-L. Chai, S. Kudla, U. Kühn and S. W. Zhang for their help and inspiring discussion. Part of this work was done when I visited MPIM at Bonn Germany, MSRI, AMASS and Morningside Center of Mathematics at Beijing, China. I thank these institute for providing wonderful working environment and financial support. Finally, I thank the referee for his/her helpful comments/suggestion which makes the exposition clearer.. Faltings height Let g 1 be an integer, and let H g be the Siegel upper plane of genus g, i.e., the set of symmetric matrices z = x + iy Sym g (C) such that y > 0 is totally positive. Let A g = Sp g (Z)\H g be the open Siegel modular variety of genus g over C. Let A g be the moduli stack over Z of principally polarized abelian varieties (A, λ), then A g (C) = [A g ] as
5 CHOWLA-SELBERG FORMULA AND COLMEZ S CONJECTURE 5 orbifolds. Let Ãg be a Toroidal compactification, and let ω be the Hodge bundle on Ãg. It has a natural metric defined as follows. Let α be a section of ω and let z = (A z, λ z ) A g (C), The value α z od α at z has metric (.1) α z nat = ( 1 πi )g A z (Z) α ᾱ We write ω = (ω, nat ) for this naturally metrized Hodge bundle. We remark that differently authors use different normalizing factor (we use ( 1 πi )g here). For a primitive arithmetic 1-cycle Z = (A, λ) A g (O L ) where L is a number field and O L is the ring of integers of L, we define its Faltings height with respect to ω as 1 1 (.) hˆω (Z) = div s.z [L : Q] #Aut(σ(A), λ)) log s(σ(a), λ) nat. σ:l C Here Aut(σ(A), λ) is the automorphism group of (σ(a), λ) over C. It does not change when we replace L by its finite extensions. We define the Faltings height of an arithmetic 1-cycle Z by linearity. Let ω A/L = g Ω A/OL which is an invertible O L -module (since A has good reduction everywhere). Let L be the Hilbert class field of L, then ω A/L = ω A/L O L is a principal O L -module. Without loss of generality, we may thus assume that ω A/L = O L α is already principal. In this case(.) gives (.3) hˆω ((A, λ)) = 1 1 [L : Q] Aut(σ(A), λ)) log ( 1 πi )g σ(α) σ(α). σ:l C σ(a)(c) Let (A, ι, λ) be a CM abelian variety over C of CM type (O K, Φ), i.e., ι : O K End(A) such that the induced action of O K on Ω A is given by the CM type Φ. Then (A, ι, λ) descends to a abelian variety (A L, ι, λ) where A L is an abelian variety over O L with good reduction everywhere, and ι and λ are also defined over O L. In such a case, Aut((σ(A L ), λ)) = µ K is the group of unity in K, and is independent of the choice of L or σ : L C. So it is natural to define (.4) h F al (A) = W K hˆω ((A L, λ)) = 1 log [L : Q] ( 1 πi )g σ(α) σ(α). σ:l C σ(a L )(C) Here W K = #µ K. Notice that this normalization differs from Colmez s normalization by g log π [Co]. It is not independent of L. In fact, Colmez proved in [Co, Theorem 0.3] that it is only dependent of (K, Φ). By [CF, Page 141], if f(τ) is a Siegel modular form for Sp g (Z) of weight k, then (.5) α(f) = f(τ)(πidw 1 πidw πidw g ) k is a section of ω k C, when pulling back to H g, where dw 1 dw dw g is a trivialization of ω C over H g. Moreover, α(f) gives a section of ω k over a subring R if and only if the Fourier coefficients of f are defined over R. Conversely, every section of ω k can be identified this
6 6 TONGHAI YANG way. Let M k = (M k, Pet ) be the line bundle of Siegel modular forms of weight k with the following Petersson metric (.6) f(τ) Pet = f(τ) (4π) g det Im(τ)) k. Then it is easy to check that f α(f) give an isomorphism between M k and ω nat k. Indeed, k α(f) nat = f(z) (πi) A g dw 1 d w 1 dw d w dw g d w g z = f(z) ((4π) g Im(z)) k. Let K be a CM number field of degree g with a CM type Φ, let CM(K, Φ) be the set of CM abelian varieties with CM type (O K, Φ). We extend it to a arithmetic 1-cycle in A g over O L for some number field L, and denote it by CM(K, Φ). Then the following lemma is now obvious. Lemma.1. Let f be a normalized meromorphic Siegel modular form defined over O L, i.e., its Fourier coefficients are all defined over O L and generate O L. Assume that div f and CM(K, Φ) intersect properly. Then k#cm(k, Φ) W K h Fal (A) = h cmk (CM(K, Φ)) = div f.cm(k, Φ) 1 W K A τ CM(K,Φ) log f(τ) Pet for any CM abelian variety A CM(K, Φ). Here for τ H g, A τ = C g /L τ is its associated principally polarized abelian variety where L τ = τz g Z g. Next, let F be a totally real number field of degree g, and let be its different. Let ( ) a b Γ(f) = SL(O F f) = { SL c d (F ) : a, d O F, c f 1, b f} and let X(f) = Γ(f)\H g be a Hilbert modular variety. Let X (f) be the moduli stack of the triples (A, ι, λ) defined over some number field where A is Abelian variety of dimension g with real multiplication and ι : O F End(A) λ : f 1 1 Hom OF (A, A ) Sym is a polarization module map satisfying the Deligne-Pappa condition (see [Go]): f 1 1 A A, (r, a) λ(r)a is an isomorphism. Then X(f) is the coarse moduli scheme of X C. The map (A, ι, λ) (A, λ(1)) gives a natural map from X ( 1 ) to A g which extends to a map φ from a Toroidal compactification X ( 1 ) to some Ãg. Over X( 1 = Γ( 1 )\H g, the map is given as
7 CHOWLA-SELBERG FORMULA AND COLMEZ S CONJECTURE 7 follows. Let e = {e 1, e g } be an ordered Z-basis of O F and let f = {f 1,, f g } be a basis of 1 such that { 1 if i = j, tr F/Q e i f j = δ ij = 0 if i j. Let σ = {σ 1, σ,, σ g } be the (ordered) set of real embeddings of F, and set (.7) R = σ(e) = (σ i (e j )) M g (R). Then it is easy to check (.8) t R 1 = σ(f) = (σ i (f j )). Finally for a O F and z = (z 1, z g ) C g, we set a = diag(σ 1 (a),, σ g (a)), z = diag(z 1,, z g ). Lemma.. Let the notation be as above, then the map is given by φ : Γ( 1 )\H g Sp g (Z)\H g φ(z) = t Rz R. The associated map Γ( 1 ) Sp g (Z) is given by ( ) a b φ( ) = diag(r c d 1, t R) ( a b c d ) diag(r, t R 1 ). Proof. Let Λ = O F 1 be with the symplectic form < t (x 1, x ), t (y 1, y ) >= tr F/Q (x 1 y x y 1 ). We embed F into R g via σ and then embed Λ into R g = R g R g. Then Λ = diag(r, t R 1 )L, with L = Z g Z g being the standard lattice of R g with the standard symplectic form. Γ( 1 ) acts on Λ linearly and preserves the symplectic form, so it acts on L and preserves its symplectic form, this gives the map φ : Γ( 1 ) Sp g (Z) in the lemma. Indeed, for γ = ( a b c d ) Γ( 1 ), one has γl = diag(r 1, t R)γΛ = diag(r 1, R) ( a b c d ) Λ = diag(r 1, R) ( a b c d ) diag(r, t R 1 )L. For z H g, its associated Abelian variety is A z = C g /Λ z, where Λ z = { t (σ 1 (a)z 1 + σ 1 (b),, σ g (a)z g + σ g (b)) : a O F, b 1 } = z RZ g + t R 1 Z g = t R 1 L τ. Here τ = t Rz R H g, and L τ = τz g + Z g = {τa + b : a, b Z g }. So A z is isomorphic to A τ where A τ is the Abelian variety associated τ H g. This proves the lemma.
8 8 TONGHAI YANG Notice det R = d F where d F is the absolute discriminant of F. So for a Siegel modular form f of weight k, f(φ(z)) Pet = f(φ(z)) ((4π) g Im( t Rz R)) k = f(φ(z)) ((4π) g d F Im(zi )) k. Let M k ( 1 ) be the line bundle of Hilbert modular forms of weight k on X ( 1 ), and let M k ( 1 ) = (M k ( 1 ), Pet ) be the metrized line bundle of Hilbert modular forms of weight k with the following Petersson metric (.9) Ψ(z) Pet = Ψ(z) ((4π) g d F Im(zi )) k. It can be extended to a metrized line bundle on X ( 1 ), which we still donate by M k ( 1 ). Notice that for a CM number field K with maximal totally subfield F, CM(K, Φ) can be viewed as an arithmetic 1-cycle in X ( 1 ). So we have Corollary.3. Let Ψ be a normalized meromorphic Hilbert modular form for Γ( 1 ) of weight k such that div Ψ intersect with CM(K, Φ) properly. Then k#cm(k, Φ) 1 h W K Fal (A) = h cmk ( 1 )(CM(K, Φ)) = div Ψ.CM(K, Φ) W K z CM(K,Φ) log Ψ(z) Pet. Now we consider a special case which is in the main interest of this paper. Let F = Q( D) be a real quadratic field with discriminant D 1 mod 4 being a prime number. In this case, Γ := Γ(O F ) = Γ( 1 ), γ γ = diag(1, D ɛ )γdiag(1, ɛ D ), where ɛ > 1 is a fundamental unit of F so that ɛɛ = 1. This induces an isomorphism Γ\H Γ( 1 )\H, (z 1, z ) ( ɛ D z 1, ɛ D z ). Let M k = (M k, Pet ) be the metrized line bundle on X of Hilbert modular forms for Γ = SL (O F ) with the following Petersson metric: (.10) Ψ(z) Pet = Ψ(z) (16π y 1 y ) k Then the above remark and Corollary.3 gives Corollary.4. Let Ψ be a normalized meromorphic Hilbert modular form for SL (O F ) of weight k such that div Ψ and CM(K, Φ) intersect properly, then k#cm(k, Φ) W K h Fal (A) = h cmk (CM(K, Φ)) = div Ψ.CM(K, Φ) 1 W K for an Abelian surface of the CM type (K, Φ). z CM(K,Φ) Ψ(z) Pet
9 CHOWLA-SELBERG FORMULA AND COLMEZ S CONJECTURE 9 3. The Colmez Conjecture In this section, we review Colmez s conjecture [Co] and pay special attention in the end for the case K is a quartic CM number field. We fix an embedding Q C, and view all number fields as subfields of Q. Let Q CM be the composite of all CM number fields in Q. It has a unique complex conjugation ρ. For a CM number field L, we denote G CM L the Haar measure on G CM with total volume 1, i.e., = Gal(Q CM /L) and simply G CM = G CM. We define G CM dµ = Vol(G CM ) = 1. Q So Vol(G CM L ) = [L : Q] 1. For a field R of characteristic 0, let H(G CM, R) be the Hecke algebra of G CM, i.e., the ring (without identity) of locally constant functions Φ on G CM with values in R with the convolution as the multiplication: (3.1) Φ 1 Φ (g) = Φ 1 (h)φ (h 1 g)dh. G CM When R = C (or a subfield invariant under the complex conjugation), we define the reflex function Φ via Φ (g) = Φ(g 1 ), and define a positive definite Hermitian form (3.) < Φ 1, Φ >= Φ 1 (h)φ (h)dh = (Φ 1 Φ )(1) G CM Let H 0 (G CM, R) be the subring of locally constant class functions on G CM with values in R, i.e., Φ H(G CM, R) such that (3.3) Φ(hgh 1 ) = Φ(g) for all g, h G CM. By Brauer s theorem, H 0 (G CM, Q) has a basis given by all Artin characters χ = χ π of G CM, where π runs over all irreducible representations of G CM. For an Artin character χ of G CM, we denote by f Art (χ) the analytic Artin conductor (i.e., the one used for the functional equation), L(s, χ) the Artin L-function, and define (3.4) Z(s, χ) = L (s, χ) L(s, χ), µ Art (χ) = log f Art (χ) We extend the definition linearly to all functions Φ H 0 (G CM, Q). Notice that there is a projection map Φ Φ 0 from H(G CM, Q) to H 0 (G CM, Q), given by (3.5) Φ 0 (g) = Φ(hgh 1 )dh = < Φ, χ > χ. G CM χ A CM type is a function Φ H(G CM, Z) such that Φ(g) {0, 1} and (3.6) Φ(g) + Φ(ρg) = 1 for every g G CM.
10 10 TONGHAI YANG This is consistent with the usual definition of a CM type. Indeed, let K be a subfield of finite degree over Q such that (3.7) Φ(gh) = Φ(g) for all h G CM K, g G CM, then Φ can be viewed as a formal sum (3.8) Φ = σ:k Q a σ (Φ)σ, where a σ (Φ) = Φ(g) for any g G CM with g K = σ. The two conditions on a CM type function Φ is exactly what is needed to make the formal sum Φ a CM type of K in the usual sense. Conversely, a formal sum as (3.8) gives rise to a function Φ on G CM. We will use the same notation Φ for the two meanings of a CM type. If we take K to be the smallest subfield of Q CM such that (3.7) holds, then (K, Φ) is a primitive CM type. When K is Galois over Q, the reflex type Φ in the usual sense corresponds to the reflex function Φ. For a CM type Φ, we define (3.9) A Φ = Φ Φ and let A 0 Φ be the projection of A Φ to H 0 (G CM, Q). Concretely, Let (K, Φ) be a CM type of a CM number field K in the usual sense, and let M be a CM Galois extension of Q containing K, and let Φ M = σ K Φ σ be the extension of Φ. Then (3.10) A Φ = 1 [M : Q] Φ M Φ M Here we recall that Φ M = a σ σ 1 if Φ M = a σ σ. Moreover, if (3.11) A Φ = c(σ)σ then (3.1) A 0 Φ = σ σ Gal(M/Q) c 0 (σ)σ, with c 0 (σ) = 1 #[σ] c(τ). Here [σ] is the conjugacy class of σ in Gal(M/Q) Let (K, Φ) be a CM type, and let A be a CM abelian variety of CM type (O K, Φ), we may assume that A is defined over a number field L with good reduction everywhere. Let h Fal (A) be the Faltings height of A. It can be proved that (3.13) h Fal (Φ) = 1 [K : Q] h Fal (A) is independent of the choices of A and is even independent of the choice of K if we view Φ as a function of G CM. We call it the Faltings s height of Φ. [Co, Theorem 0.3] asserts that τ [σ]
11 CHOWLA-SELBERG FORMULA AND COLMEZ S CONJECTURE 11 there is a unique Q-linear function ht the height function from H 0 (G CM, R) satisfying a specific condition and (3.14) h Fal (Φ) = ht(a 0 Φ) 1 µ Art (A0 Φ) + 1 log π. 4 Here the extra term 1 log π is due to the different normalization of the Faltings height 4 between our definition and Colmez s. Furthermore, he conjectured [Co, Conjecture 0.4] that For any Φ H 0 (G CM, Q), one (3.15) ht(φ) = Z(0, Φ ). In terms of Faltings s height, it means Conjecture 3.1. (Colmez) h Fal (Φ) = Z(0, A 0 Φ ) 1µ Art (A0 Φ ) + 1 log π. 4 Two CM types Φ 1 and Φ are called equivalent if there is τ G CM such that Φ 1 (σ) = Φ (τσ) for every σ G CM. Clearly, two equivalent CM types have the same Faltings height. Now we consider some simple examples. First let K = Q( d) be an imaginary quadratic field with the CM type Φ = σ 0 where σ 0 is the identity map. In this case, Φ = Φ and A 0 Φ = A Φ = 1 σ 0 = 1 4 (χ 0 + χ d ) where χ 0 is the trivial character and χ d is the Dirichlet quadratic character associated K/Q. So the Colmez conjecture is simply (3.16) h Fal (E) = ζ (0) ζ(0) L (0, χ d ) L(0, χ d ) 1 log d + log π = L (0, χ d ) L(0, χ d ) 1 log d for a CM elliptic curve with CM by O d. This is a reformulation of the Chowla-Selberg formula (1.1) [Co]. Next let K = Q( D, d) be a bi-quadratic CM number field with real quadratic subfield F = Q( D) and two imaginary quadratic field F 1 = Q( d) and F ( Dd). Let Φ = 1 + σ be a CM type of K with 1 being the identity map and σ( D) = D, σ( d) = d, i.e., σ fixes F 1. Then Φ = Φ, and A 0 Φ = A Φ = 1 4 (1 + σ)4 = 1 (1 + σ) = 1 4 (χ 0 + χ d ) where χ 0 is the trivial character of Gal(K/Q) and χ d is the nontrivial character of Gal(F 1 /Q) viewed as a character of Gal(K/Q). So the Colmez conjecture inserts (3.17) h Fal (A) = ζ (0) ζ(0) L (0, χ d ) L(0, χ d ) 1 log d + log π = L (0, χ d ) L(0, χ d ) 1 log d for a CM abelian surface of CM type (O K, Φ) by. That is the same as h Fal (A) = h Fal (E) for a CM elliptic curve with CM by O d = Z[ d+ d ], by the Chowla-Selberg formula (3.16). Indeed, let E be a CM elliptic curve with CM by O d. Then A = E O D = E E
12 1 TONGHAI YANG is of CM type (K, Φ) with CM by O K. So h Fal (A) = h Fal (E). We summarize the two examples as the following proposition in comparison with the next proposition. Proposition 3.. Let K = Q( D, d) be a bi-quadratic CM number field. Let E be a CM elliptic curve with CM by O d and let A be a CM abelian surface of CM type (O K, Φ), where Φ = Gal(K/Q( d)). Then Here h Fal (A) = h Fal (E) = 1 Γ (1) 1 log 4π + Λ (0, χ d ) Λ(0, χ d ). Λ(s, χ d ) = ( d π ) s+1 Γ( s + 1 )L(s, χ d). Now let K = F ( ) be a non-biquadratic quartic CM number field with maximal totally real subfield F = Q( D), the case of special interest in this paper. We first assume that K is not Galois over Q, and let M be the smallest Galois extension of Q containing K. Then Gal(M/Q) =< σ, τ > is a dihedral group D 4 with (3.18) σ( ) =, σ( ) =, τ( ) =, τ( ) =. Let Φ = 1+σ be a CM type of K, and let K be its reflex field with maximal real quadratic field F. Then Φ M = 1 + σ + τσ + τ, ΦM = 1 + σ 1 + τσ + τ. So and A Φ = 1 8 Φ M Φ M = 1 4 ( + τ + σ + σ 1 + τσ + στ), A 0 Φ = 1 4 (1 ρ + α Gal(M/Q) α) = 1 4 (1 χ π + χ 1 ). Here χ 0 is the trivial character of G Q, and π is the unique -dimensional representation of Gal(M/Q), and can be realized as Ind G Q G χ F K/ F, where χ K/ F is the nontrivial quadratic character of G F factoring through Gal( K/ F ). Notice that π is also Ind G Q G F χ K/F. When K is cyclic quartic CM field with a CM type Φ. The same calculation (slightly simpler) shows A 0 Φ = 1 4 (1 χ π + χ 0 ) as above with π = Ind G Q G F χ K/F. Notice that π is not irreducible in this case. Let χ = χ K/ F be the quadratic Hecke character of F associated to K/ F, and let (3.19) Λ(s, χ) = (f χ ) s π s 1 Γ( s + 1 ) L(s, χ) be the complete L-function of χ as defined in [BY], Section 6, where f χ = N F /Q d K/ F d F is the Artin conductor of χ. Then we have
13 CHOWLA-SELBERG FORMULA AND COLMEZ S CONJECTURE 13 Proposition 3.3. Let K be a non-biquadratic quartic CM number field with real quadratic subfield F. Let Φ be a CM type of K and let K be its reflex field with real quadratic field F. Let χ = χ K/ F be as above. Then the Colmez conjecture for Φ is the same as (3.0) 8h Fal (Φ) = Λ (0, χ) Λ(0, χ) + Γ (1) log 4π. That is, (3.1) h Fal (A) = 1 β( K/ F ) = 1 β(k/f ) for any CM abelian surface with CM by O K. Proof. The above calculation gives A 0 Φ = 1 8 χ π χ 0 where χ π is the character of the two dimensional representation π = Ind G Q G F χ K/ F, and χ 0 is the trivial character. So Z(s, χ π ) = L (s, χ K/ F ) L(s, χ K/ F ), µ Art (χ π) = log f χ K/ F. (we trust the reader will distinguish the representation π from the number π). For χ = χ K/ F, one has ( 8 Z(0, A 0 Φ) + 1 ) µ Art (A0 Φ) = L (0, χ) L(0, χ) + (0) ζ ζ(0) + 1 log f χ Now recall that Γ ( 1) Γ( 1) = γ log, ζ (0) ζ(0) where γ is the Euler constant. So ( 8 Z(0, A 0 Φ) + 1 ) µ Art (A0 Φ) = Λ (0, χ) Λ(0, χ) + log π Γ ( 1 ) Γ( 1 ) + ζ (0) ζ(0). = Λ (0, χ) Λ(0, χ) = log π, Γ (1) = γ, + γ + log 4π + log(π). Now the proposition is clear. Notice that β( K/ F ) = β(k/f ), and L(s, χ K/ F ) = L(s, χ K/F ) since Ind G Q G χ F K/ F = Ind G Q G F χ K/F = π as explained above. This proposition implies that h Fal (A) for a CM abelian surface with CM by O K is independent of choice of the CM abelian surface or the CM type when K is non-biquadratic. This is different from the bi-quadratic case discussed above. It might be interesting to note h Fal (A d ) + h Fal (A Dd ) = Λ (0, χ K/F ) Λ(0, χ K/F ) + Γ (1) log 4π
14 14 TONGHAI YANG for the bi-quadratic case K = Q( D, d), which is very much like Proposition 3.3. Here A d (resp. A Dd ) is a CM abelian surface of the CM type Φ d = Gal(K/Q( d)) (resp. Φ Dd = Gal(K/Q( Dd)), and F = Q( D). 4. Proof of the main theorem The purpose of this section is to prove Theorem 1.3. First we recall a modularity result of Bruinier, Burgos-Gil and Kühn on arithmetic Hirzebruch-Zagier divisors. Let X be a Toroidal compactification of the arithmetic Hilbert modular surface X and let T m be the corresponding compactification of T m in X. Bruinier, Burgos-Gil and Kühn defined in [BBK] an Arakelov divisor ˆT m = ( T m, G m ) ĈH1 ( X ) (we prefer a slightly different renormalization so that (Ψ, log ) is a principal divisor for a rational function on X ). They proved in the same paper [BBK, Theorem A] that (4.1) ˆφ(τ) = M 1 + M 1 ˆT m e(mτ) M + (D, ( D )) ĈH1 ( X ) is a modular form valued in ĈH1 ( X ) for Γ 0 (D) of weight with Nebentypus character ( D ). Here M + (D, ( D )) is the subspace of modular forms of weight, level D, and Nebentypus character ( D ) such that its Fourier expansion f(τ) = m 0 a m e(mτ) satisfies a m = 0 if ( D m ) = 1. Recall that there is a bilinear form the Faltings height pairing (4.) ĈH 1 ( X ) Z ( X ) C which is given by (4.3) h (T,G) (Z) = T.Z + 1 z Z(C) 1 #Aut(z) G(z) when T and Z intersect properly. Let CM(K) be the moduli stack over Z representing the moduli problem which assigns a base scheme S to the set of the triples (A, ι, λ) where ι : O K End S (A) is an CM action of O K on A, and (A, ι OF, λ) M(S) such that the Rosati involution associated to λ induces to the complex conjugation of O K. The map (A, ι, λ) (A, ι OF, λ) is a finite proper map from CM(K) into M, and we denote its direct image in M still by CM(K) by abuse of notation. It was proved in [Ya1, Lemma.1] that CM(K)(C) = CM(K) := (CM(K, Φ) + CM(K, Φ )) where Φ = {1, σ} and Φ = {1, σ 1 } are CM types of K given in Section 3. As mentioned in Section, h Fal (A) depends only on its CM type. Since A σ 1 (A) is a bijection between CM(K, Φ) and CM(K, Φ ), and h Fal (A) = h Fal (σ 1 (A)), we have (4.4) h Fal (CM(K)) = #CM(K)h Fal (A)
15 CHOWLA-SELBERG FORMULA AND COLMEZ S CONJECTURE 15 for a CM Abelian surface A with CM by O K. By Corollary.4, one sees that (4.5) h M 1 (CM(K)) = 1 W K #CM(K)h Fal (A). Now applying the height paring function to ˆφ(τ) and CM(K), one obtain the following modular form in M (D, ( D )) (4.6) Here φ(τ) = #CM(K) h W K Fal (A) + (T m.cm(k) + G m (CM(K)))q m. W m>0 K G m (CM(K)) = z CM(K) G m (z). This is the first main step in proving Theorem 1.3. To continue, we need a result of Bruinier and Yang [BY] on modularity of CM values of automorphic Green functions G m, which we state as Theorem 4.1. (Bruinier and Yang) The function f(τ) = #CM(K) β(k/f ) + ( 1 W K b m + G m (CM(K)))q m W m>0 K is a modular form belonging to M + (D, ( D )). Here b m are the constants defined in the introduction. Proof. (basic idea) Let E + (τ, 0) = 1 + m>0 C(m, 0)q m M + (D, ( D )) be the (unique) normalized Eisenstein series in M (D, ( D )) defined in [BY, Corollary.3]. Using derivative of incoherent Hilbert Eisenstein series, diagonal restriction (to elliptic modular forms), and holomorphic projection, Bruinier and the author proved ([BY, Theorem 8.1]) that (4.7) F (τ) = m>0( 1 b m + 1 c m)q m Λ(0, χ K/ F )β( K/ F )(E + (τ, 0) 1) is a cusp form belonging to S + (D, ( D )), where n c m = lim{ ρ(td s 1 K/ F )Q s 1 ( m D ) t= n±m D d 1,+ p K/ F C(m, 0) + Λ(0, χ K/ F )( (s 1) L m)}. Here d K/ F is the relative discriminant of K/ F, the subscript + means the totally positive, ρ(a) = #{A O K : N K/ F (A) = a}
16 16 TONGHAI YANG is the norm counting function, L m is some normalizing constant depending on m, and Q s 1 (t) is the so-called the Legendre function of the second kind. On the other hand, the CM value of G m is given by [BY, Theorem 5.1] (together with normalization in [BY, (.4), (.5)]) that G m (CM(K, Φ)) W K W K = lim s 1 µ= n m q d 1,+ p K/ F C(m, 0) +( (s 1) L m) ( n Q s 1 m q #CM(K, Φ) W K ]. ) ρ K/ F (µd K/ F ) One has the same formula for G m (CM(K, Φ )) with n m D replaced by n+m D. So D D ( ) ( ) 4 C(m, 0) #CM(K) G m (CM(K)) = c m + lim s 1 (s 1) L m Λ(0, χ K/ F ). This implies 4 W K G m (CM(K)) = c m, W K Λ(0, χ K/ F ) = #CM(K). Plugging this into (4.7) and using the facts (see proof of Proposition 3.3) and one obtains the theorem. W K Λ(s, χ K/ F ) = Λ(s, χ K/F ), β( K/ F ) = β(k/f ) W K = W K = { 10 if K = Q(ζ 5 ), otherwise, Proof of Theorem 1.3: Now the proof of Theorem 1.3 is clear. Indeed, one has by (4.6) and Theorem 4.1 g(τ) = φ(τ) f(τ). References [An] G. Anderson, Logarithmic derivatives of Dirichlet L-functions and the periods of abelian varieties. Compositio Math. 45 (198), [BBK] J. H. Bruinier, J. Burgos, and U. Kühn, Borcherds products and arithmetic intersection theory on Hilbert modular surfaces, to appear in Duke Math. J. [BY] B. H. Bruinier and T.H. Yang CM-values of Hilbert modular functions, Invent. Math, 163(006), [CF] C.-L. Chai and G. Faltings, Degeneration of Abelian varieties, Springer-Verlag, New York, [CS] C. Chowla and A. Selberg, On Epstein s zeta-function, J. Reine Angew. Math. 7(1967), [Co] P. Colmez, Périods des variétés abéliennes à multiplication complex, Ann. Math., 138(1993),
17 CHOWLA-SELBERG FORMULA AND COLMEZ S CONJECTURE 17 [Ge] G. van der Geer, Hilbert Modular Surfaces, Springer-Verlag (1988). [Go] E. Z. Goren, Lectures on Hilbert Modular Varieties and Modular Forms, CRM Monograph Series 14, American Mathematical Society (00). [Gr1] B. Gross Arithmetic on elliptic curves with complex multiplication, LNM 776, Springer-Verlag, New York, [Gr] B. Gross On the periods of abelian integrals and a formula of Chowla and Selberg. With an appendix by David E. Rohrlich. Invent. Math. 45 (1978), [HZ] F. Hirzebruch and D. Zagier, Intersection Numbers of Curves on Hilbert Modular Surfaces and Modular Forms of Nebentypus, Invent. Math. 36 (1976), [KR] K. Köhler and D. Roessler, Afixed point formula of Lefschetz type in Arakelov geometry. IV. The modular height of C.M. abelian varieties, J. Reine Angew. Math. 556 (003), [MR] V. Maillot and D. Roessler, On the periods of motives with complex multiplication and a conjecture of Gross-Deligne, Ann. of Math. () 160 (004), [VW] A. van der Pootern and K.S. Williams, Values of the Dedekind Eta Function at Quadratic Irrationalities, Canad. J. Math. 51, (1999), [Ya1] T. H. Yang, An arithmetic intersection formula on Hilbert modular surface. Preprint 007, pp. [Ya] T.H. Yang, Arithmetic Intersection on a Hilbert Modular Surface and Faltings Height, preprint (007), pp 44. [Yo] H. Yoshida, Absolute CM-periods. Mathematical Surveys and Monographs, 106, American Mathematical Society, Providence, RI, 003. Department of Mathematics, University of Wisconsin Madison, Van Vleck Hall, Madison, WI 53706, USA address: thyang@math.wisc.edu
The Chowla Selberg Formula and The Colmez Conjecture
Canad. J. Math. Vol. 62 (2, 2010 pp. 456 472 doi:10.4153/cjm-2010-028-x c Canadian Mathematical Society 2010 The Chowla Selberg Formula and The Colmez Conjecture Tonghai Yang Abstract. In this paper, we
More informationHeight pairings on Hilbert modular varieties: quartic CM points
Height pairings on Hilbert modular varieties: quartic CM points A report on work of Howard and Yang Stephen Kudla (Toronto) Montreal-Toronto Workshop on Number Theory Fields Institute, Toronto April 10,
More informationA SHORT INTRODUCTION TO HILBERT MODULAR SURFACES AND HIRZEBRUCH-ZAGIER DIVISORS
A SHORT INTRODUCTION TO HILBERT MODULAR SURFACES AND HIRZEBRUCH-ZAGIER DIVISORS STEPHAN EHLEN 1. Modular curves and Heegner Points The modular curve Y (1) = Γ\H with Γ = Γ(1) = SL (Z) classifies the equivalence
More informationCOUNTING MOD l SOLUTIONS VIA MODULAR FORMS
COUNTING MOD l SOLUTIONS VIA MODULAR FORMS EDRAY GOINS AND L. J. P. KILFORD Abstract. [Something here] Contents 1. Introduction 1. Galois Representations as Generating Functions 1.1. Permutation Representation
More informationKRONECKER S SOLUTION OF PELL S EQUATION FOR CM FIELDS
KRONECKER S SOLUTION OF PELL S EQUATION FOR CM FIELDS RIAD MASRI Abstract. We generalize Kronecker s solution of Pell s Diophantine equation to CM fields K whose Galois group over Q is an elementary abelian
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationKRONECKER S SOLUTION OF PELL S EQUATION FOR CM FIELDS
KRONECKER S SOLUTION OF PELL S EQUATION FOR CM FIELDS RIAD MASRI Abstract. We generalize Kronecker s solution of Pell s equation to CM fields K whose Galois group over Q is an elementary abelian 2-group.
More informationTATE CONJECTURES FOR HILBERT MODULAR SURFACES. V. Kumar Murty University of Toronto
TATE CONJECTURES FOR HILBERT MODULAR SURFACES V. Kumar Murty University of Toronto Toronto-Montreal Number Theory Seminar April 9-10, 2011 1 Let k be a field that is finitely generated over its prime field
More informationKleine AG: Travaux de Shimura
Kleine AG: Travaux de Shimura Sommer 2018 Programmvorschlag: Felix Gora, Andreas Mihatsch Synopsis This Kleine AG grew from the wish to understand some aspects of Deligne s axiomatic definition of Shimura
More informationEXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.
EXERCISES IN MODULAR FORMS I (MATH 726) EYAL GOREN, MCGILL UNIVERSITY, FALL 2007 (1) We define a (full) lattice L in R n to be a discrete subgroup of R n that contains a basis for R n. Prove that L is
More informationA MOD-p ARTIN-TATE CONJECTURE, AND GENERALIZED HERBRAND-RIBET. March 7, 2017
A MOD-p ARTIN-TATE CONJECTURE, AND GENERALIZED HERBRAND-RIBET DIPENDRA PRASAD March 7, 2017 Abstract. Following the natural instinct that when a group operates on a number field then every term in the
More informationModular forms and the Hilbert class field
Modular forms and the Hilbert class field Vladislav Vladilenov Petkov VIGRE 2009, Department of Mathematics University of Chicago Abstract The current article studies the relation between the j invariant
More informationTHE ARITHMETIC OF BORCHERDS EXPONENTS. Jan H. Bruinier and Ken Ono
THE ARITHMETIC OF BORCHERDS EXPONENTS Jan H. Bruinier and Ken Ono. Introduction and Statement of Results. Recently, Borcherds [B] provided a striking description for the exponents in the naive infinite
More informationMaximal Class Numbers of CM Number Fields
Maximal Class Numbers of CM Number Fields R. C. Daileda R. Krishnamoorthy A. Malyshev Abstract Fix a totally real number field F of degree at least 2. Under the assumptions of the generalized Riemann hypothesis
More information(τ) = q (1 q n ) 24. E 4 (τ) = q q q 3 + = (1 q) 240 (1 q 2 ) (1 q 3 ) (1.1)
Automorphic forms on O s+2,2 (R) + and generalized Kac-Moody algebras. Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Zürich, 1994), 744 752, Birkhäuser, Basel, 1995. Richard E.
More information15 Elliptic curves and Fermat s last theorem
15 Elliptic curves and Fermat s last theorem Let q > 3 be a prime (and later p will be a prime which has no relation which q). Suppose that there exists a non-trivial integral solution to the Diophantine
More informationTAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS
TAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS FILIP NAJMAN Abstract. Let E be an elliptic curve over a number field K c v the Tamagawa number of E at v and let c E = v cv.
More informationBad reduction of genus 3 curves with Complex Multiplication
Bad reduction of genus 3 curves with Complex Multiplication Elisa Lorenzo García Universiteit Leiden Joint work with Bouw, Cooley, Lauter, Manes, Newton, Ozman. October 1, 2015 Elisa Lorenzo García Universiteit
More information9 Artin representations
9 Artin representations Let K be a global field. We have enough for G ab K. Now we fix a separable closure Ksep and G K := Gal(K sep /K), which can have many nonabelian simple quotients. An Artin representation
More informationSiegel Moduli Space of Principally Polarized Abelian Manifolds
Siegel Moduli Space of Principally Polarized Abelian Manifolds Andrea Anselli 8 february 2017 1 Recall Definition 11 A complex torus T of dimension d is given by V/Λ, where V is a C-vector space of dimension
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationOn the generation of the coefficient field of a newform by a single Hecke eigenvalue
On the generation of the coefficient field of a newform by a single Hecke eigenvalue Koopa Tak-Lun Koo and William Stein and Gabor Wiese November 2, 27 Abstract Let f be a non-cm newform of weight k 2
More informationFIELD THEORY. Contents
FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions
More informationUp to twist, there are only finitely many potentially p-ordinary abelian varieties over. conductor
Up to twist, there are only finitely many potentially p-ordinary abelian varieties over Q of GL(2)-type with fixed prime-to-p conductor Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555,
More informationBSD and the Gross-Zagier Formula
BSD and the Gross-Zagier Formula Dylan Yott July 23, 2014 1 Birch and Swinnerton-Dyer Conjecture Consider E : y 2 x 3 +ax+b/q, an elliptic curve over Q. By the Mordell-Weil theorem, the group E(Q) is finitely
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationLocal root numbers of elliptic curves over dyadic fields
Local root numbers of elliptic curves over dyadic fields Naoki Imai Abstract We consider an elliptic curve over a dyadic field with additive, potentially good reduction. We study the finite Galois extension
More informationQUADRATIC CONGRUENCES FOR COHEN - EISENSTEIN SERIES.
QUADRATIC CONGRUENCES FOR COHEN - EISENSTEIN SERIES. P. GUERZHOY The notion of quadratic congruences was introduced in the recently appeared paper [1]. In this note we present another, somewhat more conceptual
More informationOn the equality case of the Ramanujan Conjecture for Hilbert modular forms
On the equality case of the Ramanujan Conjecture for Hilbert modular forms Liubomir Chiriac Abstract The generalized Ramanujan Conjecture for unitary cuspidal automorphic representations π on GL 2 posits
More informationIgusa Class Polynomials
Genus 2 day, Intercity Number Theory Seminar Utrecht, April 18th 2008 Overview Igusa class polynomials are the genus 2 analogue of the classical Hilbert class polynomial. For each notion, I will 1. tell
More informationHermitian modular forms congruent to 1 modulo p.
Hermitian modular forms congruent to 1 modulo p. arxiv:0810.5310v1 [math.nt] 29 Oct 2008 Michael Hentschel Lehrstuhl A für Mathematik, RWTH Aachen University, 52056 Aachen, Germany, hentschel@matha.rwth-aachen.de
More informationChern numbers and Hilbert Modular Varieties
Chern numbers and Hilbert Modular Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point
More informationAn introduction to arithmetic groups. Lizhen Ji CMS, Zhejiang University Hangzhou , China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109
An introduction to arithmetic groups Lizhen Ji CMS, Zhejiang University Hangzhou 310027, China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109 June 27, 2006 Plan. 1. Examples of arithmetic groups
More informationQuaternions and Arithmetic. Colloquium, UCSD, October 27, 2005
Quaternions and Arithmetic Colloquium, UCSD, October 27, 2005 This talk is available from www.math.mcgill.ca/goren Quaternions came from Hamilton after his really good work had been done; and, though beautifully
More informationEquations for Hilbert modular surfaces
Equations for Hilbert modular surfaces Abhinav Kumar MIT April 24, 2013 Introduction Outline of talk Elliptic curves, moduli spaces, abelian varieties 2/31 Introduction Outline of talk Elliptic curves,
More informationFrom K3 Surfaces to Noncongruence Modular Forms. Explicit Methods for Modularity of K3 Surfaces and Other Higher Weight Motives ICERM October 19, 2015
From K3 Surfaces to Noncongruence Modular Forms Explicit Methods for Modularity of K3 Surfaces and Other Higher Weight Motives ICERM October 19, 2015 Winnie Li Pennsylvania State University 1 A K3 surface
More informationGENERIC ABELIAN VARIETIES WITH REAL MULTIPLICATION ARE NOT JACOBIANS
GENERIC ABELIAN VARIETIES WITH REAL MULTIPLICATION ARE NOT JACOBIANS JOHAN DE JONG AND SHOU-WU ZHANG Contents Section 1. Introduction 1 Section 2. Mapping class groups and hyperelliptic locus 3 Subsection
More informationON THE LIFTING OF HERMITIAN MODULAR. Notation
ON THE LIFTING OF HERMITIAN MODULAR FORMS TAMOTSU IEDA Notation Let be an imaginary quadratic field with discriminant D = D. We denote by O = O the ring of integers of. The non-trivial automorphism of
More informationThe Galois Representation Attached to a Hilbert Modular Form
The Galois Representation Attached to a Hilbert Modular Form Gabor Wiese Essen, 17 July 2008 Abstract This talk is the last one in the Essen seminar on quaternion algebras. It is based on the paper by
More informationDon Zagier s work on singular moduli
Don Zagier s work on singular moduli Benedict Gross Harvard University June, 2011 Don in 1976 The orbit space SL 2 (Z)\H has the structure a Riemann surface, isomorphic to the complex plane C. We can fix
More informationProblems on Growth of Hecke fields
Problems on Growth of Hecke fields Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. A list of conjectures/problems related to my talk in Simons Conference in January 2014
More informationOn the cuspidality criterion for the Asai transfer to GL(4)
On the cuspidality criterion for the Asai transfer to GL(4) Dipendra Prasad and Dinakar Ramakrishnan Introduction Let F be a number field and K a quadratic algebra over F, i.e., either F F or a quadratic
More informationSome remarks on signs in functional equations. Benedict H. Gross. Let k be a number field, and let M be a pure motive of weight n over k.
Some remarks on signs in functional equations Benedict H. Gross To Robert Rankin Let k be a number field, and let M be a pure motive of weight n over k. Assume that there is a non-degenerate pairing M
More informationDimension formulas for vector-valued Hilbert modular forms
Dimension formulas for vector-valued Hilbert modular forms Fredrik Strömberg (j/w N.-P. Skoruppa) March 29, 2013 Possible applications Jacobi forms over number fields Same type of correspondence as over
More informationAn Introduction to Kuga Fiber Varieties
An Introduction to Kuga Fiber Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 28, 2012 Notation G a Q-simple
More informationTHE GENERALIZED ARTIN CONJECTURE AND ARITHMETIC ORBIFOLDS
THE GENERALIZED ARTIN CONJECTURE AND ARITHMETIC ORBIFOLDS M. RAM MURTY AND KATHLEEN L. PETERSEN Abstract. Let K be a number field with positive unit rank, and let O K denote the ring of integers of K.
More informationETA-QUOTIENTS AND ELLIPTIC CURVES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 125, Number 11, November 1997, Pages 3169 3176 S 0002-9939(97)03928-2 ETA-QUOTIENTS AND ELLIPTIC CURVES YVES MARTIN AND KEN ONO (Communicated by
More informationComputing coefficients of modular forms
Computing coefficients of modular forms (Work in progress; extension of results of Couveignes, Edixhoven et al.) Peter Bruin Mathematisch Instituut, Universiteit Leiden Théorie des nombres et applications
More informationGauss map on the theta divisor and Green s functions
Gauss map on the theta divisor and Green s functions Robin de Jong Abstract In an earlier paper we constructed a Cartier divisor on the theta divisor of a principally polarised abelian variety whose support
More informationMath 259: Introduction to Analytic Number Theory How small can disc(k) be for a number field K of degree n = r 1 + 2r 2?
Math 59: Introduction to Analytic Number Theory How small can disck be for a number field K of degree n = r + r? Let K be a number field of degree n = r + r, where as usual r and r are respectively the
More informationOn the Langlands Program
On the Langlands Program John Rognes Colloquium talk, May 4th 2018 The Norwegian Academy of Science and Letters has decided to award the Abel Prize for 2018 to Robert P. Langlands of the Institute for
More informationAUTOMORPHIC FORMS NOTES, PART I
AUTOMORPHIC FORMS NOTES, PART I DANIEL LITT The goal of these notes are to take the classical theory of modular/automorphic forms on the upper half plane and reinterpret them, first in terms L 2 (Γ \ SL(2,
More informationRaising the Levels of Modular Representations Kenneth A. Ribet
1 Raising the Levels of Modular Representations Kenneth A. Ribet 1 Introduction Let l be a prime number, and let F be an algebraic closure of the prime field F l. Suppose that ρ : Gal(Q/Q) GL(2, F) is
More informationON CM ABELIAN VARIETIES OVER IMAGINARY QUADRATIC FIELDS. Tonghai Yang
ON CM ABELIAN VARIETIES OVER IMAGINARY QUADRATIC FIELDS Tonghai Yang Abstract. In this paper, we associate canonically to every imaginary quadratic field K =Q( D one or two isogenous classes of CM (complex
More informationREDUCTION OF CM ELLIPTIC CURVES AND MODULAR FUNCTION CONGRUENCES
REDUCTION OF CM ELLIPTIC CURVES AND MODULAR FUNCTION CONGRUENCES NOAM ELKIES, KEN ONO AND TONGHAI YANG 1. Introduction and Statement of Results Let j(z) be the modular function for SL 2 (Z) defined by
More informationWhen 2 and 3 are invertible in A, L A is the scheme
8 RICHARD HAIN AND MAKOTO MATSUMOTO 4. Moduli Spaces of Elliptic Curves Suppose that r and n are non-negative integers satisfying r + n > 0. Denote the moduli stack over Spec Z of smooth elliptic curves
More informationCLASS FIELD THEORY NOTES
CLASS FIELD THEORY NOTES YIWANG CHEN Abstract. This is the note for Class field theory taught by Professor Jeff Lagarias. Contents 1. Day 1 1 1.1. Class Field Theory 1 1.2. ABC conjecture 1 1.3. History
More informationRank-one Twists of a Certain Elliptic Curve
Rank-one Twists of a Certain Elliptic Curve V. Vatsal University of Toronto 100 St. George Street Toronto M5S 1A1, Canada vatsal@math.toronto.edu June 18, 1999 Abstract The purpose of this note is to give
More informationOn Galois cohomology and realizability of 2-groups as Galois groups II. Author copy
Cent. Eur. J. Math. 9(6) 2011 1333-1343 DOI: 10.2478/s11533-011-0086-z Central European Journal of Mathematics On Galois cohomology and realizability of 2-groups as Galois groups II Research Article Ivo
More informationThree-dimensional imprimitive representations of PSL 2 (Z) and their associated vector-valued modular forms
Three-dimensional imprimitive representations of PSL 2 (Z) and their associated vector-valued modular forms U-M Automorphic forms workshop, March 2015 1 Definition 2 3 Let Γ = PSL 2 (Z) Write ( 0 1 S =
More informationReal Analysis Prelim Questions Day 1 August 27, 2013
Real Analysis Prelim Questions Day 1 August 27, 2013 are 5 questions. TIME LIMIT: 3 hours Instructions: Measure and measurable refer to Lebesgue measure µ n on R n, and M(R n ) is the collection of measurable
More informationCOHOMOLOGY OF ARITHMETIC GROUPS AND EISENSTEIN SERIES: AN INTRODUCTION, II
COHOMOLOGY OF ARITHMETIC GROUPS AND EISENSTEIN SERIES: AN INTRODUCTION, II LECTURES BY JOACHIM SCHWERMER, NOTES BY TONY FENG Contents 1. Review 1 2. Lifting differential forms from the boundary 2 3. Eisenstein
More informationINFINITE PRODUCTS IN NUMBER THEORY AND GEOMETRY
INFINITE PRODUCTS IN NUMBER THEORY AND GEOMETRY JAN HENDRIK BRUINIER Abstract. We give an introduction to the theory of Borcherds products and to some number theoretic and geometric applications. In particular,
More informationCusp forms and the Eichler-Shimura relation
Cusp forms and the Eichler-Shimura relation September 9, 2013 In the last lecture we observed that the family of modular curves X 0 (N) has a model over the rationals. In this lecture we use this fact
More informationPARITY OF THE COEFFICIENTS OF KLEIN S j-function
PARITY OF THE COEFFICIENTS OF KLEIN S j-function CLAUDIA ALFES Abstract. Klein s j-function is one of the most fundamental modular functions in number theory. However, not much is known about the parity
More informationSome. Manin-Mumford. Problems
Some Manin-Mumford Problems S. S. Grant 1 Key to Stark s proof of his conjectures over imaginary quadratic fields was the construction of elliptic units. A basic approach to elliptic units is as follows.
More informationM ath. Res. Lett. 15 (2008), no. 6, c International Press 2008
M ath. Res. Lett. 15 (2008), no. 6, 1223 1231 c International Press 2008 A FINITENESS CONJECTURE ON ABELIAN VARIETIES WITH CONSTRAINED PRIME POWER TORSION Christopher Rasmussen and Akio Tamagawa Abstract.
More informationTRILINEAR FORMS AND TRIPLE PRODUCT EPSILON FACTORS WEE TECK GAN
TRILINAR FORMS AND TRIPL PRODUCT PSILON FACTORS W TCK GAN Abstract. We give a short and simple proof of a theorem of Dipendra Prasad on the existence and non-existence of invariant trilinear forms on a
More informationarxiv: v2 [math.nt] 29 Mar 2017
A MOD-p ARTIN-TATE CONJECTURE, AND GENERALIZED HERBRAND-RIBET DIPENDRA PRASAD March 30, 207 arxiv:703.0563v2 [math.nt] 29 Mar 207 Abstract. Following the natural instinct that when a group operates on
More informationFiniteness of the Moderate Rational Points of Once-punctured Elliptic Curves. Yuichiro Hoshi
Hokkaido Mathematical Journal ol. 45 (2016) p. 271 291 Finiteness of the Moderate Rational Points of Once-punctured Elliptic Curves uichiro Hoshi (Received February 28, 2014; Revised June 12, 2014) Abstract.
More informationTwisted L-Functions and Complex Multiplication
Journal of umber Theory 88, 104113 (2001) doi:10.1006jnth.2000.2613, available online at http:www.idealibrary.com on Twisted L-Functions and Complex Multiplication Abdellah Sebbar Department of Mathematics
More informationLECTURE 2: LANGLANDS CORRESPONDENCE FOR G. 1. Introduction. If we view the flow of information in the Langlands Correspondence as
LECTURE 2: LANGLANDS CORRESPONDENCE FOR G J.W. COGDELL. Introduction If we view the flow of information in the Langlands Correspondence as Galois Representations automorphic/admissible representations
More information18 The analytic class number formula
18.785 Number theory I Lecture #18 Fall 2015 11/12/2015 18 The analytic class number formula The following theorem is usually attributed to Dirichlet, although he originally proved it only for quadratic
More informationHECKE OPERATORS ON CERTAIN SUBSPACES OF INTEGRAL WEIGHT MODULAR FORMS.
HECKE OPERATORS ON CERTAIN SUBSPACES OF INTEGRAL WEIGHT MODULAR FORMS. MATTHEW BOYLAN AND KENNY BROWN Abstract. Recent works of Garvan [2] and Y. Yang [7], [8] concern a certain family of half-integral
More informationModularity of Galois representations. imaginary quadratic fields
over imaginary quadratic fields Krzysztof Klosin (joint with T. Berger) City University of New York December 3, 2011 Notation F =im. quadr. field, p # Cl F d K, fix p p Notation F =im. quadr. field, p
More information14 From modular forms to automorphic representations
14 From modular forms to automorphic representations We fix an even integer k and N > 0 as before. Let f M k (N) be a modular form. We would like to product a function on GL 2 (A Q ) out of it. Recall
More informationBulletin of the Iranian Mathematical Society
ISSN: 1017-060X (Print) ISSN: 1735-8515 (Online) Special Issue of the Bulletin of the Iranian Mathematical Society in Honor of Professor Freydoon Shahidi s 70th birthday Vol. 43 (2017), No. 4, pp. 313
More informationp-adic gauge theory in number theory K. Fujiwara Nagoya Tokyo, September 2007
p-adic gauge theory in number theory K. Fujiwara Nagoya Tokyo, September 2007 Dirichlet s theorem F : totally real field, O F : the integer ring, [F : Q] = d. p: a prime number. Dirichlet s unit theorem:
More informationCLASS FIELD THEORY WEEK Motivation
CLASS FIELD THEORY WEEK 1 JAVIER FRESÁN 1. Motivation In a 1640 letter to Mersenne, Fermat proved the following: Theorem 1.1 (Fermat). A prime number p distinct from 2 is a sum of two squares if and only
More informationA CLASS GROUP HEURISTIC BASED ON THE DISTRIBUTION OF 1-EIGENSPACES IN MATRIX GROUPS
A CLASS GROUP HEURISTIC BASED ON THE DISTRIBUTION OF -EIGENSPACES IN MATRIX GROUPS MICHAEL ADAM AND GUNTER MALLE Abstract. We propose a modification to the Cohen Lenstra prediction for the distribution
More informationIRREDUCIBILITY OF THE SIEGEL IGUSA TOWER
IRREDUCIBILITY OF THE SIEGEL IGUSA TOWER HARUZO HIDA We prove the irreducibility of the Igusa tower over a Shimura variety by studying the decomposition group of the prime p inside the automorphism group
More informationIntroduction to Modular Forms
Introduction to Modular Forms Lectures by Dipendra Prasad Written by Sagar Shrivastava School and Workshop on Modular Forms and Black Holes (January 5-14, 2017) National Institute of Science Education
More informationCONGRUENCES FOR POWERS OF THE PARTITION FUNCTION
CONGRUENCES FOR POWERS OF THE PARTITION FUNCTION MADELINE LOCUS AND IAN WAGNER Abstract. Let p tn denote the number of partitions of n into t colors. In analogy with Ramanujan s work on the partition function,
More informationLaval University, Québec September 2010
Conférence Québec-Maine Laval University, Québec September 2010 The Birch and Swinnerton-Dyer conjecture for Q-curves and Oda s period relations... Joint work in progress with Victor Rotger (Barcelona),
More informationArithmetic elliptic curves in general position. CMI Workshop in Oxford, December 2015 Ulf Kühn, Universität Hamburg
Talk on Mochizuki s paper Arithmetic elliptic curves in general position CMI Workshop in Oxford, December 2015 Ulf Kühn, Universität Hamburg 1/30 Overview abc-conjecture. Let >0, then there exists a apple
More informationp-adic iterated integrals, modular forms of weight one, and Stark-Heegner points.
Stark s Conjecture and related topics p-adic iterated integrals, modular forms of weight one, and Stark-Heegner points. Henri Darmon San Diego, September 20-22, 2013 (Joint with Alan Lauder and Victor
More informationModularity in Degree Two
Modularity in Degree Two Cris Poor Fordham University David S. Yuen Lake Forest College Curves and Automorphic Forms Arizona State University, March 2014 Cris and David Modularity in Degree Two Tempe 1
More informationVARIETIES WITHOUT EXTRA AUTOMORPHISMS II: HYPERELLIPTIC CURVES
VARIETIES WITHOUT EXTRA AUTOMORPHISMS II: HYPERELLIPTIC CURVES BJORN POONEN Abstract. For any field k and integer g 2, we construct a hyperelliptic curve X over k of genus g such that #(Aut X) = 2. We
More informationPart II Galois Theory
Part II Galois Theory Theorems Based on lectures by C. Birkar Notes taken by Dexter Chua Michaelmas 2015 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after
More informationON THE SEMIPRIMITIVITY OF CYCLIC CODES
ON THE SEMIPRIMITIVITY OF CYCLIC CODES YVES AUBRY AND PHILIPPE LANGEVIN Abstract. We prove, without assuming the Generalized Riemann Hypothesis, but with at most one exception, that an irreducible cyclic
More informationHecke fields and its growth
Hecke fields and its growth Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. Kyushu university talk on August 1, 2014 and PANT talk on August 5, 2014. The author is partially
More informationGalois Representations
9 Galois Representations This book has explained the idea that all elliptic curves over Q arise from modular forms. Chapters 1 and introduced elliptic curves and modular curves as Riemann surfaces, and
More informationHILBERT MODULAR FORMS: MOD P AND P-ADIC ASPECTS
HILBERT MODULAR FORMS: MOD P AND P-ADIC ASPECTS F. Andreatta and E.Z. Goren This paper is concerned with developing the theory of Hilbert modular forms along the lines of the theory of elliptic modular
More informationERIC LARSON AND LARRY ROLEN
PROGRESS TOWARDS COUNTING D 5 QUINTIC FIELDS ERIC LARSON AND LARRY ROLEN Abstract. Let N5, D 5, X) be the number of quintic number fields whose Galois closure has Galois group D 5 and whose discriminant
More informationGROSS-ZAGIER ON SINGULAR MODULI: THE ANALYTIC PROOF
GROSS-ZAGIER ON SINGULAR MOULI: THE ANALYTIC PROOF EVAN WARNER. Introduction The famous results of Gross and Zagier compare the heights of Heegner points on modular curves with special values of the derivatives
More informationSOME CONGRUENCES FOR TRACES OF SINGULAR MODULI
SOME CONGRUENCES FOR TRACES OF SINGULAR MODULI P. GUERZHOY Abstract. We address a question posed by Ono [7, Problem 7.30], prove a general result for powers of an arbitrary prime, and provide an explanation
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics MOD p REPRESENTATIONS ON ELLIPTIC CURVES FRANK CALEGARI Volume 225 No. 1 May 2006 PACIFIC JOURNAL OF MATHEMATICS Vol. 225, No. 1, 2006 MOD p REPRESENTATIONS ON ELLIPTIC
More informationLemma 1.1. The field K embeds as a subfield of Q(ζ D ).
Math 248A. Quadratic characters associated to quadratic fields The aim of this handout is to describe the quadratic Dirichlet character naturally associated to a quadratic field, and to express it in terms
More informationSome algebraic number theory and the reciprocity map
Some algebraic number theory and the reciprocity map Ervin Thiagalingam September 28, 2015 Motivation In Weinstein s paper, the main problem is to find a rule (reciprocity law) for when an irreducible
More informationFinite Fields. [Parts from Chapter 16. Also applications of FTGT]
Finite Fields [Parts from Chapter 16. Also applications of FTGT] Lemma [Ch 16, 4.6] Assume F is a finite field. Then the multiplicative group F := F \ {0} is cyclic. Proof Recall from basic group theory
More information