arXiv:math/0510310v5 [math.NT] 9 Jun 2007 ue opee nmdlrcurves modular on complexes Euler 2 Introduction 1 Contents pcaiaino ue opee tacusp a at complexes Euler of Specialization 3 mgnr udai ed n eslain ftehproi pc 22 space hyperbolic the of tessellations and ﬁelds quadratic Imaginary 4 ue opee,C litccre,admdlrhyperbolic modular and curves, elliptic CM complexes, Euler 5 . ue opee nmdlrcre ...... 3-fo hyperbolic . modular . and points, . CM . complexes, curves Euler modular on complexes 1.6 Euler 1.5 . umr ...... of group . . fundamental . motivic the group . curves with Bloch modular . Relation the and and . unity motives of Tate . 1.4 roots Mixed . at logarithm . double 1.3 . The . 1.2 Summary 1.1 . ue opee nmdlrcre ...... curves modular on complexes Euler 2.5 . h egttomtvccmlxadtedlgrtm...... dilogarithm for law the reciprocity and A complex motivic two weight 2.2 The 2.1 . h oua n litcuisrvstd...... revisited elements units The elliptic and modular 2.4 The 2.3 . h pcaiainmp...... on cusp . . a . . at complex . . Euler . . the . of . Specialization . . map group specialization 3.3 Bloch The the in identities 3.2 Some 3.1 . ue opee o Melpi uvsadgoer fmo of Γ geometry of and cohomology curves rational elliptic The CM for complexes 5.2 Euler 5.1 . plctos...... elements the . between . Relations . . 5.4 Applications 5.3 . inh eslain o ulda ed ...... for . . complexes . . modular the . ﬁelds Describing Euclidean . for space tessellations 4.3 hyperbolic Bianchi the of tessellations 4.2 Bianchi 4.1 . eeaiain ...... Generalizations 5.5 ue opee n emtyo oua varieties modular of geometry and complexes Euler θ E ( a 1 a , oIsfBrsenfrhs6t birthday 60th his for Bernstein Iosif To K 2 a , 3 M 3 15 ...... ) ftefnto edo nelpi uv [1)...... 12 ...... ([G1]) curve elliptic an of ﬁeld function the of 1 ( P θ ..Goncharov A.B. E 30 ...... ) ( a 1 a , d 2 1 = 1 a , 3 , 32 ...... ) 25 ...... 3 G Y m 1 ( N − 21 ...... ) µ N d 7 ...... lds 5 ...... 22 ...... ua riod 26 ...... orbifolds dular [2)...... 3 ...... ([G2]) 23 ...... 10 ...... 14 ...... 3 fls26 -folds 6 ...... 18 ...... 19 ...... 4 ...... 20 ...... 34 ...... 31 ...... 2 . . 10 19 2 1 Introduction

1.1 Summary In [G2], [G3], [G5] we described a mysterious connection between the depth m multiple polylogarithms at N-th roots of unity

k1 km z1 ...zm N Lin1,...,nm(z1, ..., zm) := n1 nm , zi = 1, (1) k1 ...km 0

In this paper we give an explanation of the story for m = 2. Recall that the modular complex for GL (Z) is the chain complex of the modular triangulation of the hyperbolic plane , see Fig. 1, 2 H2 placed in degrees [1, 2]: 0 0

0 1

Figure 1: The modular triangulation of the hyperbolic plane.

We assume, for simplicity, that n1 = n2 = 1, i.e. work with the double logarithm Li1,1(z1, z2). The structure of the (motivic) double logarithm at N-th roots of unity was described in [G2] by a length two complex, called the level N cyclotomic complex. The above connection in the double logarithm case is described by a surjective homomorphism

The modular complex for GL (Z) The level N cyclotomic complex. (3) 2 −→

It is factorized via the coinvariants of the action of the group Γ1(N) on the modular complex. For every modular curve, we deﬁne an Euler complex datum. It is given by a map of complexes of vector spaces

The modular complex for GL (Z) The weight two motivic complex on the modular curve. (4) 2 −→ Its image is called the Euler complex on the modular curve. Passing to its second cohomology we recover the Beilinson-Kato Euler system in K2 of the tower of modular curves ([B], [Ka]).

2 We show that the map (3) can be obtained as the composition of the map (4) on the modular curve Y1(N) followed by the specialization at a cusp. At the same time Euler complexes suggest a new twist of the story. Let us restrict the Euler complex to the point corresponding to a CM elliptic curve EK with complex multiplication by the ring of integers in an imaginary quadratic ﬁeld K, and pass to a subcomplex corresponding to OK the -torsion points, where is an ideal of . We relate the complex obtained to the geometry N N OK of the three dimensional modular hyperbolic orbifold

( ):=Γ ( ) SL (C)/SU(2) (5) Y1 N 1 N \ 2 where Γ ( ) GL ( ) is the subgroup of matrices stabilising the row (0, 1) modulo . The 1 N ⊂ 2 OK N relationship is very precise when K is the ﬁeld of Gaussian or Eisenstein numbers, and the ideal N is prime. However it is still rather elusive for other imaginary quadratic ﬁelds. In a sequel to this paper we will show that the obtained complex is closely related to the Ql(2)- part of the image of Galois group acting on the pro-l completion of the fundamental group of E K − -torsion points . Thus we get new examples of the mysterious connection between Galois groups {N } and geometry of modular varieties.

The two examples discussed in the paper can be seen as higher analogs of the theory of cyclo- tomic/elliptic units – we discuss this analogy in the ﬁnal part of the Introduction. Finally, there is a similar story in the depth two and arbitrary weight situation. Since in this paper we want to present the picture in the simplest form, we will elaborate it elsewhere.

1.2 The double logarithm at roots of unity and modular curves ([G2]) The simplest way to state this connection goes via the dilogarithm story, which we recall now. Let F be an arbitrary ﬁeld and Z[F 1 ] the free abelian group generated by elements x , ∗ − { } { } where x F 1 . Then there is a version of the Bloch complex ∈ ∗ − { } 2 δ : (F ) Λ F ∗, δ x = (1 x) x (6) 2 B2 −→ 2{ } − ∧ where (F ) is a certain quotient of Z[F 1 ], see Section 2.1. Recall the dilogarithm function B2 ∗ − { } z dt Li (z)= log(1 t) . 2 − − t Z0 It has a single-valued version (z) := ImLi (z) + arg(1 z) log z , providing a homomorphism L2 2 − · | | (C) R, z (z). B2 −→ { } 7−→ L2 We will put the Bloch group in a wider conceptual framework in Section 1.3.

The motivic double logarithms at N-th roots of unity were deﬁned ([G5]) as elements

N N 2πi LiM (a, b) B (Q(ζ )) Q, a = b = 1, ζ = e N . (7) 1,1 ∈ 2 N ⊗ N 1 They are motivic avatars of the numbers Li1,1(a, b). Setting c := (ab)− , one has

δ : LiM (a, b) (1 a) (1 b) + (1 b) (1 c) + (1 c) (1 a). (8) 2 1,1 7−→ − ∧ − − ∧ − − ∧ −

3 Therefore there is a complex δ : C (N) Λ2C (N). (9) 2 −→ 1 where C (N) is the subspace spanned by the elements (7), and C (N) is the Q-subspace in Q(ζ ) Q 2 1 N ∗ ⊗ generated by the cyclotomic N-units (1 ζα ). We call it the cyclotomic complex. − N To explain the connection with modular curves, recall the modular complex for GL2(Z):

1 2 M∗ := M M . (10) (2) (2) −→ (2) 1 2 Here M(2) is the group generated by the oriented triangles, and M(2) is generated by the oriented geodesics of the modular triangulation of the hyperbolic plane shown on Fig 1. It is a complex of GL2(Z)-modules. Let Γ be a subgroup of GL2(Z). Projecting the modular complex onto the modular curve Y := /Γ, we get a triangulation of the latter. Its chain complex is identiﬁed with M Q. Γ H2 (2)∗ ⊗Γ Let C (N)= C (N) Q. Using the embedding Λ2C (N) ֒ Λ2C (N), we extend the cyclotomic 1 1 ⊕ 1 → 1 complex (9) to a complex b C (N) Λ2C (N). b (11) 2 −→ 1 We deﬁned in [G2] a canonical map from the modularb complex to this complex:

M1 M2 Q (2) −→ (2) ⊗Γ1(N) (12) ↓ ↓ C (N) Λ2C (N) 2 −→ 1 It enjoys the following properties. The right vertical arrob w is surjective. It is an isomorphism for a prime N. The space C (N) contains a subspace isomorphic to K (Q(ζ ))Q, where AQ := A Q: it 2 3 N ⊗ is generated by the values of the motivic dilogarithm Li2M at N-th roots of unity. It is the kernel of the bottom arrow. Modulo the subspace K3(Q(ζN ))Q, the left vertical map is surjective for all N, and is an isomorphism for a prime N. Therefore for a prime level N = p, the map of complexes (12) gives rise to an isomorphism of the top complex with the quotient of the bottom one by the subspace K3(Q(ζN ))Q

1.3 Mixed Tate motives and the Bloch group Let S be a set of primes in a number ﬁeld F , and the ring of S-integers in F . Then there is OF,S an abelian Q-category (Spec ) of mixed Tate motives over Spec , deﬁned in [DG]. It is MT OF,S OF,S equipped with a canonical ﬁber functor

ω : (Spec ) Q-vector spaces. MT OF,S −→ 1 Let L (Spec F,S) be the Lie algebra of its derivations, called the fundamental Lie algebra of F,S • O O It is graded by negative integers. The functor ω provides an equivalence between the category of mixed Tate motives over Spec and the category of graded ﬁnite dimensional modules over the OF,S fundamental Lie algebra. Let us denote by (Spec F,S) the graded dual of the fundamental Lie L• O algebra. It is a positively graded Lie coalgebra. We will usually omit Spec from notation.

1 We apologize for the abuse of notation: L2(z) denotes the Bloch-Wigner, and both notation are rather standard.

4 The fundamental Lie algebra L ( F,S) is a free graded Lie algebra generated by K2n 1( F,S)Q • O − O in degree n, where n = 1, 2, ... (loc. cit.). So if the set S is ﬁnite all graded components are ﬁnite dimensional. In particular, setting n = 1, we arrive at a canonical isomorphism

∗ Q ∼ ( ). (13) OF,S ⊗ −→ L1 OF,S Furthermore, there is a canonical isomorphism (Lemma 2.2)

(F )Q ∼ (F ). (14) B2 −→ L2 2 Let ( )Q be the biggest subspace in (F )Q which is mapped by the diﬀerential δ to Λ Q. B2 OF,S B2 2 OF,S∗ ⊗ Then the isomorphism (14) restricts (Lemma 2.3) to an isomorphism

( )Q ∼ ( ). (15) B2 OF,S −→ L2 OF,S Let us introduce the two cyclotomic schemes 1 S := SpecZ[ζ ][ ], Sun := SpecZ[ζ ]. N N N N N The cyclotomic complex (9) is a subcomplex in the weight two part (S ) Λ2 (S ) L2 N −→ L1 N of the standard cochain complex of the fundamental Lie coalgebra 2(SN ). Moreover, if N = p is a un L prime, we can replace here Sp by Sp . Analysing the diagram (12) we arrive at the following Conclusion 1 ([G2]). For a prime p, the subspace of (Sun) generated by the motivic double L2 p logarithms at p-th roots of unity is smaller then (Sun); the quotient is isomorphic to H1 (Γ (p), Q). L2 p cusp 1 Below we develop an analog of this picture related to a CM elliptic curve, see Section 1.6.

1.4 Relation with the motivic fundamental group of G µ m − N The unipotent motivic fundamental group π (G µ , v ) is not a group but rather a pro-unipotent 1M m − N 0 Lie algebra object in the abelian category of mixed Tate motives over the scheme SN ([DG]). Thus applying the ﬁber functor ω to the (pro-) mixed Tate motive π (G µ , v ) we get a graded Lie 1M m − N 0 algebra ω(π1M(Gm µN , v0)) over Q. The fundamental Lie algebra L (SN ) acts by its derivations, − • providing a canonical Lie algebra homomorphism

L (SN ) Der ω(π1M(Gm µN , v0)) . • −→ − Let us denote by C (µN ) its image. We called it the cyclotomic Lie algebra. Let C (µN )∨ be the • • dual Lie coalgebra. One has

C 1(µN )∨ = (the group of cyclotomic units in SN ) Q = S∗ Q. − ⊗ O N ⊗ We proved in [G5] that C 2(µN )∨ = C2(N) − 2 and the dual to the commutator map [ , ] : Λ C 1(µN ) C 2(µN ) is identiﬁed with the cyclotomic ∗ ∗ − −→ − complex (9). Thus the cyclotomic complex describes the weight 2 part of the image of the motivic Galois group acting on π1M(Gm µN , v0). In general, the cyclotomic Lie algebra C (µN ) is described − • by the motivic multiple polylogarithms at N-th roots of unity.

5 1.5 Euler complexes on modular curves In this paper we develop this story as follows. Using a construction from Section 6 of [G1], we deﬁne a modular deformation of the complex (9), called the Euler complex. It is a subcomplex of the Bloch complex (6) for the ﬁeld of functions on the modular curve Y (N). (In fact it is a subcomplex of the Bloch complex of the modular curve from Deﬁnition 2.1). We show in Proposition 2.16 that there is a canonical map the modular complex the Euler complex on Y (N). (16) −→ One gets a similar map for other modular curves, e.g. Y (N). Taking its specialization at a cusp 1 ∞ on Y (N) obtained by projection of the point from the hyperbolic plane, we recover the cyclotomic 1 ∞ complex (9): the specialization provides a surjective morphism of complexes:

The Euler complex on Y (N) The level N cyclotomic complex (9). (17) 1 −→ This map intertwines the maps from the modular complex to the Euler and cyclotomic complexes. So we arrive at the commutative diagram on Fig. 2. This explains why the modular curve Y1(N) The modular complex for GL2 (Z) The map (12)

Specialization The Euler complex The level N cyclotomic complex on Y (N) 1 at cusp

Figure 2: Relating the modular, Euler and cyclotomic complexes. appears in the study of the motivic double logarithm at roots of unity.

Generalizations. Recall the standard cochain complex

2 3 C (µN )∨ Λ C (µN )∨ Λ C (µN )∨ . . . (18) • −→ • −→ • −→ of the Lie algebra C (µN ). The ﬁrst map is dual to the commutator map, and the others are deﬁned • using the Leibniz rule. The grading of the Lie algebra C (µN ) provides a weight grading of the complex. The cyclotomic complex (9) is isomorphic to the• weight two part of the standard cochain complex (18) of the cyclotomic Lie algebra C (µN ). • The Lie algebra C (µN ) has a depth ﬁltration. So the complex (18) inherits the depth ﬁltration. • The depth m part of C (µN ) is described by motivic multiple polylogarithms of the depth m. • ≤ In [G3], see also [G4], [G5], we generalized the diagonal arrow in Fig. 2 to GLm(Z), for any positive integer m. Namely, we deﬁned the rank m modular complex and constructed a map from w m this complex, tensored by S − Vm, where Vm is the standard representation of GLm, to the depth m, weight w part of the standard cochain complex of the cyclotomic Lie algebra C (µN ). • What might play the role of the Euler complex for m > 2? Observe that the modular varieties for m> 2 are not algebraic varieties.

6 1.6 Euler complexes, CM points, and modular hyperbolic 3-folds Let be the ring of integers in the imaginary quadratic ﬁeld Q(√ d), and an ideal in . OK − N OK The group GL ( ) acts discretely on the hyperbolic 3-space . Recall the subgroup Γ ( ) 2 OK H3 1 N of GL ( ) stabilizing the row vector (0, 1) modulo , and the corresponding modular orbifold 2 OK N ( ):=Γ ( ) . Let E be an elliptic curve with the endomorphism ring . Y1 N 1 N \H3 K OK Restricting the Euler complex on Y (N), where N is the norm of , to a point corresponding to N the curve E , and taking the subcomplex corresponding to the -torsion points, we get a complex K N which is Related to the geometry of the three-dimensional modular orbifold ( ). The relationship is • Y1 N most precise when the ideal is prime, and K is the ﬁeld of Gaussian or Eisenstein numbers. N Related to the simplest (depth two, weight two) non-abelian quotient of the image of the Galois • group acting on the pro-l fundamental group of E E [ ]. K − K N Below we elaborate the ﬁrst connection. The second will be discussed in a sequel to this paper.

The modular and elliptic units. Recall that the classical modular unit is an invertible function θq(z) on the modular curve Y1(N) constructed as follows. Let 1 q = e2πiτ , Im(τ) > 0, z = e2πiξ, ξ = α τ + α , α , α Z2 Z2 1 2 1 2 ∈ N − Set 1 ∞ B2(α1) 2πiα2(α1 1)/2 n n 1 θ (z)= q 2 e − (1 z) (1 q z)(1 q z− ) (19) q − · − − − nY=1 2 1 where B2(x) := x x + 6 is the second Bernoulli polynomial. Changing (α1, α2) by an element of 2 − N Z , we alter θq(z) by multiplication by an N-th root of unity. So θq(z) is a well deﬁned invertible function on Y1(N). Let E be an elliptic curve over an arbitrary ﬁeld k. Then, given an N-torsion point z on E deﬁned over a ﬁeld k , one can deﬁne an element θ (z) such that θ (z)N k (see [GL], and Section 2.3 z E E ∈ z∗ below). More generally, if E is an elliptic curve over a base S, and z is an N-torsion section, there is an element θ (z) such that θ (z)N . There are the following interesting special cases: E E ∈ OS∗ If E is the universal elliptic curve over Y (N) we get the described above modular unit. • EN 1 If E is the CM curve E , and is an ideal of with the norm N, the elements θ (z) for • K N OK E all -torsion points z of EK generate an abelian extension K of K. Moreover, θE(z) is an N N N-unit in K , called an elliptic unit. N

The elements θE(a, b, c). For any triple of torsion points a, b, c on an elliptic curve E over an arbitrary ﬁeld k with a + b + c = 0 we construct an element

θ (a, b, c) (k′) Q E ∈B2 ⊗ where k′ is the ﬁeld generated over k by the coordinates of the points a, b. An explicit construction of this element is given by a reciprocity law from Section 6 of [G1], which strengthens Suslin’s reciprocity law for the Milnor K3-group of the function ﬁeld of E. One has the following key formula δ : θ (a, b, c) θ (a) θ (b)+ θ (b) θ (c)+ θ (c) θ (a). (20) E 7−→ E ∧ E E ∧ E E ∧ E

7 Double modular units and Euler complexes. In particular, let be the universal elliptic EN curve over the modular curve Y (N). Then a pair of torsion sections a, b of provides an element EN θ N (a, b, c). It can be thought of as a double modular unit: its coproduct is a sum of the wedge E products of the classical modular units θ N (a). We deﬁne the Euler complex as the subcomplex of E the complex (6) on Y (N) spanned by θ N (a, b, c) in degree 1, and θ N (a) θ N (b) in degree 2, for all E E ∧ E torsion sections a, b as above.

An analytic version of the double modular units. Let X be a complex algebraic variety with the function ﬁeld C(X). An element β of the Bloch group (C(X)) gives rise to a multivalued B2 analytic function Li (β) at the generic point of X(C). Namely, if β = n f (z) , we set Li (β)= 2 i i{ i }2 2 i niLi2(fi(z)). So the element θ N (a, b, c) gives rise to a multivalued analytic function θ N (a, b, c) E P E at the generic point of the modular curve Y (N) Q(µN ) C. It follows from (20) that its diﬀerential is P ⊗ e

dθ N (a, b, c) = Cyclea,b,c log θ N (a)d log θ N (b) log θ N (b)d log θ N (a) . E E E − E E e So elements θ N (a, b, c) allow to express the integral of the 1-form on the right via the dilogarithm. E

Double elliptic units and modular 3-folds. Let us specialize the Euler complex on Y (N) to the point corresponding to a CM curve E with complex multiplication by , and consider only K OK -torsion points, where is an ideal of . Let us spell the deﬁnition of the obtained complex. N N OK

Deﬁnition 1.1 The Q-vector space 2( ) is the subspace of 2(K )Q generated by the elements C N B N θ (a, b, c) when a, b, c run through all -torsion points of E such that a + b + c = 0. E N

Let us denote by 1( ) the group of -units in the ﬁeld K tensored by Q. It is known to be C N N N generated by the elliptic units θ (a), when a runs through the -torsion points of the curve E . E N K It follows from (20) that we get a complex

( ) δ Λ2 ( ). (21) C2 N −→ C1 N Let := K . We relate this complex with the geometry of the modular hyperbolic H3∗ H3 ∪ ∪ {∞} orbifold Γ ( ) , as follows. The hyperbolic space has a classical Bianchi tessellation on 1 N \H3∗ H3 geodesic polyhedrons invariant under the action of GL ( ). For example, for the ring of Gaussian 2 OK integers it is a tessellation on octahedron’s and for the ring of Eisenstein integers it is tessellation on tetrahedrons, see Fig. 3 and Fig. 4. Projecting the Bianchi tessellation onto the modular orbifold Γ ( ) we get a cell decomposi- 1 N \H3∗ tion of the latter. Let V ( ) be its integral chain complex, called the Bianchi complex of Γ1( ) 3∗. • N N \H In Section 5 we relate the complex (21) with the complex V ( ). Our results are complete when • N = is a prime ideal, and d = 1, 3. In these cases we deﬁne a canonical morphism of complexes N P − − V ( ) V ( ) V ( ) V ( ) 3 P −→ 2 P −→ 1 P −→ 0 P (22) ↓ ↓ ↓ ↓ δ 2 v K3(K )Q 2( ) Λ 1( ) 1( ) P −→ C P −→ C P −→ C P (where v is the residue map related to the valuation deﬁned by ) and prove that it is almost a P quasiisomorphism – see a precise statement in Theorem 5.7. It is an analog of homomorphism (12). Here is a corollary. Set un( ) := Q. Clearly Imδ Λ2 un( ) in the bottom line of (22). C1 P OK∗ P ⊗ ⊂ C1 P

8 Theorem 1.2 Let d = 1 or d = 3, and be a prime ideal in . Then there is an isomorphism − − P OK H2 (Γ ( ), Q) = Coker ( ) Λ2 un( ) . cusp 1 P C2 P −→ C1 P Double elliptic units and mixed Tate motives over . Set OKN

1 un S := Spec KN [ ], S := Spec KN . (23) N O N N O

Recall the fundamental Lie coalgebra (S ). It follows from (14), the very deﬁnition of 2( ) as L• N C N a subspace of 2(K ), the key formula (20), and Lemma 2.2 below that there is an inclusion B N

.( i : 2( ) ֒ 2(S C N →L N It gives rise to a homomorphism of complexes

( ) Λ2 ( ) C2 N −→ C1 N i = ↓2 ↓ 2(S ) Λ 1(S ) L N −→ L N where the right arrow is provided by the isomorphism (13) for the scheme S , and the bottom N arrow dualises the commutator map. The kernel of the bottom arrow is identiﬁed with K3(K )Q. un N Moreover, if is a prime ideal, then we have i : 2( ) ֒ 2(S ), and Theorem 1.2 implies P C P →L P Corollary 1.3 Let d = 1 or d = 3, and be a prime ideal in . Then there is an isomorphism − − P OK un 2 2(S ) Hcusp(Γ1( ), Q) ∼ L P . (24) P −→ i( 2( )) + K3(K )Q C P P Therefore we arrive at the CM analog of the Conclusion 1 in Section 1.3.

Conclusion 2. Let d = 1 or d = 3 and a prime ideal in K. Then the subspace of un − − P O 2(S ) generated by the double elliptic units at -torsion points of EK and K3(K )Q is smaller L P un 2 P P then 2(S ); the quotient is isomorphic to Hcusp(Γ1( ), Q). L P P Coda. The cyclotomic units provide a ﬁnite index subgroup in the unit group of a cyclotomic ﬁeld. There are two generalizations, highlighted in Conclusions 1 and 2, where the unit group is replaced by the Q(2)-part of a fundamental Lie coalgebra, the role of the cyclotomic unit subgroup is played by an explicitly deﬁned “double units” subspace of the fundamental Lie coalgebra, and the gap between them is isomorphic to the cuspidal cohomology of certain modular varieties. In both cases the “double units” subspaces can be obtained by specializations of the ﬁrst groups of the Euler complexes. On the other hand the Beilinson-Kato Euler system is delivered by the second cohomology groups of the Euler complexes. Thus both parts of the Euler complex are important.

Acknowledgments. This work was written during my stay at IHES in June 2005. The key constructions were worked at the MPI(Bonn). I am grateful to both institutions for hospitality and support. I was supported by the NSF grant DMS-0400449. I am very grateful to Andrey Levin and an anonimous referee, who read the paper very carefully, made a lot of useful remarks, and corrected many misprints/errors.

9 2 Euler complexes on modular curves

2.1 The weight two motivic complex and the dilogarithm Let F be an arbitrary ﬁeld and Z[P1(F )] the free abelian group generated by the elements x where { } x P1(F ). Consider a homomorphism ∈ 1 2 δ : Z[P (F )] Λ F ∗, x (1 x) x, 0 , 1 , 0. 2 −→ { } 7−→ − ∧ { } { } {∞} 7−→ Let (F ) be the subgroup of Z[P1(F )] generated by the following elements. Let X be a connected R2 curve over F and f rational functions on X such that (1 f ) f = 0 in Λ2F (X) . Then (F ) i i − i ∧ i ∗ R2 is generated by the elements f (0) f (1) for all possible curves and functions f as above. i{ i } − { i } P i One can show that δ ( (F )) = 0, so setting 2 R2 P Z[P1(F )] (F ) := B2 (F ) R2 we get a complex (a version of the Bloch complex, see [G6])

2 δ : (F ) Λ F ∗. 2 B2 −→ There is a more explicit version B (F ) of the group (F ). Denote by R (F ) the subgroup of 2 B2 2 Z[P1(F )] generated by 5 0 , and ( 1)i r(x , ..., x , ..., x ) , { } {∞} − { 1 i 5 } Xi=1 1 where (x1, ..., x5) runs through all 5-tuples of distinct points inbP (F ), where r(...) is the cross-ratio. 1 The Bloch group B2(F ) is the quotient of Z[P (F )] by the subgroup R2(F ). We get the Bloch complex

2 δ : B (F ) Λ F ∗. 2 2 −→ According to the theorems of Matsumoto and Suslin, one has for this complex:

ind Cokerδ = K (F ), Kerδ Q = K (F )Q. (25) 2 2 2 ⊗ 3 One can show that R (F ) (F ). Thus there is a map i : B (k) (k) induced by the identity 2 ⊂ R2 2 −→ B2 map on the generators. According Proposition 6.1 of [G1], this map is an isomorphism modulo torsion for a number ﬁeld F . The function provides a homomorphism (C) R, z (z). L2 B2 −→ { } 7−→ L2 Deﬁnition 2.1 The Bloch group (X) of an irreducible scheme X with the ﬁeld of functions F B2 X is the largest subgroup of (F ) which has the property that δ ( (X)) Λ2 . B2 X 2 B2 ⊂ OX∗ By the very deﬁnition, there is a commutative diagram, where the vertical arrows are embeddings:

δ (X) 2 Λ2 B2 −→ OX∗ ↓δ ↓ (F ) 2 Λ2F B2 X −→ X∗ Lemma 2.2 Let F be a number ﬁeld. Then there is a canonical isomorphism

(F )Q ∼ (F ). (26) B2 −→ L2

10 Proof. Recall the canonical isomorphism (F ) = F . Let us deﬁne a canonical map Z[F ] L1 Q∗ −→ 2(F ). We assign to a generator x a framed mixed Tate motive Li2M(x) deﬁned as follows. Consider L2 { } P with a projective coordinate system (z0, z1, z2). Let Li be the line deﬁned by the equation zi = 0. We get a coordinate triangle (L0,L1,L2). Consider another triple of lines (M0, M1, M2), where M := z + z = 1 , M := z = 1 , M := z = x . Let us assume x = 0. Let us blow up 0 { 1 2 } 1 { 1 } 2 { 2 } 6 all points where three of the L and M-lines intersect: the vertices of the L-traingle at inﬁnity, the vertex of the M-triangle on the line L2, and, if there is a vertex of the L-triangle on the line L1, i.e. x = 1, this vertex as well. Denote by P2 the obtained surface. Then we get an M-pentagon M there, formed by the strict preimage of the M-triangle plus exceptional lines over the M-vertices at inﬁnity. Further, we get M-polygon L (itb is a pentagon if x = 1 and 4-gon otherwise). We deﬁne now a mixed Tate motive by using the formula 2 2 LiM(x) := H (P L, M (L M)). 2 − − ∩ Its framing, and interpretation of the obtained object as a mixed Tate motive is standard, see for b example [G7]. Finally, according to the standard formalism, the framed mixed Tate motive Li2M(x) gives rise to an element of (F ). L2 It is well known, and easy to prove, that the coproduct δLiM(x) equals (1 x) x. So we get a 2 − ∧ commutative diagram, where the right arrow is an isomorphism after Q: ⊗ δ Z[F ] 2 Λ2F −→ ∗ ↓ ↓ (F ) δ Λ2 (F ) L2 −→ L1 ,Further, for a complex embedding σ : F ֒ C the real period of LiM(σ(x)) is given by (σ(x)). This → 2 L2 the injectivity of the regulator map on K3(F )Q, and Suslin’s theorem (25) imply that the subspace (F )Q Q[F ] is killed by the left arrow. Thus we get a commutative diagram R2 ⊂ δ2 2 (F )Q Λ F B2 −→ ∗ ↓ ↓ (F ) δ Λ2 (F ) L2 −→ L1 For a number ﬁeld F we have K2(F )Q = 0 Thus the horizontal arrows are epimorphic Q. Further, ind ⊗ for a number ﬁeld K3 (F )Q = K3(F )Q, and so the kernels of both horizontal arrows are isomorphic to K3(F )Q. Thus the left arrow is an isomorphism. The lemma is proved. Lemma 2.3 There is a canonical isomorphism

( )Q ∼ ( ). (27) B2 OF,S −→ L2 OF,S Proof. By the very deﬁnition the category of mixed Tate motives over Spec is a subcategory OF,S of the one over SpecF . Thus there is an inclusion of the Lie coalgebras ( F,S) ֒ (F ). It provides L• O →L• a commutative diagram 2 0 K ( )Q ( ) Λ ( ) 0 −→ 3 OF,S −→ L2 OF,S −→ L1 OF,S −→ ↓ ↓2 ↓ 0 K (F )Q (F ) Λ (F ) 0 −→ 3 −→ L2 −→ L1 −→ where the horizontal lines are exact since the fundamental Lie algebras are free, and their ﬁrst cohomology in the degree 2 are given by K of the corresponding scheme. Since K (F )Q = K ( )Q, 3 3 3 OF,S ( ) is the biggest subspace of (F ) which maps by the cobracket to Λ2 ( ). The lemma L2 OF,S L2 L1 OF,S follows.

11 M 2.2 A reciprocity law for K3 of the function ﬁeld of an elliptic curve ([G1])

The Chow dilogarithm. Let f1,f2,f3 be arbitrary rational functions on a complex curve X. Set

r2(f1,f2,f3) := 1 1 Alt log f d log f d log f log f d arg f d arg f 3 6 | 1| | 2|∧ | 3|− 2 | 1| 2 ∧ 3 where Alt3 is the alternation of f1,f2,f3. The crucial property of this form is the following:

dr (f ,f ,f )=Re d log f d log f d log f . 2 1 2 3 1 ∧ 2 ∧ 3 Then the integral 1 r2(f1,f2,f3) (28) 2πi C ZX( ) converges, and provides a homomorphism

3 Λ C(X)∗ R, f f f the integral (28). (29) → 1 ∧ 2 ∧ 3 7−→

Let X be a regular curve over an algebraically closed ﬁeld k and F := k(X)∗. Let us deﬁne a morphism of complexes δ2 Id (F ) F ∧ Λ3F B2 ⊗ ∗ −→ ∗ Res Res ↓ δ ↓ (k) 2 Λ2k B2 −→ ∗ Here Res := x resx, where resx is the local residue homomorphism for the valuation vx on F corresponding to a point x of X(k). The local residue maps are deﬁned as follows. We have P res ( y z) = 0 unless v (y) = 0. In the latter case res ( y z)= v (z) y , where y denotes x { }2 ⊗ x x { }2 ⊗ x { }2 projection of y to the residue ﬁeld of F for the valuation v . The map res : Λ3F Λ2k is deter- x x ∗ −→ ∗ mined uniquely by the following two conditions: res (z z z )=0if v (z )= v (z )= v (z ) = 0 x 1 ∧ 2 ∧ 3 x 1 x 2 x 3 and resx(z1 z2 z3)= z2 z3 if vx(z1) = 1, vx(z2)= vx(z3) = 0. ∧ ∧ ∧ 2 Let us present the projective plane P as the projectivisation of the vector space V3. A linear functional l V is called a linear homogeneous function on P2. If X is an elliptic curve in P2, any ∈ 3∗ rational function f on X can be written as a ratio of products of linear homogeneous functions: l ... l f = 1 · · k . l ... l k+1 · · 2k This is checked by induction on the total number of zeros and poles using that X is degree three plane curve. Let us return to an arbitrary curve X. For three points a, b, c and a divisor D = ni(xi) on a line set P r(a, b, c, D) := n r(a, b, c, x ) . { }2 i{ i }2 Xi Here r(a, b, c, d) is the cross-ratio of four points on P 1, normalized so that r( , 0, 1,x)= x. ∞ Let L be the line l = 0 in the plane, D the divisor L X, and l := L L . The following is i i i i ∩ ij i ∩ j Theorem 6.14 in [G1].

12 Theorem 2.4 Let k be an algebraically closed ﬁeld. Let X be either an elliptic curve, or a rational curve over k, and F := k(X) . Then there is a group homomorphism h : Λ3F (k) satisfying ∗ ∗ → B2 the following conditions: a) h(k Λ2F ) = 0, and the following diagram is commutative: ∗ ∧ ∗ δ (F ) F 3 Λ3F B2 ⊗ ∗ −→ ∗ Res h Res (30) ↓ ւ ↓ δ (k) 2 Λ2k B2 −→ ∗

b) If X is an elliptic curve, then for any linear homogeneous functions l0, ..., l3 one has

3 h(l /l l /l l /l )= ( 1)i r(l , ..., l , ..., l , D ) . (31) 1 0 ∧ 2 0 ∧ 3 0 − − { i0 ii i3 i }2 Xi=0 b c) If X = P1, t is a natural parameter on it, and a P1(k), then i ∈ t a t a t a h( − 1 − 2 − 3 )= r(a , a , a , a ) . (32) t a ∧ t a ∧ t a −{ 0 1 2 3 }2 − 0 − 0 − 0 d) If X is a deﬁned over C then 1 r2(f1 f2 f3)= 2 h(f1 f2 f3) . (33) 2πi X(C) ∧ ∧ L ∧ ∧ Z e) The map h is Gal(F/k)-invariant.

Remark. By Suslin’s reciprocity law for KM (F ), the projection of Res(Λ3F ) Λ2k to K (k) 3 ∗ ⊂ ∗ 2 is zero. Since by Matsumoto’s theorem K (k) = Coker(δ ), one has Res(Λ3F ) Im(δ ). However 2 2 ∗ ⊂ 2 Ker(δ2) is nontrivial, so the problem is to lift naturally the map Res to a map h.

Let PE be the abelian group of principal divisors on E. Theorem 2.4 provides us a map

h : Λ3P (k). E −→ B2

Lemma 2.5 Let E be an elliptic curve over an arbitrary ﬁeld k. Let D1, D2, D3 be principal divisors rational over an extension k of k. Then h(D D D ) B (k )Q. ′ 1 ∧ 2 ∧ 3 ⊂ 2 ′

Proof. Let D = i ni(xi) be a divisor on E as in the Lemma. We can decompose it into a fraction of products of linear homogeneous functions l deﬁned over k as follows. Let l (resp. l ) P i ′ x,y x be a linear homogeneous equation of the line in P2 through the points x and y on E (resp. x and x). The divisor of the function l /l is (x) + (y) (x + y) (0). If D = (x) + (y)+ D , we write − x,y x+y − − 1 f = l /l f , so(f ) = (0) + (x + y)+ D . After a ﬁnite number of such steps we get the desired x,y x+y · ′ ′ 1 decomposition. It follows that in formula (31) the cross-ratios in the right hand side lie in the ﬁeld k′. The lemma is proved.

13 2.3 The modular and elliptic units revisited Let E be an elliptic curve over an arbitrary ﬁeld k, and J(k) the group of k-points of the Jacobian J of E. We deﬁned in Section 2 of [GL] an abelian group B2(E)(k), usually denoted simply by B2(E), which has the following properties: a) There is an exact sequence of abelian groups

p 2 0 k∗ B (E) S J(k) 0. (34) −→ −→ 2 −→ −→ b) There is a canonical (up to a choice of a sixth root of unity) surjective homomorphism

h : Z[E(k)] B (E) −→ 2 whose projection to S2J(k) is given by a a a. { } 7−→ · c) The group B2(E) is functorial: an automorphism A of E induces an automorphism of the 2 extension (34), which acts as the identity on the subgroup k∗, and whose action on S J(k) is induced by the map A : J(k) J(k). −→ d) If k is a local ﬁeld then there is a homomorphism H : B (E) R whose restriction to the k 2 −→ subgroup k is given by a log a . ∗ 7−→ − | | The group B2(E) is a motivic avatar of the theta-functions on E.

Corollary 2.6 Let a be an N-torsion element of E(k). Then there is a well deﬁned element 1 θ (a) k∗ Z[ ]. E ∈ ⊗ N

For any automorphism A of E we have θE(A(a)) = θE(a).

Proof. The element p h(a) is annihilated by N. Thus we have Nh(a) k . Taking its N-th ◦ ∈ ∗ root we get θE(a). The second claim follows immediately from the property c). The corollary is proved.

We call θE(a) the elliptic unit corresponding to the torsion point a of E. If E is deﬁned over C, it is given by θq(z) in (19), where q is the modulus of E, and z is an N-torsion point on E. The following result for the ﬁrst statement follows from Theorem 4.1 (or Corollary 4.3) in [GL]; for the second statement see Theorem 4.1 on page 43 of [KL].

Lemma 2.7 The elliptic units θE(a) satisfy the following distribution relations: Given an isogeny ψ : E E , one has → ′ θE(t)= θE′ (t′), t′ = 0; (35) ′ 6 ψ(Yt)=t ∆E′ 1/12 θE(t)= . (36) ∆E ψ(Yt)=0

1/12 2πiτ/12 n 2 The 12-th root of the ∆-function ∆(τ) is deﬁned canonically as ∆(τ) = 2πi e ∞ (1 q ) . n=1 − Q

14 2.4 The elements θE(a1, a2, a3) Let E be an elliptic curve over an algebraically closed ﬁeld k. For any N-torsion points a, b on E the divisor N( a b ) is principal, so there exists a (non zero) function f on E such that { } − { } a,b divf = N( a b ). It is well deﬁned up to a non zero constant factor. a,b { } − { }

Deﬁnition 2.8 Let a1, a2, a3 be N-torsion points on E. Then 1 θ (a : a : a ) := h(f ,f ,f ) (k)Q (37) E 1 2 3 −N 5 a1,x a2,x a3,x ∈B2 x E[N] ∈X where we sum over all N-torsion points of E.

Clearly this element is invariant under the shift a a + a and skew symmetric in a . We will i 7−→ i i show in Lemma 2.12 that this deﬁnition does not depend on the choice of N. We extend the deﬁnition of the elements θE(a1 : a2 : a3) by linearity to a map

3 θ : Λ Z[E[N]] (k)Q. E −→ B2 The restriction of this map to degree zero N-torsion divisors on E is given by a simpler formula: Lemma 2.9 One has 1 θ ( a b : a b : a b = h(f ,f ,f ). E { 1} − { 1} { 2} − { 2} { 3} − { 3} −N 3 a1,b1 a2,b2 a3,b3 Proof. Clearly, f = f f . The lemma follows immediately from this. a1,b1 a1,x − b1,x Observe that given a triple of elements a1, a2, a3 of an abelian group A such that a1 +a2 +a3 = 0, there are elements b , b , b A such that a = b b , where the index i is modulo 3. The triple 1 2 3 ∈ i i+1 − i (b , b , b ) is deﬁned uniquely up to a shift b b + b. So if (a , a , a ) are torsion points of E such 1 2 3 i 7−→ i 1 2 3 that a1 + a2 + a3 = 0, we can deﬁne an element θE(a1, a2, a3) such that

θ (b b , b b , b b )= θ (b : b : b ). E 2 − 1 3 − 2 1 − 3 E 1 2 3 Remark. Below we add to the elements θ (a), deﬁned for a = 0, a formal variable θ (0). E 6 E Therefore, strictly speaking, in the formulas below we work in Λ2(k Q Q) where the element 1 ∗ ⊗ ⊕ in the extra summand Q corresponds to θE(0). However one easily checks that in the ﬁnal formulas there will be no θE(0).

The basic properties of the elements θE(a1, a2, a3) are listed in the theorem below.

Theorem 2.10 a) The diﬀerential of the element θE(a1, a2, a3) in the Bloch complex is given by

δ : θ (a , a , a ) θ (a ) θ (a )+ θ (a ) θ (a )+ θ (a ) θ (a ). (38) 2 E 1 2 3 −→ E 1 ∧ E 2 E 2 ∧ E 3 E 3 ∧ E 1

b) The elements θE(a1, a2, a3) satisfy the following relations:

The dihedral symmetry relations: • θ (a , a , a ) = ( 1)sign(σ)θ (a , a , a ), σ S , (39) E 1 2 3 − E σ(1) σ(2) σ(3) ∈ 3 θ (a , a , a )= θ (ε(a ), ε(a ), ε(a )), ε Aut(E). (40) E 1 2 3 E 1 2 3 ∈

15 The distribution relations: Given an isogeny ψ : E E , one has • → ′

θE(a1, a2, a3)= θE′ (a1′ , a2′ , a3′ ), ai′ = 0; (41) ′ 6 ψ(aXi)=ai

Proof. a) The formula is equivalent to the following one, which we are going to prove:

δ : θ (a : a : a ) (42) 2 E 1 2 3 −→ θ (a a ) θ (a a )+ θ (a a ) θ (a a )+ θ (a a ) θ (a a ). E 1 − 2 ∧ E 2 − 3 E 2 − 3 ∧ E 3 − 1 E 3 − 1 ∧ E 1 − 2 Denote the right hand side of (42) by C(a1 : a2 : a3). Let us prove ﬁrst that

δ θ ( a x : a x : a x ) = (43) 2 ◦ E { 1} − { } { 2} − { } { 3} − { } C(a : a : a ) C(x : a : a )+ C(a : x : a ) C(a : a : x). 1 2 3 − 2 3 1 3 − 1 2 Using f = θ (t a )N /θ (t x)N , we get ai,x E − i E − 1 Res (f f f )= C(a : a : a ) C(x : a : a )+ C(a : x : a ) C(a : a : x). N 3 a1,x ∧ a2,x ∧ a3,x 1 2 3 − 2 3 1 3 − 1 2 Thanks to (30), this implies (43). Now we deduce formula (42) from this. We claim that

C(x : a2 : a3) = 0. (44) x E[N] ∈X Having this formula, and taking the sum of formula (43) over all x E[N], we get formula (42). ∈ We will obtain formula (44) as a special case of the following simple general statement.

Let A and B be abelian groups. Let

Φ : Λ3Z[A] B, a b c Φ(a : b : c). −→ { } ∧ { } ∧ { } 7−→ be a group homomorphism.

Lemma 2.11 Let us assume that the group A is ﬁnite and the map Φ satisﬁes the following proper- ties:

Φ( a : b : c)=Φ(a : b : c), Φ(a : b : c)=Φ(a + x : b + x : c + x) for any x A. − ∈ Then one has modulo 2-torsion Φ(a : b : x) = 0. x A X∈ Proof. Indeed, one has

Φ(a : b : x)= Φ(a (a + b) : b (a + b) : x (a + b)) = x A x A − − − X∈ X∈ Φ( b : a : y)= Φ(a : b : y). y A − − − y A X∈ X∈

16 The Lemma is proved.

Since θ (y) = θ ( y), and a , a are N-torsion points, the element C(a : a : a ) satisﬁes the E E − 2 3 1 2 3 dihedral symmetry relations, and by deﬁnition is invariant under the shift of the arguments. Thus formula (44) follows from Lemma 2.11. The part a) of the theorem is proved. b) The dihedral symmetry relations follow from Theorem 2.4 and the deﬁnition. Let us prove the distribution relations. Thanks to the distribution relations for elliptic units, the diﬀerence between the left and the right hand sides of (41) is killed by the diﬀerential δ2. Since the kernel of the diﬀerential δ on the group is rigid by the very deﬁnition, the diﬀerence is constant 2 B2 on the modular curve: Indeed, take the modular curve as the curve X in the deﬁnition in Section 2.1. So it remains to check that it is zero at a single point. As such one can take a CM point corresponding to an elliptic curve with the endomorphism ring . Then the diﬀerence lies in Kerδ (K ) for OK 2 ⊂B2 ′ a certain number ﬁeld K′ extending K (use Lemma 2.5). Thanks to the injectivity of the regulator map, it is enough to show that the dilogarithm kills this element and its Galois conjugated. Now the claim follows from (33) plus the fact that the Chow dilogarithm satisﬁes the distribution relations on the nose. The claim is proved. The theorem is proved.

Remark. Observe that θ (a, a, 0) = 0 since by the dihedral relations one has θ (a, a, 0) = E − E − θ ( a, a, 0) = θ (a, a, 0). Formula (38) makes sense if a = 0. Indeed, thanks to θ (a) = − E − − E − 1 E θ ( a), it gives E − δ θ (0, a, a)= θ (0) θ (a)+ θ (a) θ ( a)+ θ ( a) θ (0) = 0. 2 ◦ E − E ∧ E E ∧ E − E − ∧ E Lemma 2.12 The element (37) does not depend on the choice of N. Namely, if N M, then the | elements deﬁned by formula (37) using N or M coincide.

Proof. For M-torsion points a, b, denote by f (M) a function with the divisor M( a b ). a,b { } − { } Given M-torsion points a1, a2, a3,x one has, by Lemma 2.9, 1 h(f (M),f (M),f (M))= θ (a : a : a ) θ (x : a : a )+ θ (a : x : a ) θ (a : a : x). −M 3 a1,x a2,x a3,x E 1 2 3 − E 2 3 E 1 3 − E 1 2 Assume that a ,x are N-torsion points. Averaging over x E[N], and using Lemma 2.11, we get i ∈ 1 1 h(f (M),f (M),f (M))= θ (a : a : a ). N 2 −M 3 a1,x a2,x a3,x E 1 2 3 x E[N] ∈X (M) M/N (N) Since (fai,x ) = fai,x, the lemma follows.

Below we will need the following special case of the deﬁnition of elements θE(a : b : c) for the modular curve Y1(N). Recall that points of Y1(N) parametrize pairs (E,p), where p is an N-torsion point of E, generating the subgroup E[N]. So for any residues α Z/NZ there are elements i ∈ θE(α1p : α2p : α3p).

Lemma 2.13 One has

1 (N) (N) (N) θE(α1p : α2p : α3p)= h(f ,f ,f ). N α1p,βp α2p,βp α3p,βp β Z/NZ ∈X Proof. Follows from Lemmas 2.11 and 2.9 the same way as Lemma 2.12.

17 2.5 Euler complexes on modular curves

Recall the full level N modular curve Y (N). It is deﬁned over the cyclotomic ﬁeld Q(µN ). Denote by F its function ﬁeld. Let be the universal elliptic curve over Y (N). Y (N) EN Recall that for a torsion section a, the element θ (a) is a modular unit, i.e. lies in Z[ 1 ]. E OY∗ (N) ⊗ N 1 Deﬁnition 2.14 The Q-vector space EN is generated by the elements

θ (a : a : a ) (F )Q E 0 1 2 ∈B2 Y (N) when ai’s run through all N-torsion points of the universal elliptic curve N . 2 E The Q-vector space EN is generated by the elements 2 θ (a) θ (b) Λ ∗ Q E ∧ E ∈ OY (N) ⊗ when a, b run through all non-zero N-torsion points of the universal elliptic curve . EN It follows from the formula (43) that we get a complex EN• , placed in degrees [1, 2]:

1 δ2 2 E• : E E . N N −→ N We call it the Euler complex of the modular curve Y (N). Lemma 2.15 For any three N-torsion points a, b, c of E one has

θ (a : b : c) (Y (N)) Q. E ∈B2 ⊗ Proof. Follows from the deﬁnition of (Y (N)) formula (43) and the fact that θ (a) . B2 E ∈ OY∗ (N) Thus the Euler complex is a subcomplex of the Bloch complex of the modular curve Y (N):

E1 E2 N −→ N

↓2 ↓ 2(Y (N)) Λ ∗ . B −→ OY (N) Q Since Q is generated by the elements θ (a), when a E[N], the right arrow in the diagram OY∗ (N) ⊗ E ∈ above is an isomorphism, and the left one is inclusion by deﬁnition. When it is an isomorphism? In other words, when (Y (N)) Q is generated over Q by the elements θ (a, b, c), where a, b, c E[N]? B2 ⊗ E ∈ Recall the modular complex 1 2 M∗ := M M . (45) (2) (2) −→ (2) Let Γ be a subgroup of GL (Z). Projecting the modular complex onto the modular curve Y := /Γ, 2 Γ H2 we get the modular triangulation of the latter. Its chain complex is identiﬁed with M Q. (2)∗ ⊗Γ Proposition 2.16 For every positive integer N there is a canonical surjective homomorphism of complexes 1 2 M(2) M(2) 1 −→ 2 λN λN (46) E1 ↓ ↓E2 N −→ N providing a map of the modular complex for Y (N) to the corresponding Euler complex:

λ∗ : M∗ Q E∗ . (47) N (2) ⊗Γ(N) −→ N

18 Proof. The modular complex for Y (N) has the following description:

Z[Γ(N) GL (Z)] 1 χ Z[Γ(N) GL (Z)] 2 χ . \ 2 ⊗D 1 −→ \ 2 ⊗D 2 Here D1 is the subgroup of order 12 of GL (Z) stabilizing the modular triangle with vertexes (0, 1, ). 2 ∞ Further, D2 is the subgroup of order 8 of GL (Z) stabilizing the geodesic (0, ). The characters χ 2 ∞ 1 and χ are given by the determinant. Observe that Γ(N) GL (Z) = GL (Z/NZ). A point of the 2 \ 2 2 universal elliptic curve N is given by a triple (E; p1,p2), where E is an elliptic curve, and (p1,p2) E 1 2 is a basis in the abelian group E[N]. The maps λN and λN act on the generator parametrized by a matrix a b GL (Z/NZ) c d 2 ∈ as follows: a b λ1 : θ (ap + cp , bp + dp , (a + b)p (c + d)p ); (48) N c d E 1 2 1 2 1 2 7−→ − − a b λ2 : θ (ap + cp ) θ (bp + dp ). (49) N c d E 1 2 E 1 2 7−→ ∧ 1 Now the claim that the map (48) gives rise to a group homomorphism λN given by the left arrow in (46) is equivalent to the dihedral symmetry relations (39). The claim that the map (49) gives rise to a group homomorphism λ2 given by the right arrow in (46) follows from θ ( a) = θ (a) and the N E − E skew-symmetry of the wedge product. The proposition is proved.

Summarizing, we arrive at the diagram on Fig 2.

2 Corollary 2.17 The map λN gives rise to a canonical homomorphism 1 λ : H1(Γ(N), Z) K (Y (N)) Z[ ]. N −→ 2 ⊗ N

The H2 cohomology groups of the Euler complexes for various N deliver the Beilinson-Kato Euler system on the tower of modular curves. Let us explain this in more detail. The Euler complex datum on a modular curve Y (N) is a homomorphism of complexes (47). The Euler complex is the image of this homomorphism. The source of the map (47) does not depend on the choice of the modular curve. Therefore each element γ of the modular complex gives rise to a collection of elements λN (γ) in Euler complexes. In particular, if γ is the element corresponding to the geodesic (0, ) on , the elements λ (γ), projected to K (Y (N), give rise to an Euler system ∞ H2 N 2 in K2 – this is deduced from the results of Kato [Ka].

3 Specialization of Euler complexes at a cusp

3.1 Some identities in the Bloch group

Let k be an arbitrary ﬁeld. We deﬁne the motivic dilogarithm LiM(x) := x B (k). Following 2 { }2 ∈ 2 Section 2.1 of [G2], the motivic double logarithm is the following element of the Bloch group: xy y y LiM (x,y) := − xy B (k). 1,1 { 1 y }2 − {y 1}2 − { }2 ∈ 2 − − 19 This deﬁnition was suggested by a similar identity between the corresponding multivalued analytic functions, easily proved by diﬀerentiation, see loc. cit.. N N It is easy to check the crucial formula (8) for the coproduct δ2Li1,1(a, b), where a = b = 1. Let us introduce a standard homogeneous notation for the double logarithm:

a2 a3 I1M,1(a1 : a2 : a3) := Li1M,1( , ). (50) a1 a2

It is a motivic version of the iterated integral I(a : a : a )= a2 dt dt . 0 1 2 0 t a1 t a2 − ◦ − N R Lemma 3.1 Let ai = 1. Then one has the following identity in B2(k) modulo 6-torsion:

3 i ( 1) IM (a : . . . : a : . . . : a )= r(a , a , a , a ) . − 1,1 0 i 3 { 0 1 2 3 }2 Xi=0 b Proof. One has

a3(a2 a1) a3 a3 IM (a : a : a )= − 1,1 1 2 3 {a (a a )}2 − {a a }2 − {a }2 1 2 − 3 3 − 2 1 After the alternation the last two terms on the right in this formula will disappear. Since

a (a a ) r(0, a , a , a )= 3 2 − 1 2 3 1 a (a a ) 1 2 − 3 and r(a , ..., a = ( 1) σ r(a , ..., a modulo 6-torsion, what remains is the ﬁve-term rela- { σ(1) σ(4)}2 − | |{ 1 4}2 tion. The lemma is proved.

Lemma 3.2 Let aN = 1. Then one has in B (k) Q i 2 ⊗ 1 r(a1, a2, a3,x) 2 =I1M,1(a1 : a2 : a3). (51) N N { } xX=1 Proof. Lemma 2.11 implies that

I1M,1(a1 : a2 : x) = 0. N xX=1 This and Lemma 3.1 imply the identity. The Lemma is proved.

3.2 The specialization map Let be a discrete valuatiuon ring with a uniformizer q, the residue ﬁeld k, the valuation homomor- O phism v, and the fraction ﬁeld F . There is a canonical homomorphism k,f f. We deﬁne a O→ 7−→ specialization map v(f) Sp : F ∗ k∗, f f/q . q −→ 7−→

20 Lemma 3.3 The specialization maps

f if f ∗ Spq f 2 = ∈ O , Spq(f1 f2) := Spqf1 Spqf2 { } ( 0 otherwise ∧ ∧ gives rise to a homomorphism of complexes, modulo 2-torsion,

(F ) Λ2F B2 −→ ∗ Sp Sp (52) ↓ q ↓ q (k) Λ2k B2 −→ ∗ Proof. Let us show that the specialization map commutes with the diﬀerentials. Indeed, set f = qnf where f . Then if n = 0, one has Sp f = 0. On the other hand, if n > 0, then 0 0 ∈ O∗ 6 q{ }2 Sp (1 qnf ) qnf = 1 f = 0. Similarly, if n < 0, we get Sp ((1 f) f) = ( f ) f = 0 q − 0 ∧ 0 ∧ 0 q − ∧ − 0 ∧ 0 modulo 2-torsion. If n = 0 but f = 1, the commutativity of the diagram is clear. Finally, if n = 0 0 6 and f = 1, then f =0 and Sp ((1 f) f) = (1 f)/qv(1 f) 1 = 0. We left to the reader to 0 { }2 q − ∧ − − ∧ check that the specialization map is a well deﬁned map (F ) (k). The lemma is proved. B2 −→ B2 Therefore there is a specialization homomorphism of complexes corresponding to a local parameter q at a k-point x of a curve X over k.

3.3 Specialization of the Euler complex at a cusp on Y1(N) Let be the cusp on a modular curve obtained by projection of the point . Then, for some ∞ ∞∈H2 integer N, q = exp(2πiτ/N) is a local parameter at this cusp. Using it, we deﬁne the specialization map Sp at the cusp . q ∞ Theorem 3.4 a) The specialization map Sp at the cusp on Y (N) provides a surjective homo- q ∞ 1 morphism from the Euler complex on Y1(N) to the level N cyclotomic complex:

E1(Y (N)) E2(Y (N)) 1 −→ 1 Sp Sp (53) ↓ q ↓ q C (N) Λ2C (N) 2 −→ 1 It intertwines the maps of the modular complex to the Euler and cyclotomic complexes. b) If N = p is a prime number, it gives rise to an isomorphism of complexes

E1(Y (p)) E2(Y (p)) 1 −→ 1 = Sp = Sp (54) ↓ q ↓ q C (p) Λ2C (p) 2 −→ 1

Proof. a) The specialization of modular units θE(z)b on Y (N), in the notation of formula (19), is: 2πiα2 (1 e ) if α1 = 0, α2 = 0 SpqθE(z)= − 6 modulo torsion. (55) ( 1 otherwise

21 For the modular curve Y1(N), there are modular units θE(αp), where (E,p) is a point of Y1(N), and α Z/NZ 0. We get ∈ − Sp θ (αp) = (1 e2πiα) modulo torsion. (56) q E − So the specialization of a modular unit at the cusp is a cyclotomic N-unit. This implies that the ∞ right arrow in (53) is surjective.

Lemma 3.5 One has

α1 α2 SpqθE(α1p, α2p, α3p)=Li1M,1(ζN ,ζN ), ζN = exp(2πi/N).

Proof. Both the left and the right hand sides are zero if one of αi is zero modulo N. So we may assume αi are non zero. One can realized the family (E,p) of pairs (an elliptic curve plus a point p of order N on E) parametrized by a neighborhood of a cusp , as a family of plane elliptic curves E with an N- ∞ q torsion section p, degenerating at q = 0 to a nodal curve with the torsion point ζ . Then f N α1p,b ∧ fα2p,b fα3p,b, where b is a non zero multiple of p, degenerates, modulo N-torsion, to an element ∧ 3 α β α β α β Q G fζ 1 ,ζ fζ 2 ,ζ fζ 3 ,ζ on Λ ( m)∗. It remains to apply Lemma 2.13, formula (32), and identity N N ∧ N N ∧ N N (51). (The reader may compare this with the proof of the formula (41)). The Lemma is proved.

It follows from Lemma 3.5 that the specialization map intertwines the maps of the modular complex to the Euler and cyclotomic ones. b) If p is a prime, the only relations between the modular units, as well as the cyclotomic units, are the parity relations θ ( a)= θ (a), and similar ones for the cyclotomic case. Therefore we get E − E a map of complexes which is surjective by deﬁnition, and is an isomorphism on the right. We claim that the left arrow is injective. The specialization map, restricted to the kernel of the diﬀerential in the Euler complex, is an isomorphism. Indeed, the Bloch group (X) is rigid by its very deﬁnition. B2 So any element of Kerδ is constant on X. The specialization of a constant on X x equals to its 2 − value at any nearby point. So we get an isomorphism of complexes. The theorem is proved.

4 Imaginary quadratic ﬁelds and tessellations of the hyperbolic space

Let be the ring of integers in the imaginary quadratic ﬁeld K = Q(√ d). Following the work of OK − Cremona [C], we recall the classical description (due to Bianchi [Bi]) of the fundamental domains for the group GL ( ) acting on the hyperbolic space for d = 1, 2, 3, 7, 11. Using this, we describe 2 OK H3 explicitly the chain complex of the corresponding tessellation of the hyperbolic plane. In the next section we relate this complex with the Euler complex restricted to a CM point of the modular curve corresponding to an elliptic curve E with the endomorphism ring . K OK 4.1 Bianchi tessellations of the hyperbolic space Let be the three dimensional hyperbolic space. The group GL (C) acts on through its quotient H3 2 H3 P GL2(C). We present the hyperbolic space as an upper half space

= (z,t) : z C,t R,t> 0 . H3 { ∈ ∈ }

22 Let K be an imaginary quadratic ﬁeld Q(√ d), where d is a square-free positive integer. Let − OK be the ring of integers in K. Then GL ( ) acts on discretely through its quotient P GL ( ). 2 OK H3 2 OK Extending by the set of cusps K on the boundary, we form := K . H3 ∪ {∞} H3∗ H3 ∪ ∪ {∞} The kernel of the GL ( )-action on is the center of GL ( ). It is isomorphic to the group 2 OK H3 2 OK of roots of unity in K, which coincides with the units group . It is the subgroup 1 , unless OK∗ {± } d = 1, 3, i.e. is the ring of Gaussian or Eisenstein integers, and its order is 4 or 6 respectively. The OK group SL ( ) is the kernel of the determinant map GL ( ) . Observe that PSL ( ) 2 OK 2 OK −→ OK∗ 2 OK is an index two subgroup in P GL ( ). 2 OK The Bianchi tessellation and the modular complex. The Bianchi tessellation is a classical GL ( )- 2 OK invariant tessellation of on geodesic polyhedrons. It can be deﬁned by the following construction, H3∗ due to Voronoi. Let L be a free rank two K -module. Set V := L K C. We realize 3 as the O ⊗O H quotient of the cone of positive deﬁnite Hermitian forms on V modulo R . A non-zero vector l L ∗ >0 ∈ gives rise to a degenerate Hermitian form ϕ , where ϕ (f) := f, l 2 on V . Let us consider the set l l |h i| ∗ of forms ϕl when l run through the set of all non zero primitive vectors in the lattice L. The convex hull of this set is an inﬁnite polyhedron. Its projection to provides a tessellation of the latter. H3 It is the Bianchi tessellation. The set of its vertexes coincides with the set of cusps K . The ∪ {∞} interiors of the cells of dimension 1 are inside of . The stabilizers of the cells are ﬁnite. ≥ H3 Deﬁnition 4.1 The modular complex M for GL ( ) is the chain complex of the Voronoi tes- ∗ K 2 OK sellation of the hyperbolic space for theO group GL ( ): H3 2 OK 0 ∂ 1 ∂ 2 M∗ K : M K M K M K . O O −→ O −→ O The extended modular complex M is the chain complex of the Voronoi tessellation of for the ∗ K H3∗ group GL ( ): O 2 OK M 0 ∂ 1 ∂ 2 ∂ 3 ∗ K : M K M K M K M K . O O −→ O −→ O −→ O i Here M K is the group generated by the oriented (3 i)-cells of the tessellation. O − The extended modular complex is a complex of right GL ( )-modules. 2 OK 4.2 Bianchi tessellations for Euclidean ﬁelds Now let us assume that

K is one of the ﬁve Euclidean ﬁeld Q(√ d), where d = 1, 2, 3, 7, 11.. (57) − The Voronoi tessellation in this case was considered by Bianchi [Bi]. Its main features are the following:

The edges of the Bianchi tessellation are obtained from a single geodesic G = (0, ) by the • ∞ action of the group GL ( ). 2 OK The three dimensional cells of the Bianchi tessellation are obtained from a single basic geodesic • polyhedron B by the action of the group GL ( ). d 2 OK

23 There is also a basic triangle T = (0, 1, ). The orbits of T give all the two dimensional cells of ∞ the Voronoi tessellation if and only if d = 1, 3. Reﬂecting the basic polyhedron by the faces, and repeating this procedure inﬁnitely many times with the obtained polyhedrons, we recover the Bianchi tessellation of . Below we describe the H3 basic polyhedrons for the Euclidean ﬁelds. The Bianchi tessellation for the Gaussian integers. The units group Z[i]∗ is generated by i. The basic polyhedron B1 is the geodesic octahedron described by its vertexes:

B = (0, 1, i, 1+ i, (1 + i)/2, ). 1 ∞

i . .1+i i . . 1+i

. (1+i)/2 (1+i)/2. . . . 1 . 0 0 1

Figure 3: An octahedron of the Bianchi tessellation; on the right shown the view from the inﬁnity.

Z 1+√ 3 The Bianchi tessellation for the Eisenstein integers. Let [ρ], where ρ = 2 − = exp(πi/3), be the ring of Eisenstein integers. Its units group is cyclic of order 6, generated by ρ. The basic polyhedron is the geodesic tetrahedron

B = (0, 1, ρ, ). 3 ∞

ρ ρ

0 1 0 1

Figure 4: A tetrahedron of the Bianchi tessellation for the Eisenstein integers; the right picture shows the base viewed from inﬁnity.

24 The Bianchi tessellations for the Euclidean ﬁelds with d = 2, 7, 11. We present on Figure 5 the plans of the basic polyhedrons B2, B7, B11. We set there

θ := √ 2, α := (1 + √ d)/2, d = 7, 11 − − Each of the plans shows the ﬁnite vertexes of a basic polyhedron as the vertexes of the plan, and the projections of the non-vertical geodesic edges of the polyhedron from the inﬁnity as the edges of the plan. Observe that in the addition to the triangular faces we have quadrilateral faces for d = 2 0 and d = 7, and hexagonal faces for d = 11. The action of the group Dd on the set of faces of Bd has two orbits for d = 2, 7, 11. The vertical faces of the polyhedrons project to the exterior sides of the plan. So for d = 2 we have two triangular vertical faces, and two quadrilateral ones. For d = 7 we have two quadrilateral vertical faces, and one triangular. For d = 11 we have two hexagonal vertical faces, and one triangular. So the plans describe the fundamental polyhedrons completely. α

θ 1+θ 2α 2α+1 α 3 3

θ 1+θ α α+1 2 2 α α+1 2 2 2 2 α α+2 3 3 0 1 0 1 1+2α 2+2α 5 5 d=2 d=7

0 1 d=11

Figure 5: Plans of the basic polyhedrons for d = 2, 7, 11

4.3 Describing the modular complexes for d =1, 3 Let K be a Euclidean imaginary quadratic ﬁeld. Then the two properties of the Bianchi tesselation in the subsection 4.2 just mean that the groups M0 and M2 are right GL ( )-modules with K K 2 OK one generator. A generator can be picked as follows:O O 0 B For M K : the oriented polyhedron d. 2O G For M K : the oriented geodesic = (0, ). O 1 ∞ The GL2( K )-module M K has one generator if and only if d = 1, 3. In the latter case we have 1 O O T M K : is generated by the oriented basic triangle = (0, 1, ). O ∞ Dk k Let K be the stabilizer of the corresponding generator of M K up to a sign. These groups are describedO as follows: O

25 (i) For any imaginary quadratic number ﬁeld K we have

2 D G ∼ K := the stabilizer of the geodesic = the semidirect product of S2 and K∗ K∗ . O O × O D2 where S2 acts by permuting the factors. The subgroup K GL2( K ) consists of transformations O ⊂ O (σ; ε , ε ) : (v , v ) (ε v , ε v ); ε ∗ . σ S . 1 2 1 2 7−→ 1 σ(1) 2 σ(2) i ∈ OK ∈ 2 (ii) For any imaginary quadratic number ﬁeld K there is an isomorphism

1 D T ∼ K := the stabilizer of the geodesic triangle = S3 K∗ . O × O It can be described as follows. Let L be a free rank two -module. 2 OK Choose a basis (v , v ) of L . Then GL ( ) is the automorphism group of L written in this 1 2 2 2 OK 2 basis. We deﬁne a vector v0 of L2 by the formula v0 +v1 +v2 = 0. Let S3 be the group of permutations D1 of the set 0, 1, 2 . The subgroup K consists of transformations { } O (v , v ) (εv , εv ), ε ∗ , σ S . 1 2 7−→ σ(1) σ(2) ∈ OK ∈ 3 D0 (iii) We deﬁne the group K only for the Euclidean ﬁelds. It is the stabilizer in GL2( K ) of O O the basic polyhedron Bd. Here is its description for the Gaussian and Eisenstein integers: D0 =∼ (the symmetry group of the octahedron) . Z[i] × OZ∗[i] D0 =∼ (the symmetry group of the tetrahedron) . Z[ρ] × OZ∗[ρ] Dk k The group K stabilizes the corresponding generator of M K up to a sign. The sign provides a homomorphism χO : Dk Z. Summarizing, we got O k d −→ Proposition 4.2 Let K = Q(√ d) and d = 1, 3. Then we have for k = 1, 2, 3: − k Z k M K = [GL2( K )] D χk. O O ⊗ d The action of the group GL ( ) is induced by the multiplication from the left. 2 OK 5 Euler complexes, CM elliptic curves, and modular hyperbolic 3-folds

Let us restrict the Euler complex EN• to a CM point of X(N) corresponding to a CM curve EK with complex multiplication by , and then specialize further, by considering only -torsion points. OK N 5.1 Euler complexes for CM elliptic curves and geometry of modular orbifolds

Elliptic units for a CM elliptic curve. Let K be an imaginary quadratic ﬁeld, and EK a CM elliptic curve with the endomorphism ring . Let us assume that the class number of K is one. Then the OK curve E is deﬁned over K. The set of complex points of E is given by C/σ( ), where σ : K ֒ C K K OK → is an embedding. Recall that Aut(E ) = . We denote by ε(a) the image of a point a under the action of the K OK∗ automorphism of E corresponding to ε . Let be an ideal of . The group acts by K ∈ OK∗ N OK OK∗ automorphisms of the group of -torsion points of E . N K The following result is well known, see [KL].

26 Lemma 5.1 Let K be an imaginary quadratic ﬁeld, E the corresponding CM elliptic curve, and K N an ideal in . Then the only relations between the elliptic units corresponding to -torsion points OK N of EK are the distribution relations (35) and the symmetry relations provided by Corollary 2.6:

θ (ε(a)) = θ (a), ε ∗ . (58) E E ∈ OK In particular if is a prime ideal in , the only relations between the corresponding elliptic N OK units are the symmetry relations (58).

Let K be the ﬁeld obtained by adjoining to K the N-th roots of unity and elliptic units θE(a), N where a runs through all nonzero -torsion points of the curve EK . The ﬁeld K coincides with N N the ray class ﬁeld corresponding to the ideal , see [KL], Chapter 11. N Deﬁnition 5.2 Set

un ( ) := The group of elliptic units in Q =∼ ∗ Q, C1 N OKN ⊗ OKN ⊗ 1 ( ) := The group of elliptic -units in Q =∼ [ ]∗ Q, C1 N N OKN ⊗ OKN N ⊗ ( ) := ( ) Q. C1 N C1 N ⊕

In the last formula the factor Q formallyb corresponds to the non-existing element θE(0). We abuse notation and denote the element 1 Q there by θ (0). ∈ E Proposition 5.3 Let a , a , a be three -torsion points of E with a + a + a = 0. Then 1 2 3 N 1 2 3 θE(a1, a2, a3) B2(K )Q. ∈ N

Proof. By the very deﬁnition, θ (a , a , a ) (Q)Q. Recall that (Q)Q = B (Q)Q. The rest E 1 2 3 ∈B2 B2 2 follows from Lemma 2.5. The proposition follows.

Deﬁnition 5.4 The Q-vector space 2( ) is the subspace of B2(K )Q generated by the elements C N N θ (a , a , a ) when a , a , a run through all -torsion points of E with a + a + a = 0. E 1 2 3 1 2 3 N 1 2 3 It follows from (38) that there are the following complexes, placed in degrees [1, 2]:

δ2 2 δ2 2 E•( ) := ( ) Λ ( ); E•( ) := ( ) Λ ( ). (59) N C2 N −→ C1 N N C2 N −→ C1 N Lemma 5.5 Let = be a prime ideal. Then thereb is one more complex: b N P δ2 2 un E• ( ) := ( ) Λ ( ); (60) un P C2 P −→ C1 P Let Γ ( ) be the subgroup of GL ( ) ﬁxing the row vector (0, 1) modulo . Set 1 N 2 OK N

( ):=Γ ( ) , ( ):=Γ ( ) ∗. Y1 N 1 N \H3 X1 N 1 N \H3

The Galois group Gal(K /K). Let F = K / be the residue ﬁeld of a prime ideal . Let µ be P P O P P P the projection of the group of units to F∗ . The Galois group Gal(K /K) is canonically isomorphic P P to F∗ /µ . Indeed, K is the ray class ﬁeld corresponding to the ideal , and hK = 1. P P P P

27 The diamond operators. Let N(G) the normalizer of a group G. Then the group

:= N(Γ1( ))/Γ1( ) DP P P acts on ( ) preserving the Bianchi tesselation. Hence it acts on the modular complex. The group Y1 P is naturally isomorphic to F∗ /µ . It consists of the diamond operators a , where a F∗ /µ . DP P h i ∈ P Therefore there are canonical isomorphismsP P

= F∗ /µ = Gal(K /K). DP P P P Given a prime ideal , we deﬁne a map P ′ Λ2 ( ) δ ( ) ( ). C1 P −→ C1 P ⊕C1 P by setting b 0 θE(a) θE(b) if a, b = 0 δ′ : θE(a) θE(b) ⊕ − 6 (61) ∧ 7−→ θE(b) θE(b) if a = 0, b = 0. ( − ⊕ 6 Then clearly the composition δ δ = 0. Further, there is a map ( ) Q, θ (a) 1. Taking ′ ◦ 2 C1 P −→ E 7−→ the sum of the two copies of this map, we get a map Σ : ( ) ( ) Q. So we get the following C1 P ⊕C1 P −→ complex, placed in degrees [1, 4]:

δ ′ ( ) 2 Λ2 ( ) δ ( ) ( ) Σ Q. (62) C2 P −→ C1 P −→ C1 P ⊕C1 P −→ Lemma 5.6 The complex (62) is quasiisomorphicb to the complex E ( ). un• P Proof. There is an obvious map of complexes

δ ( ) 2 Λ2 un( ) C2 P −→ C1 P = ↓δ ↓ ′ ( ) 2 Λ2 ( ) δ ( ) ( ) Σ Q. C2 P −→ C1 P −→ C1 P ⊕C1 P −→ It provides the desired quasiisomorphism.b Indeed, it follows from the very deﬁnition that ( ) = C1 P un( ) Q Q. It is easy to see from this and the deﬁnition of the map δ that bottom complex is C1 P ⊕ ⊕ ′ exact in degree 3, and the kernel of the map δ is Λ2 un( ). The lemma is proved. b ′ C1 P Theorem 5.7 Let us assume that K is either Gaussian or Eisenstein ﬁeld, i.e. d = 1, 3. Let be P a prime ideal in . Choose a -torsion point z of the curve E generating E [ ]. OK P K K P Then there exists a surjective homomorphism of complexes

Q 1 ∂ 2 ∂ 3 Γ1( ) M K M K M K ⊗ P O −→ O −→ O θ(1) θ(2) θ(3) (63) ↓ ↓ ↓

δ ′ ( ) 2 Λ2 ( ) δ ( ) ( ) C2 P −→ C1 P −→ C1 P ⊕C1 P which intertwines the action of the group withb the action of Gal(K /K). DP P Moreover the maps θ(2) and θ(3) are isomorphisms.

28 Proof. Since has the class number one, one has OK 2 2 Γ1( ) GL2( K )= F 0, 0 = (α, β) F 0 . P \ O P − { } { ∈ P − } We identify it with the set of nonzero rows (α, β, γ) with α + β + γ = 0. Then { } 1 Q Z 1 Γ1( ) M K = [Γ1( ) GL2( K )] D χ1 = (64) ⊗ P O P \ O ⊗ OK Z[(α, β, γ) F3 0 α + β + γ = 0] ∈ P − | . the dihedral symmetry relations where the dihedral symmetry relations are the following:

(α , α , α ) = ( 1)sgn(σ)(α , α , α ), σ S , 1 2 3 − σ(1) σ(2) σ(3) ∈ 3 (α , α , α ) = (εα , εα , εα ), ε ∗ . 1 2 3 1 2 3 ∈ OK

2 Q Z 2 Γ1( ) M K = [Γ1( ) GL2( K ))] D χ2 = (65) ⊗ P O P \ O ⊗ OK Z[(α, β) F2 0] ∈ P − , ε ∗ . (α, β)= (β, α) = (εα, εβ) ∈ OK −

Q 3 Z Γ1(2, ) M K = [Γ1( ) GL2( K )/B( K )] = (66) ⊗ P O P \ O O the free abelian group with generators [β, 0] and [0, β], where β F∗ /µ . ∈ P P Here B is group of upper triangular matrices.

Then the diﬀerential in the top complex in (84) is described as follows:

∂ : (α, β, γ) (α, β) + (β, γ) + (γ, α); (67) 7−→ 0 [0, α] [0, β] if α, β = 0 ∂ : (α, β) ⊕ − 6 (68) 7−→ [β, 0] [0, β] if α = 0, β = 0. ( − ⊕ 6

To deﬁne the map of complexes θ( ) we pick a nonzero -torsion point z of the curve E . Then ∗ P K there is an isomorphism of abelian groups

F EK [ ], α αz. (69) P −→ P 7−→ Now we proceed as follows. (i) Let := Q [F∗ /µ ] be the Q-vector space generated by the set F∗ /µ . We denote by [α] FP P P P P the generator of corresponding to an element α F∗ , so [εα] = [α]. According to Proposition FP ∈ 5.2 there is an isomorphism P

∼ Q The group of -elliptic units in K∗ P , [α] θE(αz). (70) FP −→ P O ⊗ 7−→ (ii) Using the identiﬁcations (64) - (66) we deﬁne the desired map of complexes as follows:

θ(1) : (α, β, γ) θ (αz,βz,γz), (71) 7−→ E

29 θ(2) : (α, β) θ (αz) θ (βz), (72) 7−→ E ∧ E θ(3) : [β , 0] + [0, β ] θ (β z) θ (β z). 1 2 7−→ E 1 ⊕ E 2 (1) (2) The map θ is well deﬁned thanks to the dihedral symmetry relations for θE(a, b, c); the maps θ (3) and θ are well deﬁned thanks to the symmetry relations for θE(a). It follows easily from (67)-(68), ( ) the formula (38), and (61) that the map θ ∗ is a homomorphism of complexes. It is surjective by Theorem 2.10 b) and Proposition 5.2. Since is a prime ideal, thanks to Lemma 5.1 there are no P distribution relations between the elliptic units, and hence the maps θ(2) and θ(3) are isomorphisms. It follows from the very deﬁnition that the map θ∗ intertwines the actions of the groups and DP Gal(K /K). The theorem is proved. P Remark. Let us remove dependence on the choice of a -torsion point z in the theorem. Let P µ(1) be the Gal(K /K)-module of non-trivial -torsion points on the curve EK. Then there is a P P canonical morphism

the top complex in (63) the bottom complex in (63) µ(1). → ⊗Gal(KP /K) It is given by θ z 1, where θ is the above map of complexes deﬁned using a torsion point z. z∗ ⊗ − z∗ 5.2 The rational cohomology of Γ ( ) 1 P If Γ is a torsion free ﬁnite index subgroup of GL ( ), we have an isomorphism 2 OK H∗(Γ, Q)= H∗(Γ , Q). \H3 If we understood the right hand side as the cohomology group of the orbifold := Γ , this formula YΓ \H3 remains valid for any subgroup of GL ( ). Let us recall few basic facts about the cohomology 2 OK groups H∗(Γ, Q). See [Ha1] and references there for further details. The orbifold is compactiﬁed by := Γ . The complement consists of a ﬁnite YΓ XΓ \H3∗ XΓ −YΓ number of cusps. The orbifold has a boundary ∂ given by disjoint union of two dimensional YΓ YΓ orbifold tori. These tori are parametrized by the cusps. Restriction to the boundary provides a map

Res : H∗( , Q) H∗(∂ , Q). (73) YΓ −→ YΓ

The kernel of the restriction map is the cuspidal part Hcusp∗ (Γ, Q) of the cohomology. The image is called the Eisenstein part of the cohomology, and denoted HEis∗ (Γ, Q). So there is an exact sequence

0 H∗ (Γ, Q) H∗(Γ, Q) H∗ (Γ, Q) 0. −→ cusp −→ −→ Eis −→ The cuspidal cohomology satisﬁes the Poincare duality, so we have

1 2 dimHcusp(Γ, Q) = dimHcusp(Γ, Q). (74)

Let M be a threefold with boundary ∂M. Then it follows from the Poincare duality that the image of the restriction map Res : H (M) H (∂M) is a Lagrangian subspace in H (∂M). ∗ → ∗ ∗ Therefore if Γ is torsion free then the image of the restriction map is a Lagrangian subspace in the boundary cohomology H (∂ , Q). ∗ YΓ It follows from this that if Γ is torsion free then the homological Euler characteristic is zero:

χ (Γ) = ( 1)idimHi(Γ, Q) = 0. h − X 30 0 Indeed, clearly HEis(Γ, Q) = Q. Since the image of the restriction map (73) is Lagrangian, this implies that there is a natural isomorphism

H2 (Γ, Q) = Ker Q[cusps of Γ] Σ Q . Eis −→ Observe that identifying H2 (Γ, Q) with the Borel-Moore homology HBM ( , Q), the boundary Eis 1 YΓ map is given by the “boundary at inﬁnity” of the 1-cycle representing the class, which is a linear combination of cusps of total degree zero. Finally, dimH1(∂ ) = 2 (the number of cusps of Γ), and therefore dimH1 (Γ, Q) is equal to YΓ × Eis the number of cusps of Γ. However if Γ has torsion the situation is more complicated.

Example. The modular 3-fold ( ) is a three dimensional orbifold. Indeed, the subgroup Y1 P of diagonal matrices diag(ε, 1), where ε , is a torsion subgroup in Γ ( ). The complement ∈ OK∗ 1 P 1( ) 1( ) consists of 2 F∗ /µ cusps. The natural covering 1( ) 0( ) is unramiﬁed of X P −Y P | P P | X P −→ X P degree F∗ /µ . There are two cusps on 0( ): the 0 and cusps. So there are F∗ /µ cusps over | P | X P ∞ | P | 0 as wellP as over . P ∞ Lemma 5.8 Let be a prime ideal in . Then P OK H1 (Γ ( ), Q) = 0, Eis 1 P H2 (Γ ( ), Q) = Ker Q[cusps of Γ ( )] Σ Q . Eis 1 P 1 P −→ Proof. In this case the boundary cohomology group H1 is zero. Indeed, the cusps, and hence the boundary components are parametrized by the Γ ( )-orbits on the set of Borel subgroups in 1 P GL ( ). Consider the boundary component corresponding to the standard (upper triangular) 2 OK Borel subgroup of GL ( ). We identify H of the corresponding boundary component with the 2 OK 1 unipotent radical U( ) = . The torsion element diag(ε, 1) acts on it by multiplication on ε. OK OK Taking ε = 1, we see that it kills the boundary H1. However on H2 it acts as the identity. The − lemma follows.

Remark. This lemma is consistent with Horozov’s computation of the homological Euler char- acteristic of Γ ( ), see Theorem 0.5 in [H]. Namely, 1 P 2 dimHEis(Γ1( ), Q) = 2 F∗ /µ 1, (75) P | P P |− and thus we get

1 2 χh(Γ1( )) = 1 dimHEis(Γ1( ), Q) +dimHEis(Γ1( ), Q) = 2 F∗ /µ P − P P | P P | which coincides with the result obtained in loc. cit.

5.3 Applications Corollary 5.9 Let K = Q(√ d) where d = 1, 3, and let be a prime ideal in . Then there are − P OK canonical isomorphisms (2) 2 2 θ : H (Γ ( ), Q) ∼ H (E•( )), (76) h 1 P −→ P (2) 2 2 θ b : H (Γ1( ), Q) ∼ H (bE• ( )). (77) h cusp P −→ un P

31 Proof. The isomorphism (76) follows immediately from Theorem 5.7. Indeed, take the stupid truncation in degrees 2 of the two complexes in (63). Then H2 of the truncated top complex is ≤ H2(Γ ( ), Q), while H2 of the truncated bottom complex is H2(E ( )). 1 P • P To prove (77) observe that H2 of the top complex delivers the left hand side in (77). By Lemma 5.6, the H2 of the bottom complex gives the right hand side. b Here is another argument for this. There is a natural map

2 Σ H (E•( )) Ker( Q). P −→ C1P⊕C1P −→ The right hand side can be identiﬁedb with H2 (Γ ( , Q), see Section 5.2, e.g. (75), and thus the Eis 1 P kernel is identiﬁed with H2 (Γ ( ), Q). The corollary is proved. cusp 1 P The commutativity of the diagram (63) implies that the composition

0 ∂ 1 θ(1) M K M K 2( ) O −→ O −→ C P provides a natural map

0 δ2 2 1 M K Ker 2( ) Λ 1( ) = H (E•( )). (78) O −→ C P −→ C P P Deﬁnition 5.10 α(K ) is the image of the map (78). P

Since K is a number ﬁeld, 2(K )Q = B2(K )Q. So Kerδ2 = K3(K )Q by Suslin’s theorem. P B P P P Thus there is an embedding 1 H (E•( )) K3(K )Q. P ⊂ P So we immediately get

Corollary 5.11 Under the same assumptions as in Corollary 5.9, there is a homomorphism

1 (1) 1 H (E•( )) K3(K )Q θ : H (Γ ( ), Q) P P . (79) h cusp 1 P −→ α(K ) ⊂ α(K ) P P Proof. Indeed, there is a map

H1(E ( )) θ(1) : H1(Γ ( ), Q) • P . (80) h 1 P −→ α(K ) P Since H1 (Γ ( ), Q) = 0, one has H1 = H1, so the map (80) coincides with the needed map (79). Eis 1 P cusp

5.4 Relations between the elements θE (a1, a2, a3) To describe the vector space ( ) one needs to know all relations between the elements θ (a , a , a ). C2 N E 1 2 3 There is a decomposition

( )= γB , γ Γ ( ) P GL ( ) (81) Y1 P ∪ d ∈ 1 P \ 2 OK of the orbifold ( ) into a union of ﬁnite number of geodesic polyhedrons, obtained by projecting Y1 P the Bianchi tessellation of corresponding to onto ( ). We call it the Bianchi decomposition. H3 OK Y1 P Each polyhedron of the Bianchi decomposition of ( ) gives rise to a relation between the elements Y1 P

32 θE(a1, a2, a3), where ai are -torsion points of EK. Namely, the sum of the elements corresponding (1) P via the map θ to the faces of the polyhedron γBd is an element

(1) θ (∂(γBd)) K3(K )Q. E ∈ P

We call the quotient of the space of relations between the elements θE(a1, a2, a3), where a1, a2, a3 run through the nonzero -torsion points in E , modulo the subspace generated by the dihedral P K symmetry relations and the described above relations corresponding to the polyhedrons of the de- composition (81), the space of sporadic level relations between the elements θ (a , a , a ). P E 1 2 3

Corollary 5.12 Let be a prime ideal in K . Then the space of level sporadic relations between P O (1) P the elements θE(a1, a2, a3) is identiﬁed with the kernel of the map θh .

To describe the relation corresponding to a polyhedron of the decomposition (81) precisely one needs to know explicitly the element of K3(K ) corresponding to this polyhedron. P (1) Conjecture 5.13 The element θE (∂(γBd)) is zero.

Summarizing, there are three types of the relations between the elements θE(a1, a2, a3): (i) The dihedral symmetry relations (39) - (40) corresponding to symmetries of the geodesic triangles in the Bianchi decomposition of the modular orbifold ( ). Y1 P (ii) The relations provided by the polyhedrons of the Bianchi decomposition (81). (iii) Sporadic relations are described by the map (79), that is,

(1) 1 θ : Hcusp(Γ1( ), Q) K3(K )Q/α(K ). (82) h P −→ P P

The Hecke algebra acts on the left. It is hard to imaging an action of the Hecke algebra on the right.

Problem 5.14 Determine the map (82).

Appendix. Here is another way to assign to translations of the basic polyhedron elements of K Q; this time they lie in the one dimensional space K (K)Q. 3 ⊗ 3 Lemma 5.15 For any γ P GL ( ), the geodesic polyhedron γB provides an element ∈ 2 OK d

[γB ] K (K)Q. (83) d ∈ 3 The value of the regulator map K (K) R on this element is the volume of the polyhedron B . Thus 3 → d the element (83) does not depend on γ.

Proof. Cut the polyhedron γBd into ideal geodesic simplices. We assine to an ideal geodesic simplex I( , 0, 1, z) with vertices at , 0, 1, z, where z Q, the element z of the Bloch group ∞ ∞ ∈ { }2 B2(Q). Let [γBd] be the sum of the elements corresponding to the simplices of the decomposition. It lies in B2(K) since the vertices of the simplices can be taken at the cusps, which are identiﬁed with K . Let us show that the diﬀerential δ in the Bloch complex kills this element. ∪ {∞} 2

33 The Dehn invariant of the ideal geodesic simplex I( , 0, 1, z) equals ∞ 1 2 log 1 z arg(z) log z arg(1 z) R S = (Λ C∗)− | − |⊗ − | |⊗ − ∈ ⊗ where stands for the antiinvariants of the complex conjugation acting on Λ2C . A union of ﬁnite − ∗ number of translations of the polyhedron Bd gives (a multiple of) the fundamental cycle of the threefold ( ). The Dehn invariant of the latter is zero. Thus the Dehn invariant of B is torsion. Y1 P d According to the Lobachevsky formula one has

volI( , 0, 1, z)= (z). ∞ L2

Since the regulator map on K (K)Q is given by the dilogarithm function (z), we get the second 3 L2 claim of the Lemma. Now the injectivity of the regulator map on K3(K)Q implies that the element (83) does not depend on γ. The Lemma is proved.

(1) Remark. The element [γBd] can not be a non-zero multiple of θE (∂(Bd)). Indeed, consider the sum of (translations of) basic polyhedrons providing the fundamental cycle of the threefold 1( ). (1) Y P Then the sum of the corresponding elements θE (∂(γBd)) is zero. Indeed, the contribution of each polyhedron is provided by the triangles forming its boundary, and the boundary of the fundamental cycle is zero. On the other hand the sum of the elements [γBd] corresponding to the polyhedrons entering to the fundamental cycle is, by Lemma 5.15, a non-zero multiple of [Bd].

5.5 Generalizations Theorem 5.16 Let be the ring of Gaussian or Eisenstein integers. Let be an ideal in . OK N OK Then there exists a canonical surjective homomorphism of complexes

Q 1 ∂ 2 Γ1( ) M K M K ⊗ N O −→ O θ(1) θ(2) (84) ↓ ↓ ( ) δ2 Λ2 ( ) C2 N −→ C1 N ( ) The maps θ ∗ intertwine the action of the group with theb action of Gal(K /K). DN N Proof. We follow the proof of Theorem 5.7 with necessary modiﬁcations. One has

Γ ( ) GL ( )= (α, β) ( / )2 (α, β, ) = 1 . 1 N \ 2 OK { ∈ OK N | N } We identify it with the set of rows (α, β, γ) with α + β + γ = 0, and α, β, γ are modulo and { } N have no common divisors with . Then N Z[(α, β, γ) ( / )3 α + β + γ = 0, (α, β, ) = 1] Q 1 K Γ1( ) M K = ∈ O N | N , (85) ⊗ N O the dihedral symmetry relations

Z[(α, β) ( / )2] (α, β, ) = 1) Q 2 K Γ1( ) M K = ∈ O N | N , ε K∗ . (86) ⊗ N O (α, β)= (β, α) = (εα, εβ) ∈ O − To deﬁne the maps θ( ), we pick a primitive -torsion point z on E , and use formulas (71) - (72). ∗ N K Then we get a homomorphism of complexes. To show that it is surjective, we use the distribution relations. The theorem is proved.

34 It would be very interesting to ﬁnd the “right” generalisation of these results for other imaginary quadratic ﬁelds. The above construction has an obvious generalization: the subcomplex of the modular complex, given by the GL ( )-submodules generated by T and G, is mapped to the 2 OK complex ( ) δ2 Λ2 ( ). However the GL ( )-submodules generated by T and G do not C2 N −→ C1 N 2 OK give, in general, the whole modular complex. For example, let K = Q(√ 2). Then the GL2( K )- bG 2 − O submodule generated by is K . However there are 2-cells of the Bianchi tessellation which are MO not in the GL ( )-orbit of T, e.g. the geodesic 4-gon with vertices at (1, 1+θ , 1+ θ, ). This 2 OK 2 ∞ suggsets that there might exist a natural construction of an element of B2( ), which goes under SN the diﬀerential δ2 to the sum of four wedge products of the elliptic units corresponding to the sides of this 4-gon, and similalrly for other 2-cells in the GL ( )-orbit of this 4-gon. 2 OK Another question is whether/when the 1-cycles provided by the GL ( )-orbits of G generated 2 OK the Borel-Moore H1 of the corresponding modular 3-fold for general K. If so, this would imply that for a prime ideal of there is a natural surjective map from Λ2 to H2 of the corresponding P OK OK∗ P cusp modular 3-fold, just like in Conclusion 2.

References

[B] Beilinson A.A.: Higher regulators and values of L-functions. Current problems in mathe- matics, Vol. 24, 181–238, Itogi Nauki i Tekhniki, Akad. Nauk SSSR, Vsesoyuz. Inst. Nauchn. i Tekhn. Inform., Moscow, 1984.

[B2] Beilinson A.A.: Higher regulators of modular curves. Applications of algebraic K-theory to algebraic geometry and number theory, Part I, II (Boulder, Colo., 1983), 1–34, Contemp. Math., 55, Amer. Math. Soc., Providence, RI, 1986.

[BL] Beilinson A.A., Levin A.M.: The elliptic polylogarithm. Motives (Seattle, WA, 1991), 123– 190, Proc. Sympos. Pure Math., 55, Part 2, Amer. Math. Soc., Providence, RI, 1994.

[Bi] Bianchi L.: Sui Gruppi di Sostituzioni Lineari con Coeﬃcienti appartenenti a Corpi quadratici immaginari. Math. Ann. 40 (1882) 332-412.

[C] Cremona J.E.: Hyperbolic tessellations, modular symbols, and elliptic curves over complex quadratic ﬁelds. Compositio math., 51 (1984) 275-323.

[D] Deligne P.: Le group fondamental de la droite projective moins trois points. In: Galois groups over Q. Publ. MSRI, no. 16 (1989) 79-298.

[DG] Deligne P., Goncharov A.B.: Groupes fondamentaux motiviques de Tate mixte. Ann. Sci. Ecole Norm. Sup. (4) 38 (2005), no. 1, 1–56. math.NT/0302267.

[G1] Goncharov A.B.: Polylogarithms, regulators, and Arakelov motivic complexes. Journal of the AMS, 18 (2005), N1. ArXiv math.NT/0207036.

[G2] Goncharov A.B.: The double logarithm and Manin’s complex for modular curves. Math. Res. Letters, vol. 4. N 5 (1997), pp. 617-636.

[G3] Goncharov A.B.: Multiple polylogarithms, cyclotomy and modular complexes . Math. Res. Letters, vol. 5. (1998), pp. 497-516.

35 [G4] Goncharov A.B.: Multiple ζ-values, Galois groups and geometry of modular varieties. Proc. of the Third European Congress of Mathematicians, (Barcelona, 2000), Vol. 1, 361-392. Progr. Math., 201, Birkh¨auser, Basel. 2001. ArXiv math.AG/0005069.

[G5] Goncharov A.B.: The dihedral Lie algebras and Galois symmetries of π(l)(P1 ( 0, µ )). 1 − { ∞}∪ N Duke Math. J. 110, (2001) no. 3, 397-487. math.AG/0009121.

[G6] Goncharov A.B.: Geometry of conﬁgurations, polylogarithms, and motivic cohomology. Adv. Math. 114 (1995), no. 2, 197–318.

[G7] Goncharov A.B.: Volumes of hyperbolic manifolds and mixed Tate motives. JAMS vol. 12, (1999) N2, 569-618.

[GL] Goncharov A.B., Levin A.M.: Zagier’s conjecture on L(E, 2). Inventiones Math. 132, 393- 432 (1998).

[Ha1] Harder G. Eisenstein cohomology of arithmetic groups. The case GL2. Invent. Math. 89 (1987), no. 1, 37–118.

[H] Horozov I.: Euler characteristics of arithmetic groups. Math. Res. Lett, 12, 275-291 (2005).

[Ka] Kato K.: p-adic Hodge theory and values of zeta functions of modular forms. Cohomologies p-adiques et applications arithmtiques. III. Astrisque No. 295 (2004),

[KL] Kubert D., Lang S.: Modular units. Grundlehren der Mathematischen Wissenschaften, 244. Springer-Verlag, 1981.

[Z] Zagier D.: Values of zeta functions and their applications, Proceedings of the First European Congress of Mathematicians, Paris. 1994, vol 1.

Dept of Mathematics, Brown University, Providence RI 02912, USA. e-mail: [email protected]

36