Elliptic units in ray class fields of real quadratic number fields
Hugo Chapdelaine
McGill University The Faculty of Science Department of Mathematics and Statistics
Research in partial fulfilment of the requirements of the degree of Doctor of philosophy
April, 2007
Montr´eal, Qu´ebec, Canada
Copyright c Hugo Chapdelaine, 2007
Abstract
Let K be a real quadratic number field. Let p be a prime which is inert in K.
We denote the completion of K at the place p by Kp. Let f > 1 be a positive integer coprime to p. In this thesis we give a p-adic construction of special elements 1 1 u(r, τ) K× for special pairs (r, τ) (Z/fZ)× where = P (C ) P (Q ) ∈ p ∈ × Hp Hp p \ p is the so called p-adic upper half plane. These pairs (r, τ) can be thought of as an analogue of classical Heegner points on modular curves. The special elements u(r, τ) are conjectured to be global p-units in the narrow ray class field of K of conductor f. The construction of these elements that we propose is a generalization of a previous construction obtained in [DD06]. The method consists in doing p-adic integration of certain Z-valued measures on X =(Z Z ) (pZ pZ ). The construction of those p × p \ p × p measures relies on the existence of a family of Eisenstein series (twisted by additive characters) of varying weight. Their moments are used to define those measures. We also construct p-adic zeta functions for which we prove an analogue of the so called Kronecker’s limit formula. More precisely we relate the first derivative at s =0ofa certain p-adic zeta function with log N u(r, τ). Finally we also provide some − p Kp/Qp evidence both theoretical and numerical for the algebraicity of u(r, τ). Namely we relate a certain norm of our p-adic invariant with Gauss sums of the cyclotomic field
Q(ζf ,ζp). The norm here is taken via a conjectural Shimura reciprocity law. We also have included some numerical examples at the end of section 18.
1 R´esum´e
Soit K un corps de nombre quadratique r´eel. Soit p un nombre premier inerte dans K.
Nous noterons par Kp la compl´etion de K en p. Soit f > 1 un entier positif copremier `a p. Dans cette th`ese nous donnons une construction p-adique de certains ´el´ements 1 1 u(r, τ) K× pour certaines paires (r, τ) (Z/fZ)× o`u = P (C ) P (Q ). ∈ p ∈ × Hp Hp p \ p Ces paires (r, τ) sont en quelque sorte des analogues des points de Heegner classiques sur les courbes modulaires. Nous avons conjectur´eque les ´el´ements u(r, τ) sont des p- unit´es dans le corps de classe de K au sens restreint de conducteur f. La construction de ces ´el´ements que nous proposons est une g´en´eralisation d’une construction obtenue dans [DD06]. La m´ethode consiste essentiellement a faire de l’integration p-adique de certaines mesures sur X =(Z Z ) (pZ pZ ) `avaleurs dans Z. La construction de p × p \ p × p ces mesures repose essentiellement sur l’existence d’une famille de s´eries d’Eisenstein (tordues par des caract`eres additifs) avec le poids k 2 qui varie. Les moments de ces ≥ s´eries d’Eisenstien sont utilis´es pour d´efinir ces mesures. Nous construisons aussi une fonction zeta p-adique pour laquelle nous prouvons un analogue de la formule limite de Kronecker. Plus pr´ecis´ement, nous relions la premi`ere d´eriv´ee en s = 0 d’une certaine fonction zeta p-adique avec log N u(r, τ). Finalement nous donnons − p Kp/Qp une bonne raison th´eorique de croire en l’alg´ebricit´ede u(r, τ). A` savoir, nous relions une certaine norme de notre invariant p-adique avec des sommes de Gauss contenues dans le corps cyclotomique Q(ζf ,ζp). La norme ici est d´efinie `al’aide d’une loi de r´eciprocit´ede Shimura conjecturale. Nous avons aussi inclu quelques r´esultats num´eriques `ala fin de la section 18.
2 Aknowledgements
First of all, I would like to thank my supervisor, Prof. Henri Darmon, for all his devotion and enthusiasm regarding the field of mathematics. As a mathematician, he was a great source of inspiration and at the same time a great director.
Second of all, I would like thank my former professor, Claude Levesque, who gave me my first opportunity to start a career in mathematics. Without all his good advices my mathematical journey would probably be very different.
I would also like to thank all the administration staff of the Mathematics and Statistics department of university McGill. I would like to give a special thanks to Carmen for all her patience and all her energy to make sure that I would meet all the deadlines and the bureaucratic requirements.
I would also like to thank all the students that I met in the last four years. They were a great source of entertainment and more than anything else they taught me thousands of new things about life. Among all of those people I have a few special thanks to give. I would like thank Mak Trifkovich who taught me hundred of new things on a wide range of topics: English pronunciation and grammar, political and economical right wing ideology, history of mankind and mathematics to name a few. I would also like to thank Matthew Greenberg with whom I shared many interests: watching hockey, beer drinking, black sense of humour and of course mathematics. I would also like to thank my two office mates in the last two years, Andrew Archibald and Gabriel Chenevert, who had to put up with me. I had great and interesting discussions with both of them.
Finally and not the least, I want to thank my family, Pierre, Maryse and Gene- vi`eve, who were always very supportive and encouraging with me. I know that all of them are happy for me since I was lucky enough to find a passion in life: the passion of doing mathematics.
3 Contents
1 The Z-rank of strong p-units 13
1 2 Distributions on P (Qp) and holomorphic functions on the upper half plane 15
3 A review of the classical setting 24
4 Modular units and Eisenstein series 30
4.1 TheSiegelfunction ...... 30
4.2 Modular units associated to a good divisor ...... 31
4.3 Thedualmodularunit ...... 33
12 ∆(τ) 4.4 From g k (Nτ) to ...... 34 ( N ,0) ∆(Nτ) 4.5 The p-stabilizationofmodularunits...... 35
4.6 The involution ιN on X1(N)(C)...... 38
4.7 Bernoulli polynomials and Eisenstein series ...... 39
4.8 Hecke operators on modular forms twisted by an additive character . 42
4.9 The q-expansion of Ek,p(r, τ)...... 45
4.10 Relation between Eisenstein series and modular units ...... 46
5 The Z-valued measures µ c c and the invariant u(δ , τ) 49 r{ 1 → 2} r 1 5.1 Z-valued measures on P (Qp) ...... 49
5.2 Periods of modular units and Dedekind sums ...... 52
5.3 Themodularsymbolsareodd ...... 57
4 5.4 From to O(N , f)...... 58 H Hp 0
5.5 Construction of the Kp×-points u(δr, τ) ...... 63
6 The measures µ c c 70 { 1 → 2} 6.1 From P1(Q ) to (Q Q ) (0, 0) ...... 70 pe p × p \{ } 6.2 Splittingofthe2-cocycle ...... 74
7 Archimedean zeta functions attached to totally real number fields 77
7.1 Zeta functions twisted by additive characters ...... 77
7.2 Gauss sums for Hecke characters and Dirichlet characters...... 80
7.3 Relation between Ψ( a , χ ,s) and L(χ, s)...... 80 df ∞ 1 a 7.4 Partial zeta functions ζ(a− , f,w,s) as the dual of Ψ( df ,w,s)..... 83
8 Archimedean zeta functions attached to real quadratic number fields 87
8.1 Involution on X (fN )(C)revisited ...... 87 ∗fN0 1 0
8.2 Zeta functions Ψ and Ψ∗ ...... 89
8.3 Proof of the functional equation of Ψ for K quadraticreal ...... 94
9 Relation between special values of zeta functions and Eisenstein se- ries 100
9.1 Archimedean zeta function associated to a class in
O(N , f)/Γ ...... 100 Hp 0 0
9.2 Special valuese of ζ(δr, (A, τ), 1 k) as integrals of Eisenstein series of − even weight F2k ...... 103
9.3 Some explicit formulas for ζ∗(δr, (A, τ), 0)...... 108
5 9.4 Relation between ζ(δ, (1, τ),s) and ζ∗(δ, (1, τ),s)...... 108
10 P-adic zeta functions and p-adic Kronecker limit formula 110
11 Dedekind sums and periods of Eisenstein series 111
11.1Dedekindsums ...... 111
11.2Atechnicallemma ...... 113
11.3 Moments of Eisenstein series ...... 117
11.4 Moments of µ c c ...... 125 r{ 1 → 2} e 12 Proof of theorem 6.1 126
12.1 Measures on Z Z ...... 126 p × p 12.2 A partial modular symbol of measures on Z Z ...... 132 p × p 12.3 From Z Z to X ...... 135 p × p 12.4 The measure µ c c is Γ invariant ...... 139 r{ 1 → 2} 0 e e 13 The measure µ c c is Z-valued 141 r{ 1 → 2} e 14 Explicit formulas of µ c c on balls of X 146 r{ 1 → 2} e 15 Stability property of µ c c on balls of decreasing radius marked j{ 1 → 2} at an integral center 149 e
16 Explicit formulas of ζ(δ, (A, τ), 1 k) in terms of the measures µ c − r{ 1 → c2 153 } e
17 Some evidence for the algebraicity of the u(r, τ) invariant 158
6 17.1 The reciprocity map of Class field theory applied to K(f ) ..... 159 ∞ 17.2 A ”norm” formula for u(r, τ)...... 162
18 Numerical examples 183
19 Discussion and future directions 193
A Partial modular symbols are finitely generated over the group ring197
Introduction
Let L be a number field. Define
(L×)− = x L× : x = 1 for all infinite places ν of L . { ∈ | |ν }
One can think of (L×)− as the intersection of the minus spaces of all complex con- jugations on L×. A complex conjugation of L acts as 1 on (L×)−. One can show − that if L contains no CM field then (L×)− = 1 . Moreover when L contains a CM {± } field, if we denote by L the largest CM field contained in L, then (L×)− L× . CM ⊆ CM From now on we assume that L is a CM field.
Let p be an odd rational prime number. The group of p-units of L is defined as 1 [ ]×. Dirichlet’s units theorem tells us that OL p 1 n 1+g (0.1) [ ]× L× Z − OL p ≃ tor × where g is the number of prime ideals in Labove p and 2n = [L : Q]. We define the group of strong p-units of L to be 1 U (L):=(L×)− [ ]× p ∩ OL p
= x L× : for all places ν of L (finite and infinite) such that ν ∤ p, x =1 . { ∈ | |ν } + Clearly Up(L) is a subgroup of the group of p-units of L. If we let L be the maximal real subfield of L and g+ the number of prime ideals of L+ above p then an easy
7 calculation shows that rank (U (L)) = g g+(see proposition 1.1). For example Z p − when the prime p splits completely in L we have rankZ(Up(L))=[L : Q]/2.
Let K = Q(√D) be a real quadratic number field where disc(K) = D and p be an odd prime number which is inert in K. We denote the completion of K at p by
Kp. In [DD06] a p-adic construction of elements in Kp× is proposed. Those elements are conjectured to be strong p-units in certain abelian extensions of K, namely the so called narrow ring class fields of K. We recall the main ideas of their construction.
Let N > 1 be an integer coprime to D such that σ0(N) = d N 1 > 2. Let α(z) | be a non constant modular unit on the modular curve X0(N)P having no zero or pole at the cusp i (such modular units always exist). Let = P1(C ) P1(Q ) be the ∞ Hp p \ p p-adic upper half plane. For certain points τ K they define a p-adic invariant ∈ Hp ∩ u(α, τ) K×. When this p-adic invariant is non trivial, i.e. when u(α, τ) = 1, the ∈ p 6 ± two authors have conjectured that u(α, τ) lies in a certain narrow ring class field Lτ of K which depends on τ and α. More precisely they conjecture that u(α, τ) is a strong p-unit in Lτ . If we assume that u(α, τ) is a non trivial strong p-unit contained in Lτ then Lτ contains a CM field and therefore has at least one complex embedding. Note that any ring class field Lring of K is Galois over Q. Therefore by normality ring Lτ is totally complex. Because of the dihedral nature of Gal(L /Q) we see that having at least one complex embedding is equivalent for Lring to be a CM field. We thus conclude that if u(α, τ) is a non trivial p-unit inside Lτ then Lτ has to be a CM field.
The key idea in their construction is to use the periods of the modular unit α(z) 1 in order to construct a family of Z-valued measures on P (Qp). In their construction they use modular units of the form
α(z)= ∆(dz)nd d N Y| n 24 2πiz where ∆(z)= q n 1(1 q ) (where q = e ) and the nd Z’s are integers subject ≥ − ∈ to the conditionsQ d N nd = 0 and d N ndd = 0. The ”periods” considered come | α(z) | from the modularP unit α(pz) and theyP are given by the formula 1 c2 α(z) (0.2) dlog Z 2πi α(pz) ∈ Zc1
8 where c ,c Γ (N)(i ). These periods can be expressed in terms of Dedekind 1 2 ∈ 0 ∞ sums. A key feature of their method is the possibility of testing their conjecture since the p-adic integral defining the invariant u(α, τ) can be computed in polynomial time. For a description of this algorithm see [Das05].
In this thesis we propose a generalization of their construction. Let N0 and f be coprime positive integers such that (pD,fN0) = 1. We call f the conductor and N0 ∆(z) the level. We replace the function for d0 N0 by a certain power of the Siegel ∆(d0z) | function g r (fd τ), see (3.1) for the definition. ( f ,0) 0 The first novelty is that instead of working with one modular unit α(z) we work with a family of modular units gt(z) t T indexed by the finite set T =(Z/fZ)×/ p { } ∈ h i where p corresponds to the group generated by the image of p inside (Z/fZ)×. h i By construction those modular units are Γ0(fN0)-invariant in the sense that for all γ Γ (fN ) one has ∈ 0 0
gγ⋆t(γz)= gt(z)
a b where ⋆ t = dt(mod f). So the matrix γ acts not only on the variable z but c d ! also on the indexing set T . Moreover every modular unit in this family has no zero or pole on the set Γ (fN )(i ). The periods considered are of the form 0 0 ∞ 1 c2 g (z) (0.3) dlog t Z 2πi g (pz) ∈ Zc1 t where c ,c Γ (fN )(i ) and t T which is the analogue (0.2). 1 2 ∈ 0 0 ∞ ∈ Using equation (0.3) we define, for every triple
(c ,c , t) Γ (fN )(i ) Γ (fN )(i ) T, 1 2 ∈ 0 0 ∞ × 0 0 ∞ ×
1 Z-valued measures on P (Qp) denoted by
µ c c . gt { 1 → 2}
Using those measures, we propose a construction of elements in Kp×. For certain pairs
(r, τ) (Z/fZ)× we associate an invariant u(r, τ) K× which depends also ∈ × Hp ∈ p 9 on the family of modular units gt(z) t T . Those elements are constructed as certain { } ∈ p-adic integrals of our measures. The element u(r, τ) is conjectured to be a strong p-unit in K(f ), the narrow ray class field of K of conductor f. In particular, if ∞ we want to construct non trivial strong p-units inside K(f ), it will be essential to ∞ assume beforehand that the latter field is totally complex. This shows the importance of working in the narrow sense and not just in the wide sense. We propose a conjec- tural Shimura reciprocity law (see conjecture 5.1) which says how the Galois group Gal(K(f )/K) should permute the elements u(r, τ). We also prove an analogue of ∞ the Kronecker limit formula relating our invariant u(r, τ) to the first derivative at s = 0 of a certain p-adic zeta function. More precisely we prove that
(1) 3ζ′ (0) = log N u(r, τ) p − p Kp/Qp
(2) 3ζ(0) = vp(u(r, τ))
where ζp(s) is a p-adic zeta function interpolating special values at negative integers of a classical zeta function ζ(s), attached to K, deprived from its Euler factor at p, 2s namely (1 p− )ζ(s). − Let us explain more precisely the main ideas involved in the construction of the invariant u(r, τ). In a very similar way to [DD06], our family of Z-valued measures 1 2 µ c c on P (Q ) can be used to construct a 2-cocycle κ Z (Γ ,K×) (see gt { 1 → 2} p ∈ 1 p definition 5.10 ) where
a b 1 Γ1 := SL2(Z[ ]) : a 1(mod f),c 0(mod fN0) { c d ! ∈ p ≡ ≡ } and Kp× has trivial Γ1-action. It turns out that the 2-cocycle κ is a 2-coboundary i.e. 1 there exists a 1-cochain ρ C (Γ ,K×) such that d(ρ)= κ. Note that ρ is uniquely ∈ 1 p 1 determined modulo Z (Γ1,Kp×)= Hom(Γ1,Kp×) which turns out to be a finite group. In order to show the splitting of the 2-cocycle κ one is lead to lift the system of measures µ c c to a system of measures on X := (Z Z ) (pZ pZ ). gt { 1 → 2} p × p \ p × p 1 x There is a natural Z×-bundle map π : X P (Q ) given by π(x, y) = . In order p → p y 1 to lift our measures from P (Qp) to X we use the periods of a family of Eisenstein
10 series twisted by additive characters with varying weight k 2. When the weight ≥ k equals 2 then the corresponding Eisenstein series is the logarithmic derivative of our modular unit. We denote the unique lift of µ c c to X (under certain gt { 1 → 2} conditions see theorem 6.1) by µ c c . Note that by construction we have gt { 1 → 2} π µgt c1 c2 = µgt c1 c2 . Using this lift one can give a ”simple expression” for ∗ { → } { → } u(r, τ) namely e e (0.4) u(r, τ) := ρ(γ )= (x τy)dµ i γ i (x, y) τ × − gr { ∞→ τ ∞} ZX where γτ is an oriented generator of the stabilizere of τ under the action of Γ1. There- fore the invariant u(r, τ) is obtained from the evaluation of the 1-cochain ρ at γτ . The presence of the stabilizer γτ is accounted for the presence of endomorphisms of infinite order of the lattice Z+τZ which is equivalent to the presence of units of infinite order in . When the element τ K and τ is reduced, there is a natural bijection OK ∈ Hp ∩ φ : X K× given by (x, y) x τy. If we let νr = φ µgr i γτ i then (0.4) → O p 7→ − ∗ { ∞→ ∞} can be rewritten in a more functorial way as e
u(r, τ)= xdνr(x) Kp×. x × ∈ Z ∈OKp This new point of view, which applies to any totally real number field, is the subject of a recent paper by Dasgupta, see [Das06].
We compute the various moments of µ c c i.e. integrals of the form gt { 1 → 2}
xnymdµ i e γ (i ) (x, y), × gr { ∞→ τ ∞ } ZX where m and n are positive integers,e see proposition 11.5 for explicit formulas. Fol- lowing [Das05], we also give explicit formulas for the measures µ c c evaluated gt { 1 → 2} on balls of X, i.e. compact open sets of the form e (u + pnZ ) (v + pnZ ). p × p See proposition 14.1 for the formulas. Both of these formulas involve periods of Eisenstein series which can be expressed in terms of Dedekind sums. Having such formulas turns out to be essential for numerical verifications. We have included at the
11 end of section 18 a few numerical examples which support the conjectural algebraicity of u(r, τ).
Finally we give some theoretical evidence for the algebraicity of u(r, τ) by com- puting ”their norm” and relating them to normalized Gauss sums, see theorem 17.1. Let f be an integer such that for all q f, q is inert in K. Assume furthermore that | 1 / p (Z/fZ)×, then we prove that − ∈h i ≤
(0.5) NK(f )Fr℘ /Q(ζ )Frp (u(r, τ)) = S (mod µF ) ∞ f
Frp where ℘ = p , S is a product of normalized Gauss sums in F = Q(ζ )h i Q(ζ ) OK f · p ⊆ Qp. The norm in (0.5) is taken via a Shimura reciprocity law which is still meaningful even if we don’t assume the algebraicity of the element u(r, τ). Note that the left
Frp hand side of (0.5) lies necessarily in K F = Q(ζ )h i Q . Because of the p ∩ f ⊆ p Frp assumption 1 / p (Z/fZ)× we see that Q(ζ ) is a CM field. − ∈h i ≤ f
Notation
Let K be a number field and an order of K. For a finite subset of places S of K O we define to be the ring of S-integers of OS O a a S := K : a, b , and 1 for ν finite and ν / S . O b ∈ ∈ O b ν ≤ ∈ n o
Let M = σ1,...,σr be the set of real embeddings of K. Given an integral S-ideal ∞ { } O f and a subset M M we define the following sets ⊆ ∞
(1) I (f) := b K : b is an integral S-ideal coprime to f , OS { ⊆ O } α (2) Q ,1(f M ) := K : α, β S, (αβ, f)=1, α β(mod f), and OS ∞ { β ∈ ∈ O ≡ σ ( α ) > 0 σ M , i β ∀ i ∈ } where we think of M = σ M i where i is the infinite place corresponding to ∞ i∈ ∞ ∞ σi. Two ideals a, b I (f) are said to be equivalent modulo Q ,1(f M ) if there ∈ OS Q OS ∞ exists an element λ Q ,1(f M ) such that λa = b. This gives us a relation of ∈ OS ∞ 12 equivalence on I (f). The quotient I (f)/Q ,1(f M ) is a generalized S-ideal OS OS OS ∞ O class group corresponding by class field theory to a certain abelian extension of K.
Let K be a quadratic number field. For τ K Q then we define ∈ \
Λτ := Z + τZ, and := End (Λ )= λ K : λΛ Λ . Oτ K τ { ∈ τ ⊆ τ } Let N be a positive integer then we define
a b (1) Γ0(N) := SL2(Z) : c 0(mod N) , { c d ! ∈ ≡ }
a b (2) Γ1(N) := SL2(Z) : c 0(mod N),d 1(mod N) . { c d ! ∈ ≡ ≡ }
1 The Z-rank of strong p-units
Let L be a number field. Remember that
(L×)− = x L× : x = 1 for all infinite places ν of L . { ∈ | |ν }
One can think of (L×)− as the intersection of the minus spaces of all complex conju- gations of (L×)−. A complex conjugation acts like 1 on L×. If L contains no CM − field then a simple computation reveals that (L×)− = 1 . In the case where L {± } contains a CM field let us denote by LCM the largest CM field contained in L. In this case one has that (L×)− L× . For this reason we now assume that L is a CM ⊆ CM field of degree 2n over Q. Let K be a totally real subfield of L and let p be a prime ideal of K. We define a relative group of strong p-units
Up(L/K) :=
x L× : for all places ν of L (finite and infinite) such that ν ∤ p, x =1 . { ∈ | |ν }
13 We would like to compute the Z-rank of Up(L/K). Let S be the set of places of L containing exactly all the infinite places and all the finite ones above p. Let YS be the free abelian group generated by the elements of S. Let also XS be the subgroup of Y of elements having degree 0. Let π K be such that π = pm for some integer S ∈ OK m. We have a natural map 1 λ : R [ ]× R Y ⊗Z OL π → ⊗Z S 1 ǫ log ǫ [ν] ⊗ 7→ | |ν · ν S X∈ where denotes the normalized local absolute value for which we have the formula ||ν
NFν /R(α) if ν is complex α ν = vν (α) | | ( N(ν)− if ν is finite for any α L×. Using Dirichlet’s unit theorem and the product formula we see ∈ 1 that λ induces an R-linear isomorphism between R [ ]× and R X . Let ⊗Z OL π ⊗Z S τ be the complex conjugation on L then τ acts naturally on the left and right ∞ ∞ hand side of λ. Note that τ acts always trivially on infinite places of S. One can ∞ verify that λ is τ -equivariant. Let us denote by S+ = ν S : τ ν = ν and ∞ { ∈ ∞ } by S− = ν S : τ ν = ν . It is easy to see that the 1 eigenspace of R Z XS { ∈ ∞ 6 } − ⊗ #S− has dimension 2 where a R-linear basis is provided for examples by the elements
[ν] [τ ν] for ν S−. Therefore it follows that the +1 eigenspace of R Z XS has − ∞ ∈ ⊗ dimension equal to #S+ + #S− 1. Since the map λ is τ -equivariant the same is 2 − ∞ 1 + true for R [ ]×. Note also that #S + #S− = n + g where g is the number of ⊗Z OL π prime ideals of L above p.
Proposition 1.1 Let L+ be the maximal real subfield of L and g+ be the number of prime ideals of + above p then one has OL (1.1) rank (U (L/K)) = s = g g+. Z p −
14 + + + Proof A small computation shows that #S = n +2g g and #S− = 2(g g ). − − From this we get
1 − #S− dim R [ ]× = dim R X− = dim (R X )− = R ⊗Z OL π R ⊗Z S R ⊗Z S 2 ! = g g+. − The second equality follows from the fact that the eigenvalues of τ , which are 1, ∞ ± 1 lie in Z. Finally note that [ ]× − = Up(L/K) and in general for any finitely OL π generated abelian group A we have dim (R A)= rank (A). R ⊗Z Z
Question Let K be a real quadratic field and L = K(f ) be the narrow ray class ∞ field of conductor f of K. Let p be a prime number inert in K which is congruent to 1 modulo f and assume that K(f ) is totally complex. Let p = p . If conjecture ∞ OK 5.1 is true, can we prove that the Z-rank of the subgroup generated by our strong p-units is equal to g g+ = [K(f )/K]/2? − ∞
1 2 Distributions on P (Qp) and holomorphic func- tions on the upper half plane
1 Let p be a prime number and (A, +) be an abelian group. Let P (Qp) be the projective line over the field of p-adic numbers endowed with its natural topology induced from the one on Q . The field Q has a natural normalized non Archimedean metric p p ||p where p = 1 . The group of matrices | |p p 1 1 GL+(Z[ ]) = γ GL (Z[ ]) : det(γ) > 0 2 p { ∈ 2 p }
1 ax+b a b acts naturally on P (Qp) by the rule x γx = cx+d where γ = 7→ c d ! ∈ GL+(Z[ 1 ]) and x P1(Q ). We define a ball in P1(Q ) to be a translate of Z 2 p ∈ p p p + 1 1 under some element of GL2 (Z[ p ]). Therefore by definition all balls of P (Qp) can be
15 written as
γZ := γx P1(Q ) : x Z . p { ∈ p ∈ p} for some γ GL+(Z[ 1 ]). Given a ball B P1(Q ) one can show that there exists an ∈ 2 p ⊆ p element a Z[ 1 ] and n Z such that ∈ p ∈ 1 1 B = x Q : x a or B = x Q : x a . { ∈ p | − |p ≤ pn } { ∈ p | − |p ≥ pn }∪{∞} This explains somehow the terminology for the word ”ball”. We denote the set of all balls of P1(Q ) by . p B 1 An A-valued distribution on P (Qp) is a map
µ : Compact open sets of P1(Q ) A { p }→ n which is finitely additive i.e. for all finite disjoint union i=1 Ui of compact open sets 1 of P (Qp) we have S
n n
µ Ui = µ(Ui), i=1 ! i=1 [ X where the summation on the right hand side takes place in the abelian group A. It 1 thus follows that a distribution on P (Qp) is completely determined by its values on 1 1 a topological basis of P (Qp). A topological basis of P (Qp) is given for example by its set of balls.
1 1 We say that a distribution on P (Qp) has total value 0 if µ(P (Qp) = 0. We would 1 like to give a simple criterion to construct A-valued distributions on P (Qp) of total value 0. Before stating this criterion we need to introduce some notation.
Every ball B = γZp can be expressed uniquely as a disjoint union of p balls
p 1 − B = Bi, i=0 [ p i where Bi := γ (αiZp) and αi = . We can now state the criterion: 0 1 !
16 Lemma 2.1 If µ is an A-valued function on satisfying B p 1 − µ(P1(Q ) B)= µ(B), µ(B)= µ(B ) p − − i i=1 X for all B then µ extends uniquely to an A-valued distribution on P1(Q ) with ∈ B p total value 0.
The proof of this lemma can be made transparent by using the dictionary between 1 measures on P (Qp) and harmonic cocycles on the Bruhat-Tits tree of P GL2(Qp). For a small introduction to the subject see chapter 5 of [Dar04]. From now on we will use the previous lemma freely.
For the sequel we would like to give a general procedure to construct A-valued 1 distributions on P (Qp) from certain analytic functions on the complex upper half plane. In practice we are mainly interested in the case where A = Z.
Let = z = x + iy C : y > 0 be the upper half-plane endowed with its H { ∈ } 2 dx2+dy2 usual metric ds = 2 . For any analytic function f : C we define the y H → multiplicative Up,m operator as
p 1 − τ + j (U f)(τ) := f( ). p,m p j=0 Y We say that f satisfies the multiplicative distribution relation at p or simply that f is a U -eigenvector (even if U is not a linear operator) if there exists λ C× such p,m p,m ∈ that
(2.1) (U f)(τ)= λf(τ), τ . p,m ∀ ∈ H
We also call λ the eigenvalue of f with respect to the operator Up,m. Similarly for any meromorphic function g : C we define an C-linear operator U (where the H→ p,a ”a” stands for additive) as
p 1 1 − τ + j (U g)(τ) := g( ). p,a p p j=0 X
17 If we take the logarithmic derivative of (2.1) we get
p 1 1 − τ + j U (dlogf)(τ)= (dlogf)( ) = dlogf(τ). p,a p p j=0 X Note that the constant λ has dropped out. In general if g(τ) is a meromorphic function on we say that g satisfies the distribution relation at p if H p 1 1 − τ + j ( ) (2.2) g( ) =∗ g(τ) p p i=0 X for all τ where ( ) is defined, in other words g(τ) is an U -eigenvector with ∈ H ∗ p,a eigenvalue 1. We call (2.2) the additive distribution relation at p. When in addition the function f(τ) is invariant under translation by Z, i.e. f(τ +1) = f(τ), τ , ∀ ∈ H we find that for (N,p)=1
(Up,mfN )(τ)= λfN (τ), where fN (τ) := f(Nτ). In this way get even more functions on the upper half plane satisfying the multiplicative distribution relation at p. Note that the multiplicative distribution relation is stable under standard multiplication of functions. Using the previous observation we get
(2.3) f(dτ)nd d N Y| is also a Up,m-eigenvector for arbitrary integers nd’s. Equation (2.3) is the basic tool for constructing Up,m-eigenvectors from a given one. We remind also the reader that since f(τ +1)= f(τ) for all τ then f admits a q-expansion at i of the form ∈ H ∞ a qn, τ n τ ∈ H n Z X∈ where q = e2πiτ and a C. τ n ∈ Assume that f(τ) satisfies additional symmetries and some boundary conditions namely that there exists an integer N > 1 coprime to p such that
(1) f(τ) is Γ0(pN)-invariant and that it descends to a meromorphic function on
X0(pN).
18 (2) f(τ) has no zeros or poles on the set of cusps Γ0(N)(i ), i.e. for all γ Γ0(N) (γ) (γ) (γ) ∞ ∈ we have a = 0 and an =0 if n< 0 where an is defined by (2.4). 0 6
Using (1), one can define the q-expansion of f(τ) at any point c P1(Q) by the ∈ following rule: First choose a matrix γ SL (Z) such that γc = i . It is an exercise ∈ 2 ∞ 1 h to verify that there always exists a matrix SL2(Z) with h> 0 such that 0 1 ! ∈
1 h 1 γ γ− Γ0(pN). Without lost of generality we can assume that h > 0 is 0 1 ! ∈ minimal, we call it the width at the point c. It is easy to see that the width is constant on the orbit Γ (pN)c. It follows that f(γτ) is holomorphic on and invariant under 0 H the translation z z + h. Therefore the function f(γτ) admits a q-expansion at i 7→ ∞ of the form
(2.4) f(γτ)= a(γ)qn , τ . n τ/h ∈ H n Z X∈ (γ) Note that an = 0if n is small enough since f is meromorphic. The latter q-expansion is defined to be the q-expansion of f(τ) at the point c. If one chooses a γ′ such that
(γ′) (γ) γ′i = γi = c then one can verify that for n > 0 an = ζan for some h-th root ∞ ∞ of unity ζ depending on n. So up to a root of unity, an depends only on c. However, a0 is uniquely determined by c. So formally speaking the q-expansion at c depends not just on c but also on the choice of the matrix γ SL (Z) such that γi = c. ∈ 2 ∞ However, this slight ambiguity will not create any problems for the applications we have in mind. Often we are only interested by the qualitative behaviour of the q- 1 expansion at c P (Q) which is the same for all points in c′ Γ (pN)c, as one can ∈ ∈ 0 verify.
We can summarize so far the assumptions made on the holomorphic function f : C: H→
(1) f descends to a meromorphic function on X0(pN),
(2) f is a Up,m eigenvector,
(3) f has no zeros and poles on the set of cusps Γ (N)(i ). 0 ∞ 19 where (p, N)=1.
1 Having such a f one can associate C/Ω-valued distributions on P (Qp) of total value 0 where Ω is a finitely generated Z-module of C defined by 1 Ω := dlogf(τ) : C is a small loop around a zero of f , h{2πi }i ZC
f ′(τ) where dlogf(τ) = f(τ) dτ. By small loop we mean a circle C such that C doesn’t cross any zero of f and inside that circle f has only one zero. It is finitely generated because f descends to a meromorphic function on X0(pN). In particular if f has no zeros in then Ω = 0 . H { } In order to construct such distributions we need to introduce some notation first. Let us denote p 0 Γ0 := γ Γ0(N), : det(γ)=1 . ( ∈h 0 1 !i )
p 0 Note that the matrix / Γ0. A calculation shows that the natural image 0 1 ! ∈ + 1 of Γ0 in P GL2 (Z[ p ]) has index two. It thus follows that the group Γ0 splits the set 1 of balls of P (Qp) into two orbits, the one equivalent to Zp and the one equivalent to P1(Q ) Z . Let (c ,c ) Γ (N)(i ) Γ (N)(i ). One is lead naturally to the p \ p 1 2 ∈ 0 ∞ × 0 ∞ following definition
1 γ− c2 (2.5) µf c1 c2 (γZp) := dlogf(τ), 1 { → } γ− c1 Z 1 γ− c2 1 (2.6) µf c1 c2 (γ P (Qp) Zp ) := dlogf(τ) { → } \ − 1 Zγ− c1 where γ Γ . The integral between the two cusps appearing in the bounds of the ∈ 0 integral is taken to be along a curve C (containing its end points) which is assumed to be smooth, of finite length and doesn’t cross any zeros of f(τ). Moreover, we 1 1 also require that C agrees with the unique geodesic of joining γ− c to γ− c on H 1 2 1 1 small enough neighbourhoods of γ− c1 and γ− c2. In particular if we let U1 and U2 1 1 be small enough open discs centred around γ− c1 and γ− c2 respectively we find that U C and U C are small arcs containing no zeros of f. Such neighbourhoods 1∩H∩ 2∩H∩
20 always exist since f descends to a meromorphic function on X0(pN). Under these
f ′(τ) assumptions those integrals make sense since the functions f(τ) has no zero, pole on the path C and this latter path is well behaved in small neighbourhoods of its two endpoints. Note that the image of the integrals (2.5) and (2.6) in C/Ω doesn’t depend on the choice of such special paths since we mod out by the only obstruction coming from the poles of dlogf(τ) which correspond to the zeros of f. Those poles are the only obstruction since dlogf(τ) is a meromorphic 1-form on , therefore closed. H By definition the total value of µ c c is zero. Moreover, since Stab (Z )= f { 1 → 2} Γ0 p Γ0(pN) (uses (N,p) = 1) and f(τ) is Γ0(pN)-invariant, one sees that (2.5) and (2.6) are well defined. Finally, the fact that µ c c is a distribution follows from f { 1 → 2} lemma 2.1. The condition of lemma 2.1 is verified since f is by assumption a Up,m- eigenvector, see equation (2.2).
Remark 2.1 The reason why one needs to be careful about the endpoints of the path of integration comes from the observation that f(τ) could have infinitely many zeros or poles in a small real interval around the point c Γ (N)(i ). ∈ 0 ∞ Remark 2.2 Note that the set f(c) C : c Γ (N)(i ) is finite since f(τ) { ∈ ∈ 0 ∞ } is a Γ0(pN)-invariant.
Remark 2.3 An important observation is that the the group generated by the p 0 matrix gives rise to a nontrivial action on the set Γ0(N)(i )=Γ0(i ) by 0 1 ! ∞ ∞ the rule
pn 0 :Γ0(N)(i ) Γ0(N)(i ) 0 1 ! ∞ → ∞ pn 0 c c = pnc. 7→ 0 1 ! where n Z. In other words, the multiplication by p map reshuffles the set Γ (N)(i ). ∈ 0 ∞ Here it is crucial for N and p to be coprime. Philosophically the non triviality of this action combined with the special properties of f(τ) give rise to non trivial C/Ω-valued 1 distributions on P (Qp).
21 An important property satisfied by the family of distributions µ c c is a Γ - f { 1 → 2} 0 invariance. For all compact open set U and γ Γ one has ∈ 0 µ γc γc (γU)= µ c c (U). f { 1 → 2} f { 1 → 2} This is a direct consequence of the definition of µ c c . f { 1 → 2} In general one imposes even stronger conditions on f(τ) in order to control the range of µ c c . We introduce the following useful definition: f { 1 → 2} Definition 2.1 We say that f(τ) satisfies the real algebraicity condition on the set Γ (N)(i ) if there exists a real number field L C such that f(x) L, x 0 ∞ ⊆ ∈ ∀ ∈ Γ (N)(i ). 0 ∞
In general, modular functions tend to have algebraic coefficients therefore the previous definition is not too hard to fulfil. For example suppose that all the ”q-expansions” of f(τ) at the cusps Γ (N)(i ) lie in M[[q]] where M is a CM-field. Let M + be the 0 ∞ maximal real subfield of M. Then taking the norm of f(τ) down to M +[[q]] gives rise to a modular unit satisfying the definition 2.1.
Assumptions: Form now on we assume that f(τ) satisfy the conditions (1), (2), (3), has no zeros in and also that it satisfies the real algebraicity condition on the H set Γ (N)(i ). 0 ∞ We thus get that Ω = 0 . Doing a small change of variables reveals that { } 1 1 1 γ− c2 1 f(γ− c2) dt Λ 1 (2.7) dlogf = + Z 2πi 1 2πi 1 t ∈ 2πi 2 Zγ− c1 Zf(γ− c1) where t = f(τ) and Λ is the finitely generated additive subgroup of R (by remark 2.2) generated by log f(c) for c Γ (N)(i ) (here we assume that there exists a | | ∈ 0 ∞ c Γ (N)(i ) such that f(c) = 1). The real part of the left hand side of (2.7) is ∈ 0 ∞ half integral since the bounds of the integral appearing on the right hand side are real valued. Therefore if we define
1 1 γ− c2 1 µf c1 c2 (Z) := Re dlogf Z { → } 2πi 1 ∈ 2 Zγ− c1 ! 1 1 we obtain a 2 Z-valued distribution on P (Qp).
22 Remark 2.4 Note that there are only finitely many possibilities for the bounds appearing in the right hand side of (2.7). On the other hand the image by f of the geodesic joining c1 to c2 and the one joining c1′ to c2′ will be in general different even if f(c1)= f(c1′ ) and f(c2)= f(c2′ ).
1 Definition 2.2 We say that a Cp-valued distribution µ on P (Qp) is a measure if there exists a constant c R such that ∈ >0 µ(U) c | |p ≤
1 for all compact open sets U of P (Qp).
Clearly a 1 Z-valued distribution is a measure since we can take c = 1 if p = 2 and 2 6 c =2 if p = 2.
1 Remark 2.5 A Cp-valued measure on P (Qp) allows oneself to integrate Cp- valued continuous functions. In general Cp-valued distributions only allow the in- tegration of locally constant functions.
Suppose that f satisfies the real algebraicity condition on the set Γ (N)(i ) for the 0 ∞ number field L, i.e. for all c Γ (N)(i ) we have f(c) L C. Note that L ∈ 0 ∞ ∈ ⊆ comes naturally equipped with an embedding in R by definition. One can also use 1 the imaginary part of of (2.7) to construct L×-valued distributions on P (Qp). For every pair of cusps (c ,c ) Γ (N)(i ), define a L×-valued distribution ν c c 1 2 ∈ 0 ∞ f { 1 → 2} 1 on P (Qp) by the rule e
1 f(γ− c2) i) ν c c (γZ ) := | 1 | , f 1 2 p f(γ c1) { → } | − |
1 1 1 f(γ− c2) − ii) νe c c (γ(P (Q ) Z )) := | 1 | . f 1 2 p p f(γ c1) { → } \ | − | for alleγ Γ . ∈ 0
Using lemma 2.1 one can verify that νf gives rise to an L×-valued distribution on 1 P (Qp) of total value 1 (the abelian group A considered is multiplicative ). Note that e
23 the set
µ c c (B) : B { f { 1 → 2} ∈ B} is finite.
(Let us fix an embedding ι : L ֒ Q and let L be the topological closure of ι(L → p in Qp. If we fix a p-adic branch of logp by declaring logp π = 0 for some uniformizer b1 in L then we can define a L-valued measure on P (Qp) by
b νbf c1 c2 := logp νf c1 c2 . { → } ◦ { → } We thus get that ν c c is a L-valued measure. Unfortunately the measure f { 1 → 2} e νf c1 c2 depends on ι and the choice of the p-adic branch of logp. { → } b In the present paper we only explore the case where f(c) = 1forall c Γ (N)(i ). ∈ 0 ∞ When f satisfies the latter hypothesis we see directly from (2.7) that µ c c f { 1 → 2} is Z-valued and also that all possible L-valued measures ν c c are trivial, i.e. f { 1 → 2} 1 equal to 0 on all compact open sets of P (Qp). b
3 A review of the classical setting
Let be the Poincar´eupper half-plane and X(N) = ∗/Γ(N) be the modular H H 1 curve of level N where ∗ = P (Q). A modular unit of level N is a function H H ∪ u(τ) Q(ζ )(X(N)) with τ , for which div(u(τ)) is supported on P1(Q). In ∈ N ∈ H particular modular units are non vanishing analytic functions on . Because of this H 2πiτ latter property they can be written as an infinite product in the variable qτ = e . ∆(τ) The simplest example of a modular unit is provided by quotients of the form ∆(Nτ) , where ∆(τ) = η(τ)24 and η(τ) is the famous Dedekind eta function defined by the infinite product
n η(τ)= q τ (1 q ). 24 − τ n 1 Y≥ The modular unit ∆(τ) is invariant under the larger group Γ (N) Γ(N). Let K be ∆(Nτ) 0 ⊇ an imaginary quadratic number field. By evaluating those modular units on quadratic
24 irrationalities τ K one gets points in certain ring class fields of K. In order to ∈ H ∩ get points generating ray class fields of K, one needs to consider a more general type of modular units. These modular units can be obtained by taking suitable powers of Siegel functions.
For a pair of rational numbers (a , a ) ( 1 Z)2 such that (a , a ) = (0, 0)(mod Z), 1 2 ∈ N 1 2 6 we define a Siegel function of level N as
2 (3.1) g(a1,a2)(τ) := k(a1,a2)(τ)η(τ) ,
where k(a1,a2)(τ) is the Klein form, see chapter 1 of [DK81] for the definition. The infinite product corresponding to the Siegel function is given by
1 2πia2(a1 1)/2 2 B2(a1) n n (3.2) g(a1,a2)(τ)= e − qτ (1 qz) (1 qτ qz)(1 qτ q z), − e − − − − n 1 Y≥ where z = a τ +a , B (x)= x2 x+1/6 is the second Bernoulli polynomial, B (x) := 1 2 2 − 2 2πiτ B2( x ) where x stands for the fractional part of x, qτ = e , τ and qz = { } { } ∈ H e e2πiz, z C. Note that the infinite product in (3.2) converges since Im(τ) > 0. Using ∈ the identity K 2. in chapter 2 of [DK81] we deduce for (a , a ) (b , b )(mod Z2) 1 2 ≡ 1 2 that
(n1a2 n2a1) n1n2+n1+n2 2πi − (3.3) g (τ)=( 1) e− 2 g (τ), (b1,b2) − (a1,a2) where (b , b ) (a , a )=(n , n ). We thus see that g (τ) and g (τ) differ 1 2 − 1 2 1 2 (a1,a2) (b1,b2) only by a 2N root of unity. The function g(a1,a2)(τ) is not too far from being a modular unit. Let γ SL (Z) then ∈ 2
(3.4) g(a1,a2)(γτ)= ǫ(γ)g(a1,a2)γ (τ), where ǫ(γ) is defined by η(γτ)2 = ǫ(γ)(cτ + d)η(τ)2 for some ǫ(γ) µ . The subscript of the Siegel function (a , a )γ on the right hand ∈ 12 1 2 side of (3.4) is the usual multiplication of a row vector by a matrix.
From the identity (3.4) we deduce that for any γ SL (Z) and any r, s Z ∈ 2 ∈ 12 12 (3.5) g r s (γτ) = g r s (τ) , ( N , N ) ( N , N )γ
25 In particular when γ Γ(N), using the identity (3.5) combined with (3.3), we see ∈ that the function
12N (3.6) τ g( r , s )(τ) 7→ N N is invariant under the substitution τ γτ. We thus see that a suitable power of 7→ a Siegel function gives rise to a modular unit. A natural question that arises is: How large is the set of modular units of X(N)? This is answered by the following proposition:
Proposition 3.1 The Z-rank of the group of modular units of X(N) modulo
Q(ζN )× is equal to
(3.7) number of cusps of X(N) 1. − Moreover, the subgroup generated by modular units as in (3.6) for all integers r, s has maximal rank.
Proof The proof consists essentially in showing that the divisors of Siegel functions of level N give rise to the universal even distribution on Q2/Z2[N]. See theorem 3.1. of chapter 2 in [DK81].
The 1 in (3.7) is explained by the trivial relation (deg(div(u(τ)))=0) imposed − on the divisor of any function on X(N). In thus follows that the Z-rank of modular units is as large as it could be. Beside their modular properties, the main interest of modular units reside in the fact that can be used to construct units in ray class fields of imaginary quadratic number fields.
Using equation (3.1) defining the Siegel functions, on can think of g12 as a function on C where is the set of lattices of rank 2 in C. It thus makes sense to write ×L L g12(t, Λ) for any t C and Λ . For w Λ, g12(t + w, Λ) = ǫ(w)g12(t, Λ) for ∈ ∈ L ∈ some ǫ(w) S1. Therefore g12 modulo S1 is well defined on pairs (t +Λ, C/Λ). This ∈ notation agrees with the previous definition of g12 (τ) given by (3.1) in the sense (a1,a2) that g12(a τ + a , Λ )= g (τ)12 for any pair of real numbers (a , a ) and τ . 1 2 τ (a1,a2) 1 2 ∈ H Finally one should also point out that the function g12 is homogeneous of degree 0 12 12 meaning that g (λt,λΛ) = g (t, Λ) for any λ C×. ∈ 26 Now we would like to formulate one version of the theorem of complex multiplica- tion for imaginary quadratic number fields. Let K be an imaginary quadratic number
field and f an integral ideal of K. Let C(f) := IO (f)/Q ,1(f) (resp. K(f)) denote K OK the ray class group of conductor f (resp. the ray class field of conductor f)
Theorem 3.1 Let f = (f) for some f Z and assume that f is divisible by ∈ >0 at least two distinct primes of Z. Let a C(f) and choose a, b a. Then ∈ ∈ 12f 1 12f 1 (3.8) u(a) := g (1, fa− )= g (1, fb− ) × ∈ OK(f) 1 If we let rec− : C(f) Gal(K(f)/K) then → 12f 1 rec 1(c) 12f 1 1 (g (1, fa− )) − = g (1, fa− c− ) for any c I (f). ∈ OK
Proof See theorem 3 of chapter 19 section 3 of [Lan94b] .
1 Remark 3.1 Note that since a is an integral ideal then 1 a− . It is easy to see ∈ 1 1 1 that a− can always be written as a− = Λ for some s Z and τ ( K). It s τ ∈ >0 ∈ H ∩ thus follows by homogeneity of g12 that
12f 1 12f s 12f (3.9) g (1, fa− )= g ( , Λτ )= g(0, s )(τ) . f f Here we emphasize the fact that for any integral ideal a coprime to f we can associate 1 1 a pair (s, τ) Z ( K) such that a− = Λ . One can then evaluate the Siegel ∈ × H ∩ s τ function on the pair (s, τ) using (3.9). Note that this procedure depends implicitly 1 1 1 1 on the conductor f =(f). If we take a, b a C(f) and let a− = Λτ , b− = Λτ , ∈ ∈ s s′ ′ then equation (3.8) implies that
s 12f 12f g(0, )(τ) = g s′ (τ ′) . f (0, f ) This is an easy consequence of the homogeneity of degree 0 of g12 plus the the fact 12f that the function τ g(0, s )(τ) is Γ1(f)-modular. 7→ f
One can relate the logarithm of the absolute value of (3.9) with the first derivative of a certain zeta function (depending only on the ideal class of a modulo Q ,1(f)) OK 27 evaluated at s = 0. This is the so called second Kronecker’s limit formula. For the remaining of the section we introduce some notation in order to define a certain class of zeta functions associated to a positive definite quadratic form Q(x) and a spherical function P (x) with respect to Q(x). We only need the case where n = 2, i.e. when x =(x1, x2). For the general case, see chapter 1 section 5 of [Sie80].
Let z = a + ib . We attach to z a 2 by 2 positive definite matrix M = ∈ H z 1 1 a b . Note that Mz is normalized in the sense that det(Mz) = 1. We define a z 2 ! | | t 1 2 Q (x , x ) := x M x = b− x + zx z 1 2 z | 1 2|
x1 e where x = . Note that Qz(x1, x2) is normalized in the sense that disc(Qz)= x2 ! z e e 4. The vector w := − is an isotropic vector with respect to Qz i.e. Qz( z,¯ 1) = − 1 ! − 0. The following homogeneous polynomial of degree g, P (x , x ) := ( ixtM w)g = 1 2 e − e z g (x1 + x2z) is a spherical function with respect to Qz(x1, x2). Following [Sie80] we can associate to such data a zeta function e 2πi(m1u2 m2u1) g s e − (m1 + v1 +(m2 + v2)z) ∗ ∗ (3.10) ζ(s,u , v ,z,g) := b 2s+g m1 + v1 +(m2 + v2)z m+v =0 X∗6 | | 2 where u∗, v∗ Q . For any integer g 0 and s C with Re(s) > 1 this function ∈ ≥ ∈ (with respect to the variable s) converges absolutely. It is a fact that this function admits a meromorphic continuation on all of C with at most a pole of order 1 at 2 s = 1 (this occurs precisely when g = 0 and u∗ Z ). Moreover it satisfies a nice ∈ functional equation.
Define s Z(s,u∗, v∗,z,g) := π− Γ(s + g/2)ζ(s,u∗, v∗,z,g).
Siegel shows the following functional equation (special case of equation (61) in [Sie80])
g 2πi(u1v2 u2v1) (3.11) Z(s,u∗, v∗,z,g)=( 1) e − Z(1 s, v∗,u∗,z,g). − −
28 r/f 0 Let g = 0, u∗ = and v∗ = then after some rearrangements the t/f ! 0 ! equation (3.11) looks like
(3.12) t r 2πi(m1 f m2 f ) (1 s) e − π− − Γ(1 s) 2(1 s) 1 − = s − f . 2s π− Γ(s) 2(1 s) m=(0,0) Qz(m1, m2) m (r,t) (mod f) Qz(m1, m2) − X6 | | ≡ X | | where m goese over Z2. For any ( r , t ) ( 1 Z)2 and z , equatione (3.12) motivates f f ∈ f ∈ H the following definitions
2πi(m r m t ) r t e 1 f − 2 f (1) ζ(s, ( , ), z) := 2s , f f Qz(m1,m2) (0,0)=m | | P6 e r t 2s 1 (2) ζ(s, ( , ), z) := f 2s . f f Qz(m1,m2) m (r,t) (mod f) | | ≡ e b P Using this notation equation (3.12) can be rewritten more compactly as
(1 s) r t π− − Γ(1 s) r t ζ(s, ( , ), z)= s − ζ(1 s, ( , ), z). f f π− Γ(s) − f f We can now formulate the second Kronecker limitb formula:
Theorem 3.2 Let (a , a ) Q2 be such that (a , a ) / Z2 and τ then we 1 2 ∈ 1 2 ∈ ∈ H have
ζ′(0, (a1, a2), τ)= log NC/R(g a2,a1 (τ)) − − 1 b = log NC/R(ga1,a2) − ). − τ
Proof For the first equality see chapter 20 section 5 of [Lan94b]. For the second equality we use the homogeneity property of g12.
29 4 Modular units and Eisenstein series
4.1 The Siegel function
In this section we define certain modular units that will be used in section 5 to construct Z-valued measures on P1(Q ). For a pair ( r , s ) ( 1 Z)2 we associate the p f f ∈ f Siegel function
1 r s r B2( ) 2πi f ( f 1)/2 2 f n n g( r , s )(τ)= e − qτ (1 qz) (1 qτ qz)(1 qτ q z) f f − e − − − − n 1 Y≥ r s 12f where z = τ + . As explained in the first section the function g r s (τ) is a f f ( f , f ) modular unit on X(f). Let N0 > 0 be a positive integer coprime to pf. From now on we will be mainly concerned by Siegel functions of the form
1 r 2 B2( f ) r n n g( ,0)(d0fτ)= qfd τ (1 qrd0τ ) (1 qd fτ qrd0τ )(1 qd fτ q rd0τ ) f e0 − − 0 − 0 − n 1 Y≥ 12f for some d0 N0, d0 > 0. An easy computation shows that g( r ,0)(d0fτ) is a modular | f unit with respect to the group Γ (f) Γ (d ) Γ (f) Γ (N ). The following 1 ∩ 0 0 ⊇ 1 ∩ 0 0 12f lemma gives an explicit formula for the divisor of g r (d fτ) when regarded as a ( f ,0) 0 function on X(fN0). It is more natural to work with X(fN0) since this curve is a 1 Galois covering of P (C), therefore all its cusps have the same width namely fN0.
Proposition 4.1 Let f be a positive integer and r Z/fZ. Choose an integer ∈ 12f N0 coprime to pf. Then for every d0 N0 the function g( r ,0)(d0fτ) is Γ1(f) Γ0(d0)- | f ∩ invariant. In particular we can think of it as a function on the modular curve X(fN0) with its divisor supported on the set of cusps of X(fN0), denoted by cusp(X(fN0)). 2πiτ A uniformizer at i for the group Γ(fN ) is given by τ e fN0 . One has ∞ 0 7→
12f N0 2 rad0 a div(g r (d fτ) )= 6f (fd ,c) B ( f ,0) 0 0 2 a d0 (fd0,c) c [ ] cusp(X(fN0)) c ∈ X h i e where (fd0,c) stands for the greatest common divisor between fd0 and c. We say that 12f the modular unit g r (d fτ) has primitive index if (r, f)=1. ( f ,0) 0
Proof This is a standard computation.
30 12f Remark 4.1 Observe that the divisor of g r (d fτ) is always an integral ( f ,0) 0 multiple of 6f. So it is natural to ask if such a unit is a 6f power of some modular unit in C(X(fN0)). In general the answer is no. However later on we will show that 12f by taking suitable products of the g r (d fτ) ’s, one can extract an f-th root, see ( f ,0) 0 proposition 4.2.
4.2 Modular units associated to a good divisor
Definition 4.1 For positive integers f, N0 coprime we define D(N0, f) to be the free abelian group generated by the symbols
[d ,r]:0 A typical element δ D(N0, f) will be denoted by δ = n(d0,r)[d0,r] where the ∈ d0,r sum goes over d N (d > 0) and r Z/fZ with n(d ,r) Z. We have a natural 0| 0 0 ∈ 0P ∈ action of (Z/fZ)× on D(N0, f) given by j⋆[d0,r] := [d0,jr] and we extend this action Z-linearly to all of D(N0, f). Since (p, f) = 1, by reducing p modulo f, we get an action of p on D(N0, f). We p denote by D(N0, f)h i the subgroup of D(N0, f) which is fixed by multiplication by p(mod f). Sometimes we will use the short hand notation j(mod f) ⋆ δ =: δj. We want to define the notion of a good divisor with respect to the data N0,f,p. Definition 4.2 We say that a divisor δ = n(d ,r)[d ,r] D(N , f) 0 0 ∈ 0 d0 N0,r Z/fZ | X∈ is a good divisor if it is non zero, p ⋆ δ = δ and that for all r Z/fZ, ∈ (1) n(d ,r) 0(mod f), d0 N0 0 | ≡ P 31 (2) n(d ,r)d =0. d0 N0 0 0 | P p More concisely one sees that a good divisor is an non zero element of D(N0, f)h i which satisfies (1) and (2). Remark 4.2 Note that when p 1(mod f) the condition p ⋆ δ = δ is automati- ≡ cally satisfied. Proposition 4.2 To a good divisor δ = n(d ,r)[d ,r] D(N , f) p d0 N0,r Z/fZ 0 0 0 h i | ∈ ∈ we associate the function P 12n(d ,r) (4.1) β (τ) := g r (d fτ) 0 . δ ( f ,0) 0 d0 N0,r Z/fZ | Y∈ This function is a modular unit which is Γ (f) Γ (N )-invariant. Moreover for all 1 ∩ 0 0 c Γ (fN ) i we have β (c)=1. ∈ 0 0 { ∞} δ Proof Using equation equation (3.3) with the fact that for all r Z/fZ ∈ n(d ,r) 0(mod f), 0 ≡ d0 N0 X| we see that the ambiguity created by the f-th root of unity is cancelled. The latter observation combined with equation (3.5) shows that the right hand side of (4.1) is Γ (f) Γ (N )-invariant. Using the explicit formula in proposition 4.1 combined with 1 ∩ 0 0 the fact that for all r /f , d n(d ,r) = 0, we get that ord (β (τ)) = 0 Z Z d0 N0 0 0 c δ ∈ | for any c Γ (fN ) i . Finally using the infinite product of the Siegel function ∈ 0 0 { ∞} P plus its transformation formula, a calculation shows that for all c Γ (fN ) i , ∈ 0 0 { ∞} β (c) = 1. For this latter computation it is enough to work at i after a suitable δ ∞ shift. 12 12 Remark 4.3 The first remark is that div(g( r ,0)(d0fτ) )= div(g r (d0τ) ), so f ( −f ,0) they only differ by a root of unity. So we could well assume δ D(N , f) := δ D(N , f) : 1 ⋆ δ = δ . ∈ 0 + { ∈ 0 − } 32 However we have chosen not to do this since later on we will associate Eisenstein series of odd weight to δ and forcing δ to be inside D(N0, f)+ would impose unnecessary restrictions. p Note also that a good divisor δ D(N , f)h i gives rise to a family of modular ∈ 0 units indexed by (Z/fZ)×/ p since for any r (Z/fZ)× we still have that δ is a h i ∈ r good. If we denote the family by βδr (τ) r (Z/fZ) / p , we see that the group Γ0(fN0) { } ∈ × h i acts transitively on it via τ γτ. 7→ 4.3 The dual modular unit Definition 4.3 Let δ = n(d ,r)[d ,r] D(N , f) p be a good divi- d0 N0,r Z/fZ 0 0 0 h i | ∈ ∈ sor then we define P N0 12fn d ,r (4.2) β∗(τ) := g r (d0τ) “ 0 ”. δ (0, −f ) d0 N0,r Z/fZ | Y∈ We call βδ∗(τ) the dual unit of βδ(τ). Remark 4.4 Note that the modular unit now have an f in its exponent. Also N0 for very divisor d0 N0 and r Z/fZ the exponent is a multiple of n ,r . One can | ∈ d0 verify the formula 12f 12f N0 r r g( ,0)(fd0WfN0 τ) = g(0, ) τ . f −f d 0 0 1 where WfN0 = − . fN0 0 ! We have the analogue of proposition 4.1 with the same assumptions. Proposition 4.3 We have 12f 2 N0 2 rc a (4.3) div(g r (d0τ) )= 6f (d0,c) B2 . (0, −f ) a d0 f(c,d0) c [ ] cusp(X(fN0)) c ∈ X h i e 33 12f Remark 4.5 Note that contrary to g r (fd τ) , the divisor in (4.3) is not ( f ,0) 0 12f necessarily a multiple of f so the f in the exponent of g r (d0τ) is essential. (0, −f ) We also have an analogue of proposition 4.2. Proposition 4.4 The function β∗(τ) is Γ (f) Γ (N )-invariant. Moreover for δ 1 ∩ 0 0 all c Γ (fN ) 0 we have β∗(c)=1. ∈ 0 0 { } δ Proof The proof is identical to proposition 4.2 except that we use proposition 4.3 instead of proposition 4.1 and replace Γ (fN )(i ) by Γ (fN )(0). Note however 0 0 ∞ 0 0 that one doesn’t need the assumption n(d ,r) 0(mod f) for all r /f . d0 N0 0 Z Z | ≡ ∈ P 12 ∆(τ) 4.4 From g k (Nτ) to ( N ,0) ∆(Nτ) One can relate the modular unit βδ(τ) with the modular units used in [DD06]. We have for any positive integer N the identity N 1 − 12 ∆(τ) (4.4) g( j ,0)(Nτ) = ζN , N ∆(Nτ) j=1 Y for some ζ µ . As in [DD06] choose a divisor δ = n [d ] such that N N d0 N0 d0 0 ∈ | P nd0 d0 = 0 and nd0 =0. d0 N0 d0 N0 X| X| To such a divisor they associate the modular unit n ∆(τ) d0 αδ(τ)= . ∆(d0τ) d0 N0 Y| which is Γ0(N0)-invariant. If we set δ = n(d ,r)[d ,r] D(N , f) with n(d ,r) = n for all ′ d0 N0,r Z/fZ 0 0 0 0 d0 | ∈ ∈ r Z/fZ then we readily see that δ′ is a good divisor with respect to any prime p. ∈ P 34 Using equation (4.4) with N = f we find nd0 ∆(d0τ) βδ′ (τ)= ζ ∆(d0fτ) d0 Y nd ∆(d0τ) 0 d0 ∆(τ) = ζ nd Q ∆(fd0τ) 0 d0 ∆(fτ) α (fτ) = ζ Qδ . αδ(τ) for some ζ µ . ∈ f Remark 4.6 Having in mind the construction of points in ring class fields of a real quadratic number field K as in [DD06], we see that once the modular unit is fixed one can vary the prime number p freely (as long as p is inert in K) since it doesn’t depend on the choice of the modular unit. However in the ray class field case, for a general good divisor δ, the prime number p is related to the conductor of δ, i.e. f. Therefore one doesn’t have the same freedom as in the ring class field case. The additional constraint is a congruence modulo f. For example we can always let p vary among the set of primes p congruent to 1 modulo f. 4.5 The p-stabilization of modular units In order to construct measures one needs modular units that satisfy the distribution relation at p, i.e. modular units which are Up,m-eigenvectors where p 1 − τ + j (4.5) (U f)(τ) := f( ). p,m p j=0 Y Note that by taking the logarithmic derivative of (4.5) one obtains the usual additive distribution relation for a measure on Zp. For any d N the function 0| 0 12f g r (d0fτ) ( f ,0) τ 12f 7→ g 1 (pd0fτ) p− r ( f ,0) 35 1 is Γ (f) Γ (pd )-invariant (the notation p− r should be interpreted as the class of 1 ∩ 0 0 1 p− r modulo f). Moreover it is an eigenvector with eigenvalue 1 with respect to the multiplicative Up,m-operator. Proposition 4.5 12f p 1 12f τ+i 12f g( r ,0)(d0fτ) − g( r ,0)(d0f( p )) g( r ,0)(d0fτ) (4.6) U f := f = f . p,m 12f 12f τ+i 12f g 1 (pd0τ) g 1 (pd0f( )) g 1 (pd0fτ) ( p− r ,0) i=0 ( p− r ,0) p ( p− r ,0) f Y f f Proof(sketch of the Up,m-invariance) One has the identity 12f p 1 g( r ,0)(d0fτ) − f 12f (4.7) = g ri (pfd0τ) 12f ( pf ,0) g 1 (pfd0τ) ( p− r ,0) i=0 f Y where r i(mod p) and r r(mod f). A direct calculation shows that every term i ≡ i ≡ on the right hand side of (4.7) is Up,m-invariant i.e. 12f 12f (4.8) Up,m g ri (pfd0τ) = g ri (pfd0τ) ( pf ,0) ( pf ,0) for all i. The identity (4.8) relies heavily on the infinite product of the Siegel function. Remark 4.7 In section 4.8 we will give a more conceptual proof of the latter proposition using Eisenstein series, see equations (4.16) and (4.19). p Definition 4.4 For a good divisor δ D(N , f)h i we define ∈ 0 βδ(τ) βδ,p(τ) := 1 βp− ⋆δ(pτ) β (τ) = δ . βδ(pτ) p Proposition 4.6 Let δ D(N , f)h i be a good divisor then β (τ) is Γ (f) ∈ 0 δ,p 1 ∩ Γ (pN )-invariant, U -invariant and c Γ (fN )(i ) we have β (c)=1. 0 0 p,m ∀ ∈ 0 0 ∞ δ,p Proof We already know that β (τ) is Γ (f) Γ (pN )-invariant. Since β (x)=1 δ,p 1 ∩ 0 0 δ for all x Γ (fN )(i ) and multiplication by p induces a permutation on the set ∈ 0 0 ∞ βδ(x) 1 Γ0(fN0)(i ) we get that βδ,p(x) = = . Finally the Up,m-invariance comes ∞ βδ(px) 1 from the identity (4.6). 36 Remark 4.8 A more careful study of the modular units on the curve X(N0pf) reveals that any modular unit 12 (4.9) u(τ) g( r ,0)(d0fτ) : d0 N0,r Z/pfZ ∈ h{ pf | ∈ }i which is Γ (f) Γ (N p)-invariant, U -invariant and has no zeros and poles at the 1 ∩ 0 0 p,m set of cusps Γ (fN )(i ) comes necessarily from a good divisor in the sense that 0 0 ∞ there exists an integer m and a good divisor δ such that m div(u(τ) )= div(βδ,p(τ)). So we don’t lose much by assuming that the modular unit comes from a good divisor. The proof relies on the fact that B2(x) is the the universal even distribution of degree 1 on Q/Z. e p Definition 4.5 Let δ D(N , f)h i be a good divisor. We define ∈ 0 βδ∗(τ) βδ,p∗ (τ) := . βδ∗(pτ) We have an analogue proposition 4.6 for the dual modular unit βδ,p∗ (τ). p Proposition 4.7 Let δ D(N , f)h i be a good divisor then β∗ (τ) is Γ (f) ∈ 0 δ,p 1 ∩ Γ (pN )-invariant, U -invariant and c Γ (fN )(0) we have β∗ (c)=1. 0 0 p,m ∀ ∈ 0 0 δ,p Proof It is similar to proposition 4.6 except for the Up,m-invariance which will be a consequence of proposition 4.9. Remark 4.9 Note that there is no direct analogue of equation (4.6) for the dual 12f modular unit g r (d0τ) since (0, −f ) 12f 12f r r g(0, − )(d0τ) g(0, − )(d0τ) f and f r 12f 1 12f g(0, − )(d0pτ) g p− r (d0pτ) f (0, − f ) are not Up,m-invariant. Nevertheless it is still true that βδ,p∗ (τ) is Up,m-invariant. 37 4.6 The involution ιN on X1(N)(C) As it is well known Y (N)(C) := /Γ (N) classifies pairs (P, E), up to equivalence, 1 H 1 where P is a point of exact order N on an elliptic curve E defined over C. We denote the equivalence class of a pair (P, C/Λ) by [(P, Λ)]. Any class can be represented by a pair of the form ( ω2 (mod Zω + Zω ), Zω + Zω ) for ω ,ω C. We define a map N 1 2 1 2 1 2 ∈ ιN on such pairs by ω2 ω1 ω2 ω2 ι (mod Zω + Zω ), Zω + Zω := − (mod Zω + Z ), Zω + Z . N N 1 2 1 2 N 1 N 1 N It is easy to check that ιN is well defined on such pairs and also on equivalence classes 2 of Y1(N)(C). A small calculation reveals that ι restricts to the identity on equivalence classes. Therefore when N > 1, ι gives a non trivial involution on Y1(N)(C). If we 12N think of g r (Nτ) as a function on such pairs then a direct calculation shows ( N ,0) that 12N 12N ι(g( r ,0)(Nτ) )= g r (τ) . N (0, −N ) One can investigate what properties of modular functions are preserved under this involution. For example let us look at the curve X1(pf) where N = pf. The property of being a Up,m-eigenvector is in general not preserved by ιpf . For example consider the modular unit 12pf g 1 (fpτ) ( fp ,0) which is a Up,m-eigenvector (with eigenvalue 1). A calculation shows that 12pf 12pf ιpf (g 1 (fpτ) )= g 1 (τ) ( fp ,0) (0, −pf ) p is not a U -eigenvector. However, let us take a good divisor δ D(N , f)h i and p,m ∈ 0 consider the Up,m-eigenvector βδ(τ). Using proposition 4.9 we see that it is still true that 1 f ιfN0 (βδ,p(τ)) = βδ,p∗ (τ) is a Up,m-eigenvector. In general, the properties of modular functions which are preserved under the involution ιN can probably be made more transparent if one uses the adelic point of view by viewing them as functions on double cosets. 38 4.7 Bernoulli polynomials and Eisenstein series We recall first some definitions for Bernoulli numbers and polynomials. The Bernoulli numbers are defined by the generating function t tn = B . et 1 n n! n 0 − X≥ Note that B =0 if n 1. 2n+1 ≥ We also define Bernoulli polynomials as text tn (4.10) = B (x) . et 1 n n! n 0 − X≥ One can verify that n n n i B (x)= B x − . n i i i=0 X From (4.10) one can deduce the useful formula B (1 x)=( 1)nB (x). n − − n Definition 4.6 For n 2. We define the n-th periodic Bernoulli polynomial as ≥ B (x) := B ( x ) n n { } where x = x [x]. For n =1 wee define { } − 1 11 (x) B (x) := x + Z . 1 { } − 2 2 Note that B1(x) corresponds toe the famous sawtooth function. Computinge the Fourier series of B (x) we find for k 1 that k ≥ k! e2πinx B (xe)= − ′ k (2πi)k nk n Z X∈ e where the prime of the summation means that we omit n = 0. One easily verifies that B ( x)=( 1)nB (x). n − − n e 39 e Either by using the generating function of Bernoulli polynomials or the Fourier series one finds for any positive integer N N 1 − k 1 x + i (4.11) N − B ( )= B (x). k N k i=0 X We are now ready to define a certain classe of Eisensteine series for which the constant term of the q-expansion at i is a certain periodic Bernoulli polynomial evaluated ∞ at some rational number. Definition 4.7 For r Z/fZ and an integer k 2 we define ∈ ≥ (4.12) k k 1 2πim r ( 1) (2πi) − e− f E (r, τ) := − ′ k (k 1)! (m + nfτ)k m,n − X f 1 − Bk( r/f) 2πibr/f 1 1 = − − + e− k f k (m + b/f + nτ)k b=0 m Z n=0 e X X∈ X6 f 1 − Bk( r/f) 1 2πibr/f k 1 m k m = − − + e− m − (qnτ+b/f +( 1) qnτ b/f ) k f k − − b=0 m 1 n 1 e X X≥ X≥ 2πiz where qz = e . The prime on the summation means that we omit the pair (0, 0). Remark 4.10 When k 3 the convergence of the right hand side of (4.12) is ≥ absolute. When k = 2 the convergence is not absolute, nevertheless the q-expansion is still meaningful. Generally when the level f is fixed we simply write Ek(r, τ). For any γ Γ (f) we have the useful transformation formula ∈ 0 k k Ek(γ ⋆ r, γτ)(d(γτ)) = Ek(r, τ)(dτ) a b 1 where ⋆r := a− r dr(mod f). Observe also that the q-expansion at i c d ! ≡ ∞ of Ek,r(τ) is defined over Q(ζf ). In fact the q-expansion at any other cusps of X0(f) is also defined over Q(ζf ). One can think of the expression k Ek(r, τ)(dτ) 40 as a system of twisted k-fold differential on X0(f). We have used the word twisted since γ also acts on the index r Z/fZ. However E (r, τ) is a true k-fold differential ∈ k on the curve X1(f). For future reference we define Ek∗(r, τ) and we call it the dual of Ek(r, τ). Definition 4.8 For r Z/fZ and an integer k 2 we define ∈ ≥ 1 2πin r ( 1)k(2πi)k − e f E∗(r, τ) := − ′ . k (k 1)! (m + nτ)k m,n − X The first thing to notice is that 1 1 k (4.13) E∗(r, τ)= E r, − − , k k fτ τ 0 1 If we denote Wf = − then we can rewrite the previous identity as f 0 ! k (4.14) Ek(r, τ)= det(Wf )Ek (r, Wf τ)(Wf τ) . Remark 4.11 Note that in the case where f = 1 we have that Ek(τ) is invariant under W1 therefore Ek(τ) is self dual. When f > 1 it is not the case since Wf = 0 1 − / Γ1(f). f 0 ! ∈ The q-expansion of Ek∗(r, τ) is given by 1 2πin r k k − f ( 1) (2πi) ′ e E∗(r, τ) := − k (k 1)! (m + nτ)k m,n − X f 1 B (r/f) − 1 = − k + e2πibr/f k (m +(b + fn)τ)k b=0 m Z n=0 e X X∈ X6 f 1 − Bk(r/f) 2πibr/f k 1 m k m = − + e m − (q(fn+b)τ +( 1) q(fn b)τ ). k − − b=0 m 1 n 1 e X X≥ X≥ As in the previous case, for any γ Γ (f) we have the useful transformation formula ∈ 0 k k E∗(γ r, γτ)(d(γτ)) = E∗(r, τ)(dτ) k ∗ k 41 a b 1 where r := ar d− r(mod f). This is exactly as in the previous case c d ! ∗ ≡ except that the action on the index r (Z/fZ)× is inverted. It is for this reason that ∈ we have denoted it by instead of ⋆. ∗ 4.8 Hecke operators on modular forms twisted by an additive character In this section we discuss the theory of Hecke operators on such twisted modular forms. Let ψ : Z Z µ be any additive character. For every lattice Λ C fix a group × → N ⊆ homomorphism ϕ(Λ) : Λ Z Z. Denote this family of group homomorphisms by ϕ . → × ∗ 1 Assume furthermore that ϕ is homogeneous of degree 1, i.e. ϕ(αΛ) = ϕ(Λ) α− ∗ − ◦ for any lattice Λ and α C×. ∈ In such a setting it makes sense to define a function Ek,ψ,ϕ on the set of all lattices ∗ by the rule ψ(ϕ(Λ)(w)) Ek,ψ,ϕ (Λ) := . ∗ wk w Λ 0 ∈X−{ } It is also convenient to define for any lattice Λ′ Λ ⊆ ψ(ϕ(Λ)(w)) E (Λ′) := . k,ψ,ϕ(Λ) wk w Λ 0 ∈X′−{ } For any scalar α C× we define ∈ (α ⋆ Ek,ψ,ϕ )(Λ) := Ek,ψ,ϕ(αΛ)(αΛ). ∗ Since ϕ is homogeneous of degree 1 we have ∗ − k Ek,ψ,ϕ(αΛ)(αΛ) = α− Ek,ψ,ϕ(Λ)(Λ). therefore k α ⋆ Ek,ψ,ϕ = α− Ek,ψ,ϕ . ∗ ∗ 42 It thus gives an action of C× on such Eisenstein series. We still have a notion of Hecke operators Tk(n) (k stands for the weight of the Eisenstein series) where we define k 1 (Tk(n)Ek,ψ,ϕ )(Λ) = n − Ek,ψ,ϕ(Λ)(Λ′). ∗ [Λ:ΛX′]=n We want to compute the action of the Hecke operators Tk(p) on Ek,ψ,ϕ. We have k 1 (Tk(p)Ek,ψ,ϕ )(Λ) = p − Ek,ψ,ϕ(Λ)(Λ′) ∗ [Λ:ΛX′]=p k 1 k 1 (4.15) = p − Ek,ψ,ϕ(Λ)(Λ) + p − pEk,ψ,ϕ(Λ)(pΛ) k 1 = p − Ek,ψ,ϕ (Λ) + Ek,ψp,ϕ (Λ). ∗ ∗ The equality (4.15) comes from that the fact the Λ′ = Λ and for two distinct ∪[[Λ:Λ′]=p lattices Λ′, Λ′′ of index p in Λ we have Λ′ Λ′′ = pΛ. Note that if p 1(mod N) ∩ ≡ k 1 then Tk(p)Ek,ψ,ϕ = (1+ p − )Ek,ψ,ϕ , i.e. Ek,ψ,ϕ is an eigenvector with eigenvalue ∗ ∗ ∗ k 1 1+ p − . In order to simplify the dependence of ϕ on the set of lattices , it is convenient to ∗ work with normalized oriented lattices Λ := Z + τZ for τ . For every τ in a fixed τ ∈ H fundamental domain of modulo SL (Z), we define ϕ(Λ ):Λ Z Z to be D H 2 τ τ → × the group homomorphism (in fact isomorphism) given by m + nτ (m, n). Having 7→ fixed the fundamental domain we can write any lattice Λ uniquely as Λ = λΛ D τ 1 for a certain τ and λ C×. We define ϕ(Λ) := ϕ(Λτ ) λ− . In this way ϕ is ∈ D ∈ ◦ ∗ homogeneous of degree 1. − 2πi(m r +n s ) For any τ in the fundamental domain we thus have ψ(ϕ(Λτ )(m+nτ)) = e N N for some integers r, s depending only on ψ(and on the choice of the fundamental do- main ). We define D 2πi( r m+ s n) e N N G ((r modN,smodN), τ)= G ((r, s), τ) := ′ . k k (m + nτ)k m,n X When the level is fixed we drop the (mod N) notation. Now we fix a level N = f and a prime p coprime to f. 43 Definition 4.9 We define k 1 1 E (r, τ) := G (( r, 0), fτ) p − G (( p− r, 0),pfτ) k,p k − − k − k 1 1 = E (r, τ) p − E (p− r, pτ). k − k Note that E (r, τ)isaΓ (f)-modular and E (r, τ)isΓ (f) Γ (p)-modular both of k 1 k,p 1 ∩ 0 weight k. We define the additive Hecke operator Up,a on the set of meromorphic functions g : C to be: H→ p 1 1 − τ + j U g(τ) := g( ). p,a p p j=0 X Proposition 4.8 Ek,p(r, z) is a Up,a-eigenvector with eigenvalue 1 i.e. p 1 1 − τ + j (4.16) U E (r, τ)= E (r, )= E (r, τ). p,a k,p p k,p p k,p j=0 X Proof We have p 1 − k 1 k 1 Tk(p)Ek(r, Λτ ) = p − Ek(r, pZ +(τ + j)Z)+ p − Ek,r(Z + pτZ) j=0 X p 1 − 1 k 1 = Ek(pr, Λ τ+j )+ p − Ek(r, Λpτ ) p p j=0 X k 1 = Up,aEk(pr, τ)+ p − Ek(r, pτ). 1 Replacing r by p− r in the last equality we find 1 k 1 1 (4.17) Tk(p)Ek(p− r, τ)= Up,aEk(r, τ)+ p − Ek(p− r, pτ) We are now ready to compute the action of Up,a on k 1 1 E (r, τ)= E (r, τ) p − E (p− r, pτ). k,p k − k We have: k 1 1 (4.18) U E (r, τ)= U E (r, τ) p − U E (p− r, pτ). p,a k,p p,a k,p − p,a k 44 Using (4.17) for the first term of the right hand side of (4.18) and the definition of Up,a for the second term we find p 1 − 1 k 1 1 k 1 1 1 = T (p)E (p− r, τ) p − E (p− r, pτ) p − E (p− r, τ + j) k k − k − p k j=0 X 1 k 1 1 k 1 1 = T (p)E (p− r, τ) p − E (p− r, pτ) p − E (p− r, τ) k k − k − k k 1 1 k 1 1 k 1 1 = p − E (p− r, τ)+ E (r, τ) p − E (p− r, pτ) p − E (p− r, τ) k k − k − k = Ek,p(r, τ) where in the third equality we have used (4.15). Definition 4.10 We define k 1 E∗ (r, τ) := E∗(r, τ) p − E∗(r, τ) k,p k − k Note that there is no twist by p on the second index. Proposition 4.9 We have k 1 (4.19) U E∗ (r, τ)= E∗(pr, τ) p − E∗(r, pτ) p,a k,p k − k Proof This is a similar computation to what we did previously. Remark 4.12 Even if E∗ (r, τ) is not an U -eigenvector (unless p 1(mod f)) k,p p,a ≡ it is still very close. 4.9 The q-expansion of Ek,p(r, τ) For any rational number a Q with (b, f) = 1 define ( a ) to be the unique represen- b ∈ b f tative modulo f between 0 and f 1 congruent to a . − b 45 The q-expansion of Ek,p(τ) is given by Ek,p(r, τ) f 1 − Bk( r/f) 1 2πibr/f k 1 m k m = − − + e− m − (qnτ+b/f +( 1) qnτ b/f ) k f k − − − b=0 m 1 n 1 e X X≥ X≥ f 1 1 − k 1 Bk( (p− r)f /f) 1 2πibr/f k 1 m k m p − − − e− m − (qnpτ+pb/f +( 1) qnpτ pb/f ) k f k − − b=0 m 1 n 1 ! e X X≥ X≥ 1 Bk( r/f) k 1 Bk( (p− r)f /f) = − − + p − − + k k ! ef 1 e − 1 2πibr/f k 1 m k m e− m − (qnτ+b/f +( 1) qnτ b/f ). f k − − b=0 m 1 n 1 X (m,pX≥)=1 X≥ n We thus readily see that for k k′(mod p (p 1)) all coefficients of E (τ) vary p- ≡ − k,p adically continuously when n goes to infinity. In particular for a fix congruence class a modulo p 1, if we look at all the integers k a(mod p 1) and k 0(mod pn) − ≡ − ≡ with n going to infinity, we see that all the coefficients are analytic functions in the weight k. We thus have a one dimensional p-adic family of Eisenstein series. 4.10 Relation between Eisenstein series and modular units A calculation shows that 12 (1) dlog(g( r ,0)(fτ) )=12 dlog(g( r ,0)(fτ)) = 24πifE2(r, τ)dτ, f · f − 12 (2) dlog(g(0, r )(τ) )=12 dlog(g(0, r )(τ)) = 24πiE∗(r, τ)dτ f · f − 2 where dlog stands for the logarithmic derivative with respect to the variable τ. This motivates the following definition Definition 4.11 Let δ = n(d ,r)[d ,r] D(N , f) p be a good di- d0 N0,r Z/fZ 0 0 0 h i | ∈ ∈ visor then we associate to thisP divisor two families of Eisenstein series. We set 46 (1) F (τ) := d n(d ,r)E (r, d τ) k,δ d0,r 0 0 k 0 P k 1 N0 (2) F ∗ (τ) := d − n( ,r)E∗(r, d τ) k,δ d0,r 0 d0 k 0 P and also Fk,δ,p(τ) := n(d0,r)d0Ek,p(r, d0τ) Xd0,r k 1 1 = d n(d ,r)E (r, d τ) p − d n(d ,r)E (p− r, d pτ) 0 0 k 0 − 0 0 k 0 Xd0,r Xd0,r k 1 = F (τ) p − F (pτ). k,δ − k,δ where the last equality uses the fact that p ⋆ δ = δ. Similarly we define k 1 Fk,δ,p∗ (τ) := n(N0/d0,r)d0− Ek,p∗ (r, d0τ) Xd0,r k 1 k 1 k 1 = d − n(N /d ,r)E∗(r, d τ) p − d − n(N /d ,r)E∗(r, d pτ) 0 0 0 k 0 − 0 0 0 k 0 Xd0,r Xd0,r k 1 = F ∗ (τ) p − F ∗ (pτ). k,δ − k,δ The motivation for the definition of Fk,δ(τ) and Fk,δ∗ (τ) is justified by the next propo- sition Proposition 4.10 Let δ = n(d ,r)[d ,r] D(N , f) p be a good d0 N0,r Z/fZ 0 0 0 h i | ∈ ∈ divisor then when the weight is equalP to k =2 we have (1) dlog β (τ)= 24πifF (τ)dτ δ − 2,δ (2) dlog β (τ)= 24πifF (τ)dτ δ,p − 2,δ,p and similarly (1) dlog β∗(τ)= 24πiF ∗ (τ)dτ δ − 2,δ (2) dlog β∗ (τ)= 24πiF ∗ (τ)dτ δ,p − 2,δ,p 47 Finally Fk,δ(τ) and Fk,δ∗ (τ) are related by the formula k k (4.20) F (W τ)=( 1) τ N F ∗ (τ) k,δ fN0 − 0 k,δ 0 1 where WfN0 = − . fN0 0 ! Proof Straight forward computations. Remark 4.13 For l a prime number coprime to fN0 we have k 1 Tk(l)Fk,δ(z)=(1+ l − )Fk,δ(z). Similarly for l a prime number coprime to pfN0 we have k 1 Tk(l)Fk,δ,p(z)=(1+ l − )Fk,δ,p(z). Moreover equation (4.16) shows that for any k 2 we have ≥ Up,aFk,δ,p(z)= Fk,δ,p(z). The group Γ0(fN0) (resp. Γ0(pfN0)) acts transitively on the family Fk,δr (τ) r (Z/fZ) / p { } ∈ × h i (resp. the family Fk,δr,p(τ) r (Z/fZ) / p ). The same thing also holds when we take { } ∈ × h i the dual Eisenstein series. Everything is straight forward except the Up,a-invariance. For the latter , we use the fact that p ⋆ δ = δ combined with equation (4.19). Remark 4.14 Because δ = n(d0,r)[d0,r] is good we have for every r d0,r ∈ /f that n(d ,r)d = 0. This latter condition implies that F (z) is holo- Z Z d0 N0 0 0 k,δ | P morphic at i . Similarly we have that F ∗ (z) is holomorphic at 0. P∞ k,δ 48 5 The Z-valued measures µ c c and the in- r{ 1 → 2} variant u(δr, τ) 1 5.1 Z-valued measures on P (Qp) p Let 0 = δ D(N , f)h i be a good divisor. Consider the family of modular units 6 ∈ 0 βδr,p(τ) r (Z/fZ) / p . { } ∈ × h i To such a family we want to associate a family of measures. Before defining the 1 measures we need to define some suitable subgroups of matrices of GL2(Z[ p ]). Definition 5.1 For quantities p,f,N0 fixed we define a b + (1) Γ0 := GL2 (Z[1/p]) : c 0(mod fN0) , { c d ! ∈ ≡ } e a b 1 (2) Γ0 = γ Γ0 : det(γ)=1 = SL2(Z[ p ]) : c 0(mod fN0) , { ∈ } { c d ! ∈ ≡ } e a b 1 (3) Γ1 = SL2(Z[ p ]) : a 1(mod f),c 0(mod fN0) . { c d ! ∈ ≡ ≡ } a b 1 (4) Γ= SL2(Z[ p ]) : a, d 1(mod f),b,c 0(mod fN0) . { c d ! ∈ ≡ ≡ } Obviously one has the inclusions Γ Γ Γ Γ. Note that the group Γ = 0 ⊇ 0 ⊇ 1 ⊇ 0 p 0 Γ0(fN0),P where P = e. e h i 0 1 ! Remark 5.1 We have an almost transitive action of Γ on where is defined 0 B B as the set of balls of P1(Q ). One has =Γ (Z ) Γ (P1(Q ) Z ). p B 0 p 0 p \ p ` We can now define a family of measures. For the rest of the subsection we assume p that δ D(N , f)h i is fixed good divisor. ∈ 0 49 Definition 5.2 Let (c ,c ,k) Γ (fN )(i ) Γ (fN )(i ) (Z/fZ)×/ p . Let 1 2 ∈ 0 0 ∞ × 0 0 ∞ × h i B be any ball of P1(Q ). If B is inside the coset SL (Z[ 1 ])(Z ) set ǫ =1 otherwise ∈ B p 2 p p set ǫ = 1. If ǫ = 1 choose γ Γ s.t. γZ = B. If ǫ = 1 choose γ Γ such that − ∈ p − ∈ γZ = P1(Q ) B. We define p p \ 1 1 γ− c2 (5.1) µ c c (B)= ǫ dlogβ (τ). k 1 2 δγ 1⋆k,p { → } 2πi 1 − Zγ− c1 a b 1 where γ⋆k dk(mod f) for γ = Γ0 SL2(Z[ p ]). It makes sense to ≡ c d ! ∈ ⊆ reduce d modulo f because its denominator is at worst a power a p which is coprime to f. Note that Stab (Z )=Γ (pN ) Γ (f)=Γ (pfN ). Therefore since the modular Γ0 p 0 0 ∩ 0 0 0 units in βδ ,p(τ) k (Z/fZ) / p are Γ0(pfN0)-invariant in the sense that { k } ∈ × h i βδγ⋆k,p(γτ)= βδk,p(τ), we get that (5.1) is well defined. We can now state the main theorem of the section Theorem 5.1 There exists a unique system of measures indexed by Γ (i ) Γ (i ) (Z/fZ)×/ p 0 ∞ × 0 ∞ × h i satisfying the following properties: For all (c ,c ,k) Γ (i ) Γ (i ) (Z/fZ)×/ p 1 2 ∈ 0 ∞ × 0 ∞ × h i (1) µ c c (P1(Q ))=0, k{ 1 → 2} p 1 c2 (2) µk c1 c2 (Zp)= dlogβδ ,p(τ), { → } 2πi c1 k R (3) (Γ -invariance property) For all γ Γ and all compact open U P1(Q ) we 0 ∈ 0 ⊆ p have µ γc γc (γU)= µ c c (U). γ⋆k{ 1 → 2} k{ 1 → 2} 50 Proof The U -invariance of the β (τ)’s implies that µ c c are distributions p,m δk,p k{ 1 → 2} on P1(Q ). Also since c Γ (fN )(i ) we have β (c) = 1, the line integrals p ∀ ∈ 0 0 ∞ δk,p can be interpreted as the winding number with respect to the origin of a closed path 1 1 β ( ) where is an arbitrary path joining γ− c to γ− c . So we really get Z-valued δk,p C C 1 2 measures. The Γ0-invariance comes from the definition of the measures. Finally the uniqueness follows from the properties (1)-(3) combined with the fact that Γ0 splits into two orbits. B Remark 5.2 Theorem 5.1 gives us a partial modular symbol of Z-valued mea- 1 sures on P (Qp) i.e. 1 µ :Γ (i ) Γ (i ) (Z/fZ)×/ p Z-valued measures on P (Q ) { → } 0 ∞ × 0 ∞ × h i→{ p } (c ,c ,k) µ c c . 1 2 7→ k{ 1 → 2} Note that the image of µ lies in the set of Γ -invariant measures. { → } 0 In the next subsection using explicit formulas for the moments of those periods we will see that this modular symbol is odd in the sense that c2 c2 1 − 1 dlogβδ k,p(τ)= dlogβδk,p(τ), − 2πi c1 −2πi c1 Z− Z in other words µ k c1 c2 (Zp)= µk c1 c2 (Zp). − {− → − } − { → } Remark 5.3 Finally it should be pointed out that the Up,m-invariance of βδk,p(z) combined with the fact that p⋆δ = δ implies that the measures constructed in theorem p 0 5.1 are in fact Γ0 := Γ0, -invariant, see Proposition 5.13 of [Dar01]. h 0 1 !i e We have a notion of a dual family of measures. Definition 5.3 Let c ,c Γ (0). We define µ∗ c c as: 1 2 ∈ 0 k{ 1 → 2} 1 1 γ− c2 ∗ ∗ (5.2) µk c1 c2 (B)= ǫ dlogβδ 1 ,p(τ). { → } 2πi 1 γ− ⋆k Zγ− c1 where ǫ = 1 if B Γ Z with γZ = B and ǫ = 1 if B Γ (P1(Q ) Z ) and ∈ 0 p p − ∈ 0 p \ p γZ = P1(Q ) B. p p \ 51 We have an analogue of theorem 5.1 except that γ⋆r is replaced by γ r and the set ∗ 1 of cusps of Γ (fN )(i ) by the set of cusps Γ (fN )(0). Note that γ r = γ− ⋆r. 0 0 ∞ 0 0 ∗ The reader also will have no problem to formulate the analogue of theorem 5.1. 5.2 Periods of modular units and Dedekind sums This section might be skipped at the first reading. We included it only for the sake of completeness. We use Dedekind sums to give explicit formulas for the periods of the modular units considered in theorem 5.1. Let us start with a very general principal which comes from calculus Proposition 5.1 (general principle) Let G SL (Z) be a discrete subgroup. Let ⊆ 2 X be the two dimensional compact surface (real dimensions) defined by X := ∗/G H 1 where ∗ = P (Q). Let f(τ) be a C∞-closed 1-form on which is H H ∪ H ∪ {∞} G-invariant. Then for any fixed g G the quantity ∈ gx f(τ)dτ Zx doesn’t depend on the base point x when x varies inside G(i ). H ∪ ∞ Remark 5.4 In the previous proposition we assume the path of integration to ”be nice”, i.e. contained in G(i ) and contractible inside G(i ). H ∪ ∞ H ∪ ∞ Proof First of all the integral does not depend on the path of integration since f(τ) is a closed C∞ 1-form. Let x, x′ G(i ) be arbitrary points. Let C,C′ be ∈ H ∪ ∞ arbitrary curves joining x, gx and x′, gx′ respectively. Let π : G(i ) X be H ∪ ∞ → the natural projection. Note that π(C) and π(C′) in X are closed homotopic curves. Since the 1-form f(τ)dτ is G-invariant it descends to a C∞ 1-form on X. Finally the latter is a closed 1-form on the surface X. Apply Stoke’s theorem to obtain the result. p Let δ = n(d0,r)[d0,r] D(N0, f)h i be a good divisor that we fix until the d0,r ∈ P 52 end of the subsection. We want to give explicit formulas for 1 c2 d log(u(z))dz 2πi Zc1 in the case where u(z) is the modular unit βδ(z) or βδ,p(z). Let a = (a1, a2) be rational numbers contained in the interval [0, 1[. Since ga(τ) has no zeros in we can define the logarithm of such modular units on . We fix a H H branch of log ga(τ) by setting n n log(ga(τ)) = πiB2(a1)τ + log(1 qz)+ (log(1 qτ qz) + log(1 qτ q z)). − − − − n 1 X≥ n For x < 1 we define log(1 x) := n 1 x /n. Because of the assumption on a1, a2 | | − − ≥ n n we have that 0 qτ qz < 1 and 0 qτ q z < 1 for 1 n where z = a1τ + a2 ≤ | | ≤P | − | ≤ ∈ C, τ . We define : Q2 [0, 1[2 be the function for which (u ,u ) Q2 goes to ∈ H ∼ −→ 1 2 ∈ (u^,u )=(a , a ) with u a (mod Z) and u a (mod Z). 1 2 1 2 1 ≡ 1 2 ≡ 2 Definition 5.4 Let (a , a ) ( 1 Z)2 and γ SL (Z). We define the γ-period of 1 2 ∈ N ∈ 2 the Siegel function ga(τ) to be πi (5.3) πa(γ) := (log ga(γτ) log gaγ (τ)) τ=i Z. − | ∞ ∈ 12N e f Remark 5.5 Up to a multiple of iπ those periods are rational since g (γτ)12N = g (τ)12N γ SL (Z). a aγ ∀ ∈ 2 In fact, using the Γ(N)-invariance we see that any element τ Γ(N)(i ) can ∈ H ∪ ∞ be used to compute the period πa(γ). This is an application of proposition 5.1 to the 1-form d (log g (γτ) log g (τ)) on the curve X(N). In practice we will take dτ a − aγ 2 τ = i . Note also thate (5.3) dependsf only on the image of a in (Q/Z) [N]. ∞ A property satisfied by those periods πa(γ) is the so called cocycle condition. Proposition 5.2 Let γ ,γ SL (Z) then π (γ γ )= π (γ )+ π (γ ). 1 2 ∈ 2 a 1 2 a 1 aγ1 2 Proof We have π (γ γ ) = log g (γ γ τ) log g (τ) where τ is any point in the a 1 2 a 1 2 − aγ^1γ2 upper half plane. We also have loge g (γ γ τ) log g (γ τ)= π (γ ). It thus follows a 1 2 − aγ1 2 a 1 that π (γ γ )= π (γ )+log g (γ τe) log g (τ)=g π (γ )+ π (γ ). a 1 2 a 1 aγ1 2 − aγ^1γ2 a 1 aγ1 2 g 53 a b Proposition 5.3 (Sch¨oneberg) Let γ = SL2(Z) and r, s Z, not c d ! ∈ ∈ both congruent to 0 modulo N then a r d r′ N πi B2( )+ B2( ) 2sgn(c)s r s (a, c) if c = 0; c N c N ( N , N ) π( r , s )(γ)= − 6 N N πi bB ( r ) if c =0 d 2e N e e r s a b r s N ′ ′ r s where N N = N N and s( , )(a, c) is a twisted Dedekind sum: c d ! N N N r + iN r′ + aiN s( r , s )(a, c)= B1 B1 . N N cN cN i(modX c) e e Proof See p. 199 of [B. 74]. For N > 1 we have the double coset N 0 SL2(Z) SL2(Z)= SL2(Z)xi 0 1 ! i a a b where the xi’s can be chosen as upper triangular matrices of the form with 0 d ! a,d > 0, ad = N and 0 b d 1. ≤ ≤ − Definition 5.5 For a matrix γ SL (Z) we define T (γ) and R (γ) to be ma- ∈ 2 N N N 0 trices such that γ = TN (γ)RN (γ) where TN (γ) SL2(Z) and RN (γ) is 0 1 ! ∈ equal to a unique representative xi. a b For any matrix γ = SL2(Z) it is also convenient to define c d ! ∈ N 0 1 0 a bN γ(N) := γ N = . 0 1 ! 0 1 ! c/N d ! Remark 5.6 Note that the map γ γ(N) induces a group isomorphism from 7→ 0 Γ0(N) to Γ (N). 54 p a b Proposition 5.4 Let δ D(N0, f)h i and r Z/fZ. For any = γ ∈ ∈ c d ! ∈ Γ0(fN0) we have 1 (5.4) (log βδr (γτ) log βδr (τ)) = n(d0,k)π( rk ,0)(Tfd0 (γ)). 12 − f k Z/fZ d0 N0 ∈X X| and 1 (5.5) (log βδr (pγτ) log βδr (pτ)) = n(d0,k)π( rk ,0)(Tpfd0 (γ)) 12 − f k Z/fZ d0 N0 ∈X X| Proof We only prove the equality (5.5) since (5.4) can be proved in a similar but simpler way. Let γ Γ (fN ). We compute: ∈ 0 0 log β (pγτ) log β (pτ) δr − δr 12 12 = n(d0,k) log g ^rk (fd0pγτ) log g ^rk (fd0pτ) ( f ,0) − ( f ,0) k Z/fZ d0 N0 ∈X X| pfd0 0 We can write γ = Tpfd0 (γ)Rpfd0 (γ) for Tpfd0 (γ) SL2(Z) and Rpfd0 (γ) 0 1 ! ∈ is some primitive upper triangular matrix of determinant pfd0 that will be chosen later. We thus get 1 12 12 n(d0,k) log g ^rk (fd0pγτ) log g ^rk (fd0pτ) = 12 ( f ,0) − ( f ,0) k Z/fZ d0 N0 ∈X X| (5.6) n(d0,k) log g ^rk (Tpfd0 (γ)Rpfd0 (γ)τ) log g ^rk (pfd0τ) . ( f ,0) − ( f ,0) k Z/fZ d0 N0 ∈X X| But (5.7) log g (Tpfd0 (γ)Rpfd0 (γ)τ) = log g (Rpfd0 (γ)τ)+ π rk (Tpfd0 (γ)). ^rk rk ^ ( f ,0) ( f ,0) ( f ,0)Tpfd0 (γ) 55 Substituting (5.7) in (5.6) we get that the right side of (5.6) (5.8) = n(d0,k)π rk (Tpfd0 (γ))+ ( f ,0) k (Z/fZ) d0 N0 ∈ X × X| n(d0,k) log g (Rpfd0 (γ)τ) log g rk (pfd0τ) . rk ^ ( f ,0) ( f ,0)Tpfd0 (γ) − k Z/fZ d0 N0 ∈X X| It remains to evaluate the second term of (5.8). pfd0 0 If p c we can take Rpfd0 (γ) = . However when p ∤ c we take | 0 1 ! fd0 fd0j Rpfd0 (γ) = where 1 j p 1 is chosen in such a way that 0 p ! ≤ ≤ − i d (mod p). Note that j does not depend on d . In order to evaluate the second ≡ c 0 term of (5.8) we let τ i and we use the explicit formula for the matrices T (γ) → ∞ pfd0 and Rpfd0 (γ). Ad0 Bd0 Ad′ 0 Bd′ 0 Let Tpfd0 (γ) = and Rpfd0 (γ) = . Note that by Cd0 Dd0 ! 0 Cd′ 0 ! assumption B′ =0 if p c and B′ = jd f if p ∤ c . One finds d0 | d0 0 lim n(d0,k) log g rk ^ (Rpfd0 (γ)τ) log g ^rk (pfd0τ) = τ i ( f ,0)Tpfd0 (γ) − ( f ,0) → ∞ k Z/fZ d0 N0 ∈X X| Ad′ 0 τ + Bd′ 0 lim n(d0,k) log g rkA^ ( ) log g ^rk (pfd0τ) =0. τ i d0 ( ,0) ( ,0) Cd′ 0 − f → ∞ k (Z/fZ) d0 N0 f ! ∈ X × X| For the last equality we have used the the fact that n(d0,k)d0 = 0 for all k d0 ∈ Z/fZ. P We end this subsection by rewriting the formulas obtained in proposition 5.4 in a more compact way. a b Proposition 5.5 Let γ = Γ0(fN0) where c = 0. Then we have the c d ! ∈ 6 56 following formulas: (5.9) µ i γ(i ) (Z ) j{ ∞→ ∞ } p 1 = log β (γτ) log β (τ) 2πi δj ,p − δj ,p = 12 sign(c) n(d ,r) Drj(mod f)(a,c/d ) Drj(mod f)(pa, c/d ) − · 0 1,1 0 − 1,1 0 Xd0,r r(mod f) For the definition of D1,1 (a, c) see definition 11.1. 5.3 The modular symbols are odd a b ι a b Let = γ Γ0(fN0) then we define the involution γ = − . Note c d ! ∈ c d ! − that for γ ,γ Γ (fN ) we have (γ γ )ι = γι γι . Let also zι = z¯ be the natural 1 2 ∈ 0 0 1 2 1 2 − involution on then we have γιzι =(γz)ι. H ι ι One can also verify that TN (γ) = TN (γ ). Remember also that the function B1 is odd. Using the previous observations we deduce the important equality e N N s( r ,0)(a, c)= s( r ,0)(a, c). N − − N It thus follows that ι (5.10) π( r ,0)(γ )= π( r ,0)(γ). N − N This last equality is important because it tells us that the family of measures con- structed in theorem 5.1 give rise to odd modular symbols. So using the explicit formulas in proposition 5.4 we get the following proposition: Proposition 5.6 Let u(z)= βδ(τ) or βδ,p(τ). Then we have c2 c2 − d log u(z)= d log u(z) c1 − c1 Z− Z for any c ,c Γ (fN )(i ). 1 2 ∈ 0 0 ∞ 57 Proof Let γ ,γ Γ (fN ) be such that γ (i ) = c and γ (i ) = c . Since 1 2 ∈ 0 0 1 ∞ 1 2 ∞ 2 γι(i )= γ (i )= c (j =1, 2) we find that j ∞ − j ∞ − j c2 c1 c2 d log u(z)= d log u(z)+ d log u(z) c1 − i i Z Z ∞ Z ∞ c1 c2 − − = d log u(z) d log u(z) i − i Z ∞ Z ∞ c2 − = d log u(z). − c1 Z− where the second equality follows from proposition 5.4 combined with (5.10). 5.4 From to O(N ,f) H Hp 0 We would like to generalize theorem 3.1 to real quadratic number fields. Unfortu- nately one cannot evaluate modular units on a real quadratic argument τ K since ∈ K = . What one does is to replace by the p-adic upper half-plane := ∩ H ∅ H Hp P1(C ) P1(Q ), equipped with its structure of a rigid analytic space. We take the op- p − p portunity here to introduce some useful notation that will be used for the sequel. For any Z-module M C and a prime number p, we define M (p) := M[ 1 ] M Z[ 1 ]. ⊆ p ≃ ⊗Z p Let p be a prime number inert in K. Choose a Z-order K and fix a positive O ⊆ integer N coprime to p. In [DD06] they associate to such data the set (p) (p) (p) (5.11) O(N)= O := τ : = = Hp Hp { ∈ Hp Oτ ONτ O } where = End (Λ ) and Λ = Z + τZ. Oτ K τ τ Remark 5.7 Note that (5.11) differs slightly from [DD06] since in there setting is assumed to be Z[ 1 ]-orders instead of Z-orders. Therefore there is no need to O p 1 tensor over Z[ p ]. This has the obvious advantage of simplifying the notation in (5.11). However having in mind the definition of discriminants (covolume) of lattices, we have decided to work with Z-modules. Implicitly in the definition of O, there is a level N structure which is assumed to Hp be fixed. One can verify that the set O is nonempty iff there exists an -ideal a Hp O 58 such that /a Z/N, this is the so called Heegner hypothesis. In the spirit of the O ≃ remark 3.1 we propose the following generalization of O(N)= O. Hp Hp Definition 5.6 Let K be a real quadratic number field. Let p be a prime number inert in K. Fix a Z-order of K. Let f(called the conductor) be a positive integer O coprime to p disc( ). Let N (called the level) be a positive integer coprime to pf. · O 0 To such data we associate the set (p) (p) (p) (p) σ O(N0, f) := (r, τ) (Z/fZ)× p : = = , (Λ , f)=1,τ >τ Hp { ∈ × H Oτ ON0τ O τ } where G = 1, σ . K/Q { } (p) (p) (p) (p) The notation (Λτ , f) = 1 means that Λτ , as an -ideal, is coprime to f . We O O a b + 1 have a natural action of Γ0 := GL2 (Z[ p ]) : c 0(mod fN0) on the { c d ! ∈ ≡ } set O(N , f) given by Hp 0 e a b aτ + b ⋆ (k, τ)=(dk, ). c d ! cτ + d Note that the quotient O(N , f)/Γ is finite (This will be proved, see (5.13)). We Hp 0 0 (p) now define a map that allows us to go from pO(N0, f) to -ideals. e H O Definition 5.7 We define a map Ω(which depends on ,p,N , f) O 0 Ω : pO(N0, f) I (p) H → O (p) where I (p) stands for the monoid of integral -ideals of K by the following rule: O O (r, τ) A Λ(p) 7→ r τ where 0 = A Z is the smallest positive integer such that the following two properties 6 r ∈ hold. (1) A r(mod f) r ≡ (p) (p) (2) A Λτ is -integral r O 59 (p) Definition 5.8 Let (r, τ), (r′, τ ′) pO(N0, f). Let Ω(r, τ)= AΛτ and (p) ∈ H Ω(r′, τ ′)= A′Λτ . We say that (r, τ) (r′, τ ′) iff there exists a λ Q ,1(f ) s.t. ′ ∼ ∈ O ∞ (p) (p) (p) (p) AΛ , AΛ ) = λA′Λ , λA′Λ . τ N0τ τ ′ N0τ ′ We have a natural identification of O(N , f)/ with Hp 0 ∼ (L, M) : pairs of Z[ 1 ]-modules of rank 2 in K,End (L)= End (M)= (p) { p K K O and L/M Z/N0 /Q (p),1(f ) ≃ } O ∞ } which again can be identified to (L, M) : pairs of Z-modules of rank 2 in K,End (L)= End (M)= { K K O and L/M Z/N0 / Q ,1(f ), (p) . ≃ } h O ∞ i This identification will allow us to view O(N , f)/ as a disjoint union of finitely Hp 0 ∼ many copies of a certain generalized ideal class group attached to (p) = [ 1 ]. O O p Let us assume the existence of an (p)-ideal a such that (p)/a Z/N . Then O O ≃ 0 there exists an inclusion /(I (p) (f)/Q (p),1(f ) ֒ pO(N0, f (5.12) O O ∞ → H ∼ given by the following rule: Choose an ideal a E (p) coprime to f such that (p)/a Z/N . Then for an O O ≃ 0 ideal I I (p) (f) we associate the pair (I, aI). A calculation shows that there always O ∈ (p) (p) exists a λ Q (p),1(f ) s.t. (I, aI)= λ(AΛτ , AΛN τ ) for some integer A and τ K. ∈ O ∞ 0 ∈ Obviously this map is an inclusion. However it is not canonical since it depends on the choice of the ideal a. The number of distinct inclusions as in (5.12) is in bijection with (5.13) a E : /a Z/N0 /Q (p),1(f ). { O O ≃ } O ∞ Class field theory gives us an isomorphism 1 rec− I (p) (f)/Q (p) (f ) I (f)/ Q (f ),p G Fr℘ ,1 ,1 H (f )h i/K O O ∞ ≃ O h O ∞ i → O ∞ 60 where H (f ) is the abelian extension of K corresponding to I (f)/Q ,1(f ) by O ∞ O O ∞ Fr℘ class field theory. We let L := H (f )h i be the subfield of H (f ) fixed by the O ∞ O ∞ Frobenius at p = ℘. Therefore in this case we get an natural action of G on O L/K O(N , f) given by the following rule Hp 0 1 rec− (b) ⋆ (L, M)=(bL, bM). Obviously this action is simple but in general not transitive since (5.13) could be of size larger than 1. The next two lemmas show that is induced by the action of Γ . ∼ 0 (p) Lemma 5.1 Let (r, τ) pO(N0, f) and γ Γ0. Let Ω(r, τ) =eAΛτ and Ω(γ⋆ (p) ∈ H (p) (p) ∈ (p) (p) r, γτ) = BΛγτ . Then the pairs (AΛτ , AΛN τ ) and (BΛγτ , BΛN γτ ) are congruent 0 e 0 modulo Q ,1(f ). In other words the relation of equivalence on pO(N0, f) is O ∞ ∼ H Γ0-invariant. e a b (p) (p) Proof Let γ = Γ0, Ω(r, τ) = AΛτ and Ω(γ ⋆ r, γτ) = BΛγτ . Note c d ! ∈ (p) that B Ad(mod f). Becausee (r, τ) O(N , f) we have that (Λτ , f) = 1 and ≡ ∈ Hp 0 (p) (p) 2 2 τ = . If we let Q (x, y) = Ux + V xy + Wy then the first equality says O O τ that (U, f) = 1. The second equality says that U 2 4V W = pnD(n 0) where − ≥ D = disc( ). By assumption (f, D)=1, f c and det(γ)= ad bc > 0. We also have O | − the identity σ σ a b τ τ τ ′ τ ′ cτ + d 0 (5.14) = . c d ! 1 1 ! 1 1 ! 0 cτ σ + d ! σ σ where τ τ > 0 and τ ′ τ ′ > 0. Combining all the previous observations we see − − that A ǫ (cτ + d) Q ,1(f ), B ∈ O ∞ for ǫ = 1 chosen appropriately. Finally note that ± A (p) (p) (1) B (cτ + d)Λγτ =Λτ , (2) A ( c N τ + d)Λ(p) =Λ(p) B N0 0 γ(N0)N0τ N0τ 61 a N b 0 1 where γ(N0)= GL2(Z[ p ]). c/N0 d ! ∈ We prove the converse of the previous lemma Lemma 5.2 Let (r, τ), (r′, τ ′) O(N , f) be equivalent then there exists a ma- ∈ Hp 0 a b trix Γ0 such that c d ! ∈ e a b τ k τ ′ = λ ′ , c d ! 1 ! k 1 ! for some λ Q ,1(f ) and integers such that k r(mod f) and k′ r′(mod f). ∈ O ∞ ≡ ≡ Note that we obtain automatically that d k′ (mod f). ≡ k (p) (p) Proof Let Ω(r, τ)= kΛτ and Ω(r′, τ ′)= k′Λ . By definition of Ω we have that τ ′ k,k′ are integers congruent to r and r′ respectively modulo f. Since (r, τ) (r′, τ ′) ∼ there exists a λ Q ,1(f ) such that ∈ O ∞ (p) (p) (p) (p) (5.15) (kΛ ,kΛ )=(λk′Λ ,λk′Λ ). τ N0τ τ ′ N0τ ′ (p) (p) By looking at the first component of (5.15) we get kΛτ = λk′Λ . Therefore there τ ′ a b 1 exists a matrix γ = GL2(Z[ p ]) such that c d ! ∈ a b τ k τ ′ (5.16) = λ ′ . c d ! 1 ! k 1 ! (p) (p) 1 Let ϕ :Λτ Λ be the natural Z[ ]-module isomorphism defined by ϕ(1) = 1 and τ ′ p → (p) ϕ(τ)= τ ′. Note that the restriction ϕ (p) induces an isomorphism ϕ (p) :Λ Λ Λ N0τ | N0τ | N0τ → (p) (p) (p) 1 Λ which sends 1 1 and N0τ N0τ ′. Let ψ : Λ Λτ be the Z[ ]-module N0τ ′ 7→ 7→ τ ′ → p k′ k′ k′ isomorphism induced by multiplication by λ , so ψ(1) = λ 1 and ψ(τ ′) = λ τ ′. k k · k We thus have φ ϕ AutZ[ 1 ](Λτ ). By equation (5.16) we readily see that the matrix ◦ ∈ p a b corresponding to φ ϕ with respect to the basis 1, τ is γ = . ◦ { } c d ! 62 Using the second equality of (5.15) we get λ k Λ(p) =Λ(p) . From this we deduce k′ N0τ ′ N0τ (p) (p) that φ ϕ(ΛN0τ )=ΛN0τ . In other words the automorphism ψ ϕ preserves the lattice (p) ◦ ◦ Λ . Therefore the matrix corresponding to ψ ϕ with respect to the basis 1, N0τ N0τ ◦ { } 1 a bN0 has coefficients in Z[ p ]. But this matrix is nothing else than . We c/N0 d ! thus conclude that N c. 0| O (p) (p) (p) Because (r, τ) (N , f) we have (Λτ , f) = 1 and τ = . Let Q (x, y)= ∈ Hp 0 O O τ 2 2 (p) (p) Ax + Bxy + Cy . Since (Λτ , f) = 1 we get that(A, f) = 1. Also because τ = O (p) we have B2 4AC = Dpn (n 0) where D = disc( ). But by assumption O − ≥ O B √D (f,disc( )) = 1. Note that τ = − ± . Looking at (5.16) combined with the O A previous observations gives us the congruence, k cτ + d = λ ′ integer (mod f) k ≡ since λ 1(mod f). Because (A, f)=1and(D, f) = 1 we deduce that c 0(mod f). ≡ ≡ Finally using equation (5.14) combined with λ 0 we see that det(γ) > 0. ≫ Corollary 5.1 The relation of equivalence on O(N , f) is induced by the ∼ Hp 0 action of Γ0. e p 0 Corollary 5.2 Let (r, τ) pO(N0,p). Since ⋆(r, τ)=(pr, τ) we deduce ∈ H 0 p ! that the first component is well defined modulo the action of p in the sense that (pr, τ) (r, τ). ∼ 5.5 Construction of the Kp×-points u(δr,τ) The family of measures constructed in theorem 5.1 will enable us to construct Kp× points. Note that Kp is the unique quadratic unramified extension of Qp so 2 K× µp 1 (1 + p Kp ). O p ≃ − × O p In this section we assume that δ D(N , f)h i is a fixed good divisor. We remind ∈ 0 also the reader that 63 a b + 1 (1) Γ0 = GL2 (Z[ p ]) : c 0(mod fN0) , { c d ! ∈ ≡ } e (2) Γ = γ Γ : det(γ)=1 , 0 { ∈ 0 } ae b 1 (3) Γ1 = SL2(Z[ p ]) : a 1(mod f),c 0(mod fN0) and { c d ! ∈ ≡ ≡ } a b 1 (4) Γ= SL2(Z[ p ]) : a, d 1(mod f),b,c 0(mod fN0) . { c d ! ∈ ≡ ≡ } Definition 5.9 Let k (Z/fZ)×. Let also c ,c Γ (i ) and τ , τ K . ∈ 1 2 ∈ 0 ∞ 1 2 ∈ Hp ∩ p We define τ2 c2 t τ2 d log βδk,p(τ) := logp − dµk c1 c2 (t). 1 t τ { → } Zτ1 Zc1 ZP (Qp) − 1 where µ c c is the measure of theorem 5.1 for the for the modular unit β (τ). k{ 1 → 2} δ,p Since the measures µ c c are Z-valued it makes sense also to define a k{ 1 → 2} multiplicative integral τ2 c2 µk c1 c2 (Ui) t τ2 ti τ2 { → } − dµk c1 c2 (t) := lim − × t τ { → } = Ui t τ τ1 c1 1 C { } i i 1 Z Z − Y − Where the limit goes over a set of covers that become finer and finer. Definition 5.10 Let τ K , fix an x Γ (i ) and k (Z/fZ)×, then for ∈ Hp ∩ p ∈ 0 ∞ ∈ all γ ,γ Γ we define 1 2 ∈ 0 γ1τ γ1γ2x κ (γ ,γ ) := dlog(β (z)) K×. x,(k,τ) 1 2 × δk,p ∈ p Zτ Zγ1x We let the group Γ0 acts trivially on Kp×. We have the following proposition. 2 Proposition 5.7 The 2-cochain κ C (Γ ,K×) is a ”twisted” 2-cocycle x,(k,τ) ∈ 0 p satisfying the following relation: (dκx,(k,τ))(γ1,γ2,γ3)= κx,(k,τ)(γ2,γ2) κx,(γ 1⋆k,τ)(γ2,γ3) − 1− 2 for all γ ,γ ,γ Γ . In particular (dκ ) =0, i.e. κ Z (Γ ,K×). 1 2 3 ∈ 0 x,(k,τ) |Γ1 x,(k,τ)|Γ1 ∈ 1 p 64 Proof We compute: (dκx,(k,τ))(γ1,γ2,γ3) = γ κ (γ ,γ ) κ (γ γ ,γ )+ κ (γ ,γ γ ) κ (γ ,γ ) 1 x,(k,τ) 2 3 − x,(k,τ) 1 2 3 x,(k,τ) 1 2 3 − x,(k,τ) 1 2 = κ (γ ,γ ) κ (γ γ ,γ )+ κ (γ ,γ γ ) κ (γ ,γ ) x,(k,τ) 2 3 − x,(k,τ) 1 2 3 x,(k,τ) 1 2 3 − x,(k,τ) 1 2 γ2τ γ2γ3x γ1γ2τ γ1γ2γ3x = dlogβ (z) dlogβ (z) δk,p − δk,p Zτ Zγ2x Zτ Zγ1γ2x γ1τ γ1γ2γ3x γ1τ γ1γ2x + dlogβ (z) dlogβ (z) δk,p − δk,p Zτ Zγ1x Zτ Zγ1x where the second equality follows from the trivial action of Γ0 on Kp×. Let π11(γ1)= a Z[ 1 ]. Using the invariance property of the measures under Γ we can multiply the ∈ p 0 1 bounds of the integral of the second term by γ1− at the cost of replacing k(mod f) by ak(mod f). So we find γ2τ γ2γ3x γ2τ γ2γ3x (5.17) = dlogβδk,p(z) dlogβδak,p(z) τ γ x − γ 1τ γ x Z Z 2 Z 1− Z 2 γ1τ γ1γ2γ3x γ1τ γ1γ2x + dlogβ (z) dlogβ (z). δk,p − δk,p Zτ Zγ1x Zτ Zγ1x Rearranging the first two terms together and and the last two in (5.17) we get γ2τ γ2γ3x τ γ2γ3x ∗ ∗ = (dlogβδk,p(z) d log βδak (z)) dlogβδak (τ) τ γ x − − γ 1τ γ x Z Z 2 Z 1− Z 2 γ1τ γ1γ2γ3x + dlogβδk,p(z) Zτ Zγ1γ2x γ2τ γ2γ3x = (dlogβδ ,p(z) dlogβ∗ (z)) k − δak Zτ Zγ2x = κ (γ ,γ ) κ (γ ,γ ). x,(k,τ) 2 3 − x,(ak,τ) 2 3 In particular if a is congruent to 1 modulo f the right hand side of the last equality 2 2 vanishes. We thus have that κ Z (Γ ,K×) and κ Z (Γ,K×). x,(k,τ)|Γ1 ∈ 1 p x,(k,τ)|Γ ∈ p We can now state one the main theorem of the paper. Theorem 5.2 The 2-cocycle κ is a 2-coboundary i.e. there exists a 1- x,(k,τ)|Γ1 1 cochain ρ C (Γ ,K×) s.t. d(ρ )= κ . x,(k,τ) ∈ 1 p x,(k,τ) x,(k,τ)|Γ1 65 Proof See theorem 6.2 where we give an explicit splitting of κ . x,(k,τ)|Γ1 The theorem 5.2 will allow us to define points in Kp×. 1 Let ρ C (Γ ,K×) be such that dρ = κ . Let Γ = γ Γ : x,(k,τ) ∈ 1 p x,(k,τ) x,(k,τ) 1,τ { ∈ 1 γτ = τ . By Dirichlet’s theorem we can identify Γ with Z/2Z Z. Let γ be the } 1,τ × τ unique matrix in Γ1,τ s.t. τ τ γτ = ǫ 1 ! 1 ! where 1 < ǫ is a positive generator of Γ / 1 . When red(τ)= v (see chapter 5 of 1,τ {± } 0 [Dar04] for the definition of red) we have γ = Stab (Q (x, y)), see lemma h± τ i Γ1(fN0) τ 9.1. In particular, when red(τ)= v0, the matrix γτ has integral coefficients. We have a similar thing if we replace Γ1 by Γ. Proposition 5.8 The 1-cochain ρ modulo Hom(Γ ,K×) does not x,(k,τ)|Γ1,τ 1 p |Γ1,τ depend on x. Proof Let x, y Γ (i ). So we want to show that ∈ 1 ∞ 1 ρ ρ Hom(Γ ,K×) = Z (Γ ,K×) . x,(k,τ)|Γ1,τ − y,(k,τ)|Γ1,τ ∈ 1 p |Γ1,τ 1 p |Γ1,τ This is equivalent to show that (dρ ) (dρ ) =0. x,(k,τ) |Γ1,τ − y,(k,τ) |Γ1,τ The last equality means exactly that (κ κ ) = 0. x,(k,τ) − y,(k,τ) |Γ1,τ Let γ ,γ Γ . We have 1 2 ∈ 1 γ1τ γ1γ2x γ1τ γ1γ2y κ (γ ,γ ) κ (γ ,γ ) = d log β (z) d log β (z) x,(k,τ) 1 2 − y,(k,τ) 1 2 δk,p − δk,p Zτ Zγ1x Zτ Zγ1y γ1τ γ1y γ1τ γ1γ2y = d log β (z) d log β (z) δk,p − δk,p Zτ Zγ1x Zτ Zγ1γ2x γ1τ γ1y γ1γ2τ γ1γ2y = d log β (z) d log β (z) δk,p − δk,p Zτ Zγ1x Zτ Zγ1γ2x γ1γ2τ γ1γ2y + d log βδk,p(z) Zγ1τ Zγ1γ2x 66 1 Now applying γ1− to the bounds of the third term of the last equality (note that 1 γ1− ⋆k = k) and setting γτ γy 1 c (γ) := d log β (z) C (Γ ,K×), x,y δk,p ∈ 1 p Zτ Zγx we get = c (γ ) c (γ γ )+ c (γ ) x,y 2 − x,y 1 2 x,y 1 = (dcx,y)(γ1,γ2) We thus have proved that d(ρ ρ c )=0onΓ . So ρ ρ c x,(k,τ)− y,(k,τ)− x,y 1 x,(k,τ)− y,(k,τ)− x,y ∈ Hom(Γ1,Kp×). Finally evaluating at γτ and using the observation that cx,y(γτ )=0 proves the claim. Remark 5.8 The group Hom(Γ1,Kp×) is finite group. This comes from the fact ab that (Γ1) =Γ1/[Γ1, Γ1] is finite, see [Men67] and [Ser70]. We thus have an injection .Hom(Γ1,Kp×) ֒ µp2 1 → − It now makes sense to define the following Kp× points: Definition 5.11 We define the Kp× invariant u(k, τ)= u(δk, τ) := ρx,(k,τ)(γτ )= ρ(k,τ)(γτ ) Kp×/µp2 1, ∈ − a b where γτ = StabΓ1 (τ) such that cτ + d> 1 for γτ = . h± i c d ! Remark 5.9 Implicitly in the notation for ρ(k,τ) and u(k, τ), a good divisor p δ D(N , f)h i ∈ 0 is fixed. So it is important to keep this in mind! Proposition 5.9 Let (r, τ), (r′, τ ′) O(N , f) be equivalent then ∈ Hp 0 ρ(r,τ)(γτ )= ρ(r′,τ ′)(γτ ′ ). 67 a b Proof By lemma 5.2 there exists a matrix η = Γ0 and integers k,k′ such c d ! ∈ that e a b τ k τ ′ = λ ′ c d ! 1 ! k 1 ! where k r(mod f) and k′ r′(mod f). ≡ ≡ Now we want to exploit the Γ0-invariance of the measures in theorem 5.1(see remark 5.3 for the Γ0-invariance) to show that ρ(k,τ)(γτ ) = ρ(k ,τ )(γτ ) (mod µp2 1). e ′ ′ ′ − Remember that γτ ,γτ Γ1. We compute. Let γ1,γ2 Γ1 then e ′ ∈ ∈ γ1τ ′ γ1γ2x κx,(k ,τ )(γ1,γ2) = dlogβδ ,p(z) ′ ′ k′ Zτ ′ Zγ1x γ1ητ γ1γ2x = dlogβδ ,p(z) k′ Zητ Zγ1x 1 1 now multiplying the last equality by η− and using the fact that η− ⋆k′ k(mod f) ≡ we find 1 1 1 1 η− γ1ητ η− γ1ηη− γ2ηη− x dlogβδk,p(z)= 1 1 τ η− γ1ηη− x Z 1 Z 1 1 1 η− γ1ητ η− γ1ηη− γ2ηη− x dlogβδk,p(z)= 1 1 Zτ Zη− γ1ηη− x 1 1 1 κη− x,(k,τ)(η− γ1η, η− γ2η). We thus deduce 1 1 1 (5.18) κx,(k′,τ ′)(γ1,γ2)= κη− x,(k,τ)(η− γ1η, η− γ2η). 1 Let ρ 1 C (Γ ,K×) be a 1-cochain splitting κ 1 i.e. dρ 1 = η− x,(k,τ) ∈ 1 p η− x,(k,τ) η− x,(k,τ) 1 κη− x,(k,τ). Then by proposition 5.8 we have 1 2 ρη x,(k,τ) Γ1,τ = ρx,(k,τ) Γ1,τ (mod µp 1). − | | − If we define 1 1 ρx,(k′,τ ′)(γ) := ρη− x,(k,τ)(η− γη) 68 1 then using (5.18) one finds that d(ρη− x,(k′,τ ′)) = κx,(k′,τ ′), so this definition makes sense. 1 Since γτ ′ = ηγτ η− we find that 1 1 ρx,(k′,τ ′)(γτ ′ ) = ρη− x,(k,τ)(η− γτ ′ η) (3.6) 1 1 = ρx,(k,τ)(η− ηγτ η− η) (mod µp2 1) − = ρx,(k,τ)(γτ ) Corollary 5.3 Let (r, τ) O(N , f). Then invariant u(r, τ) depends only on ∈ Hp 0 the class of (r, τ) modulo . Therefore by corollary 5.1 ∼ u(r, τ)= u(γ ⋆ r, γτ) for any γ Γ . ∈ 0 We are nowe ready to formulate the main conjecture. Conjecture 5.1 Let (r, τ) O(N , f). Then ∈ Hp 0 1 u(r, τ) [ ]×, ∈ OL p Fr℘ where L = H (f )h i where ℘ = p K and H (f ) is the abelian extension O ∞ O O ∞ corresponding to the generalized ideal class group I (f)/Q ,1(f ). Moreover we O O ∞ have a Shimura reciprocity law. Let rec : GL/K I (f)/ Q ,1(f ),p , → O h O ∞ i then for σ G we have ∈ L/K 1 σ− u(k, τ) = u(k′, τ ′)(mod µp2 1) − where rec(σ) ⋆ (k, τ)=(k′, τ ′). Furthermore, if we let c denotes the complex conju- ∞ gation in GL/K then c 1 u(r, τ) ∞ = u(r, τ)− . 69 Remark 5.10 The last equality is in accordance with the fact that the modular symbols defined in remark 5.2 are odd. Remark 5.11 In [DD06], since the conductor f = 1, one is lead to consider various orders of K. However in our case, since f can vary, it is sufficient to consider only the case where = . O OK 6 The measures µ c c { 1 → 2} 1 6.1 From P (Qp) to (Qp Qp) (0, 0) e × \{ } The main ingredient in showing the splitting of the 2-cocycle κ(k,τ) (see theorem 5.2)consists in the construction of a family of measures on Q2 (0, 0) taking values in p\ Zp. This family of measures encode the moments of some family of Eisenstein series of varying weight that are Up,a-eigenvectors. Following [DD06] we define X := (x, y) Z2 : (x, y)=1 . The group Γ acts { ∈ p } 0 2 a b x ax + by by left translation on Qp (0, 0) by = . Theree is a \ c d ! y ! cx + dy ! Zp×-bundle map π : X P1(Q ) given by (x, y) x/y. → p 7→ p From now on we assume a fixed choice of a good divisor δ D(N , f)h i. Remember ∈ 0 that for r Z/fZ we have defined ∈ 1 ( 1)k(2πi)k − e2πimr/f E (r, τ)= − k (k 1)! (m + nfτ)k m,n − X for any integer k 2. In order to simplify the notation and have better looking ≥ formulas we renormalize our Eisenstein series. Definition 6.1 For every j (Z/fZ)×/ p we set ∈ h i F (j, z) := 12fF (z) F (j, z) := 12fF (z) k − k,δj k,p − k,δj,p F ∗(j, z) := 12F ∗ (z) F ∗ (j, z) := 12F ∗ (z) ek − k,δj ek,p − k,δj ,p e e 70 Since δ is not appearing in this notation it is important to keep in mind that such a divisor δ is fixed from the beginning. The group Γ0(fN0) acts transitively on the set Fk(j, z) j (Z/fZ) / p and Fk∗(j, z) j (Z/fZ) / p { } ∈ × h i { } ∈ × h i Similarly the groupe Γ0(pfN0) acts transitivelye on Fk,p(j, z) j (Z/fZ) / p and Fk,p∗ (j, z) j (Z/fZ) / p . { } ∈ × h i { } ∈ × h i where the action ise induced by the change of variablese τ γτ. 7→ We can now state the key theorem which is used to show the splitting of the 2-cocycle. Theorem 6.1 There exists a unique collection of p-adic measures on Q Q p × p − (0, 0) taking values in Z (in fact in Z see theorem 13.1) indexed by triples (r, s, j) p ∈ Γ (i ) Γ (i ) (Z/fZ)×/ p , denoted by µ r s such that: 0 ∞ × 0 ∞ × h i j{ → } e e 1. For every homogeneous polynomial h(x, ye) Z [x, y] of degree k 2, ∈ p − s k 2 h(x, y)dµ r s (x, y)=(1 p − ) h(z, 1)F (j, z)dz j{ → } − k ZX Zr e e 2. For all γ Γ and all open compact U Q2 (0, 0), ∈ 0 ⊆ p\ e µ r s (U)= µ γr γs (γU) j{ → } γ⋆j{ → } 3. (invariance under multiplicatione by p),e µ r s (pU)= µ r s (U) j{ → } j{ → } Furthermore the measuree satisfies: e 4. For every homogeneous polynomial h(x, y) Z [x, y] of degree k 2, ∈ p − s h(x, y)dµj r s (x, y)= h(z, 1)Fk,p(j, z)dz Zp Z× { → } r Z × p Z e e p 0 Remark 6.1 Note that (3) follows from (2) by taking the matrix γ = . 0 p ! 71 Proof We prove it in section 12. 1 The family of measures constructed on P (Qp) in theorem 5.1 can be thought of as the pushforward of the measures in theorem 6.1. This is the content of the following lemma: Lemma 6.1 For all compact open U P1(Q ) we have ⊆ p 1 µ r s (π− (U)) = µ r s (U). j{ → } j{ → } 1 x where π : X P (Q ) is the Z×-bundle given by (x, y) . → p e p 7→ y Proof Define a collection of measures ν r s on P1(Q ) by the rule j{ → } p 1 ν r s (U)= µ r s (π− (U)) j{ → } j{ → } for any compact open U P1(Q ). We claim that ν satisfy the three properties of ⊆ p e j theorem 5.1. Therefore by uniqueness we deduce that ν r s = µ r s . j{ → } j{ → } 1 1 Let us show the first property. Let Z P (Q ). Then π− (Z ) = Z Z×. We p ⊆ p p p × p have 1 νj r s (Zp)= µj r s (π− (Zp)) = dµj r s (x, y) { → } { → } Zp Z× { → } × p Z s e = F2,p(j,e z)dz Zr 1 s = e dlogβ (z) 2πi δj ,p Zr = µ r s (Z ) j{ → } p where the second equality follows from the 4th property of theorem 6.1 and third equality follows 2πiFk,p(j, z) = dlog(βδj ,p(z)). Let us show thee second property. 1 1 1 ν r s (P (Q )) = µ r s (π− (P (Q ))) = dµ r s (x, y) j{ → } p j{ → } p j{ → } ZX e =0 e = µ r s (P1(Q )) j{ → } p 72 where the third equality follows from the 1st property of theorem 6.1. It remains to show the third property. We need to show that for all γ Γ one ∈ 0 has e (6.1) ν γr γs (γU)= ν r s (U) γ⋆j { → } j{ → } for any compact open set U P1(Q ). In order to prove the equality (6.1) we will ⊆ p brake the open set U on smaller open sets on which we have a better control on the 1 1 p-adic valuation. Before starting note the π− γ(U) X but in general γπ− (U) *X. ⊆ In order to show that both sets have the same measure we want to use the third property of theorem 6.1. p 0 1 Since Γ0 is generated (without taking inverses) by the elements P = ,P − = { 0 1 ! 1 p 0 e 1 , Γ0(fN0) it is enough to prove (6.1) when γ Γ0(fN0) or γ = P or P − . 0 1 ! } ∈ We define for n Z ∈ n 1 1 × Un = U p Zp = u U : n+1 < u p < n 1 ∩ { ∈ p | | p − } Clearly the Un’s are disjoint and open. So in order to show equation (6.1) it is enough to show that ν γr γs (γU )= ν r s (U ) γ⋆j{ → } n j{ → } n for any Un. a b Let γ = Γ0(fN0) and n< 0 then c d ! ∈ 1 1 au + b 1 π− (γU )= π− P (Q ) : u U n cu + d ∈ p ∈ n n n = Z× ((p− (au + b),p− (cu + d)) X : u U ) p { ∈ ∈ n } n = p− Z× (au + b,cu + d) (Q Q ) (0, 0) : u U p { ∈ p × p \ ∈ n} where Z×A := (ka , ka ) X : (a , a ) A (the Z×-saturation) for any subset p { 1 2 ∈ 1 2 ∈ } p A Q Q . ⊆ p × p 73 On the other hand 1 n n γπ− (U )= γZ× (p− u,p− ) X : u U n p { ∈ ∈ n} n n n n = Z× (ap− u + bp− ,cp− u + dp− ) X : u U p { ∈ ∈ n} n = p− Z× (au + b,cu + d) (Q Q ) (0, 0) : u U p { ∈ p × p \ ∈ n} In that special case we really get the same sets. The case n 0 can be treated in a ≥ similar way. 1 Let us verify it for γ = P − and U0. We have 1 1 u 1 π− (γU )= π− P (Q ) : u U 0 p ∈ p ∈ 0 = Z× (u,p) X : u U p { ∈ ∈ 0} u = pZ× ( , 1) (Q Q ) (0, 0) : u U ) p { p ∈ p × p \ ∈ 0 } On the other hand 1 γπ− (U )= γZ× (u, 1) X : u U 0 p { ∈ ∈ 0} u = Z× ( , 1) (Q Q ) (0, 0) : u U p { p ∈ p × p \ ∈ 0} 1 1 By the third property we conclude that µ r s (γπ− (U )) = µ r s (π− (γU )). j{ → } 0 j{ → } 0 The remaining cases can be treatede in a similar way. e 6.2 Splitting of the 2-cocycle We are now ready to prove the splitting of the 2-cocycle. We show the splitting 1 by giving an explicit formula for the 1-cochain ρ C (Γ ,K×) where (k, τ) x,(k,τ) ∈ 1 p ∈ Z O(N , f) and x Γ (fN )(i ). We have K× = p × . The map Hp 0 ∈ 0 0 ∞ p × OKp x Kp× Z × , x (ordp(x),up(x) := ) → × OKp 7→ pordp(x) is an isomorphism. Therefore in order to determine ρ(k,τ) it is enough to give explicit formulas for ordp(ρ(k,τ)) and up(ρ(k,τ)). 74 To each v ( ) we associate a well defined partial modular symbol m r s ∈ V T v{ → } on the set of cusps Γ (fN )(i ) taking values in the set of Γ -invariant measures on 0 0 ∞ 0 1 P (Qp). We define e 1 s m r s := dlogβ (z), m γr γs = m r s . v0,k{ → } 2πi δk γv,γ⋆k{ → } v,k{ → } Zr for all v ( ), γ Γ , k (Z/fZ)×/ p and r, s Γ (fN )(i ). Note that the ∈ V T ∈ 0 ∈ h i ∈ 0 0 ∞ assignment v mv,k r s satisfies the following harmonicity property: 7→ { e→ } m r s =(p + 1)m r s . v′,k{ → } v,k{ → } d(vX′,v)=1 The latter equality comes from the fact that F2(k, z) is an eigenvector with eigenvalue (1 + p) for the Hecke operator T2(p). e Lemma 6.2 Let (k, τ) O(N , f) with red(τ)= v. Let γ Γ then ∈ Hp 0 ∈ 1 (6.2) ord (ρ (γ)) = m x γx . p x,(k,τ) v,k{ → } Proof Same proof as lemma 3.5 of [DD06]. Remark 6.2 Using proposition 5.4 we get an explicit formula for m x γx v,k{ → } it terms of Dedekind sums. Theorem 6.2 Let γ Γ then ∈ 1 (6.3) ρ (γ)= (x τy)dµ i γ(i ) (x, y). (k,τ) × − k{ ∞→ ∞ } ZX e Note that the multiplicative integral makes sense since µ i γ(i ) by theorem k{ ∞→ ∞ } 13.1 takes values in Z. e Proof We have decided to reproduce the proof of of proposition 4.6 of [DD06] because we find the calculation interesting. Let γ ,γ Γ . Note that X and γ X (i =1, 2) are both fundamental domains for 1 2 ∈ 1 i 75 multiplication by p on Q2 (0, 0) . We have p\{ } ρ(k,τ)(γ1)ρ(k,τ)(γ2) (dρ(k,τ))(γ1,γ2)= ρ(k,τ)(γ1γ2) (x yτ)dµk i γ1i (x, y) (x yτ)dµk i γ2i (x, y) = ×X − { ∞→ ∞} ×X − { ∞→ ∞} (x yτ)dµ i γ γ i (x, y) R ×X − k{ ∞→R 1 2 ∞} (x yτ)edµk i γ2i (x, y) e = ×X − R{ ∞→ ∞} (x yτ)dµ γ i γ γ ei (x, y) ×XR − k{ 1 ∞→ 1 2 ∞} (x yτ)dµ eγ i γ γ i (a, b) = R×X − k{ 1 ∞→ 1 2 ∞} (x yτ)dµe γ i γ γ i (x, y) ×RX − k{ 1 ∞→ 1 2 ∞} e R e x a where γ1 = . For the latter equality we have used the fact that y ! b ! µ c c (x, y)= µ γc γc (γ(x, y)). k{ 1 → 2} k{ 1 → 2} A B e e Let γ1 = , then we have Da Bb = x and Ca + Ab = y. Therefore CD ! − − x τy = a(D + Cτ)+ b(Aτ + B)=(Cτ + D)(a bγ τ). From this we deduce − − 1 (x yγ τ) (6.4) = − 1 µ γ i γ γ i (x, y) × (x yτ) k{ 1 ∞→ 1 2 ∞} ZX − t γ1τ (6.5) = − e µk γ1i γ1γ2i (t) × 1 t τ { ∞→ ∞} ZP (Qp) − = κ(k,τ)(γ1,γ2) where for (6.4) we use the fact that the total measure on X is zero and for (6.5) the fact that π µ = µ. ∗ Remarke 6.3 Note that using only the fact that µ is Zp-valued one can still prove the splitting of κ(k,τ). One can do the same calculation as theorem 6.2 by replacing the e multiplicative integral by its additive integral (after having taken logp). Combining the additive version of (6.3) with (6.2) provides a explicit splitting of κ(k,τ). Using this approach doesn’t use the integrality of µ but only the fact that it is a bounded distribution, i.e. a measure. e 76 7 Archimedean zeta functions attached to totally real number fields 7.1 Zeta functions twisted by additive characters For this section we let K be an arbitrary totally real number field. Let K be a totally real number field of degree r. Let σ ,...,σ be a complete { 1 r} set of real embeddings of K. Let d be the different of K and ∆ = NK/Q(d) the discriminant of K. Let f be an integral ideal of K. Let (f )× be the group OK ∞ of totally positive units of that are congruent to 1 modulo f. Let w be a sign OK character of K i.e. a product of a subset of the characters sign σ : K× R× 1 . ◦ i → → {± } Let c be an integral ideal of K coprime to f. Following [Sie68] we define c c e2πiTr(µ) Ψ( ,w,s)= N( )s w(µ) , Re(s) > 1 df fd N(µ) s (f ) 0=µ c OK ∞ ×X\{ 6 ∈ fd } | | where Tr and N are the usual trace and norm functions on K down to Q. Note that c 1 1 for any ǫ (f )× and µ we have µ ǫµ cd− d− thus Tr(µ ǫµ) Z. ∈ OK ∞ ∈ fd − ∈ ⊆ − ∈ So the summation doesn’t depend on the choice of representatives of 0 = µ c { 6 ∈ fd } modulo (f )×. OK ∞ Let ρ K be such that ρc and (ρc, f) = 1, then a straight forward calcula- ∈ ⊆ OK tion shows that c c e2πiTr(ρµ) (7.1) Ψ(ρ ,w,s)= w(ρ)N( )s w(µ) . fd fd N(µ) s (f ) 0=µ c OK ∞ ×X\{ 6 ∈ fd } | | From this it follows that the first entry of Ψ depends only on the narrow ray class modulo f in the sense that if a, b I (f), ρ K, ρ 1(mod f) and ρ 0 is such ∈ OK ∈ ≡ ≫ that ρa = b then a b (7.2) Ψ( ,w,s)=Ψ( ,w,s). fd fd 77 Note that if there exists a ρ × congruent to 1 modulo f such that w(ρ)= 1 we ∈ OK − c find using (7.1) that Ψ( fd ,w,s) = 0. The existence of such units should be avoided. a Remark 7.1 One can relate the zeta functions Ψ( df ,w,s) to classical zeta func- tions L(χ, s) where χ is a character of the narrow ideal class group of conductor f. In order to do so we need to recall some properties of finite Hecke characters. Definition 7.1 We define (1) I (f)= Integral ideals of K which are coprime to f OK { O } (2) I (f)= fractional ideals of which are coprime to f K { OK } (3) P (f )= α K : α K, α 1(mod f), α 0 K,1 ∞ { OK ⊆ ∈ ≡ ≫ } We identify the quotients I (f)/PK,1(f ) and IK(f)/PK,1(f ) with the narrow ideal OK ∞ ∞ class group of conductor f. We have the following short exact sequence - -ι - - 1 ( /f)× /( × ( )(mod f)) I (f)/P (f ) I (1)/P ( ) 1, OK OK ∞ K K,1 ∞ K K ∞ where ι(a(mod f)) = a where a is chosen to be totally positive. From this short OK exact sequence we see that every character χ : I (f)/P (f ) S1 can be pulled K K,1 ∞ → back to a character 1 χ := χ ι :( /f)× /( × ( )(mod f)) S f ◦ OK OK ∞ → where the subscript f stands for finite. Let α K× be coprime to f then we define χ (α) := χ((α))/χf (α). When α ∈ ∞ is totally positive we have χ((α)) = χf (α) therefore χ (α) = 1. However if α is ∞ not totally positive and β is a totally positive element such that α β (mod f) then ≡ α χf (α)= χ((β)) therefore χ (α)= χ(( )). In thus follows that χ is a sign character ∞ β ∞ 2 α since β is a totally positive element congruent to 1 modulo f. Thus every character χ : I (f)/P (f ) S1 K K,1 ∞ → 78 when restricted to principal ideals (α) coprime to f can be written uniquely as χ = 1 1 χ χf where χ : (R K)× S and χf : ( K /f)×/( K× ( )(mod f)) S . If we ∞ ∞ ⊗ → O O ∞ → think of χf as a character on ( K /f)× then the pair of characters (χ , χf ) satisfies O ∞ the identity (*) χf (ǫ)χ (ǫ)=1 ǫ K× . ∞ ∀ ∈ O Conversely for every pair of characters (w, η) ((R\K) , ( \/f) ) satisfying ( ) ∈ ⊗ × OK × ∗ there exists a lift ψ : I (f)/P (f ) S1 (the number of lifts is exactly h+ , the K K,1 ∞ → K narrow class group of K) such that ψf = η and ψ = w. ∞ Let us assume that × (f)= × (f ). In this case we have that P (f)/P (f ) OK OK ∞ K,1 K,1 ∞ ≃ (Z/2)r. So the index of the wide ray class field of conductor f in the narrow ray r class field of conductor f is 2 . In order to simplify the notation we let Gf = ∞ IK (f)/PK,1(f ) and Gf = IK (f)/PK,1(f). We identify Gf as a subgroup of Gf via π∗ ∞ ∞ where b b π : Gf Gf ∞ → is the natural projection. Let η1,...,ηr be generators of the group of characters of P (f)/P (f ) K,1 K,1 ∞ defined in such a way that for a P (f) we let η (a)= w (α)= sign σ (α) where α ∈ K,1 i i ◦ i is a generator of a congruent to 1 modulo f. The ηi’s are well defined because of the assumption on the units. For every i take an arbitrary lift of η to I (f)/P (f ) i K K,1 ∞ and denote it again by ηi. By construction (ηi) = wi = sign σi. It is easy to ∞ ◦ see that the group generated by the ηi’s is a complete set of representatives of Gf ∞ modulo Gf. We thus have the disjoint union b b Gf = ηiGf. ∞ i [ b b Note that Gf corresponds precisely to the set of characters χ Gf such that χ = 1. ∈ ∞ ∞ b b 79 7.2 Gauss sums for Hecke characters and Dirichlet characters a Let χ Gf be a Hecke character and γ K be such that (γ)= where (a, f)=1. ∈ ∞ ∈ df For a ξ K we define ∈b O 2πiTr(γρξ) gγ(χ, ξ) := χf (γ) χf (ρ)e . ρ (Xmod f) We define χ (ρ)=0if(ρ, f) = 1. It is easy to see that g (χ, ξ) doesn’t depend on γ, f 6 γ so from now on we omit the subscript γ. When ξ is coprime to f we have (7.3) g(χ, ξ)= χf (ξ)g(χ, 1). Furthermore when χ is primitive (7.3) remains valid for ξ not coprime to f since g(χ, ξ)=0. 1 We also define Gauss sums for Dirichlet characters χ : ( /m)× S where m OK → is some integral and y OK . We define the Gauss sum ∈ md τ(χ, y) := χ¯(x)e2πiTr(xy). x(mod m) (x,Xm)=1 Let χ Gf be a Hecke character and χf be the Dirichlet character corresponding ∈ ∞ to the finite part of χ, then it is easy to see that b gγ (χ, 1) = χf (γ)τ(χf ,γ) a where (γ)= df . 7.3 Relation between Ψ( a , χ , s) and L(χ, s) df ∞ In this subsection we would like to relate the functions Ψ( a , χ ,s) to classical Artin df ∞ L-functions L(χ, s) where χ is a primitive character. We essentially reproduce a proof that can be found in [Sie68]. Proposition 7.1 Let χ : I (f)/P (f ) S1 be a primitive character then K K,1 ∞ → ac χ¯(ac)Ψ , χ ,s = g(χ, 1)L(χ, s) df ∞ c IK (f)/PK,1(f) ∈ X where a c is any integral ideal. c ∈ 80 Proof We first extend χ to I (1) by setting χ(a) = 0 when (a, f) = 1. We have K 6 χ(a) L(s, χ)= N(a)s a X⊆OK χ(b) = . N b s 1 1 ( ) a− IK (1)/PK,1(1) b a− ∈ X b integralX∈ For every class a we fix an integral ideal a a. We have a natural bijection between a ∈ 1 1 1 the elements µ a modulo × and integral ideals b a− given by µ µa− a− . ∈ a OK ∈ 7→ a ∈ Therefore χ((µ)a 1) a− = N a 1 s 1 ((µ) a− ) a− IK (1)/PK,1( ) 0=µ aa / × ∈ X ∞ { 6 X∈ } OK s χ (µ)χf (µ) (7.4) N(a ) χ¯(a ) ∞ = a a N s 1 (µ) a− IK (1)/PK,1(1) 0=µ aa / × | | ∈ X { 6 X∈ } OK Note that if (µ, f) = 1 then χ (µ) = 0. Remember that 6 f g(χ, 1) = gγ(χ, 1) = χf (a)τ(χf ,γ) where (γ)= g with (g, f)=1. For µ coprime to f we have df ∈ OK (7.5) χf (µ)τ(χf ,γ)= τ(χf ,µγ) substituting in (7.4) we get s τ(χf ,µγ)χ (µ) (7.6) = N(a ) χ¯(a ) ∞ . a a N s 1 τ(χf ,γ) (µ) a− IK (1)/PK,1( ) 0=µ aa,(µ,f)=1 / × | | ∈ X ∞ { 6 ∈ X } OK Now using the assumption that χf is primitive we can remove the restriction (µ, f)=1 under the last summation of (7.6) since (7.5) also holds for µ not coprime to f. 81 Rearranging a bit (7.6) we get s τ(χf ,µγ)χ (µ) = N(a ) χ¯(a ) ∞ a a N s 1 τ(χf ,γ) (µ) a− IK (1)/PK,1(1) α (mod f) 0=µ aa,(µ,f)=1 ∈ { 6 ∈ / × | | X X ,µ α(modXf) OK ≡ } 1 s τ(χf ,µγ)χ (µ) = N(a ) χ¯(a ) ∞ a a N s Af 1 τ(χf ,γ) (µ) a− IK (1)/PK,1 (1) α (mod f) 0=µ aa,(µ,f)=1 ∈ { 6 ∈ / K (f) | | X X ,µ α(modXf) O × ≡ } 1 s = N(aa) χ¯(aa) Afτ(χf ,γ) a 1 I (1)/P (1) − ∈ KX K,1 2πiTr(µργ) χ (µ) χ¯ (ρ)e ∞ · f N(µ) s α (mod f) 0=µ aa,(µ,f)=1 ρ (mod f) { 6 ∈ / × (f ) | | X ,µ α(modXf) OK ∞ X ≡ } where in the second equality every µ is counted A := × (mod f) times and in the f |OK | last summation we have used the fact that (f)× = (f )×. Rearranging a bit OK OK ∞ the latter expression we get 1 s s = N(aa) χ¯(aa)N(ρ) χ¯((ρ)) Afτ(χf ,γ) a 1 I (1)/P (1) ρ (mod f) − ∈ KX K,1 X 2πiTr(µργ) χ (µρ) e ∞ · N(µρ) s α(mod f) 0=µ aa,(µ,f)=1 { 6 ∈ / K (f ) | | X ,µ α(modXf) O ∞ × ≡ } 1 s s = N(aa) χ¯(aa)N(ρ) χ¯((ρ)) Afτ(χf ,γ) a 1 I (1)/P (1) ρ (mod f) − ∈ KX K,1 X 2πiTr(µγ) χ (µ) e ∞ · N(µ) s α(mod f) 0=µ ρaa,(µ,f)=1 { 6 ∈ / K (f ) | | X ,µ αρ(modXf) O ∞ × ≡ } χf (g) = χ¯(ρaag)Ψ(ρaaγ, χ ,s) Afτ(χf ,γ) ∞ a 1 I (1)/P (1) ρ (mod f) − ∈ KX K,1 X 1 = χ¯(aag)Ψ(aaγ, χ ,s) g(χ, 1) ∞ a I (f)/P (f) ∈ K XK,1 The last equality comes from the observation that the set of ideals ρa covers every { a} element of IK(f)/PK,1(f) exactly Af times. 82 1 a 7.4 Partial zeta functions ζ(a− , f,w,s) as the dual of Ψ(df,w,s) Let K be any totally real number field. Let w : (K Q)× 1 be a sign ⊗R → {± } character. Let f be an integral ideal of K and d be the different. For a fractional ideal a coprime to f we define w(µ) ζ(a, f,w,s) := N(a)s N(µ) s (f ) µ a,µ 1(mod f) OK ∞ ×\{ X∈ ≡ } | | Note that both functions depend only on the narrow class of a modulo f. Observe also that if b = λa are integral ideals coprime to f then w(µ) (7.7) ζ(b, f,w,s)= w(λ)N(a)s . N(µ) s (f ) 0=µ a,µ λ(mod f) OK ∞ ×\{ 6 X∈ ≡ } | | Let a n be the parity of w then we define { i}i=1 n s/2 ns/2 s + ai F (s) := d π− Γ( ) w | K| 2 i=1 Y where n = [K : Q] and dK is the discriminant of K. Theorem 7.1 We have the following functional equation a Tr(w) 1 s 1 (7.8) F (s)Ψ( ,w,s)= i F (1 s)N(f) − ζ(a− , f, w, 1 s) w fd w − − where Tr(w)= i ai. P Proof The proof follows Hecke’s classical method and relies on the functional equa- tion of the generalized theta function which is a direct consequence of the Poisson summation formula. In order to prove (7.8) one needs to introduce heavy notation and also the notion of ideal numbers that repair the failure of not having a principal ring. For these reasons we have decided to only prove (7.8) in the case where K is real quadratic using a nice trick of Hecke which simplifies the argument. Moreover this second proof is better suited for the applications we have in mind since it involves an integral of a classical Eisenstein series against a suitable power of a quadratic form. 83 Remark 7.2 One can use theorem 7.1 in conjunction with the well known func- tional equation for L(s, χ) to give another proof of proposition 7.1. However some difficulties arise since in order to express the partial zeta functions ζ(a, w, f,s) as linear combinations of L(s, χ) one needs to deal with non primitive characters χ of I (f)/P (f ). K K,1 ∞ Applying the last theorem in the case where K is real quadratic and letting a = aΛτ and f =(f) one sees that aΛτ 1 s 1 (7.9) Fw (s)Ψ( ,w1,s)= Fw (1 s)N(f) − ζ((aΛτ )− ,f,w1, 1 s) 1 f√D − 1 − − and aΛτ 1 s 1 Fw (s)Ψ( ,w0,s)= Fw (1 s)N(f) − ζ((aΛτ )− ,f,w0, 1 s). 0 f√D 0 − − 1 1 A σ σ Note that if Λτ Λτ =( A ) then (aΛτ )− = a Λτ . We conclude the end of this section by discussing some parity conditions on special values of partial zeta functions at negative integers. For integers m 2 which are even the quantity ≥ F (m) (7.10) w F (1 m) w − is equal to 0 unless a = 0 for all i. Similarly for integers m 1 odd the quantity i ≥ F (m) (7.11) w F (1 m) w − is 0 unless ai = 1 for all i. We define w0 = 1 and w1 = sign(NK/Q). We thus see that for integers m 1 the quantity ζ(a, f, w, 1 m) can be different than 0 only when ≥ − w = w0 and m is even or w = w1 and m is odd. Let 1 (7.12) ζ(a, f ,s) := N(a)s . ∞ N(λ) s × (f ) λ a,λ 1(mod f),λ 0 | | OK ∞ \{ ∈ X≡ ≫ } We simply call those partial zeta functions. Note here that the sum is restricted to totally positive elements. 84 Let σ ,...,σ be the different embeddings of K and let a n be such that 1 n { i}i=1 a 0, 1 . We define i ∈{ } 1 ζ(a, f , a n ,s)= N(a)s . ∞ { i}i=1 N(λ) s λ a:λ 1(mod f) { ∈σ ≡ | | λ i >X0 if ai=0 λσi <0 if a =1 / (f ) i } OK ∞ × n Let λ K× have parity a then using orthogonality relations we get ∈ { i}i=1 (7.13) w(λ)ζ(a, f,w,s)=2nζ(a, f , a n ,s) ∞ { i}i=1 w is a signX character n 1 =2 ζ(aλ− , f ,s) ∞ Choosing ai = 0 for all i with λ = 1 in (7.13) and combining it with (7.10) and (7.11)) we see that for even integers m 2 ≥ (7.14) ζ(a, f,w , 1 m)=2nζ(a, f , 1 m) 0 − ∞ − and that for odd integers m 1 ≥ (7.15) ζ(a, f,w , 1 m)=2nζ(a, f , 1 m). 1 − ∞ − Using again (7.13) we get that for any sign character η 1 η(λ)ζ(aλ− , f ,s)= ζ(a, f,η,s). ∞ (λ) P (f)/P (f ) ∈ K,1X K,1 ∞ We have the following well known theorem: Theorem 7.2 (Siegel,Klingen) For integers k 1 the quantities ≥ ζ(a, f , 1 k) ∞ − are rational integers. Proof See [Sie69]. Corollary 7.1 For integers k 1 we have ≥ F (k) c w Ψ ,w,k Q, F (1 k) fd ∈ w − s/2 ns/2 n s+ai where F (s)= d π− Γ( ). w | K| i=1 2 Q 85 Proof Use theorem 7.2 in combination with theorem 7.1. We finish the section by recording one more result: Proposition 7.2 Let (λ) P (f) where λ have parity a n then for odd ∈ K,1 { i}i=1 integers k 1 we have ≥ ζ(aλ, f , 1 k)=( 1) ai ζ(a, f , 1 k), ∞ − − P ∞ − and for even integers k 2 we have ≥ ζ(aλ, f , 1 k)= ζ(a, f , 1 k). ∞ − ∞ − Proof We have 1 Fw1 (s) c (7.16) ζ(c− , f,w ,s)= Ψ ,w , 1 s 1 F (1 s) fd 1 − w1 − Now let (λ) P (f) where have parity a n . Without lost of generality assumes ∈ K,1 { i}i=1 that λ . Then we have ∈ OK cλ c Ψ ,w ,s = w (λ)Ψ ,w ,s fd 1 1 fd 1 c ai =( 1) Ψ ,w1,s − P fd Substituting in (7.16) we find 1 1 ai 1 ζ(c− λ− , f,w1, 1 s)=( 1) ζ(c− , f,w1, 1 s). − − P − Now using (7.15) with s = k for k 1 odd we deduce ≥ 1 1 a 1 ζ(c− λ− , f , 1 k)=( 1) i ζ(c− , f , 1 k). ∞ − − P ∞ − The proof for an even integer k 2 is similar. We do the same calculation with w ≥ 1 replaced by w0. 86 8 Archimedean zeta functions attached to real quadratic number fields We now specialize to the case where K is a quadratic number field of discriminant D. Note that the different d of K is (√D). Let f be some positive integer that we call the conductor and N0 another positive integer that we call the level. In order to motivate the definitions of the various zeta functions attached to K we need to revisit the involution on X (fN ). ∗fN0 1 0 8.1 Involution fN0 on X (fN )(C) revisited ∗ 1 0 For this subsection we assume that K = Q(√D) is an imaginary quadratic number field. Let [( r ,rΛ )] be a point of Y (fN )(C). Using the definition on the involution fN0 τ 1 0 ι defined in section 4.6 and denoting it simply by we find that fN0 ∗ r rτ r r [( ,rΛτ )]∗ = [( , rτZ + Z)] = [( − ,rΛ 1 )]. fN0 −fN0 fN0 fN0 fN0τ r r 1 In particular we can think of as sending − and τ . Define ∗ fN0 7→ fN0 7→ fN0τ OK (N , f) as in definition 5.6 but where replaces . Let (r, τ) OK (N , f) H 0 H Hp ∈ H 0 then Q (x, y)= Ax2 + Bxy + Cy2 where (A, f)= 1, N A and B2 4AC = D. We τ 0| − 2 2 A 2 readily see that Q 1 (x, y) = Cf N0x + Bfxy + N y . Therefore we deduce that fN0τ 0 2 disc(Q 1 ) = f disc(Qτ ). Note that the leading coefficient of Q 1 (x, y) is not fN0τ fN0τ coprime to f but its last coefficient A is. Remember that the group Γ (fN ) acts N0 0 0 naturally on OK (f, N ) by the rule H 0 aτ + b γ⋆ (r, τ)=(dr, ) cτ + d a b K where γ = . There is a natural inclusion of O (N0, f)/Γ0(fN0) c d ! H ⊆ r K Y1(fN0)(C) given by (r, τ) [( − ,rΛτ )]. If (r, τ) (r′, τ ′) inside O (N0, f)/Γ0(fN0) 7→ fN0 ∼ H 87 a b then there exists a matrix Γ0(fN0) such that dr r′(mod f) and c d ! ∈ ≡ a b τ τ ′ (8.1) =(cτ + d) . c d ! 1 ! 1 ! 1 1 Rewriting (8.1) in term of τ ∗ = and τ ′∗ = we find that fN0τ fN0τ ′ d c/fN0 τ ∗ τ ′∗ =(bfN0τ ∗ + a) . bfN0 a ! 1 ! 1 ! If we let : Γ Γ be the involution defined by ∗ 0 → 0 e e a b ∗ d c/fN = 0 c d ! bfN0 a ! then we derive the following rule (γ⋆ [(r, τ)])∗ =(γ)∗ ⋆∗ [(r, τ)]∗. where a b 1 aτ + b ⋆∗ (r, τ)=(d− r, ). c d ! cτ + d and [(r, τ)]∗ = [( r, τ ∗)]. − Note however that stricly speaking [( r, τ ∗)] doesn’t belong to OK (N , f) since − H 0 End (Λ )= Z + fωZ = Z + ωZ = . K τ ∗ 6 OK a b Letting StabΓ1(fN0)Qτ (x, y)= γτ where γτ = we also see that h± i c d ! d c/fN0 (8.2) StabΓ1(fN0)(τ ∗) := γτ ∗ = =(γτ )∗. bfN0 a ! This involution of level fN will play an important role later on. ∗ 0 88 8.2 Zeta functions Ψ and Ψ∗ Let K be a real quadratic field with discriminant D. Let us suppose that f = (f) where f is a positive integer. Let [a] I (f)/QK,1(f) (the wide ideal class group of ∈ OK conductor f) where a is an integral ideal coprime to f. Let also w :(K R)× 1 ⊗Q → {± } be any sign character. We are mainly interested by the sign character w = sign N . 1 ◦ K/Q Let Ψ( a ,w ,s) be the zeta function defined in section 7.1. In this section we would √Df 1 a like first to define a zeta function Ψ∗( ,w ,s) where the refers to the involution √Df 1 ∗ discussed in section 8.1 Second of all we would like to write down a functional equation for the zeta functions Ψ and Ψ∗. In order to achieve those two goals it is more convenient to take a Z-basis for the integral ideal a. We take a Z-basis in the following way. There always exists an integer a Z , ∈ >0 (a, f)=1and a τ K such that ∈ a(Z + τZ)= a. 2 2 We let Qτ (x, y) = Ax + Bxy + Cy with A > 0 be the primitive quadratic form associated to τ. Since End (Λ ) = we have B2 4AC = D. Without lost of K τ OK − B+√D generality we assume that τ = − 2A . Note that the ideal AΛτ is an integral ideal (in fact A is the smallest positive integer n for which nΛτ is integral). A small computation shows that s aΛ aΛ sign(N (µ))e2πiTrK/Q(µ) Ψ( τ ,w ,s)= N τ K/Q √ 1 √ N(µ) s f D f D aΛτ K (f )× 0=µ | | O ∞ X\{ 6 ∈ f√D } 2πi a n sign(Qτ (m, n)) − A √ f (8.3) = w1( D) s e , Re(s) > 1. 2 Qτ (m, n) ητ (m,n) Z (0,0) h i\{ X∈ \ } | | 2 2 σ B √D where w (√D)= 1, Q (x, y)= Ax +Bxy+Cy = A(x τy)(x τ y), τ = − − , 1 − τ − − 2A a b ητ = StabΓ1(f)(τ). The action of a matrix acting on the vector (x, y) h± i c d ! 89 is given by (ax + by, cx + dy). We choose ητ in such a way that cτ + d > 1 where a b ητ = . c d ! Remark 8.1 Note that the variable appearing in the exponent of the exponential of (8.3) is the negative of the second variable of the quadratic form. Lemma 8.1 Let ǫ = (f )× where ǫ > 1. Then the matrix η Γ (f) h i OK ∞ τ ∈ 1 corresponds to the matrix representation of the multiplication map by ǫn, for some n 1, on the lattice Λ with ordered basis τ, 1 . In particular one has that η Γ(f). ≥ τ { } τ ∈ Proof Let = Z + ωZ and assume that ω = √D. The case where ω = 1+√D can OK 2 r√D+s be treated in a similar way. The element τ can be written as τ = t where t and r are coprime to f (this uses the assumption that (Λτ , f) = 1). Let ǫ = u + fv√D> 1 a b a b τ be a generator of K(f )× and let ητ = . Since = O ∞ c d ! c d ! 1 ! τ (cτ + d) we have by definition that cτ + d is a norm one algebraic integer 1 ! with f c and d 1(mod f). Therefore cτ + d (f )× (this uses the fact that | ≡ ∈ OK ∞ (t, f) = 1) and so cτ + d = ǫn for some positive n. The matrix corresponding to ǫ u fvD with respect to the basis √D, 1 is . It thus follows that the matrix { } fv u ! corresponding to multiplication by ǫ for the basis τ, 1 is given by { } r s u fvD 1/r s/rt − . 0 t ! fv u ! 0 1/t ! 2 Computing the upper right entry we find s fv + rfvD which is divisible by f. It thus − rt t follows that the upper right entry of the matrix corresponding to multiplication by ǫn is divisible by f. σ σ a aC A σ If we consider the ideal τ aΛτ = aτ Z + A CZ = A (Z + C τ Z) then using (7.1) we find that σ 2πi a m aτ Λτ sign(Qτ (m, n)) A σ√ f (8.4) Ψ( ,w1,s)= w1(τ D) s e f√D 2 Qτ (m, n) ητ (m,n) Z (0,0) h i\{ X∈ \ } | | 90 Remark 8.2 Note that this time the variable appearing in the exponent of the exponential of (8.4) is the first variable of the quadratic form. Observe also that the σ ideal aτ Λτ is coprime to f iff f ∤ C. The reader should keep in mind that one can pass from (8.3) to (8.4) by multiplying the ideal in the first entry of Ψ by τ σ. We want to define a Ψ∗-zeta function attached to the lattice aΛ where the corre- τ ∗ sponds to a certain involution. The lattice aΛ is equivalent to Ω(a, Λ ) modulo τ τ ∩OK P (f ). Remember that we have an involution K,1 ∞ : Y (fN ) Y (fN ) ∗fN0 1 0 → 1 0 r r ( ,rΛτ ) ( − ,rΛ 1 ) fN0 7→ fN0 fN0 Let (1, τ) OK (f, N ) where τ is reduced and consider the integral primitive binary ∈ Hp 0 quadratic form of discriminant D attached to τ 2 2 Qτ (x, y)= Ax + Bxy + Cy , A> 0. The lattice AΛ is the integral -ideal corresponding to Q (x, y). Consider also the τ OK τ 2 1 primitive binary quadratic form of discriminant f D attached to τ ∗ = . fN0τ A Q (x, y)= sign(C) f 2CN x2 + Bfxy + . τ ∗ 0 N 0 The lattice f 2CN Λ is the integral -ideal corresponding to Q (x, y) where 0 τ ∗ OK,f τ ∗ = Z + fωZ is the order of conductor f. Note that OK,f (1) Tr(µ) 1 Z if µ AΛτ , ∈ f ∈ f√D 2 1 Cf N0Λ CN0Λ (2) Tr(µ) Z if µ τ∗ = τ∗ . ∈ f ∈ f 2√D √D Note the appearance of f 2 in the denominator of the left hand side of the equality in 2 (2). This is accounted for the fact that that the ring of endomorphisms of Cf N0Λτ ∗ is . This I hope motivates the following definition OK,f Definition 8.1 Let aΛ be an integral -ideal and let Q (x, y)= Ax2 + Bxy + τ OK τ Cy2 be the integral primitive binary quadratic form attched to τ. Note that A a. We | 91 define s N 2πiTrK/Q(µ) aΛτ CN0Λτ ∗ sign( K/Q(µ))e Ψ∗ ,w,s := N f√D √D N(µ) s CN0 Λτ K (f ) 0=µ ∗ | | O ∞ ×\{X6 ∈ √D } (8.5) 2πi a n sign(Qτ (m, n)) A √ ∗ f = w1( D) s e Qτ (m, n) η (Z2 (0,0)) ∗ h τ∗ i\X\ | | (8.6) 2πi a m sign(QfN τ (m, n)) A √ 0 f = w1( D) s e 2 QfN0τ (m, n) ητ (fN0) (Z (0,0)) h Xi\ \ | | 1 Bf+f√D 2 2 A 2 where τ ∗ = = − 2 , Q (x, y)= sign(C) f CN x + Bfxy + y and fN0τ f N0C τ ∗ 0 N0 d c/fN0 a bfN0 ητ ∗ = , ητ (fN0)= . bfN0 a ! c/fN0 d ! The third equality follows from the change of variable (x, y) (y, x) and uses the 7→ identity Q (m, n) = Q (n, m) . Again Ψ∗ depends only on the narrow ideal | τ ∗ | | fN0τ | class modulo f of the integral ideal aΛτ . Remark 8.3 It is interesting to point out that the third equality reflects the functional equation of a certain Eisenstein series. This is clear if one looks at the proof of lemma 9.2. We want to define now dual zeta functions to Ψ and Ψ∗ (dual in the sense of the functional equation). Definition 8.2 For s C such that Re(s) > 1 we define ∈ aΛτ 2s sign(Qτ (m, n)) (8.7) Ψ( ,w1,s) := f s , √Df a Qτ (m, n) ητ (0=(m,n) ( ,0)(mod f)) h i\ 6 X≡ A | | b and aΛτ 2s sign(Qτ ∗ (m, n)) ∗ Ψ ( ,w1,s) := f s √ Qτ (m, n) Df η (0=(m,n) ( a ,0)(mod f)) ∗ h τ∗ i\ 6 X≡ A | | b 2 2 where A is the leading coefficient of the quadratic form Qτ (x, y)= Ax + Bxy + Cy . 92 Remark 8.4 Note that the matrices ητ and ητ preserve the congruence ∗ a ( , 0)(mod f). A We can now write down the functional equation for Ψ and Ψ∗. Theorem 8.1 For s C such that Re(s) < 1 we have ∈ − aΛτ aΛτ (8.8) Fw (s)Ψ( ,w1,s)= Fw (1 s)Ψ( ,w1, 1 s), − 1 √Df 1 − f√D − and b aΛτ aΛτ (8.9) F ∗ (s)Ψ∗( ,w1,s)= F ∗ (1 s)Ψ∗( ,w1, 1 s). − w1 √Df w1 − f√D − s/2 s s+1 2 b s/2 s s+1 2 where Fw1 (s) = disc(Qτ ) π− Γ 2 and Fw∗1 (s)= disc(Qτ ∗ ) π− Γ 2 . Note that the left hand side of (8.8) and (8.9) make sense when Re(s) < 1 since Ψ and − Ψ∗ admit a meromorphic continuation to C (see corollary 8.1). Remark 8.5 Later on we will relate special values of Ψ and Ψ∗ at negative even integers (see proposition 9.4). At this stage it is not clear that Ψ can be related to b b Ψ∗ in any obvious way. b Web end this subsection with this useful lemma Lemma 8.2 We have aΛτ s 1 Ψ( ,w1,s)= N(f) ζ (aΛτ )− ,f,w1,s . √Df where the function onb the right hand side is a partial zeta function of K weighted by the infinite character w = sign N . 1 ◦ K/Q Proof We have aΛτ 2s sign(Qτ (m, n)) Ψ( ,w,s)= f s √Df a Qτ (m, n) ητ (0=(m,n) ( ,0)(mod f)) h i\ 6 X≡ A | | 2s s b f A sign(Q σ (m, n)) = τ 2s A s a a 2 Qτ σ (m, n) η σ (0=(m,n) ( ,0)(mod f)) a h τ i\ 6 X≡ A | | 93 s s A w1(µ) = N(f) N Λ σ τ N s a A (µ) K (f )× 0=µ Λτσ ,µ 1(mod f) | | O ∞ \{ 6 ∈Xa ≡ } s A = N(f) ζ Λ σ ,f,w ,s a τ 1 s 1 = N(f) ζ (aΛτ )− ,f,w1,s