arXiv:math/0003113v1 [math.AG] 20 Mar 2000 eciethe describe Q oBohadKt B-a:Tefis steReanzt functi zeta Riemann the is situ first critical The non the of [Bl-Ka]: in K-t case Kato far the and so of proven Bloch e cases maps to two the regulator for only the 1.1 are (see There of ´etale cohomology and terms Deligne in into variety variety a of function Melpi uvsuiganwepii ecito ftesp the Bloc of of description explicit conjecture polylogarithm. new number elliptic a Tamagawa using the curves prove elliptic we CM paper this In Introduction K-groups. ed oapofo h elno ojcuefrC litcc elliptic th CM of for understanding an conjecture needs Beilinson regu one the (when the conjecture of series number Here, proof Tamagawa Eisenstein a analytic symbol. real to Eisenstein of leads the terms of in help described the with [Den2] ale ae H-i]w salse ihA ue h rela s the Eisenstein Huber A. the with by established defined we K-theory [Hu-Ki2] of paper earlier subspace the on ulator euao fteEsnti yblwt h specialization the with symbol Eisenstein the of regulator lse.Sc nepii elzto skoni h cyclot o the torsors uses in [Del2], known Deligne is to due realization mainly explicit there, approach an Such classes. to,det h xesv oko elno n ei [Be-L Levin and the p Beilinson of elliptic of the work theory extensive of a the realization to Hodge due absolute stood, the ex only the far, simplifies So which elliptic polylog, Beilin the the of the characterizes specializations property of with proved cases be known can All or proved L-functions. of values special oyoaih ha.Tepolmrmis ocmuethese compute to remains, problem The sheaf. polylogarithm h aaaanme ojcuefrC elliptic CM for conjecture number Tamagawa The o eua rms ntels aeBohadKt s na ho ad an use Kato and Bloch case last the In primes. regular for h aaaanme ojcuedsrbsteseilvalue special the describes conjecture number Tamagawa The h euao a oDlgechmlg a optdb Deni by computed was cohomology Deligne to map regulator The h litcpllgrtmi n ftems oefltools powerful most the of one is polylogarithm elliptic The Q n h eodteLvlea faC litccredfie o defined curve elliptic CM a of 2 at L-value the second the and ) p ai euao fteKter.Ti osntetn ohigh to extend not does This K-theory. the of regulator -adic p ai elzto,wihgv aaebe´etale cohomolog manageable give which realization, -adic rpitMrh1,2000 17, March Preprint yGioKings Guido by curves 1 oyo.Auniversal A polylog. lctcomputations. plicit fthe of o ojcueare conjecture son atformulation). xact etenm)and name) the ce llgwsunder- was olylog ver caiaino the of ecialization ino the of tion mccs.The case. omic to,bt due both ation, ] isn was Missing e]. specializations. re.Frthe For urves. ntesuyof study the in G mo.I an In ymbol. p ao a be can lator e er fthe of heory ai elliptic -adic m ehdto method c n(..the (i.e. on fteL- the of s -aofor h-Kato p r ai reg- -adic which 1 p -adic nger ver er y are ramified in 1. This is not transferable to the elliptic case, because such torsors over elliptic curves do not exist (there are no Galois coverings ramified in exactly one point due to compactness). In our approach we allow instead ramification at torsion points, constructing in fact torsors over E r E[ln]. But this is not the only change of point of view compared to the cyclotomic case. The question is also, what is the group whose torsors we have to consider. The right choice is the group of torsion points of the torus with character group the augmentation ideal of the group ring of E[ln]. It turns out that the elliptic polylogarithm is an inverse limit of pr-torsion points of a certain one-motive, which is essentially the generalized Jacobian defined by the divisor of all pr-torsion points on the elliptic curve E. The cohomology classes of the elliptic polylogarithm sheaf can then be described by classes of sections of certain line bundles. These sections are elliptic units and going carefully through the construction one finds an analog of the elliptic Soul´eelements of [So2]. Now enters Iwasawa theory: By an idea of Kato, going back in part to earlier work of Soul´e[So2], the ´etale cohomology groups can be described in terms of Iwasawa modules and Rubin’s “main conjecture” [Ru2] allows to give a bound on the kernel and the cokernel of Soul´e’s map from elliptic units to the ´etale cohomology. On the way we also need some of the tools developed by Rubin to prove the main conjecture and the whole theory is the second decisive input into the proof of the Tamagawa number conjecture.

Let us finally give a rough sketch of the contents of this paper. More overviews can be found at the beginning of each section. In the first section we recall the statement of the Tamagawa number conjecture and formulate our main result 1.1.5. After this we recall Deninger’s construction of the K- theory elements leading to the Beilinson conjecture for CM elliptic curves. Here we also reduce to the computation of the specialization of the elliptic polylogarithm sheaf by using our earlier work [Hu-Ki2]. The second section reviews the “main conjecture” and relates the Iwasawa modules to ´etale cohomology. The next two sections are independent of the rest of the paper. The third section introduces the elliptic polylog and its specializations. The approach follows the important paper [Be-Le] but puts the emphasis on different aspects, which are important for our geometric construction of the elliptic polylog. The technical heart of the paper is section four. Here we formulate the polylog as an inverse limit of torsion points of one motives. The cohomology classes of what we call “geometric polylog” are then computed as the classes of sections of certain line bundles.

2 The last section puts the various results together and gives the proof of the main theorem 1.1.5.

It is a pleasure to thank Annette Huber for her constant encouragement and for the many discussions about the contents of this paper and related results. Pierre Colmez read a first version of this paper and pointed out some inaccuracies and gave valuable hints for improvement. I like to thank him warmly. Thanks go also to Christopher Deninger for insisting strongly that my computation of the l-adic elliptic polylog should be turned immediately into a proof of the Tamagawa number conjecture. Also I like to thank P. Schneider for clarifying some point in Iwasawa theory.

1 The Bloch-Kato conjecture for CM-elliptic curves

This part of the paper contains our first main result, the Bloch-Kato conjecture for CM elliptic curves. For the precise formulation of our result we refer to 1.1.5. This part is organized as follows: First we review the Bloch-Kato conjecture in the case of interest to us. Here we also formulate the main theorem. Then we recall the construction due to Deninger of elements in the K-theory of CM elliptic curves. These elements satisfy the Beilinson conjecture for these curves as was shown by Deninger. This is the starting point of our investigations of the Bloch-Kato conjecture. In the formulation of Kato, the conjecture is concerned with Zp-lattices of Qp-vector spaces namely ´etale cohomology groups. Using an idea of Soul´e(the elliptic Soul´eelements) and the machinery of the Iwasawa “main conjecture” developed by Rubin, we can describe the ´etale cohomology groups, or better the complexes computing them, fairly well. The Iwasawa “main conjecture” will be reviewed in section 2.1 and the description of the ´etale cohomology groups is in section 2.2. Finally, the last section contains the comparison between the elliptic Soul´eelements and Deninger’s K-theory elements. Here we need the results of part 4 and in particular theorem 4.2.9.

1.1 The Tamagawa number conjecture of Bloch-Kato and the main theorem This section recalls the Bloch-Kato conjecture [Bl-Ka] about special values of L-functions in the formulation of Kato [Ka1] and [Ka2]. We review this only for certain weights, which suffices for our purpose. Then we formulate our main result.

3 1.1.1 The Tamagawa number conjecture in the formulation of Kato Let X/K be a smooth proper variety over a number field K with ring of integers . Fix integers m 0 and r such that m 2r 3 and r > OK ≥ − ≤ − inf(m, dim(X)). Let p be a prime number not equal to 2. Let S be a set of finite primes of K containing the primes lying over p and the ones where X has bad reduction. Let be [ 1 ] the ring, where the primes in S are OS OK S inverted. Define Gal(K/K)-modules

V := Hm(X K, Q (r)) p ×K p T := Hm(X K, Z (r)) p ×K p Let j : Spec K Spec and define the p-adic realizations to be → OS Hi := Hi( , j T ). p OS ∗ p

We will omit the j∗, if no confusion is likely. Define

H := Hm (X C, (2πi)r−1Z)+ h,Z sing ×Q where the + denotes the fixed part under Gal(C/R) of the singular cohomology of X. Here Gal(C/R) acts on C and on (2πi)r−1Z. Finally we need the K-theory of X: Let

H = (K (X) Q)(r) M 2r−m−1 ⊗ be the r-th Adams eigenspace of the 2r m 1-th Quillen K-theory of X. − − There are regulator maps due to Beilinson and Soul´e

r : H R H R D M ⊗Q → h,Z ⊗Z and

r : H Q H1 Q p M ⊗Q p → p ⊗Zp p called the Deligne regulator (see [Be1]) and the p-adic regulator (see [So2]). Remark: Note that because of our assumption r > inf(m, dim(X)), the Deligne cohomology coincides with H R (cf. [Sch2] sequence (*) on page h,Z ⊗Z 9). The same condition (together with m 2r 3) also guarantees that − ≤ − Hi = Hi Q (cf. [Ka2] 2.2.6 (4)). lim p ⊗Zp p Let us define local Euler factors for X. Let for a prime p ∤ p in OK −s Ip P (V ,s) := det (1 Fr N p Vp ) p p Qp − p |

4 be the characteristic polynomial of the geometric Frobenius Frp at p on the invariants of V under the inertia group I at p. For p p set p p | P (V ,s) := det (1 φ−1 N p−s D (V )) p p Qp − p | cris p where D (V )) := (V B )Gal(Qp/Qp) and φ is the arithmetic Frobenius. cris p p ⊗Qp cris p Define the L-function of X as

−1 LS(Vp,s) := Pp(Vp,s) . pY∈/S ∗ Let Vp be the dual Galois module of Vp. We now give Kato’s formulation of the Tamagawa number conjecture. Here and in the rest of the paper the determinants are taken in the sense of Knudsen and Mumford [Kn-Mu]. Conjecture 1.1.1. (cf. [Ka2]) Let p = 2 be a prime number, r, m and S be 6 as above. Assume that P (V ∗(1), 0) = 0 p p 6 for all p S and that L (V ∗(1),s) has an analytic continuation to all of C. ∈ S p Then: 2 a) The maps rD and rp are isomorphisms and Hp is finite. b) dim (H Q) = ord L (V ∗(1),s). Q h,Z ⊗ s=0 S p c) Let η det (H ) be a Z-basis and let e := dim (H Q). There is an ∈ Z h,Z Q h,Z ⊗ element ξ det (H ) such that ∈ Q M −e ∗ rD(ξ) = (lim s LS(Vp (1),s))η. s→0 This is the “Beilinson conjecture”. d) Consider r (ξ) det (H1 Q ), then r (ξ) is a basis of the Z -lattice p ∈ Qp p ⊗Zp p p p det (RΓ( , T ))−1 det (RΓ( ,V )[ 1]) = det (H1 Q ), Zp OS p ⊂ Qp OS p − ∼ Qp p ⊗Zp p i.e.

1 2 [detZp (Hp ) : rp(ξ)Zp]=#(Hp ). Remark: a) The assumption in the conjecture is true for abelian varieties with CM. 0 b) The space Hp is zero for weight reasons. c) Part b) follows from the expected shape of the functional equation, (see e.g. [Sch2] proposition page 9). As our knowledge of K-theory is limited, let us also formulate a weak version of the above conjecture.

5 constr Conjecture 1.1.2. (weak form of conjecture 1.1.1) There is a subspace HM in HM (the constructible elements of HM) such that constr 2 a’) rD and rp restricted to HM are isomorphisms and Hp is finite. b’) same as b) c’) There is an element ξ det (Hconstr) such that ∈ Q M −e ∗ rD(ξ) = (lim s LS(Vp (1),s))η. s→0 d’) The element rp(ξ) is a basis of the Zp-lattice

det (RΓ( , T ))−1 det (RΓ( ,V )[ 1]) = det (H1 Q ). Zp OS p ⊂ Qp OS p − ∼ Qp p ⊗Zp p 1.1.2 Elliptic curves with CM Before we formulate the main theorem, we introduce the elliptic curves we want to consider. We follow the notations and conventions in Deninger [Den1]. Let K be an imaginary quadratic field with ring of integers . Let E/K be an OK elliptic curve with CM by . Note that this implies that the class number OK of K is one. We fix an isomorphism

ϑ : = End (E ), OK ∼ K K such that for ω Γ(E , Ω ) and α we have ϑ∗(α)ω = αω. We fix ∈ K EK /K ∈ OK also an embedding of K into C, such that the algebraic j-invariant of E is the same as the corresponding complex analytic j-invariant of . Let us denote OK by

ψ : A∗ K∗ C∗ K → ⊂ the CM-character or Serre-Tate character of EK and let f be its conductor. The elliptic curve E has bad reduction precisely at the primes dividing f. Denote by ψ the complex conjugate character. Its conductor is also f. Definition 1.1.3. Fix a prime number p. We let S be the set of primes in K dividing pf. Associated to ψ is an L-series 1 L (ψ,s)= . S ψ(p) 1 s Yp∤pf − N p

We want to relate this to the L-function LS(E,s) of E. Recall the fundamental result of Deuring:

6 Theorem 1.1.4. (see [Si]II 10.5.) Let LS(E/K,s) := LS(Vp,s) be the L- series of the Galois representation V := H1(E K, Q ) as defined in section p ×K p 1.1.1. Then

LS(E/K,s)= LS(ψ,s)LS (ψ,s).

n Let TpE = lim nE[p ] be the Tate-module of E. This is a Gal(K/K)- module. Then H←−1(E K, Z ) = Hom(T E, Z ) = T E( 1), where := ×K p ∼ p p ∼ p − Op Z acts now conjugate linear on T E. There is a canonical isomorphism OK ⊗ p p H1(E C, (2πi)rZ)+ = H1(E C, (2πi)rZ), ×Q ∼ ×K where we used the fixed embedding K C. Let ⊂ Hi (E, j) := (K(E) Q)(j) M 2j−i ⊗ be the 2j i-th Quillen K-theory of E. − For m = 1, r = k + 2 with k 0 in the notation of 1.1.1 we have ≥ Hi = Hi( , T E(k + 1)) p OS p H = H1(E C, (2πi)k+1Z) h,Z ×K 2 HM = HM(E, k + 2). Note that on all these spaces we have a canonical -action and that H is OK h,Z an -module of rank 1. It is a result of Jannsen ([Ja2] corollary 1) that if OK H2 is finite then the free part of H1 is an -module of rank 1. p p OK 1.1.3 The main theorem Now we can formulate our main result. We let := Z . Op OK ⊗ p Theorem 1.1.5. Let p = 2, 3 and p ∤ N f and k 0. Then, there is an 6 K/Q ≥ submodule H of rank 1 such that OK Rψ ⊂ M a) det (r ( )) = L∗ (ψ, k)det (H ) in det (H R) OK D Rψ ∼ S − OK h,Z OK ⊗R h,Z ⊗ and b) The map rp induces an isomorphism

det ( ) = det (RΓ( , T E(k + 1)))−1. Op Rψ ∼ Op OS p Here L∗(ψ, k) = lim L(ψ,s) denotes the leading coefficient of the Taylor − s→−k s series of L(ψ,s) at k. Moreover, if H2 is finite, r is injective on and − p p Rψ det H1/r ( ) = det H2. Op p p Rψ ∼ Op p

7 Remark: i) Part a) was proven by Deninger in [Den1]. This is the Beilinson conjecture for Hecke characters. ii) For k = 0 and CM elliptic curves defined over Q with CM by and p OK regular, part b) was proven in [Bl-Ka]. They used an ad hoc computation of the p-adic realization of the K-theory elements, which does not generalize. iii) Let us explain part b) in more detail: The Soul´eregulator

r : H1 Q p Rψ → p ⊗ p extends to a map to RΓ( , T E(k+1))[ 1] Q because H0 is zero for weight OS p − ⊗ p p reasons. The determinant of this complex has as -lattice the determinant Op of RΓ( , T E(k + 1))[ 1], which is det (RΓ( , T E(k + 1)))−1. Part b) OS p − Op OS p means that the determinant of the complex

r p RΓ( , T E(k + 1))[ 1] Rψ −→ OS p − 2 is trivial. If Hp is finite, and rp Qp an isomorphism, we get from this 1 2 ⊗ detOp (Hp /rp( ψ)) ∼= detOp Hp . R 2 iv) Note that Hp is finite for almost all k 0 or for p regular. See the next 2 ≥ section for remarks on the finiteness of Hp . v) From this result for the set of primes S we get it for all other set of primes which contain S. This follows from [Ka2] 4.11. As a corollary we get a result about Zp determinants and the L-function of E/K:

Corollary 1.1.6. Under the conditions of the theorem a) det (r ( )) = L∗ (E/K, k)det (H ) Z D Rψ S − Z h,Z and that b) det (r ( )) = det (RΓ( , T E(k + 1)))−1. Zp p Rψ Zp OS p Here L∗(E/K, k) = lim L(E/K,s) denotes the leading coefficient of the − s→−k s2 Taylor series of L(E/K,s) at k. − Proof. This follows from the theorem and the remark that if we multiply an -module with an element L∗(ψ, k) from R, then the determinant OK − OK ⊗ is multiplied by the norm N (L∗(ψ, k)). But N (L∗(ψ, k)) = OK ⊗R/R − OK ⊗R/R − L∗(E/K, k). Part b) is obvious. − Here is a short overview of the proof: We start by recalling Deninger’s definition of K-theory elements and his main result about the relation of these to the L-value. Then we use an idea of Soul´eto construct a submodule of

H1( , T E(k + 1)) OS p

8 via elliptic units. Iwasawa theory allows us to compute the index of this submodule. The proof concludes with the comparison of this submodule and . This is the main step in the proof which needs the theory developed in Rψ part 4 and in particular the explicit description of the elliptic polylogarithm 2 of theorem 4.2.9. The injectivity of rp in the case that Hp is finite, will be proved in section 5.2.2.

1.1.4 Some remarks concerning the finiteness of H2 2 Note that we do not prove that Hp is finite. Nevertheless, there is the following result of Soul´e: Theorem 1.1.7. ([So1] 1.5 proposition 3) For fixed p the group H2( , T E(k + 1)) OS p is finite for almost all k. For regular p, we have results of Soul´eand Wingberg: Theorem 1.1.8. ([So2] 3.3.2, [Win] cor. 2) Let p be a regular prime for E (see e.g.[So2] 3.3.1 for the definition of regular), then H2( , E[p∞](k + 1)) = 0. OS 2 It is easy to see that this vanishing implies the finiteness of Hp (cf. [Ja2] lemma 1). 2 Remark: In [Ja2] it is conjectured that Hp is always finite.

1.2 Review of the Deninger elements for CM elliptic curves over an imaginary quadratic field Here we describe briefly the construction by Deninger [Den1] of the elements in K-theory, which interpret the L-value up to rational numbers as predicted by Beilinson’s conjecture. We are interested in the L-values L(ψ, k + 2) with k 0. Thus according 2 ≥ to 1.1.1 we need an element in HM(E, k + 2).

1.2.1 The Deninger–Beilinson construction We fix an algebraic differential ω H0(E, Ω ) and let Γ be its period ∈ E/K lattice. Then we have an isomorphism E(C) C/Γ → z z ω 7→ Z0

9 using the fixed embedding K C. This isomorphism is equivariant for the ⊂ action of complex multiplication and because j(E) = j( ) the lattice is of OK the form Γ = Ω for some Ω C∗. Fix an generator γ H (E(C), Z), OK ∈ OK ∈ 1 then

Ω= ω. Zγ Recall that f is the conductor of ψ and the locus of bad reduction of E. Let Z[E[f]r0] be the group of divisors with support in the f-torsion points without 0 of E, defined over K. Beilinson defines a map: Theorem 1.2.1. ([Be2] There is a non-zero map, a variant of the Eisenstein symbol,

E2k+1 Z[E[f] r 0] M H2k+2(E2k+1, 2k + 2), −−−→ M where En := E . . . E. ×K ×K Deninger constructs a projector

: H2k+2(E2k+1, 2k + 2) H2 (E, k + 2) KM M → M as follows: Let dK be the discriminant of K and √dK be a square root of dK . Complex multiplication gives a map

δ = (id,ϑ( d )) : E E E K → ×K and taking this k-times gives δk pid : Ek E E2k E. Then × ×K → ×K k ∗ = pr ◦(δ id) KM ∗ × where pr is the projection Ek E E onto the last component. Hence we ×K → get a map

2k+1 2 ◦ : Z[E[f] r 0] H (E, k + 2). KM EM → M 1.2.2 The Beilinson conjecture for CM elliptic curves Following Deninger we define an element β in Z[E[f] r 0]. Let K(f) be the ray class field associated to f and note that K(f)= K(E[f]). Let f be a generator of f. Then

(1) Ωf −1 f−1Γ ∈

10 defines an element in E[f](K(f)). This gives a divisor (Ωf −1) in Z[E[f] r 0] defined over K(f) on which the Galois group Gal(K(f)/K) acts. We define:

−1 β := NK(f)/K ((Ωf )). This is a divisor defined over K. Recall that γ is an generator of H (E(C), Z). OK 1 By Poincar´eduality we have an isomorphism (conjugate linear for the - OK action)

1 1 H (E(C), Z(k + 1)) ∼= Hom(H (E(C), Z), Z(k)) = H1(E(C), Z(k)). Denote by η the generator of H1(E(C), Z(k+1)) corresponding to (2πi)kγ OK under this isomorphism. We can now formulate the main result of [Den1] in our case: Theorem 1.2.2. ([Den1] thm. 11.3.2) Let β and η be as above and define

−1 k−1 (2k + 1)! Lp(ψ, k) 2k+1 2 ◦ ξ := ( 1) k−1 − k M M (β) HM(E, k + 2), − 2 ψ(f) NK/Q f K E ∈ where L (ψ, k) is the Euler factor of ψ at p, evaluated at k. Then p − − r (ξ)= L∗ (ψ, k)η H1(E C, (2πi)k+1R), D S − ∈ ×K where L∗ (ψ, k) = lim LS(ψ,s) . S − s→−k s Note that L (ψ, k) = 1, if p f. We can now define the space of the p − | Rψ main theorem 1.1.5 Definition 1.2.3. We define

:= ξ H2 (E, k + 2) Rψ OK ⊂ M to be the -submodule of H2 (E, k + 2) generated by ξ. OK M Note that by the above theorem, is an -modules of rank 1. Rψ OK Corollary 1.2.4. With the above notation

r (det ( )) = L∗ (E/K, k)det (H1(E(C), Z(k + 1))). D Z Rψ S − Z where S is the set of primes in K dividing pf. Proof. This follows from the theorem and the remark that if we multiply an -module with an element L∗ (ψ, k) from R, then the determinant OK S − OK ⊗ is multiplied by the norm N (L∗ (ψ, k)). But N (L∗ (ψ, k)) = OK ⊗R/R S − OK ⊗R/R S − L∗ (E/K, k). S −

11 1.2.3 The space rp( ψ) in terms of the specialization of the elliptic polylog R Recall from definition 1.2.3 that the space is generated as an -module Rψ OK by the element ξ from theorem 1.2.2. The element ξ is up to some factors of 2k+1 the form ◦ (β). Let us define KM EM t := Ωf −1 with the notation from 1. This is an NK/Q f-division point. Then we have β = NK(f)/K ((t)). Now let

(β∗ ol )2k+1 H1( , Sym2k+1 (1)) P Qp ∈ OS HQp be the specialization of the polylogarithm as defined in 3.5.9. We have the following comparison theorem: Theorem 1.2.5. There is an equality

r ( 2k+1(β)) = N f4k+2(β∗ ol )2k+1 p EM − P Qp in H1( , Sym2k+1 (1)). OS HQp Proof. The formula is the combination of two results: Theorem 2.2.4 in [Hu-Ki2], which states that

r ( is2k+1(̺β)) = N f2k(β∗ ol )2k+1 p E M − P Qp where is2k+1 is Beilinson’s Eisenstein symbol and ̺ the horospherical map. E M Note that what is here called (β∗ ol )2k+1 is in loc. cit. (β∗ ol )2k+2. P Qp P Qp Furthermore, according to [Den2] formula 3.35.,

2k+1(β) = N f2k+2 is2k+1(̺β). EM E M Note that the formula 3.35. in [Den2] uses an other normalization of the horospherical map and that there is a factor N f missing because of a wrong dq normalization of the residue map (the residue of q in formula (3.7) in loc. cit. is not 1 but N).

We have now two tasks: To compute the specialization of the elliptic poly- log and to identify the ´etale cohomology groups to compute the “index” of r ( ) in H1( , Sym2k+1 (1)). The answer to these problems involves p Rψ OS HZp elliptic units and we will start to use Iwasawa theory and Rubin’s proof of the main conjecture to identify the the ´etale cohomology groups.

12 2 Iwasawa theory

This section treats the relation between certain Iwasawa modules and ´etale cohomology. Rubin’s “main conjecture” is used in an essential way. We first review the results of Rubin and then use an idea of Soul´eto produce elements in ´etale cohomology using elliptic units. An idea of Kato, which partly goes back to Soul´eas well, allows to compare the elliptic units and ´etale cohomology. The main result of this part is theorem 2.2.11.

2.1 Review of the “main conjecture” of Iwasawa theory for CM elliptic curves In this section we review the “main conjecture” of Iwasawa theory for CM elliptic curves proved by Rubin [Ru2]. This will be used in section 2.2 to reduce the Tamagawa number conjecture to an “index computation”.

2.1.1 Definition of the Iwasawa modules We follow Rubin [Ru2]: Let E/K be as before an elliptic curve with CM by K , K an imaginary quadratic field. We fix an embedding of K into C and O ∗ view K as a subfield of C. Fix a prime p ∤ # K and a prime p of k lying n n O O n+1 over p and denote by E[p ] the p -torsion points of E. Let Kn := K(E[p ]) be the extension field defined by these torsion points and K∞ := lim nKn. Denote the ring of integers in these fields by n (resp. ∞). Then−→ ∆ := O O 2 Gal(K0/K) has order prime to p and Γ := Gal(K∞/K0) is isomorphic to Zp. Let := Gal(K /K) be the Galois group of the extension K /K. Then G ∞ ∞ ∼= ∆ Γ. Define n to be the p-part of the ideal class group of Kn, n to G × A ∗ p E be the group of global units of K and n the local units of K K On n U n ⊗K p which are congruent to 1 modulo the primes above p. For every prime v of Kn above p there is an exact sequence

(2) 1 K∗ Z κ∗ 1 →Un,v → n,v → × n → p and n = . Here are the local units congruent to 1 modulo v U v|p Un,v Un,v and κ is the residue class field of K . Let be the elliptic units in K n L n,v Cn n as defined in [Ru2] paragraph 1. We recall their definition. For every ideal a prime to 6 consider the function θ (z) that will be defined in 4.2.2. ∈ OK a The function θa(z) is a 12-th root of the function in [deSh] II.2.4. Let t := Ωf −1 and a be an ideal prime to 6f.

13 Definition 2.1.1. (cf.[Ru3] 11.2) Let Cn be the subgroup of units generated over Z[Gal(Kn/K)] by

σ θa(t + hn), σ∈Gal(YK(f)/K) where a runs through all ideals prime to 6pf, K(f) is the ray class field defined n by f and hn is a primitive p -torsion point. Define := µ (K )C , Cn ∞ n n the group of elliptic units of Kn. p p p Denote by and the closures of n resp. n in n. Finally En Cn En ∩U Cn ∩U U define

p p ∞ := lim n n, ∞ := lim n n, ∞ := lim n n, ∞ := lim n n A ←− A E ←− E C ←− C U ←− U p where the limits are taken with respect to the norm maps. Denote by M∞ the maximal abelian p-extension of K∞ which is unramified outside of the primes p p above p, and write ∞ := Gal(M∞/K ). Global class field theory gives an X ∞ exact sequence

(3) 0 / p / p 0. → E∞ C∞ →U∞ C∞ →X∞ →A∞ → Define the Iwasawa algebra

Zp[[ ]] := lim nZp[[Gal(Kn/K)]] G ←− this has an action of Zp[∆]. For any irreducible Zp-representation χ of ∆, let 1 e := Tr(χ(τ))τ −1 Z [∆] χ #∆ ∈ p τX∈∆ χ and let for every Zp[∆]-module Y be Y := eχY be the χ-isotypical compo- nent. In particular we define

Λχ := Z [[ ]]χ = R [[Γ]] p G χ where Rχ is the ring of integers in the unramified extension of Zp of degree dim(χ). As we will work with Z [[Γ]] -modules, we let p ⊗ Op Λ := [[Γ]]. Op χ χ p χ χ χ χ Then ∞, ∞, ∞ , ∞ and ∞ are finitely generated Λ -modules (see [Ru2] E C U A Xχ χ χ χ paragraph 5). The modules ∞ and / are even torsion Λ -modules. A E ∞ C∞

14 2.1.2 Rubin’s “main conjecture” for imaginary quadratic fields We have the following lemma due to Kato: Lemma 2.1.2. (see [Ka2] proposition 6.1.) Let Y be a finitely generated torsion Λχ-module. Then

detΛχ (Y ) = char(Y ), where char(Y ) is the usual characteristic ideal in Iwasawa theory (see e.g. [Ru2] paragraph 4) and the determinant is taken in the sense of [Kn-Mu]. With this lemma we can formulate the main result of [Ru2] as follows: Theorem 2.1.3. ([Ru2] theorem 4.1.) Let p ∤ # ∗ . OK i) Suppose that p splits in K, then

χ χ χ det χ ( ) = det χ ( / ). Λ A∞ Λ E∞ C∞ ii) Suppose that p remains prime or ramifies in K and that χ is nontrivial on the decomposition group of p in ∆, then

χ χ χ det χ ( ) = det χ ( / ). Λ A∞ Λ E∞ C∞ Using the theory of the determinant and the exact sequence (3) we get: Corollary 2.1.4. In the situation of the theorem 2.1.3,

p χ p χ χ det χ ( ) = det χ ( / ). Λ X∞ Λ U∞ C∞ We need a variant of this. Let ∞ be the Galois group of the maximal p X abelian p-extension M∞ of K∞ which is unramified outside of the primes above p p. In the case where p is inert or ramified this is the same as ∞. Define also X ∗ := p p U∞ U∞ ×U∞ if p = pp∗ is split, and

:= p U∞ U∞ if p is inert or ramified. Let similarly be the p-adic completion of (K Q )∗ Yn n ⊗ p and ∞ := lim n n. We have an inclusion ∞ ∞. Class field theory gives Y ←− Y U ⊂Y (4) 0 / / 0. → E∞ C∞ →U∞ C∞ →X∞ →A∞ → p p∗ where is diagonally embedded into ∞ ∞ if p is split. On this sequence C∞ U ×U acts and we get: G

15 Corollary 2.1.5.

χ χ χ det χ ( ) = det χ ( / ). Λ X∞ Λ U∞ C∞

Lemma 2.1.6. Let p ∤ N f be a prime. If p splits in K, the inclusion U∞ → is an isomorphism and if p is inert or ramified in K, there is an exact Y∞ sequence

0 Z [∆/∆ ] 0, →U∞ →Y∞ → p p → where ∆p is the decomposition group of p in ∆ = Gal(K0/K). Proof. We have exact sequences

1 K∗ Z κ∗ 1 →Un,v → n.v → × n → where κ is the residue class field of K . By definition = . n n.v Un v|p Un,v As the order of the residue class field κ∗ is prime to p, we have an exact n L sequence

n ∗ n 0 lim n n,v/p lim nKn,v/p Zp 0. → ←− U → ←− → → As E has good reduction at p, we now how p decomposes in Kn (see [Ru1] prop. 3.6). If p is split, the ramification degree of v in Kn+1 is p and the 2 degree of Kn+1 over Kn is p . Hence the norm map induces multiplication by p on Zp and the inverse limit over these maps is zero. This gives the first claim. In the case where p is inert of ramified, v is totally ramified in Kn+1 ∗ ∗ and the norm map from K ′ K induces the identity on Z . Putting n ,v → n,v p these sequences together for all v p and using Z = Z [∆/∆ ] gives the | v|p p p p result. L 2.2 Reductions via Iwasawa theory In this section we use Rubin’s “main conjecture” of Iwasawa theory to reduce the Bloch-Kato conjecture to a comparison between the space of 1.2.3 and Rψ the elliptic units . C∞ We have a subspace

r ( ) H1( ,V ) p Rψ ⊂ OS p where = [ 1 ] and V = T E(k + 1) Q . Recall that S is the set of OS OK S p p ⊗ p primes of K dividing pf. We want to compute the relation of the submodule

16 r ( ) to H1( , T E(k + 1)). Our method, which is inspired by Kato’s p Rψ OS p paper [Ka2], relates the module r ( ) to a certain submodule defined by the p Rψ elliptic units . This submodule in turn is defined using an idea of Soul´e. C∞ Our aim is to relate the determinant of T E(k) to the determinant of C∞ ⊗ p RΓ( , T E(k + 1)) (see theorem 2.2.11 for the exact formulation). OS p In this section p is always a prime which does not divide # ∗ and where OK E has good reduction over the primes above p, i.e. p ∤ N f. Denote by abuse of notation by S the set of primes over p in the ring p On for every n and by the ring of integers in K where the primes above On,Sp n p are inverted. We define := lim . Similarly we define and O∞,Sp nOn,Sp On,S . −→ O∞,S 2.2.1 Review of the Soul´eelements We keep the notations from the section 2.1. n Denote by TpE = lim nE[p ] the Tate module of E and let TpE(k) := T E Z (k) its Tate←− twist. This is a Z [[ ]]-module. We start by p ⊗ p Op ⊗ p G defining a map in the spirit of Soul´e T E(k) H1( , T E(k + 1)) C∞ ⊗Zp p → OS p here T E(k + 1) is a sheaf on because it is unramified outside of S. Write p OS 1 1 r+1 H ( S, TpE(k + 1)) = lim rH ( S, E[p ](k + 1)) O ←− O and let for a norm compatible system of elliptic units (θr)r and an element (t ) T E(k + 1) r r ∈ p e ((θ t ) ) := (N (θ t )) p r ⊗ r r Kr/K r ⊗ r r where θ t is an element in r ⊗ r r+1 ∗ /( ∗ )p E[pr+1](k) H1( , E[pr+1](k + 1)) Or,S Or,S ⊗ ⊂ Or,S

(the inclusion comes from Kummer theory) and NKr/K is the norm map on the cohomology. According to Soul´e([So2] lemma 1.4) this gives a projective system of elements in H1( , T E(k + 1)). The map e factors through the OS p p coinvariants under , so that we can make the following definition: G Definition 2.2.1. The Soul´eelliptic elements are defined by the map e : ( T E(k)) H1( , T E(k + 1)). p C∞ ⊗ p G → OS p We want to investigate to what extend this map gives generators for H1( , T E(k + 1)), i.e. what is the kernel and cokernel of the map e . OS p p

17 2.2.2 The Tate-Poitou localization sequence Our main tool in describing H1( , T E(k + 1)) in terms of elliptic units will OS p be the Tate-Poitou localization sequence. It is convenient for us to write down a derived category version of it. For technical reasons we have to work first over K0. The reason for this is that over K0 the module TpE(k + 1) is unramified outside of the primes above p:

Lemma 2.2.2. ([Ru1]1.3) If p ∤ # ∗ , then over K the elliptic curve E has OK 0 good reduction at all places not dividing p. In particular there exists a model of E over and T E(k + 1) is unramified. O0,Sp p The localization sequence now reads as follows (see [Ka2] (6.3)). Here ∗ is the Pontryagin dual Hom ( , Q /Z ). Op p p ⊗Zp Op RΓ( , T E(k + 1)) RΓ(K Q , E[p∞]( k))∗[ 2] O0,Sp p → 0 ⊗ p − − RΓ( , E[p∞]( k))∗[ 2] , → O0,Sp − − → where we have used the identification

E[p∞]( k) = Hom (T E(k + 1), Q /Z (1) ). − Op p p p ⊗ Op Our next task is to rewrite this Tate-Poitou sequence in terms of Iwasawa theory.

2.2.3 Identification of some Galois cohomology groups with Iwa- sawa modules Let us define

H1(K Q , E[p∞]( k)) : = lim H1(K Q , E[p∞]( k)) ∞ ⊗ p − n n ⊗ p − −→ 1 ∞ = lim n H (Kn,v, E[p ]( k)). −→ − Mv|p

Note that there are only finitely many primes above p in K∞. Proposition 2.2.3. There are isomorphisms of [[ ]]-modules Op G T E(k) = H1( , E[p∞]( k))∗ X∞ ⊗Zp p ∼ O∞,Sp − T E(k) = H1(K Q , E[p∞]( k))∗, Y∞ ⊗Zp p ∼ ∞ ⊗ p − where ∗ is the Pontryagin dual Hom ( , Q /Z ). Op p p ⊗Zp Op

18 Proof. We have

H1( , E[p∞]( k))∗ = Hom(Gal(K/K ), E[p∞]( k))∗ O∞,Sp − ∞ − = Hom(Gal(M p /K ), E[p∞]( k))∗ ∞ ∞ − = T E(k). X∞ ⊗ p In the local case, we have an isomorphism

H1(K Q , E[pn]( k)) = H1(K , E[pn]( k)) n ⊗ p − n,v − Mv|p = Hom(Gal(K /K)ab, E[pn]( k)) n,v − Mv|p By class field theory

Hom(Gal(K /K)ab, E[pn]( k))∗ = K∗ /pn E[pn](k) n,v − ∼ n,v ⊗ so that

H1(K Q , E[p∞]( k))∗ = T (k). ∞ ⊗ p − Y∞ ⊗ p Mv|p

2.2.4 Rewriting the Tate-Poitou localization sequence in terms of Iwasawa theory To proceed further, we need the following vanishing result. Proposition 2.2.4. The groups

H2(K Q , E[p∞]( k)) and H2( , E[p∞]( k)) ∞ ⊗ p − O∞,Sp − are zero. Proof. By local duality we have

H2(K Q , E[p∞]( k))∗ = H0(K Q , T E(k + 1)) = 0. n ⊗ p − ∼ n ⊗ p p On the other hand it is a result of Schneider [Sch1] 4.1 that the cohomology group H2( , Q /Z ( k)) is zero. As O∞,Sp p p − H2( , E[p∞]( k)) = H2( , Q /Z ( k)) T E O∞,Sp − O∞,Sp p p − ⊗Zp p this proves our claim.

19 This vanishing result implies that we get actually a map from the Iwasawa modules to complexes computing the Galois cohomology.

Corollary 2.2.5. There are exact triangles

T E(k)[1] RΓ(K Q , E[p∞]( k))∗ H0(K Q , E[p∞]( k))∗ Y∞ ⊗ p → ∞ ⊗ p − → ∞ ⊗ p − T E(k)[1] RΓ( , E[p∞]( k))∗ H0( , E[p∞]( k))∗ X∞ ⊗ p → O∞,Sp − → O∞,Sp − Proof. The propositions 2.2.3 and 2.2.4 show that we have a canonical map from T E(k)[1] to RΓ(K Q , E[p∞]( k))∗ because the second coho- Y∞ ⊗ p ∞ ⊗ p − mology vanishes. The same argument gives the result for T E(k)[1]. X∞ ⊗ p To relate these groups to the cohomology groups of we want to take OSp the coinvariants under Γ = Gal(K∞/K0). Lemma 2.2.6. Let M be an perfect complex of Λ = [[Γ]]-modules. Then Op there are canonical isomorphisms

M ∗ L = RΓ(Γ, M)∗ ⊗Λ Op ∼ where the right hand side is the (continuous) group cohomology of Γ and M ∗ = Hom(M, Q /Z ). p p ⊗ Op Proof. We have

R Hom ( , M ∗)= R Hom ( , Hom(M, Q /Z )) Λ Op Λ Op p p ⊗ Op = R Hom (M L , Q /Z )) Λ ⊗Λ Op p p ⊗ Op which by biduality M ∗∗ = M proves our claim.

Corollary 2.2.7. There are exact triangles

( T E(k)) L RΓ(K Q , E[p∞]( k))∗[ 1] Y∞ ⊗ p ⊗Λ Op → 0 ⊗ p − − RΓ(Γ,H0(K Q , E[p∞]( k)))∗[ 1] → ∞ ⊗ p − − and

( T E(k)) L RΓ( , E[p∞]( k))∗[ 1] X∞ ⊗ p ⊗Λ Op → O0,Sp − − RΓ(Γ,H0( , [p∞]( k)))∗[ 1] → O∞,Sp − − Proof. Apply lemma 2.2.6 to the exact triangles in corollary 2.2.5.

20 Now we come back to the Tate-Poitou localization sequences over O0,Sp RΓ( , T E(k + 1)) RΓ(K Q , E[p∞]( k))∗[ 2] O0,Sp p → 0 ⊗ p − − RΓ( , E[p∞]( k))∗[ 2] → O0,Sp − − → and the map ep. Recall that e : T E(k) H1( , T E(k + 1)) p C∞ ⊗ p → OSp p (see definition 2.2.1) and taking in the definition of ep only the norm maps to K0 we get a map: e : T E(k) H1( , T E(k + 1)) p C∞ ⊗ p → O0,Sp p As H0( , T E(k + 1)) = 0 for weight reasons, we get a map of complexes O0,Sp p e : ( T E(k)) L RΓ( , T E(k + 1))[1]. p C∞ ⊗ p ⊗Λ Op → O0,Sp p This is compatible with the maps defined before: Lemma 2.2.8. The following diagram is commutative

ep ( T E(k)) L RΓ( , T E(k + 1))[1] C∞ ⊗ p ⊗Λ Op −−−→ O0,Sp p

 L  ∞ ∗ ( ∞ TpE(k)) Λ p RΓ(K0 Qp, E[p ]( k)) [ 1] Y ⊗ y ⊗ O −−−→ ⊗ y − − α

 L ∞ ∗ ( ∞ TpE(k)) p RΓ( 0,Sp , E[p ]( k)) [ 1] X ⊗ y ⊗Λ O −−−→ O y − − Here α is induced by the map / . Y∞ C∞ →X∞ Proof. The commutativity of the lower square is clear. Let us treat the upper square. The map

( T E(k)) H1(K Q , E[p∞]( k))∗ Y∞ ⊗ p Γ → 0 ⊗ p − is the dual of the corestriction

H1(K Q , E[p∞]( k)) H1(K Q , E[p∞]( k))Γ. 0 ⊗ p − → ∞ ⊗ p − By the local duality theorem the corestriction map is dual to the norm map

H1(K Q , T E(k + 1)) H1(K Q , T E(k + 1)). ∞ ⊗ p p Γ → 0 ⊗ p p This together with the definition of ep proves our claim.

21 2.2.5 The comparison theorem between elliptic units and Galois cohomology The next step is to relate the determinants of ( T E(k)) L and C∞ ⊗ p ⊗Λ Op RΓ( , T E(k + 1)) as [∆]-modules. For this we need Rubin’s “main O0,Sp p Op conjecture”. As the “main conjecture” is not proven for characters of ∆, which are trivial on the decomposition group ∆p of p, we need the following lemma:

Lemma 2.2.9. Let p be inert or ramified, where p is a prime over which E has good reduction. Let χ be the ∆ representation on Hom (T E(k), ). Op p Op Then ∆p =∆ and χ is non trivial on ∆p. Proof. Let p be an inert or ramified prime and χ′ be the ∆ representation on ′ TpE. Then χ is irreducible ([Ru2] 11.5.) and because E has good reduction the prime above p is totally ramified in K ([Ru1] 3.6.) and ∆ = ( /p)∗. Now 0 ∼ O χ′ is two dimensional and χ is simply a twist of χ′ by a power of det χ′. Thus χ acts non trivially on Hom (T E(k), ). Op p Op

Corollary 2.2.10. Let χ be the ∆ representation on Hom (T E(k), ) and Op p Op p ∤ N f be a prime. Then

χ = χ . U∞ ∼ Y∞ Proof. If p is split this follows immediately from lemma 2.1.6 and if p is inert or prime in K this follows from the same lemma and the above result because the χ-eigenspace of [∆/∆ ] is zero. Op p We can now formulate the main theorem of this section.

Theorem 2.2.11. Let χ be the ∆-representation on Hom (T E(k), ) and Op p Op assume that p ∤ N f. Then the map e induces an isomorphism of -modules p Op χ det ( T E(k)) L = det (RΓ( , T E(k + 1)))−1 . Op C∞ ⊗Op p ⊗Λ Op ∼ Op OS p   The rest of this section is concerned with the proof of this theorem. Let us first show:

Proposition 2.2.12. Let χ and p be as in theorem 2.2.11, then

det (RΓ( ,H0(K Q , E[p∞]( k))) = Op G ∞ ⊗ p − ∼ Op det (RΓ( ,H0( , E[p∞]( k))) = Op G O∞,Sp − ∼ Op

22 Proof. The action of on T (k) = is via a character ∗. This gives G p ∼ Op G → Op a surjection [[Γ]] T E(k). As Γ = Z2 the kernel of this surjection is an Op → p ∼ p ideal with height 2 and hence

det (T E(k)) = [[ ]]. Op[[G]] p ∼ Op G L This implies detO (TpE(k) p) = p. Lemma 2.2.6 then implies the p ⊗Op[[G]] O ∼ O claim.

Recall that by corollary 2.2.10 we have an isomorphism

χ = χ . U∞ ∼ Y∞

Corollary 2.2.13. The triangles in corollary 2.2.7 give rise to isomorphisms det (( χ T E(k)) L ) = det (H0(∆,RΓ(K Q , E[p∞]( k))∗[ 1])) Op U∞ ⊗Op p ⊗Λ Op ∼ Op 0 ⊗ p − − det (( χ T E(k)) L ) = det (H0(∆,RΓ( , E[p∞]( k))∗[ 1])) Op X∞ ⊗Op p ⊗Λ Op ∼ Op O0,Sp − − Proof. The complexes in the triangle in 2.2.7 are [∆]-modules and we apply Op RΓ(∆, ). Then

RΓ(∆, T E(k)) = χ T E(k) Y∞ ⊗Op p ∼ Y∞ ⊗Op p by definition of χ. The same holds for T E(k). The result follows X∞ ⊗Op p with proposition 2.2.12.

Corollary 2.2.14. There is an isomorphism of determinants

−1 det H0(∆,RΓ( , T E(k + 1))) = Op O0,Sp p ∼ −1 = det ( χ T E(
k)) L det χ T E(k) L ∼ Op U∞ ⊗Op p ⊗Λ Op Op X∞ ⊗Op p ⊗Λ Op     Proof. Apply RΓ(∆, ) to the triangle

RΓ( , T E(k + 1)) RΓ(K Q , E[p∞]( k))∗[ 2] O0,Sp p → 0 ⊗ p − − → RΓ( , E[p∞]( k))∗[ 2] → O0,Sp − − and use the above corollary.

Finally, we need to investigate the relation of the cohomology of and O0,Sp , which is the integral closure of in K . O0,S OS 0

23 Lemma 2.2.15. Let p and χ be as in the theorem 2.2.11. The restriction map of cohomology of to induces an equality of determinants O0,Sp O0,S det H0(∆,RΓ( , T E(k + 1))) = det H0(∆,RΓ( , T E(k + 1))) Op O0,Sp p ∼ Op O0,S p = det (RΓ( , T E(k + 1)))) .
∼ Op OS p
Proof. There is an exact triangle

RΓ( , T E(k + 1)) RΓ( , T E(k + 1)) RΓ ( , T E(k + 1))[1] O0,Sp p → O0,S p → κ(v) Ov p v∈MSrSp where is the local ring at v. As T E(k + 1) is unramified at the places v Ov p in K0, which are in S r Sp we have by purity

RΓ ( , T E(k + 1)) = RΓ(κ(v), T E(k)). κ(v) Ov p ∼ p Let us prove that

0 H (∆, RΓ(κ(v), TpE(k))) = 0. v∈MSrSp For this note that H1(κ(v), T E(k)) T E(k) are the coinvariants p ∼= p Gal(κ(v)/κ(v)) and that H0 = 0. Fix a prime v S rS of K dividing f, then the primes v v ∈ p 0| of K0 are permuted by ∆. Fix v0 dividing v and let ∆v0 be the stabilizer of v0. It suffices to prove that ∆v0 acts non trivially on TpE(k)Gal(κ(v)/κ(v)). Let I ∆ be the inertia group of v . This group is non trivial because K /K v0 ⊂ v0 0 0 is ramified above v by lemma 2.2.2 and it acts non trivially on TpE(k) because v f and by the Neron-Ogg-Shavarevich criterium. This proves our claim. 0| Now we can prove the theorem.

Proof. (of theorem 2.2.11) Let χ and p be as in the theorem. By Rubin’s “main conjecture” 2.1.5 we have

χ χ det ( χ / ) T E(k) L = det ( χ / ) T E(k) Op U∞ C∞ ⊗ p ⊗Λ Op ∼ Λ U∞ C∞ ⊗ p ⊗Λ Op   = det ( χ T E(k))
∼ Λ X∞ ⊗ p ⊗Λ Op = det χ T E(k) L . ∼ Op X∞ ⊗ p ⊗Λ Op   On the other hand,

χ χ χ χ −1 det χ ( / ) = det χ ( ) det χ ( ) . Λ U∞ C∞ ∼ Λ U∞ ⊗ Λ C∞ This together with the above corollaries gives the result.

24 3 The elliptic polylogarithm sheaf

We start afresh with the aim of computing the specialization of the elliptic polylog. For this we have to recall the definition of the polylogarithm sheaf and give a geometric interpretation of it.

We review here mostly Beilinson and Levin [Be-Le]. Everything that fol- lows will be in the general setting of an elliptic curve over any base S. Because of this we start with fixing the notations. Then we review the unipotent ellip- tic polylog of Beilinson and Levin. For our geometrical construction we need a different description of this polylogarithm sheaf in terms of the fundamental group of the elliptic curve. This description is in section 3.3. The comparison of these two approaches will be carried out in section 3.4. Finally we consider the specialization of the polylogarithm sheaf at torsion points. This gives the l-adic Eisenstein classes.

3.1 Notations and conventions Let S be a scheme, and l be a prime number invertible on S. We fix a base r ring Λ := Z/l Z, Zl or Ql. In this section we introduce some notations for elliptic curves over S and for pro-Λ-sheaves.

3.1.1 Elliptic curves and coverings Definition 3.1.1. An elliptic curve is a smooth proper morphism π : E S → together with a section e : S E, such that the geometric fibers E of π are → s connected curves of genus 1. We introduce the following notation: On E we have the multiplication by n N map, which we denote by [N]. We let Hn := ker[l ] and we denote by En the n curve E over S considered as a Hn-torsor over E. The l -multiplication map will then be denoted by p : E E. Let U := E r H and U := E r e(S), n n → n n n so that we have a Cartesian diagram

j H hn E n U n −−−→ n ←−−− n

pHn pn

 e  j  S E U. y −−−→ y ←−−− y The unit section of E will be e , if confusion is likely. The map E E n n m → n for m n, which is the multiplication by lm−n, is denoted by p or even p. ≥ m,n Let π : E S and π : U S be the structure maps. n n → n n →

25 3.1.2 Pro-sheaves The polylogarithm is an extension of pro-sheaves and we will work in the category of pro-sheaves. For convenience of the reader we recall the definition and the main properties of pro-objects in the case we need. Let be an abelian category. A Definition 3.1.2. The category pro of pro-objects is the category whose −A objects are projective systems A : Iop →A denoted by (Ai)i∈I , where I is some small filtered index category. The mor- phisms are

Hompro −A((Ai), (Bj)) := lim j lim i HomA(Ai,Bj). ←− −→ The category pro is again abelian (see [Ar-Ma] A 4.5). We call an −A object (A ) pro Mittag-Leffler zero if for every i I there is an i j i I ∈ −A ∈ → such that A A is the zero map. An element is zero in pro if and only if j → i −A it is Mittag-Leffler zero (see [Ar-Ma] A 3.5). A functor F : is extended A→B to the pro-categories in the obvious way F (( ) ) := (F ( )) . Fi i Fi i Let us specialize to the category Sh(X) of ´etale sheaves on a scheme X. We denote by pro Sh(X) the associated category of pro-sheaves as defined above. − Pro-sheaves will usually be written as ( i)i the transition maps understood. F j For two pro-sheaves ( ) and ( ) on a scheme X define Ext (( ) , ( ) ) Fi i Gi i X Fi i Gi i to be the group of j-th Yoneda extensions of ( ) by ( ) in pro Sh(X). Fi i Gi i − 3.2 Review of the elliptic polylogarithm We first recall the definition of the elliptic logarithm sheaf from [Be-Le]. Then we define the elliptic polylogarithmic sheaf.

3.2.1 The unipotent logarithm sheaf

r Recall that Λ is either Z/l Z, Zl or Ql. Definition 3.2.1. A lisse Λ-sheaf on E is unipotent of length n, if it admits F a filtration = 0 1 . . . n 0 such that Gri = π∗ i for some F F ⊃ F ⊃ ⊃ F ⊃ F G lisse Λ-sheaf i on S. G Let := Hom (R1π Λ, Λ), then the boundary map for the exact se- HΛ S ∗ quence 0 Gri+1 i/ i+2 Gri 0 induces by duality a map → F → F F → F → Gri Gri+1 . HΛ ⊗ F → F

26 This gives an action of the ring S≤n := n Symk on Gr• . Beilinson k=0 HΛ F and Levin prove: L Theorem 3.2.2. ([Be-Le] 1.2.6.) There is a k-unipotent sheaf og(k) to- L gether with a section 1(k) : Λ e∗ og(k) of the fibre at the unit section e of → L E, which is unique up to isomorphism, such that for every k-unipotent sheaf the map F π Hom ( og(n), ) e∗ ∗ E L F → F (n) f f ◦1 7→ is an isomorphism.

Recall also from [Be-Le] that this is equivalent to the fact that the map ν : S≤k π Gr• og(k) that sends 1 to 1(n) is an isomorphism. → ∗ L Definition 3.2.3. The canonical maps og(k+1) og(k) that map 1(k+1) to L →L 1(k) make

og := ( og(k)) L L k a pro-sheaf, which is called the logarithm sheaf. If it is necessary to indicate Λ we write og(k) and og . L Λ L Λ Denote by (k) := e∗ og(k) the fibre of og(k). This is a ring with identity R L L given by 1(k). Moreover := e∗ og has a Hopf algebra structure. Then R L π∗ (k) acts on og(k) and for every section t : S E the sheaf t∗ og(k) is a R L → L free module of rank 1 over (k). The action of π∗ (k) on og(k) induces via R ∼ R L the isomorphism π Hom ( og(k), ) e∗ an action of (k) on e∗ . In ∗ E L F −→ F R F fact we have:

Proposition 3.2.4. ([Be-Le]1.2.10 v)) The map e∗ is an equivalence F 7→ F of the category of k-unipotent sheaves on E with the category of lisse (k)- R modules on S.

∗ (k) We just remark that the inverse functor is π ∗ (k) og . M 7→ M⊗π R L 3.2.2 Higher direct images of the logarithm sheaf Denote by (k) the augmentation ideal of the ring (k). The pro-sheaves I R ( (k)) and ( (k)) are denoted by and respectively. The important fact R k I k R I for the definition of the polylogarithm is the computation of the higher direct images of og(k). L

27 Proposition 3.2.5. (see [Be-Le] 1.2.7) The higher direct images of og(k) L Λ are

k Sym Λ if i = 0 i (k) k+1H R π∗ og = Sym ( 1) if i = 1 L Λ  HΛ − Λ( 1) if i = 2  − The transition maps Riπ og(k+1) Riπ og(k) are zero for i = 0, 1 and ∗ L → ∗ L the identity for i = 2. In particular Riπ og = 0 for i = 0, 1 and R2π og = ∗ L ∗ L Λ( 1). − For all the properties of the logarithm sheaf we refer to section 1.2. in [Be-Le]. Remark: Note that in the case of Λ = Q we have an isomorphism og(k) = l L ∼ Symk og(1) which sends 1(k) to 1(1)k/k!. This approach to the logarithm sheaf L is used in [Hu-Ki2]. Recall that U := Ere is the complement of the unit section and π : U S → its structure map.

Proposition 3.2.6. The pro-sheaves (Riπ og(k)) are Mittag-Leffler zero ∗ L k for i = 1 and the canonical map 6 R1π og(k) e∗ og(k)( 1) = (k)( 1) ∗ L → L − R − induces an isomorphism of pro-sheaves (R1π og(k)(1)) = ( (k)) . ∗ L k ∼ I k Proof. Consider the localization sequence

Riπ og(k) Riπ og(k) Ri+1e! og(k) → ∗ L → ∗ L → L → and the purity isomorphism R2e! og(k) = e∗ og(k)( 1). Moreover Rie! og(k) = L L − L 0 for i = 2. This together with the above values of Riπ og gives the desired 6 ∗ L result.

3.2.3 The polylogarithm sheaf We are now going to define the elliptic polylogarithm. We will not use the usual approach using an identification of an Ext with a Hom-group but an other direct construction due to Beilinson and Levin [Be-Le] 1.3.6. This has the advantage of giving directly a pro-sheaf and not only an extension class. Moreover this sheaf can be easily compared to the geometric construction we give later.

28 For every sheaf on E we denote by its restriction to U. Let be a F FU F lisse Λ-sheaf on E and consider the open immersion j : U U r ∆ ֒ U U ×S → ×S where ∆ is the diagonal. Define a lisse Λ-sheaf H ( ) on U as follows: e F Definition 3.2.7. Define a functor from lisse Λ-sheaves on E to lisse Λ- sheaves on U by

H ( ) := R1 pr j pr∗ , e F 1∗ ! 2 FU where pr is the projection of U U r ∆ to the second factor. 2 ×S The exact sequence

0 j pr∗ pr∗ ∆ 0 → ! 2 FU → 2 FU → ∗FU → induces an exact sequence

α (5) 0 π∗π H ( ) π∗R1π 0. → ∗F → FU −→ e F → ∗FU → Obviously this sequence is functorial in so that we have the same sequence F for pro-sheaves ( ) . Fk k Lemma 3.2.8. The sequence (5) induces an exact sequence of pro-sheaves

0 og(1) H ( og(1)) π∗ 0. →L U → e L → I → Proof. By proposition 3.2.6 we have π og(1) = 0 and R1π og(1) = . This ∗ L ∗ L ∼ I implies the claim.

Thus H ( og(1)) gives a class in Ext1 (π∗ , og(1) ) which was defined e L U I L U in section 3.1.2 as the group of Yoneda extensions in the abelian category ∗ ∗ pro Sh(U). We have He( og(1) π ) ∼= He( og(1)) π so that the − ∗ L ∗ ⊗ R L ⊗ R action of π on og gives a π -module structure on He( og(1)). In partic- R L R1 ∗ L ular H ( og(1)) is a class in Ext ∗ (π , og(1) ), i.e. a Yoneda extension e L U,π R I L U of π∗ -modules. R Definition 3.2.9. The pro-sheaf

ol := H ( og(1)) P e L is the elliptic polylogarithm sheaf. If we need to indicate the dependence on Λ we write ol . We also define ol(k) := H ( og(k)(1)). P Λ P e L

29 3.3 A geometric approach to the elliptic polylog sheaf We now present a different construction of the logarithm sheaf in the case Λ= Z/lrZ. This makes explicit the remark in [Be-Le] 1.2.5.

3.3.1 The geometric logarithm sheaf Recall that p = [ln] : E E and consider the sheaves n n → ogg := p Λ L n n∗ on E. For m n we have the trace map p Λ p Λ and we define: ≥ m∗ → n∗ Definition 3.3.1. The geometric logarithm sheaf is the pro-sheaf

ogg := ( ogg ) L L n n where the transition maps are the above trace maps. Let

g := ( g ) := (e∗ ogg ) R Rn n L n n g be the pro-sheaf defined by the pull-back of ogn along the unit section e. Let g g g L g := ( n) := ker( Λ) be the augmentation ideal of . I I n R → R −1 Note that the existence of the section en of Hn = pn (e) implies that there ∗ g g is a map 1n : Λ e ogn = n. The action of Hn on En over E gives an → g L R ∗ g g action of H on og , hence an action of π n on og . n L n R L n The sheaf ogg has the following important property. Recall that Λ = L n Z/lrZ. Proposition 3.3.2. For every lisse Λ-sheaf the map F g ∗ lim nπ∗HomE( ogn, ) e −→ L F → F f f ◦1 7→ n is an isomorphism.

Proof. The map pn is finite ´etale, so that Hom (p Λ, ) = Hom (Λ,p∗ )= p∗ . E n∗ F En nF nF As is a lisse Λ-sheaf, there is an n such that p∗ comes from S, i.e. p∗ = F nF nF ∼ π∗ e∗ p∗ . Thus n n nF g ∗ ∗ ∗ ∗ ∗ ∗ lim nπ∗HomE( ogn, ) = lim nπn∗πnenpn = lim nenpn = e , −→ L F −→ F −→ F F which proves our claim.

30 g g Let be a lisse Λ-sheaf, then the action of n on ogn induces via the F g ∗ R L above proposition an action of n on e for some n. R F Corollary 3.3.3. The functor e∗ induces an equivalence of the cat- F 7→ F egory of lisse Λ-modules on E and lisse Λ-modules on S with a continuous g g action of the pro-sheaf ( n) (i.e. the action factors through m for some R n R m).

Proof. The inverse functor is given by

∗ g π ∗ g og M 7→ M⊗π Rm L m g g if the action of ( n) factors through m. R n R 3.3.2 The higher direct images of the geometric logarithm sheaf As for og we can compute the higher direct images of ogg: L L Lemma 3.3.4. The pro-sheaf

(Riπ ogg ) ∗ L n n is Mittag-Leffler zero for i = 2 and 6 (R2π ogg ) = Λ( 1). ∗ L n n ∼ − Proof. We have to compute the transition maps in

i i i (R π∗pn∗Λ)n = (R πn∗Λ)n ∼= (R π∗Λ)n where now the transition maps Riπ Λ Riπ Λ are given by multiplication ∗ → ∗ with (lm−n)2−i. This map is zero for m n + r. ≥

Corollary 3.3.5. The pro-sheaves (Riπ ogg ) are Mittag-Leffler zero for ∗ L n n i = 1 and the canonical map 6 R1π ogg e∗ ogg ( 1) = g ∗ L n → L n − Rn 1 g g induces an isomorphism of pro-sheaves (R π og ) = ( n) . ∗ L n n ∼ I n Proof. See the proof of 3.2.6.

31 3.3.3 The geometric polylogarithm sheaf The geometric polylog sheaf can now be defined in the same way as in 3.2.9. Recall the functor He from definition 3.2.7. Definition 3.3.6. The geometric elliptic polylog sheaf is the pro-sheaf

olg := H ( ogg(1)). P e L To indicate the dependence on Λ we write olg and we define P Λ olg := H ( ogg (1)). P n e L n As before the pro-sheaf olg is a sheaf of π∗ g-modules and defines a P R Yoneda extension class in

1 ∗ g g Ext ∗ g (π , og (1)). U,π R I L 3.4 The comparison of ol and olg P P In this section we compare ol and olg. Recall that olg is only defined for P P P Λ= Z/lrZ.

3.4.1 Comparison of the logarithm sheaves We first reformulate the property of being a continuous g-module on S. R Choose a geometric point s S and define a ring ∈ g (6) Λ[[ Zl,s]] := lim n( n)s = lim nΛ[Hn,s]. H ←− R ←− g Then a lisse Λ-sheaf on S with an action of n for some n is the same M R as a finite Λ-module with a continuous action of Λ[[ ]]. We call these HZl,s continuous Λ[[ ]]-modules. We define two ideals in Λ[[ ]]: HZl,s HZl,s J := ker(Λ[[ ]] g ) n HZl,s → Rn (7) a := ker(Λ[[ ]] Λ). HZl,s → The universal property 3.3.2 of ogg and the section 1(k) of e∗ og(k) im- L L Λ plies: Lemma 3.4.1. Let Λ= Z/lrZ, then there is a unique map

(k) g (k) ̺ lim nπ∗HomE( ogn, ogΛ ) ∈ −→ L L corresponding to 1(k) : Λ e∗ og(k). → L Λ

32 In fact we want to show that ̺(k) induces an isomorphism of pro-sheaves ̺ : ( ogg ) ( og(k)) . L n n → L Λ k r k k k+1 Lemma 3.4.2. Let Λ= Z/l Z and let a be the k-th power of a, then a /a ∼= Symk( Λ) and there is a canonical surjection HZl ⊗ ̺(k) : g = Λ[[ ]]/J Λ[[ ]]/ak r+k−2 Rr+k−2,s HZl,s r+k−2 → HZl,s for all k 1, which in the limit gives an isomorphism of Λ[[ ]] to itself. ≥ HZl,s Proof. Let s S be a geometric point. Then we choose two topological ∈ generators γ, η of . It is a standard fact in Iwasawa theory that we have HZl,s a ring isomorphism Λ[[ ]] = Λ[[X,Y ]], mapping γ 1 X and η 1 Y , HZl,s ∼ − 7→ − 7→ with the power series ring in two variables. This implies that the augmentation ideal a is mapped to the ideal (X,Y ). The claim that ak/ak+1 = Symk( Λ) ∼ HZl ⊗ follows immediately. Now Jk corresponds under this isomorphism to the ideal k k ((X +1)l 1, (Y +1)l 1). By induction one sees that this ideal is contained − − in (l,X,Y )k+1. As lr = 0 in Λ we have (l,X,Y )r+k (X,Y )k+1. This gives ⊂ the map as indicated, which in the limit is clearly an isomorphism.

Denote by G(k) the sheaf on E defined by the g -module Λ[[ ]]/ak Rr+k−2 HZl,s via the equivalence of categories in 3.3.3. This is a unipotent sheaf with a section 1 of e∗G(k) given by the identity in Λ[[ ]]/ak. Thus, by 3.2.2 there HZl,s is a unique map og(k) G(k) mapping 1(k) to 1. L → Proposition 3.4.3. Let Λ = Z/lrZ. The map og(k) G(k) is an isomor- L g → phism. In particular the map of pro-sheaves ̺ : og og defined above L Λ → L Λ is an isomorphism. Proof. The surjection ogg G(k) factors through og(k) G(k) so L r+k−2 → L → that this map is also surjective. As these two sheaves are finite of the same cardinality, this is also an isomorphism.

3.4.2 Comparison with the Zl–version r Let Λr := Z/l Z and consider the pro-sheaf in r and n ( ogg ) , L Λr,n r,n g g where og og is induced by the reduction map Λr+1 Λr. We L Λr+1,n →L Λr,n → observe: Lemma 3.4.4. For every k 0, the projective system ( ogg ) is co- ≥ L Λr,r+k−2 r final in ( ogg ) . L Λr,n r,n

33 The Z -version of og is reconstructed from the Λ –version of ogg as l L r L follows:

Proposition 3.4.5. The map ̺(k) induces an morphism of pro-sheaves

g (k) (k) ( og )r ( og )r = og . L Λr,r+k−2 → L Λr L Zl The induced morphism of pro-sheaves

g g (k) ̺ : ( og )r = ( og )r,k ( og )k = og L Λr,r ∼ L Λr,r+k−2 → L Zl L Zl is an isomorphism.

Proof. From lemma 3.4.2 and the universal property of ogg we get the mor- g (k) L phism of ( og )r to og . To check that this induces an isomorphism L Λr,r+k−2 L Zl if take pro-sheaves in the index k, it is enough to check this after pull-back with e∗. We get the map

k lim k lim rΛr[Hr+k−2,s] lim kZl[[ Zl,s]]/a , ←− ←− → ←− H which is an isomorphism.

3.4.3 Comparison of polylogarithm sheaves

Using the functor He from 3.2.7 we can translate the comparison results for the logarithm sheaves to the polylog.

Proposition 3.4.6. The isomorphism ̺ form 3.4.5 induces an isomorphism of pro-sheaves

∼ H (̺) : ( olg ) = (H ( ogg (1))) = ol . e P Λr,r r e L Λr,r r −→P Zl Proof. Clear from the definition.

3.5 Specialization of the elliptic polylogarithm sheaf, l-adic Eisenstein classes The specialization along torsion sections of the elliptic polylog gives interesting cohomology classes. These are the l-adic Eisenstein classes investigated in [Hu-Ki1], [Hu-Ki2]. We recall their construction.

34 3.5.1 Invariance of the logarithm sheaf under translation by torsion sections Let N Z be invertible on S and [N] : E E the N-multiplication. The ∈ → universal property 3.2.2 gives us canonical maps sending 1(k) to [N]∗1(k)

og(k) [N]∗ og(k) L Λ → L Λ for Λ = Z/lrZ, Z or Q . Thus for every N-torsion point t : S E we get a l l → map of pro-sheaves

prN : t∗ og e∗ og . t L Λ → L Λ Similarly, we have a map

prN : ogg [N]∗ ogg t L n → L n for the geometric logarithm sheaf.

N Lemma 3.5.1. If l ∤ N, then the map prt is an isomorphism.

Proof. Let us first treat the unipotent case. It suffices to show that ogΛ ∗ L → [N] ogΛ is an isomorphism. Using the equivalence of categories 3.2.4, this L ∗ can be tested after pull-back with e . The resulting map Λ Λ is on the R[N]→∗ R the k-th graded piece Symk induced by the map , which is HΛ HΛ −−→ HΛ just the N-multiplication and thus an isomorphism. In the geometric case we have t∗ ogg = Λ[p−1(t)] and e∗ ogg = Λ[H ]. The map prN is by definition L n n L n n t induced by t [N]t for t p−1(t). This is obviously an isomorphism if n 7→ n n ∈ n l ∤ N.

To define a morphism prt independent of N, we let

N N −1 ∗ ∗ (8) pr := pr ◦(pr ) : t og e og . t t e L Λ → L Λ

We need an explicit description of the map prt on the geometric logarithm sheaf. We have t∗ ogg = Λ[p−1(t)] and e∗ ogg = Λ[H ]. Here p−1(t) E[Nln] L n n L n n n ⊂ and if l ∤ N we have E[Nln]= E[N] E[ln]. ⊕ Lemma 3.5.2. The map from (8)

pr : Λ[p−1(t)] Λ[H ] t n → n is induced by the projection of t p−1(t) E[N] E[ln] to H = E[ln]. n ∈ n ⊂ ⊕ n

35 Proof. The map prN : Λ[p−1(t)] Λ[H ] maps t p−1(t) to [N]t H . t n → n n ∈ n n ∈ n This gives the result.

Passing to the limit we get a map of pro-sheaves

pr : Z [[ ]] Z [[ ]] t l HZl,t → l HZl −1 where Zl,t := lim npn (t). This is induced by the projection Zl,t Zl . H ←− H →H 3.5.2 The moment map

∗ The pro-sheaf e ogQl = Ql is a Hopf algebra (see [Be-Le] 1.2.10 iv)) and ≤Lk R ≤k (k) the map ν : Sym Q Gr is an isomorphism. Let Uˆ( Q ) be the H l → RQl H l completion of the universal enveloping algebra of the abelian Lie algebra . HQl The canonical filtration makes this a pro-sheaf (Uk( )) . HQl k The structure theorem, [Bour] ch. II, paragraph 1, no. 6, gives: Lemma 3.5.3. The map ν : extends to an isomorphism of Hopf HQl → RQl algebra pro-sheaves

ν : Uˆ( ) = , HQl ∼ RQl which on the k-th graded piece Symk is multiplication by k!. HQl Recall from 3.4.5 that we have an isomorphism

̺ : ( g ) = . RΛr r ∼ RZl

Definition 3.5.4. We define the k-th moment map µk to be the composition

µk : ( g ) = = Uˆ( ) Symk , RΛr r ∼ RZl → RQl ∼ HQl → HQl where the last map is the projection onto the k-th factor. We need an explicit description of the moment map. For this we write g g k g ( )n = ( )r and we describe µ on Λn[H ]= . Rn+k−2,Λn RΛr n+k−2 Rn+k−2,Λn Lemma 3.5.5. Write Symk = Symk Q , then HQl HZl ⊗ l µk : (Λ [H ]) (Symk H ) Q n n+k−2 n → n n ⊗ l 1 ( n (h)) ( n (h⊗k)) . h n 7→ h n ⊗ k! h∈HXn+k−2 hX∈Hn Proof. This follows immediately from the definition of the maps µk and ̺.

36 3.5.3 A splitting ֒ Lemma 3.5.6. Let Λ = Z/lrZ, Z or Q . Then the inclusion l l IΛ → RΛ induces an injective map

(1) = Hom ( , (1)) Hom ( , (1)), RΛ S,RΛ RΛ RΛ → S,RΛ IΛ RΛ which is an isomorphism for Λ= Ql.

1 Proof. This follows from HomS,R (Λ, Λ(1)) = 0 and ExtS,R (Ql, Ql (1)) = Λ R Ql R 0, which is a consequence of the Kozsul resolution as is a sheaf of regular RQl rings.

Corollary 3.5.7. The local to global spectral sequence for Ext gives an injec- tion

1 1 a 1 ExtS,Q (Ql, Ql (1)) = ExtS,R ( Ql , HomS,R ( Ql , Ql (1))) ExtS,R ( Ql , Ql (1)). l R ∼ Ql R Ql I R −→ Ql I R Using the isomorphism ν : = Uˆ( ) we have an exact sequence (Kozsul RQl ∼ HQl resolution for the Lie algebra ) HQl b 0 (1) 0. → RQl →HQl ⊗Ql RQl −→IQl → Here we used Λ2 = Q (1) induced by the Weil-pairing. This map b induces HQl ∼ l 1 a 1 ExtS,Q (Ql, Ql (1)) ExtS,R ( Ql , Ql (1)) l R −−−→ Ql I R b∗ 1  ExtS,R ( Ql Ql Ql , Ql (1)) Ql H ⊗y R R =

1  ExtS,Q ( Ql , Ql (1)). l Hy R

Lemma 3.5.8. The map

b∗◦a Ext1 (Q , (1)) Ext1 ( , (1)) S,Ql l RQl −−→ S,Ql HQl RQl has a canonical splitting.

37 Proof. We have an isomorphism

Ext1 ( , (1)) = Ext1 (Q , Hom ( , (1))) S,Ql HQl RQl ∼ S,Ql l S,Ql HQl RQl and a contraction map Hom ( , (1))) (1) S,Ql HQl RQl → RQl given on

Hom ( , Symk (1)) = Hom ( , Q ) Symk (1) S,Ql HQl HQl ∼ S,Ql HQl l ⊗ HQl by (9) Hom ( , Q ) Symk (1) Symk−1 (1) S,Ql HQl l ⊗ HQl → HQl k 1 f h . . . h f(h )h . . . hˆ . . . h . ⊗ 1 ⊗ ⊗ k 7→ k + 1 i 1 ⊗ i ⊗ k Xi=1 This gives the required map and it is straightforward to check that this is indeed a splitting of b∗◦a.

3.5.4 The specialization of the polylogarithm, l-adic Eisenstein classes We now define the specialization of the elliptic polylogarithm. Let β ∈ Z[E[N](S) r e] be of the form

β = ntt. t∈E[XN](S)re We want to define an element

(β∗ ol )k H1(S, Symk (1)). P Ql ∈ HQl First observe that pr t∗ ol is an element in t P Ql 1 ∗ prt 1 ∗ 1 ExtS,R ( Ql ,t ogQ (1)) ExtS,R ( Ql , e ogQ (1)) = ExtS,R ( Ql , Ql (1)). Ql I L l −−→ Ql I L l Ql I R Define

1 1 σ : ExtS,R ( Ql , Ql (1)) ExtS,Q (Ql, Ql (1)) Ql I R → l R to be the composition of b∗ and the splitting of lemma 3.5.8. This is a splitting of a. Denote by σk the projection onto Ext1 (Q , Symk (1)) = H1(S, Symk (1)). S,Ql l HQl HQl

38 Definition 3.5.9. For β = n t Z[E[N](S) r e] define t∈E[N](S)re t ∈ P (β∗ ol )k := n (σk pr t∗ ol ) H1(S, Symk (1)) P Ql t t P Ql ∈ HQl t∈E[XN](S)re These are the l-adic Eisenstein classes associated to β.

Remark: This numbering disagrees with the one of [Hu-Ki2], where we wrote (β∗ ol )k+1 for this class. P Ql Our aim is to compute not the specialization but a variant of it. Namely let [a] : E E be an isogeny of degree N a := deg[a] prime to l (the notations → are chosen to fit the CM case which is our ultimate goal). Consider the operator ([a]∗ N a) on H1(S, Symk (1)). Here [a]∗ is the pull-back with − HQl [a] and N a is the multiplication by the number deg[a] Z. This acts on ∈ H1(S, Symk (1)) as ak N a N a, which is not zero if k = 0. Thus for k = 0 HQl − 6 6 it is the same to compute

([a]∗ N a)(β∗ ol )k H1(S, Symk (1)) − P Ql ∈ HQl or (β∗ ol )k. P Ql 4 The l-adic realization of the elliptic polylog

This part is concerned with the construction of the polylog on elliptic curves in a geometric way, which allows to compute its specializations explicitly. This is the technical heart of the paper and in our opinion our main contribution to the problem of the Tamagawa number conjecture for elliptic curves.

4.1 The polylog as a one-motive From the definition of the polylogarithm it is quite obvious that it is a pro- sheaf consisting of Z/lrZ-realizations of one-motives. In this section we make this connection more explicit.

4.1.1 A reformulation

r Let Λr = Z/l Z and recall from (5) that the geometric polylog sits in an exact sequence

0 π∗π ogg (1) ogg (1) olg π∗R1π ogg (1) 0. → ∗ L n →L n U → P n → ∗ L n,U →

39 By the definition of the geometric logarithm ogg = p Λ and hence π ogg = L n n∗ r ∗ L n Λr. We get

0 Λ (1) p Λ (1) olg π∗R1π Λ (1) 0. → r → n∗ r,U → P n → n∗ r,U → For a lisse sheaf on U consider the dual F ( )∨ := Hom ( , Λ). F U F Then, using Poincar´eduality, we get by dualizing and twisting by 1 an exact sequence

0 π∗ R1π Λ (1) ( olg )∨(1) p Λ Λ 0. → n n! r,U → P n → n∗ r,U → r,U → Denote by I the kernel of the map p Λ Λ , then ( olg )∨(1) gives n,Λr n∗ r,U → r,U P n a class in

1 ∗ 1 ExtU (In,Λr ,πnR πn!Λr,U (1)).

We want to give a geometric interpretation of this class. For this we will relate ( olg )∨(1) with the lr-torsion points of a one-motive, which is defined via a P n generalized Picard scheme.

4.1.2 The generalized Picard scheme We will give a geometric interpretation of ( olg )∨(1). For this we need the P n Picard scheme of line bundles on En trivialized along Hn (cf. the article by Raynaud [Ra]).

Definition 4.1.1. Let PHn be the generalized Picard scheme representing the functor, which associates to S′ S the isomorphism classes of pairs ( , α), → L where is a line bundle on E S′ and α : h∗ = is a trivialization of L n ×S nL ∼ OHn along H S′. L n ×S That Hn is a rigidificator in the sense of [Ra] follows from the fact that H contains the section e : S E . Denote by P the Picard scheme of E . n n → n n n Then we have an exact sequence

0 T P P 0, → Hn → Hn → n → where THn is the torus with character group I[Hn] := ker(pn∗Z Z). The r → l -torsion of PHn can be identified as follows:

40 Lemma 4.1.2. There is a canonical isomorphism

1 r R πn!Λr(1) ∼= PHn [l ]. Proof. Define G := ker(G h h∗ G ). Then P = R1π ( G ) (see Hn m m → n∗ n m Hn ∗ Hn m [SGA4,III], Expose XVIII proposition 1.5.14), where the higher direct image is taken for the flat topology. The sequence from loc. cit. lemma 1.6.1

[lr] 0 j µ r G G 0 → n! l →Hn m −−→Hn m →

1 r r gives an isomorphism R π∗jn!µl ∼= PHn [l ]. On E U we have the line bundle (∆ ) associated to the Cartier divisor n ×S n O n defined by the diagonal ∆ . By definition (∆ ) sits in an exact sequence n O n 0 (∆ ) ∆ 0, →O→O n → n∗OUn → which induces a trivialization of (∆ ) along H U . Thus we get a section O n n ×S n ∆ : Z π∗ P of ´etale sheaves. Adjunction gives a map n → n Hn (10) ∆ : p Z π∗P n n∗ → Hn also denoted by ∆n by abuse of notation.

4.1.3 Comparison with a one-motive Consider p Z π∗P as a complex of sheaves in degree 0 and 1. Note that n∗ → Hn p Z π∗P is not a one-motive because P is not a semi-abelian scheme. n∗ → Hn Hn We have an exact sequence 0 P 0 P Z 0 and if we let I[H ] be → Hn → Hn → → n the kernel of the composition p Z Z we get a quasi-isomorphism n∗ → [I[H ] P 0 ] = [p Z π∗P ]. n → Hn ∼ n∗ → Hn Here I[H ] P 0 is of course a one-motive. n → Hn Theorem 4.1.3. There is a canonical isomorphism of ´etale sheaves

H0([p Z π∗P ] L Z/lrZ) = ( olg )∨(1) n∗ → Hn ⊗ ∼ P n which is compatible with the morphism ( olg )∨(1) ( olg )∨(1) induced by P n → P m the trace map ogg ogg . L m →L n

41 Proof. Let t : S E be a section and H := p−1(t) be its preimage in E . → t,n n n Let ̺ : H E be the embedding and denote by g the open immersion n t,n → n n of the complement

. g : E r H ֒ E n n t,n → n Denote also by p : H S the structure map. We have an exact sequence t,n t,n → of ´etale sheaves

0 G g g∗ G ̺ Z 0. → m → n∗ n m → n∗ → On the other hand let G := ker(G h h∗ G ), where h : H E Hn m m → n∗ n m n n → n is the embedding. Then we get an exact sequence

0 G g g∗ ( G ) ̺ Z 0. →Hn m → n∗ n Hn m → n∗ →

The long exact cohomology sequence for Rπn∗ taken for the flat topology gives

(p ) Z π∗R1π ( G ) R1π g g∗ ( G ) 0 t,n ∗ → n∗ Hn m → n∗ n∗ n Hn m → 1 1 because R pt,nZ = 0. We have an identification R πn∗(Hn Gm) ∼= PHn and it is clear that the map (p ) Z R1π ( G ) = P is injective. We get an t,n ∗ → n∗ Hn m ∼ Hn isomorphism of complexes

[(p ) Z P ] L Z/lrZ = [R1π g g∗ ( G )[1]] L Z/lrZ. t,n ∗ → Hn ⊗ ∼ n∗ n∗ n Hn m ⊗ Using the sequence

[lr] 0 j µ r G G 0 → n! l →Hn m −−→Hn m → as in the proof of lemma 4.1.2, we see that

0 ∗ L r 1 ∗ H ([(p ) Z π P ] Z/l Z) = R π g g (j µ r ), t,n ∗ → Hn ⊗ ∼ n∗ n∗ n n! l where j : U E . Let us compute t∗ olg . By base change and the n n → n P n definition 3.2.9 it is a straightforward computation that

∗ g 1 ∗ t ol = R π g g j µ r P n n∗ n! n n∗ l and by Poincar´eduality we get

∗ g ∨ 1 ∗ t ( ol ) (1) = R π g g j µ r . P n n∗ n∗ n n! l If we apply this to the universal section ∆ : U E U we get the desired → ×S result.

42 Here is an explicit way to get the extension ( olg )∨(1) from [p Z π∗P ]. P n n∗ → Hn Consider the exact sequence

lr 0 π∗P [lr] π∗P π∗P Z/lrZ 0 → Hn → Hn −→ Hn → → defined by the lr-multiplication and the map p Z π∗P . The pull-back n∗ → Hn gives an extension

0 π∗P [lr] p Z Z/lrZ 0. → Hn →E→ n∗ → → If we tensor this with Z/lrZ over Z, then we get an exact sequence

0 π∗P [lr] Z/lrZ p Z/lrZ Z/lrZ 0, → Hn →E⊗Z → n∗ → → because the kernel of p Z Z/lrZ is a free Z-module. With the above n∗ → theorem we conclude that ( olg )∨(1) = Z/lrZ. P n ∼ E ⊗Z 4.1.4 The class of the geometric polylog Recall from section 4.1.1 that the polylog ( olg )∨(1) defines a class in P n 1 ∗ 1 ExtU (In,Λr ,πnR πn!Λr,U (1)), where I is the kernel of the map p Λ Λ . With lemma 4.1.2 we n,Λr n∗ r,U → r,U can write

cl(( olg )∨(1)) Ext1 (I , P [lr]). P n ∈ U n,Λr Hn Let [a] be an isogeny of E of degree N a prime to l. We can consider the pull-back [a]∗( olg )∨(1) on [a]−1U. Recall from lemma 3.5.1 that we have an P n isomorphism p Λ = [a]∗p Λ . Thus [a]∗( olg )∨(1) defines a class in n∗ r,U ∼ n∗ r,U P n 1 r Ext[a]−1U (In,Λr , PHn [l ]).

Similarly consider the N a-multiplication on ( olg )∨(1) restricted to [a]−1U. P n This gives also an extension class in the above group. Denote by

cl(([a]∗ N a)( olg )∨(1)) − P n the difference of these two classes. Our aim is to compute the specialization of this class. For this we show first, that this class is in the image of

1 r 1 r Ext −1 (p Λ , P [l ]) Ext −1 (I , P [l ]). [a] U n∗ r Hn → [a] U n,Λr Hn

43 Lemma 4.1.4. The class of cl(([a]∗ N a)( olg )∨(1)) on [a]−1U maps to zero − P n under the boundary map

1 r 2 r Ext −1 (I , P [l ]) Ext −1 (Λ, P [l ]). [a] U n,Λr Hn → [a] U Hn Proof. The sheaf [a]∗( olg )∨(1) can be described as the pull-back of the se- P n quence

r 0 π∗P [lr] π∗P l π∗P Z/lrZ 0 → Hn → Hn −→ Hn → → by the map

∗ ∗ ∗ ∗ ∗ ∗ [a] ∆ : p Z [a] p Z [a] π P = π P −1 π P , n n∗ → n∗ → Hn ∼ [a] Hn → Hn ∗ where the last map is forgetting the trivialization on [a] Hn r Hn. The sheaf a N a( olg )∨(1) is the pull-back by the map N a∆ : p Z π∗P N π∗P P n n n∗ → Hn −−→ Hn of the same sequence. We have to compute the composition of these maps a with π∗P Z. This composition factors in both cases as p Z Z N Z. Hn → n∗ → −−→ Thus, the difference is zero. This implies the claim.

Consider the difference of the two maps in the above proof and denote this by ([a]∗ N a)∆ . By adjunction this defines a map − n ([a]∗ N a)∆ : Z π∗P , − n → n Hn ∗ 0 which by the above proof even factors through πnPHn . The line bundle which is associated with this map is easily described: Recall from the end of section 4.1.2 that the line bundle (∆ ) on E U O n n×S n with its canonical trivialization gives a section ∆ : Z π∗ P . Then the n → n Hn line bundle [a]∗ (∆ ) (∆ )⊗−N a on E [a]−1U defines the section O n ⊗ O n n ×S n ([a]∗ N a)∆ . − n Denote by δ the composition δ : H0([a]−1U , T ) H1([a]−1U , T [lr]) H1([a]−1U , P [lr]), n Hn → n Hn → n Hn where the first map is the boundary map for the short exact sequence

[lr] (11) 0 T [lr] T T 0. → Hn → Hn −−→ Hn → Proposition 4.1.5. The section ([a]∗ N a)∆ factors through T and up − n Hn to sign, there is an equality cl(([a]∗ N a)( olg )∨(1)) = δ(([a]∗ N a)∆ ) − P n ± − n 1 −1 r in H ([a] Un, PHn [l ]).

44 Proof. The composition of ([a]∗ N a)∆ with the map P 0 P 0 to the − n Hn → n Picard scheme is zero, because [a]∗ (∆ ) = (∆ )⊗ N a. This gives the first O n ∼ O n claim. The extension class δ(([a]∗ N a)∆ ) is given by the pull-back of the − n sequence (11) with the map ([a]∗ N a)∆ : Z π∗ T . Using the explicit − n → n Hn description following the proof of theorem 4.1.3 proves the result.

4.2 Computation of the specialization of the polylog Let t : S U be an N-torsion point. We want to compute the specialization → at t of the polylog.

4.2.1 Specialization of the class of the geometric polylog Let t : S U be an N-torsion point and [a] : E E an isogeny of degree → → N a relatively prime to Nl. Let H := p−1(t) U be the inverse image n,t n ⊂ n of the N-torsion point t : S U in U . To compute the specialization → n of the polylog following section 3.5 we need to compute the restriction of the class ([a]∗ N a)( olg )∨(1) in H1([a]−1U , T [lr]) to H . We let t : − P n n Hn n,t H [a]−1U also be the inclusion of H by abuse of notation. Denote the n,t → n n,t restriction of the polylog by

cl(t∗([a]∗ N a)( olg )∨(1)) H1(H , T [lr]). − P n ∈ n,t Hn We have to compute the section t∗([a]∗ N a)∆ : Z t∗T , which is defined − n → Hn by the trivialization of the (trivial) line bundle t∗[a]∗ (∆ ) t∗ (∆ )⊗−N a O n ⊗ O n on Hn,t. To describe this section in terms of functions, we extend our base to a Galois covering Sn of S, where Hn,t is rational and then use descent: Let Gn be the Galois covering group of Sn/S. Consider hn∈Hn(Sn) Gm and write a typical element of this product as g (h ). Similar definitions apply to hn hn n Q µ r . Let us write T as a quotient: hn∈Hn(Sn) l Hn P

LemmaQ 4.2.1. The group THn (Sn) can be identified as the Gn-invariant ele- ments of the quotient

G (S ) T (S ) m n → Hn n hn∈YHn(Sn) ghn (ghn )(hn) (hn). 7→ gen Xhn   Proof. Clear because the character group of T is ker(p Z Z). Hn Hn∗ →

45 This gives H0(H S , T )= T (S ). n,t ×S n Hn Hn n tn∈HYn,t(Sn) With this notation we rewrite the section t∗([a]∗ N a)∆ : Z t∗T . Note − n → Hn first that t∗[a]∗ (∆ ) = [a]∗ ([a]H ) and t∗ (∆ )⊗−N a = (H )⊗−N a. O n O n,t O n O n,t The section t∗([a]∗ N a)∆ : Z t∗T can now be written as − n → Hn s(tn), tn∈HXn,t(Sn) where s(t ) T (S ). This section is given by the trivialization of the n ∈ Hn n line bundle [a]∗ ([a]t ) (t )⊗−N a. Using the lemma, we write s(t ) = O n ⊗ O n n s(t ) (h ), with s(t ) G . hn n hn n n hn ∈ m We want to compute s(t ) for h H (S ) r e . For this we need the P n hn n ∈ n n n elliptic units on En.

4.2.2 Elliptic units Elliptic units were introduced and studied by Robert and Gillard. An algebraic approach to elliptic units was proposed by Kato. Let us recall the definition of the elliptic units and their characterization in [Ka2] III 1.1.5. (see also [Scho]). With Kato let us make the definition that a, b End (E) are relatively ∈ OS prime (a, b) = 1, if ker(a) ker(b) = e where e is endowed with the reduced ∩ subscheme structure and ab = ba. Theorem 4.2.2. (see [Ka2] III 1.1.5. and [Scho] thm 1.2.1) Let a End (E) ∈ OS be an endomorphism with (a, 6) = 1. There is a unique section θ ∗(E r ker a) a ∈ O compatible with base change in S, with the following properties: i) Div(θ ) = deg(a)(e) ker a a − ii) for any b End (E) with (a, b) = 1 ∈ OS b∗θa = θa. iii) Moreover, for b End (E) with (6, b) = 1 and ab = ba ∈ OS θ ◦b θ ◦a a = b . deg(b) deg(a) θa θb Definition 4.2.3. The values of θ at torsion sections t : E r ker a are a OS → called elliptic units.

46 4.2.3 The specialization of the polylog in terms of elliptic units

We turn to the computation of s(tn)= hn s(tn)hn (hn) from the end of section 4.2.1. P Proposition 4.2.4. Let [a] be relatively prime to Nl. Then the section s(t ) n hn ∈ Gm(Sn) is given by

θ (h t ) −1 s(t ) = a n − n n hn θ ( t )  a − n  for h H (S ) r e using the identification from lemma 4.2.1. n ∈ n n n

Proof. The section s(tn)hn is given by evaluating an isomorphism

[a]∗ ([a]t ) = (t )⊗ N a O n ∼ O n at h . Let T be the translation with t on E , then n −tn − n n [a]∗ ([a]t ) = T ∗ [a]∗ (e ) and (t )⊗ N a = T ∗ (e )⊗ N a. O n ∼ −tn O n O n ∼ −tn O n The function θ gives a section of (e )⊗ N a [a]∗ (e )⊗−1 and thus T ∗ θ a O n ⊗ O n −tn a gives a section of

(t )⊗ N a [a]∗ ([a]t )⊗−1. O n ⊗ O n This proves the claim.

Remark: Note that in this proposition we do not really need the elliptic units, because any function with the right divisor would also describe the sec- tions s(tn). The point is that there are two more problems to solve before we get the specialization of the elliptic polylog. The first problem is rather trivial. It is the computation of the map prt from (8), which is nothing but the identification of Hn,t with Hn via the projection map. The second problem is that we still have to compute the splitting from 3.5.8 and it is here that the elliptic units will be necessary because of their norm compatibility property.

Recall the definition of the map prt from 8. We write

pr : H (S ) H (S ) t n,t n → n n t t n 7→ n e

47 for the projection of tn to Hn. Consider the section

θa(hn tn) − (hn) θa( tn) tn∈HYn(Sn) Xhn  −  of tn∈Hn(Sn) THn (Sn).e It is invariant under the group Gn and thus defines a 0 section in H (Hn, THn ). Denote by Qe δ : H0(H , T ) H1(H , T [lr]) n Hn → n Hn the boundary map. The main result of this section can now be formulated as follows: Proposition 4.2.5. The class of pr t∗([a]∗ N a)( olg )∨(1) is given by ± t − P n

θa(hn tn) 1 r δ − (hn) H (Hn, THn [l ]),  θa( tn)  ∈ tn∈HYn(Sn) Xhn  −   n  where tn is ane l N-division point.

4.2.4 The splitting In the last section we have computed cl(pr t∗([a]∗ N a)( olg )∨(1)) H1(H , T [lr]). t − P n ∈ n Hn

Recall that the torus THn is defined by the character group I[Hn] := ker(pHn∗Z g g → Z). By definition of n, we get that I[Hn] Λ= n is the augmentation ideal g I ⊗ I in n. In particular R r g T [l ] = Hom ( ,µ r ). Hn S In l 1 r 1 g g This gives H (Hn, THn [l ]) = H (S, HomS( n, n(1))). We have a map (cf. g g g I R g 3.5.6) n(1) HomS( n, n(1)) given explicitly as follows: Write n(1) = R → I Rg R Λ(1)[H ] and observe that n Λ[H ] is generated by (h ) (e ) with h n I ⊂ n n − n n ∈ Hn. Then Λ(1)[H ] Hom ( g, Λ(1)[H ]) n → S In n (h ) (h′ ) (e ) (h′ + h ) (h ) . n 7→ { n − n 7→ n n − n } This induces a map (cf. corollary 3.5.7) 1 g 1 1 r (12) H (S, (1)) = H (H ,µ r ) H (H , T [l ]). Rn n l → n Hn To compute the splitting it suffices to write down a norm compatible element 1 ∗ ∗ g ∨ in H (Hn,µlr ), which maps to the class of prt t ([a] N a)( oln) (1) in 1 r ± − P H (Hn, THn [l ]). Recall that tn is the projection to Hn.

e 48 Proposition 4.2.6. The element

1 δ θ ( t )(t ) H (H ,µ r ) a − n n ∈ n l tn∈XHn(Sn) e maps under (12) to ecl(pr t∗([a]∗ N a)( olg )∨(1)). ± t − P n Proof. This is a straightforward computation. The element

θ ( t )(t ) a − n n Xtn e maps to the mapping, which sendse (h ) (e ) to n − n θ ( t )(h + t ) θ ( t )(t ). a − n n n − a − n n Xtn Xtn e e The first sum can bee rewritten as e

θ (h t )(t ) a n − n n Xtn e so that we get θa(hn−tn) (te). This is the desired result. tn θa(−tn) n P We show nowe that the elemente defined in proposition 4.2.6 is norm com- patible if we vary n. This will imply that we have actually computed the splitting and thus the l-adic Eisenstein classes. Let N ′ be the norm map from E to E ′ for n n′.. n,n n n ≥ 1 Proposition 4.2.7. In H (Hn′ ,µlr ) the following equality holds:

N ′ δ θ ( t )(t )= δ θ ( t ′ )(t ′ ) n,n a − n n a − n n tn∈XHn(S) tn′ ∈XHn′ (S) e e n e n−n′ e where [l ]tn = t and [l ]tn = tn′ .

Proof. From theorem 4.2.2 we know that N ′ θ ( t ) = θ ( t ′ ) because a n,n a − n a − n is prime to Nl. This proves the claim.

It is clear that the element δ θa( t )(t ) is compatible with tn∈Hn(Sn) − n n the reduction map Λ Λ ′ for r r′. Hence we get an element r r P → ≥ e e

1 g δ θa( tn)(tn) H (S, (1)).  −  ∈ RZl tn∈XHn(Sn) n  e  e 49 Recall the map

1 g 1 g a 1 g g H (S, (1)) = Ext (Z , (1)) Ext g ( , (1)) Zl S,Zl l Zl S,R Zl Zl R R −→ Zl I R from corollary 3.5.7.

Lemma 4.2.8. The element δ t ∈H (S ) θa( tn)(tn) maps to the class n n n − n of olg under the map a.   Zl P P e e Proof. This follows immediately from the above proposition.

4.2.5 The main theorem on the specialization of the elliptic polylog It remains to compute the moment map to get the l-adic Eisenstein classes explicitly.

Theorem 4.2.9. Let β = n (t) and [a] : E E an isogeny t∈E[N](S)re t → relatively prime to Nl. Then for k > 0 the l-adic Eisenstein class P (β∗([a]∗ N a) ol )k H1(S, Symk (1)) − P Ql ∈ HQl is given by

1 ⊗k δ nt θa( tn)tn ±k!  n −  t∈E[XN](S)re [l X]tn=t n  e  n where tn is the projection of tn to E[l ].

Proof. eThe recipe to compute the moment map from lemma 3.5.5 combined with lemma 4.2.8 gives immediately the result.

5 Proof of the main theorem

In this section we will carry out the actual comparison between the space r ( ) and the Soul´eelements e ( T E(k)) defined by elliptic units. p Rψ p C∞ ⊗ p 5.1 Comparison with the Soul´eelements We first transfer the result from 4.2.9 into the setting of 1.2.2 and then compare these elements with the Soul´emap ep.

50 5.1.1 The specialization of the elliptic polylog The theorem 4.2.9 gives us an explicit description of (β∗([a]∗ N a) ol )2k+1H1( , Sym2k+1 (1)), − P Ql OS HQp which we now translate in the setting of section 1.2.2. Note first that p = l and S = and = T E Q . Let a be prime to 6pf. Let θ be the OS HQp p ⊗ p ∈ OK a function defined in 4.2.2. To have shorter formulas we introduce the following notation: Define for t E[pr] r ∈ γ(t )k :=< t , d t >⊗k e r r K r where < , > is the Weil pairing and p√dK is a root of the discriminant of ke ek k e K/Q. Note that γ(ψ(p)tr) = (N p) β(tr) . Recall from the end of section 3.5 that we have an endomorphism ([a]∗ N a) of H1( , Sym2k+1 (1)), − OS HQp which is multiplication withe a2k+1 N a eN a. − r Theorem 5.1.1. Let p ∤ 6 N f and denote for a p N f-torsion point tr by tr its projection to E[pr]. Then with t =Ωf −1 e N f3k+2L (ψ, k)−1 ([a]∗ N a)r (ξ)= p − δ N θ ( t ) t γ(t ) − p ± 2k−1ψ(f) K(f)/K a − r ⊗ r ⊗ r prt =t ! Xr r r e e where tr is the projection of tr to E[p ]. Proof. We have by definition and and theorem 1.2.5 e ( 1)k−1(2k + 1)!L (ψ, k)−1 r (ξ)= − p − r ( 2k+1(β)) p 2k−1ψ(f) N fk KM p EM ( 1)k−1(2k + 1)! N f3k+2L (ψ, k)−1 = − p − (β∗ ol )2k+1. 2k−1ψ(f) KM P Ql By definition of [a]∗ ol we see immediately, that P Ql ([a]∗ N a)(β∗ ol )2k+1 = (β∗([a]∗ N a) ol )2k+1. − P Ql − P Ql With the above notation, we have (t⊗2k+1)= t γ(t )k KM r r ⊗ r so that theorem 4.2.9 gives: e e e N f3k+2L (ψ, k)−1 ([a]∗ N a)r (ξ)= p − δ N θ ( t ) t γ(t ) . − p ± 2k−1ψ(f) K(f)/K a − r ⊗ r ⊗ r prt =t ! Xr r This is the desired result. e e

51 5.1.2 The comparison theorem We want to rewrite the formula in theorem 5.1.1 in terms of the norm map for Kn(f)/K. Fix a prime p of K where E has good reduction. Define a uniformizer by π := ψ(p). Denote by

Hp := t E[prf] πrt = t . r,t { r ∈ | r } We write t = (t ,π−rt) E[prf] = E[pr] E[f]. Denote by K(prf) the ray r r ∈ ⊕ class field for prf. This is the field where the E[prf]-points are rational. Let − σ r σp be the Frobeniuse at p in the Galois group of K(f)/K, then tr = (tr,t p ). k ⊗k p Recall that γ(tr) :=< tr, √dKtr > . Define a filtration of Hr,t as follows: e F i := t = (t ,π−rt) Hp πr−it = 0 . e r,t e r e r ∈ r,t| r Thus  e e Hp = F 0 . . . F r = 0. r,t r,t ⊃ ⊃ r,t n Define TpE := lim nE[p ]. ←− Theorem 5.1.2. Let p be as above and t = (t ,π−rt) F 0 r F 1 . Let r r ∈ r,t r,t Lp(ψ, k) be the Euler factor for ψ at p evaluated at k, then − e −

−1 k Lp(ψ, k) NK(f)/K θa( sr) sr γ(sr)  = − p − ⊗ ⊗ sr∈H  Xr,t r  e k e  NK(prf)/K (θa( tr) tr γ(tr) ) − ⊗ ⊗ r 1   in H ( S , TpE(k + 1) Qp) for all a relativelye primee to pf. O ⊗ Proof. Observe that we identified Hom (T E, ) = T E( 1) where T E has Op p Op ∼ p − p now the conjugate linear -action. In particular, ψ(p)t = t for t E[pr]. Op r r−1 r ∈ We compute

i ψ(p) k − −k NK(prf)/K(pr if) θa( tr) tr γ(tr) = N p ! − ⊗ ⊗   −r k = N r e r−i eθ ( (t ,π t)) ψ(p)t γ(ψ(p)t ) K(p f)/K(p f) a − r ⊗ r ⊗ r  −r k  = N r r−i θ ( (t ,π t)) t γ(t ) K(p f)/K(p f) a − er ⊗ r−ie⊗ r−i e i−r k = θa( (tr−i,π t))) tr−i γ(tr
−i) , − ⊗ e ⊗ e e e 52 e e where we used the distribution relation for θa (see [deSh] II 2.5)

i N r r−i θ ( t )= θ (π t )) K(p f)/K(p f) a − r a r for the last equality. r−i i As the Galois group of K(p f)/K(f) acts simply transitively on Fr,t r i+1 Fr,t , we get

i ψ(p) k r −k NK(p f)/K(f) θa( tr) tr γ(tr) = N p ! − ⊗ ⊗   e θ ( (et ,πi−rt)) t γ(t )k. a − r−i ⊗ r−i ⊗ r−i i i+1 tr−i∈FXr,trFr,t e e e i We have θ ( (t ,πi−rt))) = θ ( (t ,π−rt)))σp which gives a − r−i a − r−i i ψ(p) e e k r −k NK(p f)/K θa( tr) tr γ(tr) = N p ! − ⊗ ⊗   N e e θ ( (t ,π−rt)) t γ(t )k K(f)/K a − r−i ⊗ r−i ⊗ r−i i i+1 tr−i∈FXr,trFr,t   e e e because the norm NK(f)/K is the sum over all the Galois translates, which act trivially on tr−i. If we finally take the sum over i and let r get bigger and bigger we get e k Lp(ψ(p), k) NK(prf)/K θa( tr) tr γ(tr) = − − ⊗ ⊗ r   e e k NK(f)/K θa( tr) tr γ(tr)  , p − ⊗ ⊗ tr ∈H  Xr,t r  e e  where we used

i ψ(p) 1 = . N p−k ψ(p) i≥0 ! 1 − X − N p k This is the desired result.

With theorem 5.1.1 we get:

53 Corollary 5.1.3. With the notations of theorem 5.1.1

3k+2 ∗ N f k ([a] N a)rp(ξ)= δ NK(prf)/K θa( tr) tr γ(tr) , − ±2k−1ψ(f) − ⊗ ⊗ r   r r where p tr = t and tr is a primitive p f-torsion point. e e Proof. If p is inert of prime this is just a reformulation of theorem 5.1.2. If p ∗ is split, rp decomposes into a direct sum for the p and the p part. Putting them together gives the result.

5.2 End of proof of the main theorem Here we finich the proof of theorem 1.1.5 by computing the image of the Soul´e map e . In the last section we prove that r is injective on if H2 is finite. p p Rψ p 5.2.1 Relation to elliptic units Our aim is to show that the elements

k NK(prf)/K θa(tr) tr γ(tr) ⊗ ⊗ r   χ where a is prime to 6pf generate ( T Ee(k)) , wheree χ is the representation C∞ ⊗ p Γ of ∆ on Hom (T E(k), ). Op p Op Proposition 5.2.1. Let p ∤ 6 N f and a be an ideal in , which is prime to Op 6pf and such that N a 1(mod p). Then the [[Γ]]-module 6≡ Op χ T E(k) C∞ ⊗Op p is generated by θ (t ) t γ(t )k , where t is a primitive prf-division a r ⊗ r ⊗ r r r point.
e e Proof. Let b be another ideal prime to 6pf. Then by theorem 4.2.2

(σ ψ(a)(N a)k+1)(θ (t ) t γ(t )k)= ψ(a)(N a)k(θ (t )σa−N a t γ(t )k) a − b r ⊗ r ⊗ r b r ⊗ r ⊗ r k σb−N b k = ψ(a)(N a) (θa(tr) tr γ(tr) ). e e ⊗ e ⊗ e k+1 It is enough to show that σa ψ(a)(N a) is invertible in Λ = p[[Γ]],e becausee χ − O is a torsion free Λ-module. Λ is a local ring if p is inert or prime in K C∞ and a product of local rings if p is split. We have Λ/m = E[p](k), where m is either the maximal ideal or the product of the maximal ideals. The element

54 σ acts via ψ(a)(N a)k on E[p](k) and thus σ ψ(a)(N a)k+1 is invertible in a a − Λ if N a 1(mod p). It remains to see that γ(t )k generates Z (k). We have 6≡ r p < t , d t >±1 = exp(p−r Ω 2( d d )) r K r | | e K − K −r 2 p = exp( 2ip Ωp dKp) e e − | | | | = exp( 4πip−r), − p which is for p = 2 a primitive root of unity. 6 Corollary 5.2.2. The image r ( ) in H1( , T E(k + 1) Q ) coincides p Rψ OS p ⊗ p with the image of χ e (( T E(k)) ). p C∞ ⊗ p Γ N f3k+2 Proof. As 2k−1ψ(f) is prime to p, this follows from corollary 5.1.3 and the definition of ep in 2.2.1. To conclude the proof of theorem 1.1.5 it remains to see the following lemma: Lemma 5.2.3. The canonical map χ ( T E(k)) L ( T E(k)) = ( T E(k)) C∞ ⊗ p ⊗Op[[G]] Op → C∞ ⊗ p G ∼ C∞ ⊗ p Γ χ is an isomorphism and ( T E(k)) = . C∞ ⊗ p Γ ∼ Op Proof. By [Ru2] theorem 7.7 we have an isomorphism χ = Λχ = [[Γ]]. C∞ ∼ Op This implies that the p[[Γ]]-module is induced and hence as p[[Γ]]-module O χ O isomorphic to [[Γ]]. This implies ( T E(k)) = and the claim of Op C∞ ⊗ p Γ ∼ Op the corollary, because the higher Tor-terms vanish. We get as a corollary part b) of theorem 1.1.5: Corollary 5.2.4. The map Z RΓ( , T E(k + 1) Q )[1] Rψ ⊗ p → OS p ⊗ p induced by rp, gives an isomorphism det = det RΓ( , T E(k + 1))−1. Op Rψ ∼ Op OS p Proof. The complex Z RΓ( , T E(k + 1) Q )[1] is isomorphic to Rψ ⊗ p → OS p ⊗ p χ ep ( ∞ TpE(k))Γ RΓ( S, TpE(k + 1) Qp)[1] C ⊗ −→ O ⊗ χ because by 5.2.2 r and e have the same image and as -modules ( p p Op C∞ ⊗ T E(k)) = and Z = . Theorem 2.2.11 implies then the claim. p Γ ∼ Op Rψ ⊗ p ∼ Op

55 2 5.2.2 Finiteness of Hp and injectivity of rp 2 Here we prove the addition of theorem 1.1.5, that the finiteness of Hp implies that r is injective on . p Rψ Recall that by corollary 5.2.2 the image of rp coincides with the image of e . It suffices for the injectivity of r to prove that r ( ) is non zero, because p p p Rψ = . Rψ ∼ OK 2 Proposition 5.2.5. Let Hp be finite, then ep is injective. Proof. We chow first that H2 finite implies the finiteness of ( T E(k)) . p A∞ ⊗ p G Note that this is the cokernel of ( T E(k)) ( T E(k)) . U∞ ⊗ p G → X∞ ⊗ p G Computing up to finite groups we get from corollary 2.2.7 (using corollary 2.2.10) that this cokernel is isomorphic (up to finite groups) to the cokernel of H1(K Q , E[p∞]( k))∗ H1( , E[p∞]( k))∗ ⊗ p − → OSp − which is contained in H2( , T E(k + 1)). This group is of course finite if OSp p H2 = H2( , T E(k + 1)) is finite. Thus ( T E(k)) is finite. Using p OS p A∞ ⊗ p G lemma 6.2. from [Ru2] we see that this implies that ( T E(k))G is finite. A∞ ⊗ p We will now show that this last group controls the kernel of ep. It suffices to show that the kernel of e on ( T E(k)) is finite because by [Ru2] 7.8. p E∞ ⊗ p G both and are Λ-modules of rank 1 with / a torsion module. So E∞ C∞ E∞ C∞ suppose that the image of ( T E(k)) under e has not rank 1, i.e. is E ∞ ⊗ p G p finite. Then, because ( T E(k)) = H1(K Q , E[p∞]( k))∗ the image U∞ ⊗ p G ∼ ⊗ p − of ( T E(k)) in ( T E(k)) must be finite as well. The kernel of E∞ ⊗ p G U∞ ⊗ p G the map ( T E(k)) ( T E(k)) E ∞ ⊗ p G → U∞ ⊗ p G is H ( , / T E(k)) (group homology). On the other hand, up to finite 1 G U∞ E ∞ ⊗ p groups, corollary 2.2.7 implies that H ( , T E(k)) = H2( , E[p∞]( k))∗. 1 G X∞⊗ p ∼ OSp − By lemma 2.2.8 we get a commutative diagram (up to finite groups)

H ( , / T E(k)) α H ( , T E(k) 1 G U∞ E ∞ ⊗ p −−−→ 1 G X∞ ⊗ p

 ep 1  ( ∞ TpE(k))G H ( Sp , TpE(k + 1)) E ⊗ y −−−→ O y

∼  = 1  ∞ ∗ ( ∞ TpE(k))G H (K Qp, E[p ]( k)) . U ⊗ y −−−→ ⊗ y − 56 The kernel of the map α is a quotient of ( T E(k))G which by the above A∞ ⊗ p is finite. Thus, we arrive at a contradiction and ep can not be zero on the free part of ( T E(k)) . Hence, e is non zero on ( T E(k)) . E ∞ ⊗ p G p C∞ ⊗ p G References

[Ar-Ma] M. Artin, B. Mazur: Etale Homotopy, Lecture Notes in Mathe- matics 100, Springer 1986

[Be1] A. Beilinson: Higher regulators and values of L–functions. J. Sov. Math. 30, 2036–2070 (1985)

[Be2] A. Beilinson: Higher regulators of modular curves, Contemporary Math. Vol. 55 I (1986)

[Be3] A. Beilinson: Polylogarithm and cyclotomic elements, manuscript, no date.

[Be-Le] A. Beilinson, A. Levin: The elliptic polylogarithm, in: U. Jannsen et al.(eds.): Motives, Proceedings Seattle 1991, Providence, RI: American Mathematical Society, Proc. Symp. Pure Math. 55, Pt. 2, 123-190 (1994)

[Bour] N. Bourbaki: Groupes et Algebres des Lie, Hermann, (1972)

[Bl-Ka] S. Bloch, K. Kato: L-functions and Tamagawa numbers of motives, in: P. Cartier et al. eds.: The Grothendieck Festschrift Vol. I, Birkh¨auser (1990)

[Del1] P. Deligne: Th´eorie de Hodge III, Publ. Math. IHES, 5–77 (1974)

[Del2] P. Deligne: Le groupe fondamental de la droite projective moins trois points. in: Ihara et al. (eds.): Galois groups over Q, MSRI Publication (1989)

[Den1] C. Deninger: Higher regulators and Hecke L–series of imaginary quadratic fields I. Invent. math. 96 ,1–69 (1989)

[Den2] C. Deninger: Extensions of motives associated to symmetric powers of elliptic curves and to Hecke characters of imaginary quadratic fields, in: F.Catanese (ed.): Arithmetic Geometry, Cor- tona 1994.

57 [deSh] E. deShalit: Iwasawa Theory of Elliptic Curves with Complex Mul- tiplication, Perspectives in Mathematics vol. 3, Academic Press (1987)

[Hu-Ki1] A. Huber, G. Kings: Dirichlet motives via modular curves, Ann. Sci. ENS, 32, 313–345 (1999)

[Hu-Ki2] A. Huber, G. Kings: Degeneration of l-adic Eisenstein classes and of the elliptic poylog, Invent. math. 135, 545–594 (1999)

[HuW] A. Huber, J. Wildeshaus: Classical motivic polylogarithm accord- ing to Beilinson and Deligne, Doc. Math. J. DMV 3 , 27–133 (1998)

[Ja1] U. Jannsen: Continous ´etale cohomology, Math. Ann. 280, 207- 245 (1988)

[Ja2] U. Jannsen: On the l-adic cohomology of varieties over number fields and its Galois cohomology, in: Ihara et al. (eds.): Galois groups over Q, MSRI Publication (1989)

[Ka1] K. Kato: Lectures on the approach to Iwasawa theory for Hasse- Weil L-functions via BdR, in: J.-L. Colliot-Th´el`ene et al.: Arith- metic Algebraic Geometry, LNM 1553, Springer (1993)

[Ka2] K. Kato: Iwasawa theory and p-adic Hodge theory, Kodai math. J. 16 1–31 (1993)

[Ki] G. Kings: K-theory elements for the polylogarithm of abelian schemes, J. reine angew. Math. 517, 103–116 (1999)

[Kn-Mu] F. Knudsen, D. Mumford: The projectivity of the moduli space of stable curves I: Preliminaries on “det” and “Div”, Math. Scand. 39, 19–55 (1976)

[Ra] M. Raynaud: Sp`ecialisation du Foncteur de Picard, Publ. Math. IHES, 38 27–76 (1970)

[Ru1] K. Rubin: Tate Shafarevich groups and L-functions of elliptic curves with complex multiplication, Invent. math. 89, 527–560 (1987)

[Ru2] K. Rubin: The “main conjectures” of Iwasawa theory for imagi- nary quadratic fields, Invent. math. 103, 25–68 (1991)

58 [Ru3] K. Rubin: Elliptic curves with complex multiplication and the conjecture of Birch and Swinnerton-Dyer, in: Arithmetic Theory of Elliptic Curves, Lecture Notes in Mathematics 1716, Springer 1999

[Scho] A.J. Scholl: An introduction to Kato’s Euler system, in: A.J. Scholl, R.L. Taylor (eds.): Galois representations in Arithmetic Algebraic Geometry, Cambridge University Press (1998)

[Sch1] P. Schneider: Uber¨ gewisse Galoiscohomologiegruppen, Math. Z. 168 (1979)

[Sch2] P. Schneider: Introduction to the Beilinson conjectures. in: M. Rapoport et al.: Beilinson’s conjectures on special values of L– functions. Academic Press (1988)

[Se] J.-P. Serre: Groupes alg´ebriques et corps des classes, Hermann (1959)

[Si] J.H. Silverman: Advanced Topics in the Arithmetic of Elliptic Curves, Graduate Texts in Math. vol. 151, Springer (1994)

[So1] C. Soul´e: The rank of ´etale cohomology of varieties over p-adic or number fields, Comp. Math. 53, 113–131 (1984)

[So2] C. Soul´e: p-adic K-theory of elliptic curves, Duke math. Jour. 54, 249–269 (1987)

[Wi] J. Wildeshaus: Realizations of Polylogarithms, Lecture Notes in Mathematics 1650, Springer 1997.

[Win] K. Wingberg: On the ´etale K-theory of an elliptic curve with com- plex multiplication for regular primes, Canad. Math. Bull. 33, 145– 150 (1990)

[EGA II] A. Grothendieck: El´ements´ de G´eom´etrie Alg´ebrique II, Publ. Math. IHES, 8 (1961)

[SGA4,III] S´eminaire de G´eom´etrie Alg´ebrique 4, Th´eorie des topos et coho- mologie ´etale des sch´emas, Springer LNM 305 (1972)

1 [SGA41/2] S´eminaire de G´eom´etrie Alg´ebrique 4 2 , Cohomologie ´etale, Springer LNM 569 (1977)

59 Guido Kings Mathematisches Institut Westf¨alische Wilhelms-Universit¨at M¨unster Einsteinstr. 62 48149 M¨unster Germany e–mail: [email protected]

60