INAUGURAL DISSERTATION
zur Erlangung der Doktorw¨urde der Naturwissenschaftlich-Mathematischen Gesamtfakult¨at der Ruprecht-Karls-Universit¨at Heidelberg
vorgelegt von M.Sc. Yamidt Berm´udez Tob´on aus Montebello (Ant.), Kolumbien Tag der m¨undlichen Pr¨ufung:
Thema An efficient algorithm to compute an elliptic curve from a corresponding function field automorphic form
Gutachter: Prof. Dr. Gebhard B¨ockle
Acknowledgements
I thank my supervisor Prof. Dr. Gebhard B¨ockle for his guidance and support. Also I would like to thank to Dr. Juan Cervi˜no, he provided sound support and was always willing to help whenever I asked, during the whole core of this work. We had a lot of interesting and enthusiastic discussions which often contained useful ideas. Without their help this thesis would not have been possible. During this work I was supported by the DAAD for three and one half years and the DFG project Nr D.110200/10.005 from 01.01.2013 to 30.04.2014.
Abstract
Elliptic modular forms of weight 2 and elliptic modular curves are strongly related. In the rank-2 Drinfeld module situation, we have still modular curves that can be described analytically through Drinfeld modular forms. In [GR96] Gekeler and Reversat prove how the results of [Dri74] can be used to construct the analytic uniformization of the elliptic curve attached to a given automorphic form. In [Lon02] Longhi, building on ideas of Darmon, defines a multiplicative integral that theoretically allows to find the corresponding Tate parameter. In this thesis we develop and present a polynomial time algorithm to compute the integral proposed by Longhi. Also we devised a method to find a rational equation of the corresponding representative for the isogeny class.
Zusammenfassung
Elliptische Modulformen von Gewicht 2 und elliptische Modulkurven stehen in enger Verbindung. Im Fall eines Drinfeld-Moduls von Rang 2 haben wir noch Modulkurven, die durch Drifeldsche Modulformen analytisch beschrieben wer- den k¨onnen. Gekeler und Reversat [GR96] beweisen, wie die Ergebnisse von [Dri74] genutzt werden k¨onnen, um die analytische Uniformisierung der, einer gegeben automorphen Form eingeordneten elliptischen Kurve, zu konstruieren. Auf Darmons Ideen aufbauen definiert Lonhi [Lon02] ein multiplikatives Inte- gral, das es erlaubt, den entsprechenden Tate-Parameter zu finden. In der vor- liegenden Arbeit wird ein Polynomialzeitalgorithmus entwickelt und vorgestellt, um das von Longhi vogeschlagene Integral zu berechnen. Ausserdem wird eine Methode entwickelt, mit der eine rationale Gleichumg der entsprechen- den Vertreter der Isogenieklasse gefunden werden kann.
Contents
Nomenclature vi
1 Introduction 1
2 Background 7
2.1 Notation...... 7
2.2 Notionsfromgraphtheory...... 7
2.3 TheDrinfeldupperhalfplane ...... 10
2.4 TheBruhat-Titstree ...... 11
2.5 Endsofthetree...... 13
2.6 Thereductionmap ...... 17
2.7 Drinfeldmodularcurves ...... 19
2.8 Thequotientgraph...... 20
2.9 Harmoniccocycles ...... 21
2.10 Thetafunctionsforarithmeticgroups ...... 24
2.10.1 Theta functions and harmonic cocycles ...... 25
iii Contents
2.11Heckeoperators...... 26
2.12 Application to the Shimura-Taniyama-Weil uniformization ...... 27
3 Integration, Theta function and uniformizations 31
3.1 Integration...... 31
3.1.1 Measuresandharmoniccocycles...... 32
3.1.2 The integral over ∂Ω...... 33
3.1.3 Changeofvariables...... 33
3.2 Thetafunction ...... 34
3.3 Complexuniformization ...... 35
3.4 p-adicUniformization...... 38
4 The Algorithm 45
4.1 Motivation...... 45
4.2 Elementaryfunctions...... 46
4.3 AHeckeoperator ...... 50
4.4 The change of variables and calculation of the integral ...... 61
4.4.1 Choosing the z0 ...... 62
4.4.2 Thepartitionoftheborder ...... 62
4.4.3 Thechangeofvariables...... 63
5 Applications and examples 69
5.1 Ellipticcurves...... 69
5.2 Supersingular elliptic curves ...... 78
5.3 Elliptic curves over C andEisensteinseries ...... 79
iv Contents
5.4 Reduction modulo p ofmodularforms ...... 84
5.5 TheTateCurve...... 87
5.6 ObtainingtheTateparameter ...... 90
5.7 Obtainingequationsforthecurves ...... 91
5.7.1 Elliptic curves in characteristic 2 and 3 ...... 92
5.7.2 Elliptic curves over characteristic p> 3...... 102
A Algorithms for the Quotient graph 113
A.1 Computational complexity of mathematical operations ...... 113
A.2 Representatives for the edges of Γ T ...... 115 0 \ A.3 Lifting cycles to T ...... 124
A.4 Findingtherepresentative ...... 126
B Algorithms for the table 129
B.1 Algorithms for the calculation of the table ...... 129
B.2 Algorithms for the calculation of the integral ...... 141
C Tables 149
C.1 Preliminaries ...... 149
C.2 Table for degree 3 over F3 ...... 150
C.3 Table for degree 4 over F3 ...... 150
C.4 Table for degree 3 over F5 ...... 152
C.5 Table for non-primes of degree 4 over F5 ...... 153
C.6 Table for primes of degree 4 over F5 ...... 166
C.7 Table for primes of degree 5 over F5 ...... 168
v Contents
References 174
vi 1. Introduction
The theory of modular forms and their relation to the arithmetic of elliptic curves is a central subject in modern mathematics, where most diverse branches of mathematics come together: complex analysis, algebraic geometry, representation theory, algebra and number theory. One of the most exciting and widely mathematical discoveries is the proof, by Andrew Wiles, of “Fermat last’s theorem”, its solution draws an incredible range of modern mathematics, which is precisely the relation between modular forms and elliptic curves.
There are a number of analogies between on the one hand, the integers Z and the rational numbers Q and on the other hand, Fq[T ] and its field of fractions Fq(T ). Frequently a problem posed in number fields or, in other words, in finite extensions of Q, admits an analogous problem in function fields, and the other way around. For example, since the appearance of Drinfeld’s work [Dri74], we know that all elliptic curves which are semistable at the place are modular, that is, they appear as a factor of the Jacobian of a Drinfeld ∞ modular curve. We are interested in number theory over function fields, particularly in
elliptic curves over Fq(T ).
In order to get a better idea of the function field case, it is worth to start with a short description of the classical case, that is, over the rational numbers Q. Let f : H C be −→ a cuspidal modular form of weight two for the Hecke congruence subgroup Γ0(N) which is also a new eigenform with rational Hecke eigenvalues, we call it for short “a Q-rational newform” of level N. From the Eichler-Shimura theory, with f one can associate an elliptic curve E with conductor N and a morphism defined over Q form the modular curve X0(N) to the elliptic curve E. Such an elliptic curve E is called a Weil curve.
On the other hand, since the 60’s (after the work of Shimura, Taniyama, and Weil) emerged
1 1. Introduction the conjecture that all elliptic curves over Q (up to isogeny) should be obtainable from the Eichler-Shimura construction. The conjecture known as the Shimura-Taniyama-Weil conjecture, is now a theorem called the modularity theorem [BCDT]. Basically it states that there are canonical bijections between the sets of
1) Normalized Q-rational newforms f of level N with rational Hecke eigenvalues;
2) One dimensional isogeny factors of the new part of the Jacobian of the modular curve
X0(N);
3) Isogeny classes of elliptic curves E over Q with conductor N.
The previous correspondence yields an effective method to determine all elliptic curves E/Q with a given conductor N, since the modular parametrization is explicitly and effectively computable (c.f. [Cre97]). For tables and numerical results see ([Ibid., Ch. 4]).
For some applications it is convenient to consider other kind of parametrizations instead of the modular one, for example the Shimura parametrization, introdued in [BC91] and [BD98]. Let E be an elliptic curve of conductor N and suppose that N is square free and + factorizes as N = N −N where N − has a even number of factors. Then there exits a parametrization of E by the Shimura curve X − + (cf. 3.4), that is a non constant mor- N N § phism from the Jacobian of the Shimura curve to E. However the lack of q-expansions for modular forms on non-split quaternion algebras, forces one to consider p-adic uniformiza- tions of E by certain discrete arithmetic subgroups of SL2(Qp) at the primes p dividing
N −.
The modular forms considered here may be regarded as functions on oriented edges of certain Bruhat-Tits tree T (cf. 3.4), called harmonic cocycles, which can be identified § 1 with measures on P (Qp). Using these measures Bertolini and Darmon are able to define 1 a multiplicative p-adic integral defined over P (Qp), which theoretically gives rise to the modular parametrization of the Tate curve attached to a given harmonic cocycle.
In [Gre06], Greenberg gives an algorithm, running in polynomial time, for evaluating this p-adic integral up to a given precision. The key of his algorithm is a method devised by Pollack and Stevens [PS11] for explicitly lifting standard modular symbols to overconver- gent ones. Although Greenberg is able to compute with good accuracy the Tate parameter, he does not give an explicit method to find an equation defided over Q for the elliptic curve
2 1. Introduction
as Cremona does. However in a recent preprint [GMS] Guitart et al, get p-adic approx- imations to the algebraic invariants of the elliptic curve, allowing for the recovery of the Weierstrass equation.
In the function field case, we want to describe a similar relationship between elliptic curves and automorphic forms. Although this result was proved for more general global fields (cf. [GR96]), we consider here the case where Q is replaced by the rational function field
K = Fq(T ).
The automorphic forms considered, may be regarded also as functions on the oriented edges of the Bruhat-Tits tree for GL2(K ), where K is the completion of K at the place ∞ ∞ = 1/T . In analogy with the classical case, in [GR96] Gekeler and Reversat prove that ∞ every elliptic curve E over F (T ) with conductor n , where n is an ideal of F [T ], is q ∞ q isogenous to a factor of the Jacobian of the Drinfeld modular curve M0(n) or equivalently E is a Weil curve. One can also establish a canonical bijection between the sets of:
1) Q rational new eigencocycles of level n with rational eigenvalues;
2) Isogeny factors of dimension one of the Jacobian of the Drinfeld modular curve M0(n);
3) K-isogeny classes of elliptic curves E/K with conductor n . ∞
This modular parametrization is explicitly constructed using a Theta function, however, this construction requires to calculate certain infinite product (cf. (2.6)), which makes it computationally hard to find the Tate parameter. On the other hand, Longhi [Lon02] working on function field analogues of Bertolini-Darmon [BD98], defines a multiplicative integral over P1(K ) and constructs a theta function in a different way as the one of ∞ Gekeler and Reversat. This approach does not give either an explicit method to calculate such integral.
In this thesis we develop an effective method to compute the multiplier of Gekeler’s theta function using the integral proposed by Longhi. We are able to calculate the Tate parameter q up to an accuracy of πM in running time O(M 7) operations; this is the main result of this thesis (c.f. Thm. B.2.1). In contrast to Greenberg‘s work, we go even further and find the corresponding elliptic curve defined over Fq(T ) in the isogeny class of the Tate curve corresponding to q. The importance of the these results, is that we now have a method to
3 1. Introduction
construct, at least for small primes and polynomials N of small degree, tables as Cremona does in the classical case.
We start with a harmonic cocycle ϕ as above, that is, a new eigencocycle of level n with 1 rational Hecke eigenvalues. From 3.1.1 we know that there is a measure µϕ on P (K ) § ∞ associated to ϕ. We use it, following Longhi, to define a multiplicative integral (3.9) which is very similar to the one used by Greenberg in the p-adic uniformization.
Motivated by the work of Greenberg, Darmon and pollack, we develop an algorithm to calculate our integral up to a given fixed precision of M digits. A crucial tool in Greenberg’s calculation is the logarithm, which allows him to pass from a multiplicative integral to an additive one. In the function field case we had to replace the use of logarithm by a different
method which lead us to calculate several integrals of functions in the ring 1 + πFqJπ, tK defined on O (cf. (4.3)), instead of P(K ) (cf. (4.1)). This idea and the concepts involved ∞ ∞ were sketched to me by Prof. B¨ockle.
In order to calculate the integral we define a Hecke operator over certain set S (cf. (4.7)) of functions which are I -equivariant. We show that the integral over any edge of the ∞ tree T can be regarded as an element of S and they are eigen-functions with eigenvalue 1. The last property allows us to calculate the integral over all edges in T and functions on M 1+ πFqJπ, tK modulo π .
The calculation of the Hecke operator U requires to work with the edges of the quotient ∞ graph Γ0(N) GL2(K )/I , where N is a polynomial in Fq[T ] that generates the ideal \ ∞ ∞ n, which is a covering of double the quotient GL2(A) GL2(K )/I . Since most of the \ ∞ ∞ algorithms available in the literature are made to work with the vertices of the quotient graph, we need to describe sets of representatives for the edges of the quotient graphs above and implement algorithms that allow us to work with such as sets (c.f Appendix A). The algorithms and the proofs that appear in the Appendices A and B, were made with the help of Dr. Cervi˜no.
Once we have the Tate parameter q we proceed to find a representative of the elliptic
curve in the isogeny class defined over Fq(T ). Unfortunately the coefficients a4(q) and
a6(q) of the Tate curve ( 5.12) are not rational (cf. Example 5.7.4). So we need to find an appropriate change of variables to transform the Tate curve into a rational model.
In the case of characteristic 2 and 3 a simple change of variables to transform the Tate
4 1. Introduction
curve was enough to find the rational model. In characteristic greater than 3 we need to consider the Eisenstein form y2 = 4x3 g x g of the curve. Following a suggestion of − 2 − 3 Prof. B¨ockle, we prove that there are powers of g2 and g3 that are rational functions (cf. Proposition 5.7.9). Hence after an appropriate change of variables we get a model defined over the field Fp(T ). A direct consequence of this is that the Eisenstein series are algebraic over Fq(T ).
This thesis is organized as follows:
In chapter 2 we give all the preliminaries from the article of Gekeler-Reversat [GR96], which include a short introduction to graphs in 2.2. We give the basic definitions of the § Drinfeld upper half plane, Bruhat-Tits trees, ends, the reduction map, the quotient graph and harmonic cocycles in sections 2.3-2.9. In Section 2.5, where the ends of the tree T §§ are defined, we explain how they are identified with P1(K ) (cf. Lemma 2.5.4) and how ∞ each edge induces a partition of P1(K ) into two disjoint open sets. Besides the definion ∞ of the harmonic cocycles in 2.9 we show how they can be constructed using the homology § of the quotient graph (cf. Lemma 2.9.4).
The construction of Gekeler and Reversat of theta series is given in 2.10. Theorem 2.10.2 § gives their main properties. There it is stated that the multiplier of the theta series induces a symmetric bilinear pairing, this is used latter to find the integral with the minimal valuation, which is precisely the Tate parameter. Theorem 2.10.4, mostly due to Van der Put, gives the relation between theta functions and the harmonic cocycles. This relation allows us latter to construct the theta series by means of a multiplicative integral. We finish this chapter with the definition of the Hecke operator in 2.11 and the applications § to the Shimura-Taniyama-Weil uniformisation 2.12, which is the main result of [GR96]. § In Chapter 3 the definition of Longhi’s multiplicative integral (cf. Def. 3.1) over any compact X is given. In 3.1.1 we state the relation between harmonic cocycles and mea- § sures, which is a direct consequence of Lemma 2.5.4. In 3.1.2 we give the definition of § the multiplicative integral when X is P1(K ) and the measure is the one induced from the ∞ harmonic cocycle. The theta function as a multiplicative integral is the content of Theorem 3.2.1, which allows us to show that the multiplier of the theta function can be given as a multiplicative integral (cf. (3.9)). This is the integral that we are interested in, since it allows us to determine the Tate parameter. This chapter also includes two sections with
5 1. Introduction
the classical complex uniformisation in 3.3 and the p-adic uniformisation in 3.4 with a § § short explanation of Greenberg’s algorithm.
In Chapter 4 we explain our algorithm to calculate the integral. This is the main theoretical contribution of this thesis. In 4.2 we define F , the set of fundamental functions. We show § I in Lemma 4.2.1 that FI is a group and we define the action of the Iwahori subgroup on it (cf. (4.6)). We introduce in 4.3 the Hecke operator U and the set S (4.7) on which § ∞ the operator U acts. The main results of this section are Lemma 4.3.7 and Proposition ∞ 4.3.8 in which we prove that the integrals regarded as elements of S are I -equivariant ∞ and eigenfunctions of the operator U , respectively. At end of section 4.3 we explain how ∞ § to calculate the Table by applying the Hecke operator U . This section finishes with the ∞ example 4.3.13 of how to apply the operator U . ∞ As we already explained we need to transform our integral (3.9) into one of the form (4.1) defined over O . In 4.4 we explain how to carry out this change of variables and we ∞ § perform carefully all the computations over all possible open sets arising from the partition of the border P1(K ). ∞ Chapter 5 deals with the applications of our algorithm to calculate the integral (3.9). We start this chapter with some definitions and results on elliptic curves, modular forms and the Tate curve (cf. 5.1-5.5). We explain in 5.6 how to calculate the Tate parameter. §§ § This includes a calculation of the valuation of q and Theorem 5.6.1 which states that we can compute the Tate parameter q up to accuracy πM in time O(M 9).
In 5.7.1 we explain how to find the rational model for the Tate curve in characteristic 2 § and 3 and write the corresponding algorithm and give some examples. Section 5.7.2 deals § with characteristic p> 3. We show first the rationality or certain powers of the Eisenstein series g2 and g3 (cf. Proposition 5.7.9) over the field Fq(q). We also give the algorithm to find curves in characteristic p> 3 and we give examples for p =5, 7, 11 and 13.
In the appendices A and B we explain the implementations for algorithms to deal with the quotient graph and the table respectively, as well as the running time for the main algorithms and the proof of Theorem 5.6.1. Appendix C includes tables for some primes and small degree of n.
Implementations of the algorithms described in this thesis, were done on the algebra system Magma [BCP97] and are available upon request.
6 2. Background
2.1 Notation
We recall some facts on the Drinfeld upper half plane, the Bruhat-Tits tree, harmonic co- cycles and theta functions1. We fix throughout this work the following notation, assuming the reader to be familiar with [GR96].
Fq = the finite field of characteristic p with q elements A = Fq[T ] K = Fq(T ) = the fixed place of K of degree one corresponding to v ∞ 1/T val = the valuation v1/T 1 K = Fq((π)), π = T − ∞ O = Fq[[π]], the -adic integers ∞ ∞ C = the completion of an algebraic closure of K ∞ ∞ val( ) = the multiplicative norm on C that extents q · : K R>0. |·| ∞ →
2.2 Notions from graph theory
Definition 2.2.1. Let S be a non empty countable set.
(a) A (directed multi-)graph G is a pair (X(G), Y(G)) where X(G) is a (possibly infinite) non-empty set and Y(G) is a subset of X(G) X(G) S such that × ×
1. if e =(v, v′,s) lies in Y(G), then so does its oppositee ¯ =(v′,v,s),
1The theta functions considered here are the rigid analytic functions defined in [GR96, 5] §
7 2. Background
2. for any (v, v′) X(G) X(G), the set s S (v, v′,s) Y(G) is a finite set ∈ × { ∈ | ∈ } whose cardinality is denoted by nv,v′ ,
3. for any v X(G), the set Nbs(v) := v′ X(G) (v, v′,s) Y(G) for some s ∈ { ∈ | ∈ ∈ S is finite. }
(b) A subgraph G′ G is a graph G′ such that X(G′) X(G) and Y(G′) Y(G). ⊂ ⊂ ⊂
(c) Suppose X(G) = v , v , ..., v is finite. Then (n ) 6 6 is called the adjacency { 1 2 m} vi,vj 1 i,j m matrix of G.
Notation 2.2.2. An element v X(G) is called a vertex and an element e Y(G) is called ∈ ∈ an oriented edge. If the cardinality of S is one, we simply write (v, v′) instead of (v, v′,s).
Definition 2.2.3. (a) For each edge e =(v, v′,s) Y(G) we call o(e) := v the origin of ∈ e and t(e) := v′ the target of e.
(b) Two vertices v, v′ are called adjacent, if v, v′ = o(e), t(e) for some edge e. { } { } Definition 2.2.4. An edge e with o(e)= t(e) is called a loop. A vertex v with # Nbs(v)=1 is called terminal.
Definition 2.2.5. Assume G to be a graph.
(a) Let v, v′ X(G). A path ω from v to v′ is a finite subset e ,...,e of Y(G) such ∈ { 1 k} that t(e )= o(e ) for all i =1,...,k 1 and o(e )= v, t(e )= v′. i i+1 − 1 k (b) The length of a path ω is the number of edges contained in it.
(c) The distance from v to v′, denoted d(v, v′), is the minimal length among all paths
from v to v′ (or if no such path exists). ∞
(d) A path e ,...,e from v to v′ without backtracking, i.e., such that for no i we have { 1 k} ei =e ¯i 1, is called a geodesic. −
Note that the length of a geodesic need not be d(v, v′) but that d(v, v′) is attained for a geodesic.
Example 2.2.6. Consider the set S = and the set of vertices {∗} X(G)= 1, 2, ..., 16 . { }
8 2.2. Notions from graph theory
If the graph G is represented by
6 10 14 ?>=<89:; GFED@ABC GFED@ABC
?>=<89:;1 ❃ ❃❃ ❃❃ ❃❃ ❃❃ 4 ?>=<89:;✴ ✴✴ ✴ ✴✴ ✴ ✴✴ ?>=<89:;2 ❃ ?>=<89:;7 ✴ GFED@ABC11 GFED@ABC15 ❃❃ ✴✴ ❃❃ ✴ ❃❃ ✴✴ ❃❃ ✴ 5 9 13 ?>=<89:; ?>=<89:; GFED@ABC
?>=<89:;3 ❃ ❃❃ ❃❃ ❃❃ ❃❃ ?>=<89:;8 GFED@ABC12 GFED@ABC16 ,
then the set of edges is
(1, 6), (1, 4), (2, 4), (2, 7), (2, 5), (3, 5), (3, 8), (6, 10), (4, 9), { (7, 11), (5, 9), (8, 12), (10, 14), (11, 15), (9, 13), (12, 16) ; } here due to Definition 2.2.1 only one of (v, v′) (or (v′, v)) is written since either both are elements of Y (G) or none.
A graph G is connected if for any two vertices v, v′ X(G) there is a path from v to v′. A ∈ cycle of G is a geodesic from some vertex v to itself. Therefore a loop is a cycle of length one. A graph G is cycle-free if it contains no cycles.
Definition 2.2.7. A graph G is called a tree if it is connected and cycle-free.
If G is a tree, then any two vertices of G are connected by a unique geodesic. Any subgraph T G which is a tree is called subtree. A maximal subtree in a graph G is a subtree which ⊆ is maximal under inclusion among all subtrees of G.
9 2. Background
Definition 2.2.8. The degree of v X(G) is ∈ deg(v) := # e Y (G) o(e)= v . { ∈ | } Thus v is terminal precisely if deg(v) = 1. A graph G is called k-regular if for all vertices v X(G) we have deg(v)= k. ∈ A graph G is finite if # X(G) < . Then also # Y(G) < , since deg(v) is finite for all ∞ ∞ v X(G). The diameter of a (finite) graph G is ∈ diam(G) := max d(v, v′). v,v′ X(G) ∈
2.3 The Drinfeld upper half plane
The Drinfeld upper half plane is the set Ω := P1(C ) P1(K ) ∞ \ ∞ on which GL2(K ) acts through fractional linear transformations by ∞ az + b γ z := , h i cz + d a b where γ = ( c d ) GL2(K ) and z Ω. This action is well defined since GL2(K ) ∈ ∞ ∈ ∞ preserves K . We define the boundary of Ω, denoted by ∂Ω, to be P1(K ). ∞ ∞ In order to define the algebra of rigid analytic functions on Ω, we consider the following sets that form an admissible cover of Ω (cf. [FvdP81, Ch. II] for details). Define the imaginary absolute value on Ω as the distance from K : ∞
z i := inf z x x K . | | {| − || ∈ ∞} Definition 2.3.1. Let z Ω and n N, a basic affinoid is a set of the form ∈ ∈ n n A := z Ω q− 6 z , z 6 q . n ∈ | | |i | | A function f : An C is holomorphic if it is the uniform limit of rational functions → ∞ without poles in An. The collection of such functions is denoted by OΩ(An). With the norm
f A := sup f(z) z A , k k n {| || ∈ n}
the space OΩ(An) is a Banach algebra and OΩ(Ω) := lim OΩ(An) is a Fr´echet space [FvdP81, Ch. III]. ←−
10 2.4. The Bruhat-Tits tree
2.4 The Bruhat-Tits tree
In this section we recall the definition of a graph T called the Bruhat-Tits tree of P GL2(K ), ∞ which is a basic combinatorial object for the arithmetic of K . For more details see [Ser03, ∞ Ch. II].
2 A lattice in K is a free O -submodule of rank 2. We say that two lattices L1 and L2 are ∞ ∞ homothetic if L1 is a K× -multiple of L2. Homothety is an equivalence relation. The set ∞ of vertices X(T) of T consists of the homothety classes of O -lattices. Two vertices are ∞ joined by an edge if and only if they can be represented by lattices L1, L2 such that there
are strict inclusions πL2 L1 L2. The set of oriented edges of T is denoted by Y (T).
Thus the vertices and edges of T may be described as follows:
Classes [L1] of O -lattices L1 X(T) = Vertices of T = ∞ , { } in K2 ∞
Ordered pairs ([L1], [L2]) with representatives Y (T) = Oriented edges of T = L , L such that L L and . { } 1 2 1 ⊂ 2 with πL2 L1 L2 It is well known that the graph T is a connected regular tree of degree q + 1, where q is the cardinality of the residue field of K [Ser03, Ch. II. Thm. 1 ]. ∞
The group GL2(K ) acts naturally on lattice classes by left multiplication (g, [L]) [gL]. ∞ 7→ This induces a transitive action on the vertices of T which preserves the incidence relations
πL2 L1 L2. In this way one obtain an action of GL2(K ) on T. ∞ i For i Z let vi be the vertex [π O O ] of T. Since the vertex v0 = [O O ] has ∈ ∞ ⊕ ∞ ∞ ⊕ ∞ stabilizer K× GL2(O ) in GL2(K ), we have the following ∞ ∞ ∞ Proposition 2.4.1. There is a canonical bijection
GL2(K )/K× GL2(O ) X(T) ∞ ∞ ∞ −→ γ K× GL2(O ) γ[O O ], · ∞ ∞ 7−→ ∞ ⊕ ∞ equivariant for the left action of GL2(K ). ∞
11 2. Background
Definition 2.4.2. We define the Iwahori subgroup of GL2(K ) as ∞
a b I := GL2(O ) such that c 0(mod π) . (2.1) ( c d ! ∈ ∞ ≡ )
Similarly, we label the edges e (i Z) such that t(e )= o(e )= v . Each edge is taken i ∈ i i+1 i by GL2(K ) to e0 = (v 1, v0), so it follows that Y (T) = GL2(K )/StabGL2(K∞)(e0). A ∞ − ∼ ∞ simple computation shows StabGL2(K∞)(e0)= K× I. ∞ Proposition 2.4.3. There is a canonical bijection
GL2(K )/K× I Y (T) ∞ ∞ −→ 1 γ K× I (γ[π− O O ],γ[O O ]), · ∞ 7−→ ∞ ⊕ ∞ ∞ ⊕ ∞
equivariant for the left action of GL2(K ). ∞
From now on given a γ GL2(K ) we denote its class in GL2(K )/K× GL2(O ) as ∈ ∞ ∞ ∞ ∞ [γ]0 and its class in GL2(K )/K× I as [γ]1. We may implicitly use by abuse of nota- ∞ ∞ tion the bijections above and understand [γ]0 and [γ]1 as vertex and edge respectively.
The vertex v0 = [O O ] is called the standard vertex, analogously the edge e0 = ∞ ⊕ ∞ 1 ([π− O O ], [O O ]) is called the standard edge. ∞ ⊕ ∞ ∞ ⊕ ∞ The next two lemmas will help us to identify the vertices of the tree with explicitly given matrices. Furthermore, they will show which matrices correspond to adjacent vertices in the tree.
Lemma 2.4.4. Every class of GL2(K )/K× GL2(O ) has a unique representative of the ∞ ∞ ∞ form πn u 0 1! with n Z and u K /πnO . ∈ ∈ ∞ ∞
One can find a constructive proof in [But12, Lemma 2.7]. We call this representative the vertex normal form. In what follows we will denote the vertex represented by the matrix πk u in normal form 0 1 as [k,u].
12 2.5. Ends of the tree
Lemma 2.4.5. Consider the two matrices in vertex normal form
πn u πn+1 u + aπn A := , B := 0 1! 0 1 !
n with n Z, a Fq, u K /π O and let L1 and L2 be the two lattices ∈ ∈ ∈ ∞ ∞ 2 2 L1 := AO , L2 := BO . ∞ ∞ Then L L and L /L = F . 1 ⊃ 2 1 2 ∼ q
Recall that T is a regular tree of degree q +1. The previous lemma only displays q vertices − − πn 1 u mod πn 1O∞ 2 adjacent to [L1]. The remaining one is the class of 0 1 O . ∞ The subgroup I is not normal in GL2(K ). Denoting by N the normalizer of I in ∞ 0 1 GL2(K ), we have that N/IK = Z/2. As one can easily see, δ := ( π 0 ) is a repre- ∞ ∞ ∼ sentative of the non-trivial quotient class of N/I. Let γ GL2(K ) such that [γ]1 = e, ∈ ∞ then multiplication from the right with δ corresponds to the map
Y (T) Y (T) −→ e e¯ 7−→ that is [γδ]1 =e ¯.
There are two canonical projection maps from X(T) X(T) S to X(T), which induce × × two maps from Y (T) to X(T). We choose the first projection map that associates to each e its origin o(e), i.e.,
pr : Y (T) X(T) (2.2) 1 −→ e =(v, v′) o(e)= v . (2.3) 7−→
This map is also compatible with multiplication by δ that is, pr1(δe)= o(δe)= t(e).
2.5 Ends of the tree
Before relating the Bruhat-Tits tree to the Drinfeld upper half plane, we need to define the ends of the tree.
2 Let e1, e2 the standard basis of K as a column vector. { } ∞
13 2. Background
Definition 2.5.1. Let ([L0], [L1], ...) and ([L0′ ], [L1′ ], ...) be two non-backtracking infinite
sequences of adjacent vertices. We say that they are equivalent if [Ln] = [Ln′ +m] for some m Z and all n large enough. An end of T is an equivalence class of such sequences. The ∈ collection of ends of T is denoted by Ends(T).
From the elementary divisor theorem we obtain the following. (cf. [Bos09, Ch. 6] for details).
2 Proposition 2.5.2. Let L and L′ be two lattices in K . Then there exists a O -basis ∞ ∞ a b e1, e2 of L and integers a, b such that π e1, π e2 is a O -basis of L′. The numbers a { } { } ∞ and b are independent of the choice of the basis of L and L′.
Remark 2.5.3. i) If L′ L then the numbers a and b from the previous proposition ⊂ are positive. Furthermore, we can find in the class [L′] a lattice L′′, namely L′′ = min a,b L′π− { } such that if f , f is a basis of L then L′′ is generated by one of the f { 1 2} i and the other one multiplied by a positive power of π.
ii) Given an end s there is a unique representative sequence starting with the lattice 2 L0 = O e1 O e2, were ei is the standard basis of K . ∞ ⊕ ∞ ∞
Lemma 2.5.4. There is a canonical GL2(K )-equivariant bijection ∞
φ : Ends(T) P1(K ). → ∞
Proof. Given s Ends(T) represented by the sequence ([L ], [L ], ...) we can construct a ∈ 0 1 representing sequence of lattices
L L L ... 0 ⊃ 1 ⊃ 2 ⊃ such that Ln/Ln+1 = O /πO for all n and πL0 does not contain any of the Ln’s, since ∼ ∞ ∞ 2 there is no backtracking. Therefore nLn is a O -submodule of K spanning a K -line. ∩ ∞ ∞ ∞ For any n, by the Remark 2.5.3, there exists a basis x ,y of L such that x , πny { n n} 0 { n n} is a basis of Ln, analogously for Ln+1. Since Ln+1 Ln we can write xn+1 in terms of n ⊂ the basis of Ln, that is xn+1 = xnan + π bnyn for some an, bn O and an πO . ∞ ∞ n ∈ 6∈ Then xn+1 xnan = π bnyn and since an πO we may replace xn+1 by anxn+1 to get − 6∈ ∞ x x (mod πn). Continuing in this way, we can construct a Cauchy sequence (x ) n+1 ≡ n n n>1 x1 2 which converges to a nonzero element x =( x2 ) of nLn K . ∩ ⊂ ∞
14 2.5. Ends of the tree
The bijection
φ : Ends(T) P(K2 ) = P1(K ) → ∞ ∼ ∞ e x + e x (x : x ) h 1 1 2 2i 7→ 1 2 2 is established by associating to the end s = ([Ln]) the line in K generated by nLn, that ∞ 2 ∩ is φ(s)= O (e1x1 + e2x2), where e1, e2 is the standard basis of K as column vectors. ∞ { } ∞ 2 x1 The map φ is surjective. Let l be a line in K generated by x = ( x2 ), that is l = ∞ n O (x1e1 + x2e2). Define the sequence of lattices Ln = O x π yO with y a vector in ∞ ∞ ∞ 2 ⊕ K linearly independent of x. Let s be ([Ln])n>1, clearly Ln+1 Ln and φ(s)= l. ∞ ⊂
The map φ is injective. Let s and s′ be two ends and let L and L′ be two sequences { n} { n} of lattices representing s and s′, respectively, whose intersection generate the same line. 2 Then up to multiplication by an scalar Ln = Ln′ = O x for some x K . Eliminating, ∩ ∩ ∞ ∈ ∞ if necessary, the first terms of the sequences, one can assume that L0 = O x O y and ∞ ∞ n ⊕ L0′ = O x O y′ . Since x Ln for all n and [L0 : Ln]= q we have that Ln is generated ∞ ∞ n ⊕ ∈ n k by x, π y and similarly Ln′ is generated by x, π y′ . Since π y′ = ax + by for a, b O ∞ { } { } m ∈ for k large enough one finds that Lk′ +m is generated by x and π bw and therefore coincides with Lj+m for some j, that is the ends ([Ln]) and ([Ln′ ]) are equal, hence φ is injective.
x1 a b Finally, the map φ is equivariant. If L is generated by the vector ( x ), for a γ =( ) ∩n n 2 c d ∈ x1 ax1+bx2 GL2(K ) the generator of γLn is γ ( x2 )= . ∞ ∩ cx1+dx2 1 On the other hand GL2(K ) acts on P (K ) by M¨obius transformations, that is ∞ ∞ γ(x1 : x2)=(ax1 + bx2 : cx1 + dx2) and the equivariance follows.
Remark 2.5.5. In [GR96] the elements of K2 are taken as row vectors and the action ∞ 1 of GL2(K ) on the lattices is given by right multiplication Lγ− . So if Ln is gener- ∞ ∩ a b ated by the row vector (x1, x2) and γ = ( c d ) GL2(K ) then γLn is generated by ∈ ∞ ∩ (x d x c, x b + x a). Which does not correspond to γ(x : x )=(ax +bx : cx +dx ). 1 − 2 − 1 2 1 2 1 2 1 2 In order to make the map φ compatible with the action of GL2(K ), it needs to be com- ∞ posed with the canonical map (x1 : x2) ( x2 : x1), that is the M¨obius transformation 1 1 7→ − z z− on P (K ) (cf. [GR96, 1.3.2]). 7→ − ∞ §
From the bijection in Lemma 2.5.4, we have in particular that
the image of the semi-line whose vertices are represented by [k, 0] is • { }k<0
15 2. Background
= (1 : 0) P1(K ). To see this note that the line represented by [k, 0] is ∞ ∈ ∞ { }k<0 in the class of the sequence of lattices Lk whose basis are the columns of the matrix 0 1 πk 0 . the semi-line whose vertices are represented by [k, 0] goes to • { }k>0 0=(0:1) P1(K ). ∈ ∞
We will denote by A(0, ) the “line” whose vertices are represented by [k, 0] k Z. ∞ { } ∈
From the normalization the edge e0 may be identified with the compact open set Ue0 = 1 O P (K ) by considering the ends passing through e0. These are represented by ∞ ⊂ ∞ πn u sequences of lattices whose basis are the columns of the matrix ( 0 1 ) with n > 1 and u K /πnO with positive valuation. This extends by equivariance to an assignment of ∈ ∞ ∞ a compact open subset of P1(K ) to each oriented edge of the tree by ∞
1 Uγe0 := γ O P (K ) γ GL2(K ). (2.4) h ∞i ⊂ ∞ ∀ ∈ ∞
1 1 Since the action of GL2(K ) on the disks of P (K ) is transitive, every disk of P (K ) is ∞ ∞ ∞ the image of an edge on Y (T). We observe some essential properties of the assignment:
i) Given any oriented edge e, then for the opposite edgee ¯, the associated open set 1 satisfies Ue¯ = P (K ) Ue. ∞ − ii) For any vertex v the set U , where e runs over all edges e with initial vertex v, { e} form a disjoint covering of P1(K ). ∞
1 iii) The sets Ue form a basis of compact open subsets of P (K ). { } ∞
Given two vertices v and v′ on the tree, there is a unique oriented path ω from v to v′ joining them. The open set associated to these two vertices is the union of all ends containing ω. Given an edge e and a vertex v, we say that e points away from v if the unique path with origin v and containing o(e) and t(e) contains e (and note ¯).
Remark 2.5.6. The end defines an “orientation” of the tree T, that is a decomposition + ∞ + of Y (T) = Y (T) ˙ Y −(T), where an edge e =(v , v ) belongs to Y (T) if it points to ∪ 1 2 ∞ and it is called positive and negative (e Y −(T)) otherwise. From this we get a section ∈
16 2.6. The reduction map
(X(T) ∼= Y +(T) ֒ Y (T −→ → v e 7−→ such that o(e)= v and e is positive.
+ Note that multiplication by δ allows us to change from Y (T) to Y −(T) and the other way around. In terms of matrices, we have that the map e e¯ is given by [g] [gδ] for a 7→ 1 7→ 1 πk u g GL2(K ). Then each edge e of Y (T) is uniquely represented by either (if e is ∈ ∞ 0 1 positive) or πk u ( 0 1 ) (if e is negative). 0 1 π 0
2.6 The reduction map
As constructed so far, the Bruhat-Tits tree T is a combinatorial object. Next we will associate to it a geometrical object. For this, we identify each edge with a copy of the real unit interval endowed with the usual topology. Then we glue edges according to the relations on T using the quotient topology and we denote by T(R) this new tree and it is called the geometrical realization of T . Let e be an edge of T(R) joining the vertices [L0] and [L ], any point on e is determined by its barycentric coordinates, i.e., for t [0, 1] we 1 ∈ write x = (1 t)[L ]+ t[L ] to indicate that x is the point “at distance t from the vertex − 0 1 [L0] in the direction of [L1]”. Denote by T(Q) the Q-points of the geometrical realization of T defined as t [0, 1] Q and also T(Z) to be the vertices of T. ∈ ∩ The geometric realization of the tree T parametrizes norms on the two dimensional vector space K2 , as is stated by Goldman and Iwahori [GI63], which allows us to define the ∞ reduction map.
Definition 2.6.1. A real non-archimedean norm on K2 is a map ν : K2 R which ∞ ∞ → satisfies
1. ν(x) > 0 and ν(x)=0 x =0, ⇔ 2. ν(ax)= a ν(x) for a K , | | ∈ ∞ 3. ν(x + y) 6 max ν(x), ν(y) . { }
17 2. Background
Given a lattice L on K2 , one can associate the norm ∞
νL(x) := inf a a K× , x aL . | | | ∈ ∞ ∈ We say that two norms ν and ν′ are similar if there is a constant t R such that ν = tν′. ∈ Moreover, the group GL2(K ) acts on the space of norms by (γν)(x) := ν(γx) for all ∞ γ GL2(K ) (cf. [GR96, 1.4.2]). ∈ ∞ § Theorem 2.6.2 (Goldman-Iwahori). There is a canonical bijection compatible with the
right action of GL2(K ) ∞ Similarity classes of real non-archimedean norms ν on K2 T(R). ∞ ←→ In particular,
Classes of norms whose unit ball is an O -lattice T(Z). { ∞ } ←→
2 For z Ω we define the norm νz on K as follows: ∈ ∞ 2 νz : K R 0 ∞ −→ ≥ (u, v) ν ((u, v)) := uz + v 7−→ z | | and the reduction map is defined by
λ : Ω T(R) −→ z [ν ]. 7−→ z Q Since C× = q , it is not difficult to prove the following (cf. [Gek99]): | ∞| Proposition 2.6.3. One has a surjection λ : Ω ։ T(Q).
The previous proposition yields the following well known properties of the reduction map:
1 1 λ− (vertex)= P (C× ) (q + 1) disjoint balls, in particular, • ∞ − 1 λ− (v0)= z C× z 1, z c 1 c Fq . • { ∈ ∞ || | ≤ | − | ≥ ∀ ∈ }
We will refer to last set as the standard affinoid.
Remark 2.6.4. From the GL2(K )-equivariance of the reduction map we can in principle ∞ 1 1 find the fiber of any vertex and any edge on the tree from λ− (v0) and λ− (e0).
18 2.7. Drinfeld modular curves
2.7 Drinfeld modular curves
An arithmetic subgroup Γ of GL2(K ) is a subgroup commensurable with Γ(1) := GL2(A) ∞ (cf. [Gek97, 3.1]), i.e., such that Γ Γ(1) has finite index in both Γ and Γ(1). The main § ∩ examples are the principal congruence subgroups defined as follows.
Definition 2.7.1. Let N be any monic polynomial in A = Fq[T ] and consider the set
1 0 Γ(N)= γ GL (A) γ (mod N) . ∈ 2 ≡ ( 0 1 ! )
A subgroup of GL2(A) that contains Γ(N) is called a congruence subgroup. Special cases are
Γ0(N)= γ GL2(A) γ ∗ ∗ (mod N) ∈ ≡ 0 ( ! ) ∗ and
1 Γ (N)= γ GL (A) γ ∗ (mod N) . 1 ∈ 2 ≡ ( 0 1 ! )
Most of the properties stated in this chapter for arithmetic subgroups Γ are proved for Γ = Γ(1) in [Ser03] or in [Non01], and they can be proved for general arithmetic subgroups as defined above.
Let Γ be a congruence subgroup, it acts on Ω by fractional linear transformations with finite stabilizers. The quotient Γ Ω is a rigid analytic space over K . Moreover, it is \ ∞ smooth of dimension one. In fact, the analytic curve Γ Ω can be shown to arise from an \ algebraic curve (cf. [Gek86, Ch. V]).
Theorem 2.7.2 (Drinfeld). There exists a smooth irreducible affine algebraic curve YΓ defined over C such that Γ Ω and the underlying analytic space are canonically isomorphic ∞ \ as analytic spaces over C . ∞ The curve Y can be compactified by adding the finite set of cusps Γ P1(K). We denote Γ \ this compactification by XΓ, that is
X =Γ Ω ˙ Γ P1(K). Γ \ ∪ \
The curves XΓ will be referred to as Drinfeld modular curves. IfΓ=Γ0(N) we write
X0(N) instead of XΓ.
19 2. Background
2.8 The quotient graph
As already mentioned, the group GL2(K ) acts on the tree. Since GL2(A) is discrete in ∞ GL2(K ), the stabilizers in GL2(A) of edges and vertices are finite. As is proved in [Ser03], ∞ the quotient GL (A) T is a “half line”. In particular, it is isomorphic to the subtree of T 2 \ whose vertices are represented by [k, 0] . { }k>0 As proved in [Non01] for Γ a congruence subgroup, the quotient Γ T is a connected \ graph which is the union of a finite graph with a finite number of “half lines” attached to it. These are in one-to-one correspondence with the cusps of the corresponding Drinfeld modular curve and will be henceforth called cusps.
For a congruence subgroup Γ the quotient graph Γ T is a “ramified covering” \ π :Γ T GL (A) T. \ −→ 2 \ Given any edge e T, we will denote bye ˜ its class on the quotient graph, analogously for ∈ any vertex v its class in the quotient is denoted byv ˜. Also we say that a vertex in Γ T \ has level i if its projection under the map π is Λi.
3 Observe that the figure below shows the quotient graph for Γ0(N) with N = T over F2.
6 10 / 14 ❴❴❴ ?>=<89:; GFED@ABC GFED@ABC
?>=<89:;1 ❃ ❃❃ ❃❃ ❃❃ ❃❃ 4 ?>=<89:;✴ ✴✴ ✴ ✴✴ ✴ ✴✴ ❴❴❴ ?>=<89:;2 ❃ ?>=<89:;7 ✴ GFED@ABC11 GFED@ABC15 ❃❃ ✴✴ ❃❃ ✴ ❃❃ ✴✴ ❃❃ ✴ 5 9 13 ❴❴❴ ?>=<89:; ?>=<89:; GFED@ABC
?>=<89:;3 ❃ ❃❃ ❃❃ ❃❃ ❃❃ ❴❴❴ ?>=<89:;8 GFED@ABC12 GFED@ABC16
20 2.9. Harmonic cocycles
is a covering of Λ Λ Λ Λ 0 1 2 3 ··· n where Λn = [π O O ]. ∞ ⊕ ∞
Denote by (Γ T)◦ the subgraph of Γ T obtained by removing all the edges starting at \ \ level deg(N) and the vertices starting at level deg(N)+1, (we know (cf. [Non01]) that at level deg(N) there is no more identifications between edges).
2.9 Harmonic cocycles
In this section Γ will be a congruence subgroup.
Definition 2.9.1. Let G be an abelian group. A G-valued harmonic cocycle on the tree T is a map ϕ : X(T) G that satisfies −→
i) ϕ(¯e)= ϕ(e) for all e Y (T), − ∈ ii) ϕ(e) = 0 for all v X(T). t(e)=v ∈ P The group of harmonic cocycles on T with values in G is denoted by H(T,G). We denote Γ by H!(T,G) the subspace of H(T,G) that also satisfies the following conditions
iii) ϕ(γe)= ϕ(e) for all γ Γ, ∈ iv) ϕ has compact support modulo Γ, i.e. modulo Γ, the set of edges were ϕ takes non-zero values is finite.
We are interested in Z-valued harmonic cocycles. From the property iii) the elements of Γ H!(T, Z) may be regarded as invariant functions on the oriented edges of the quotient ˜ ˜ graph Γ T. Let us denote by Γ := Γ/(Γ Z(K )) and Γt(˜e) := StabΓ˜ (t(e)) for some lift e \ ∩ ∞ to T ofe ˜, similarly we define Γ˜e˜ and the quantity m(˜e) := [Γ˜t(˜e) : Γ˜e˜]. The condition ii) is equivalent to the following sum condition (with multiplicities that count how many edges of T are identified modulo Γ):
m(˜e)ϕ(˜e) = 0 for allv ˜ X(Γ T). (2.5) ∈ \ t(˜Xe)=˜v
21 2. Background
Before constructing explicitly the space of harmonic cocycles, we need to recall definitions of some further groups. First the maximal torsion-free abelian quotient of Γ, namely ab ab Γ¯ := Γ /tor(Γ ). Also Γf will denote the normal subgroup generated by elements of finite order. This two groups are related by the following lemma, which holds for any congruence subgroup [Non01].
ab Lemma 2.9.2. The groups Γ¯ and (Γ/Γf) are isomorphic.
In [Ser03, Ch. I, Thm. 13] is proved that the group Γ/Γf is canonically identified with the fundamental group of the graph Γ T, so Γ/Γ is free (cf. [Ser03, p. 43]). The group \ f Γ¯ is isomorphic to the homotopy group of the quotient graph, indeed we have the following:
Lemma 2.9.3. Let v be a vertex of T, there exists an isomorphism
i : Γ¯ H (Γ T, Z) → 1 \ α ψ 7−→ α,v
where ψα,v is given by
ψ (˜e) := # e (v,αv) e e˜ (mod Γ) # e (v,αv) e e˜ (mod Γ) α,v { ∈ | ≡ } − { ∈ | − ≡ }
and this map is independent of the vertex v, where (v,αv) denotes the path without back- tracking from v to αv.
For a proof of this lemma see [Non01, Thm. 2.34]. Here we give a short explanation of the meaning of the map ψ . Given any α Γ, the path on the tree T that goes from v to α,v ∈ αv is non back-tracking. However, its projection to the quotient graph is a cycle which in general is not reduced. Given anye ˜ in the cycle determined by v and αv, there are many edges e T mapping toe ˜. So the map ψ counts how many edges of the path v,αv in T ∈ α,v have the image in the cycle.
Lemma 2.9.4. There exists an injective homomorphism
ι : H (Γ T, Z) H (T, Z)Γ 1 \ → ! ψ ϕ 7−→ 1 defined by ϕ(e) := n(e)ψ(˜e), where n(e) := #Z(Γ)− #StabΓ(e).
22 2.9. Harmonic cocycles
¯ Γ Finally, the following lemma connects the groups Γ and H!(T, Z) .
Lemma 2.9.5. There is a canonical homomorphism
j : Γ¯ H (T, Z)Γ → ! α ϕ 7−→ α,v
1 where ϕα(e) := ϕα,v(e)= #(Z Γ) γ Γ δ(e,α,v,γ) with v any fixed vertex and the function ∩ ∈ δ(e,α,v,γ) given by: P
1 if γ(e) (v,αv), ∈ δ(e,α,γ,v)= 1 if γ(e) (αv,v), − ∈ 0 otherwise. This homomorphism is independent of the choice of the vertex v.
The map j defined above is actually the composition of i and ι, so it is injective. We show here the surjectivity of j (cf. [Non01, Cor. 2.37]) which will give us a way to construct the space of harmonic cocycles. Here we will use the homology of the graph to construct Γ a basis of H!(T, Z) and then we get the surjectivity.
1 Let T be the maximal tree in (Γ T)◦ and e˜ , e˜ , ..., e˜ be a set of representatives of the \ { 1 2 g} edges of the tree (Γ T)◦ T . It is proved in [Non01, Cor. 2.38] that the set e˜ , e˜ , ..., e˜ \ − { 1 2 g} consist of edges attached to vertices of level 0 of degree q + 1 (cf. .2.8 for the definition of § level).
Letv ˜i = o(˜ei),w ˜i = t(˜ei) the origin and target ofe ˜i, respectively. Then there exists a ′ ′ unique geodesicc ˜i in the tree T joiningw ˜i andv ˜i. In this wayc ˜i gives rise to a closed path ′ c in Γ T by composinge ˜ andc ˜ . i \ i i Consider ϕ : Y (Γ T) T i \ −→ defined as follows
1It exists since (Γ T)◦ is finite and connected. \
23 2. Background
n(e) ife ˜ appears inc ˜i,
ϕi(˜e)= n(e) if e˜¯ appears inc ˜ , − i 0 otherwise.
Γ From (2.5), we see that actually ϕi lifts to a function on H!(T, Z) and form a basis of H (T, Z)Γ. Finally let c = (e , e , ...e ) be a lift ofc ˜ , then there is a α Γ such that ! i i,0 i,1 i,l i i ∈ α o(e )= t(e ) so we can find a α Γ such that j(α) H (T, Z)Γ. i i,0 i,l ∈ ∈ ! In summary, to construct the space of harmonic cocycles for the graph Γ T, we need to \ find the maximal subtree T of (Γ T)◦, also called maximal spanning tree. For this we \ use the algorithm given in [Non01, 3] to find a set of representatives e˜ , e˜ , ..., e˜ of the § { 1 2 g} edges of the tree (Γ T)◦ T . Finally we define for each i the ϕ as above. \ − i
2.10 Theta functions for arithmetic groups
Let Γ be an arithmetic subgroup of GL2(K ). ∞
Definition 2.10.1. A holomorphic theta function for Γ GL2(K ) is an invertible rigid ⊂ ∞ analytic function (u : Ω C× ) OΩ(Ω)× such that for each γ Γ, u satisfies the −→ ∞ ∈ ∈ functional equation
u(γz)= cu(γ)u(z) for some constant cu(γ) C× independently of z. ∈ ∞
The map cu : γ cu(γ) is a homomorphism from Γ to C× called the multiplier of u. 7→ ∞
We denote by Θh(Γ) the space of holomorphic theta functions for Γ.
In [GR96, 5], the authors give a way to construct a holomorphic theta function for Γ as § follows. Let ω be fixed element of Ω and α Γ, put ∈ z γω θ (ω, z) := − . (2.6) α z αγω γ Γ˜ − Y∈ Theorem 2.10.2 ([GR96, Thm. 5.4.1]). The product θα(ω, z) converges to a holomorphic theta function for Γ on Ω. The value of c (γ) := θα(ω,γz) induces a group homomorphism α θα(ω,z) c¯ : Γ¯ Hom(Γ¯,C× ) by α cα. Moreover, the map Γ¯ Γ¯ C× defined by (α, β) −→ ∞ 7→ × −→ ∞ 7→ cα(β) is a symmetric bilinear pairing.
24 2.10. Theta functions for arithmetic groups
Corollary 2.10.3 ([GR96, Cor. 5.4.12]). The constant cα(β) lies in K× C× . ∞ ⊂ ∞
In the next chapter we will see another way to construct theta functions by means of certain multiplicative integrals.
2.10.1 Theta functions and harmonic cocycles
In this subsection we relate the theta function for an arithmetic group Γ and the Z-valued harmonic cocycles by means of the following result due (mostly) to Van der Put [VdP82].
Theorem 2.10.4. The map
f t(e) r : O (Ω)× H (T, Z), given by r(f)(e) := log k k Ω −→ ! q f k ko(e) is a continuous surjective group homomorphism with kernel C× where v is the spectral ∞ 1 k·k norm on OΩ(λ− (v)) defined by
1 f := sup f(z) z λ− (v) k kv | || ∈ for v X(T). ∈
The next result is a refinement of the previous one, since it relates theta functions to Γ-invariant harmonic cocycles (cf. [GR96, Thm. 5.6.1]).
Theorem 2.10.5. Let α Γ be given then r(θ )= ϕ . ∈ α α
The map r yields a map Γ r¯ :Θh(Γ)/C× H!(T, Z) . ∞ −→ Let further
u¯ : Γ¯ Θh(Γ)/C× −→ ∞ be the map induced from α θ , then we have the following: 7→ α Theorem 2.10.6 ([GR96, 6]). For α Γ with class α¯ in Γ¯ we have that r¯(θ ) = j(¯α). § ∈ α In other words, the following diagram is commutative ¯ Γ ❙❙ ❙❙❙❙ ❙❙❙❙ j u¯ ❙❙❙❙ (2.7) ❙❙❙❙) r¯ / Γ Θh(Γ)/C× H!(T, Z) . ∞
25 2. Background
From the theorem we see that we have two different constructions of Γ-invariant Z-valued harmonic cocycles from α Γ: ∈
i) using the function ϕα given in Lemma 2.9.5 and
ii) by evaluating the mapr ¯ in θα.
From now by abuse on notation, we will write r instead ofr ¯.
2.11 Hecke operators
There exist Hecke operators acting on each of the groups that appear in (2.7). For the
definition of the operators on Γ¯ and Θ(Γ)/C× see [GR96, 9.3], we will give an explicit ∞ § Γ description of the operator on H!(T, Z) for the case Γ = Γ0(N).
Let m be a non zero ideal of Fq[T ]. We recall from the definition of the Bruhat-Tits tree that the edges are given by classes of GL2(K )/K× I. Hence functions on Y (T) can be ∞ ∞ seen as functions on GL2(K ) right invariant under I. For ϕ on GL2(K ) we put ∞ ∞
Tmϕ(α) := ϕ(γα) γ Rm X∈ where
a b Rm = GL (A) a, d monic (ad)= m, gcd(a, N)=1, deg b< deg d . c d ∈ 2 (2.8)
The following properties of Tm are standard:
Γ i) Tm : ϕ Tmϕ maps H (T, Z) into itself, 7→ !
ii) all Tm commute,
iii) if m and n are coprime, then Tmn = Tm Tn, ◦
deg p iv) if gcd(p, N) = 1 then T n+1 = Tpn Tp q T n−1 for p a prime ideal of A, p ◦ − p
26 2.12. Application to the Shimura-Taniyama-Weil uniformization
v) if gcd(m, N) = 1 then Tm is hermitian with respect to the Peterson inner product defined as follows:
(ϕ1,ϕ2)(e)= ϕ1(e)ϕ2(e). e Γ T X∈ \
Hecke operators Tm with gcd(m, N) = 1 are called unramified. As in the classical case we can also construct the space of new and old forms. Indeed suppose that M divides N. For each monic divisor a of N/M we have an embedding i : H (T, Z)Γ0(M) H (T, Z)Γ0(N) a,M ! −→ ! given by a 0 i (ϕ)(g)= ϕ( g). a,M 0 1 We set then (H (T, Z)Γ0(N) Q)new to be the orthogonal complement in H (T, Z)Γ0(N) Q ! ⊗ ! ⊗ with respect to the Perterson inner product to the images of all the i Q, where M a,M ⊗ runs through the proper divisors of N and through the divisors of N/M. We further put
Hnew(T, Z)Γ0(N) = H (T, Z)Γ0(N) (H (T, Z)Γ0(N) Q)new. ! ! ∩ ! ⊗
2.12 Application to the Shimura-Taniyama-Weil uniformization
In order to establish the analog of the classical Shimura-Taniyama-Weil, we need to explain how Q-harmonic cocycles may be regarded as automorphic forms of a certain type. For a deeper discussion of automorphic forms we refer the reader to [Gel75].
In what follows, A will be the ad`ele ring of K with ring of integers O and I the id`ele group. Having fixed the place of K, these rings decompose into a “finite” and an “infinite” ∞ part A = Af K × ∞ O = Of O × ∞ I = If K× . × ∞
We define an automorphic cusp form for an open subgroup K of GL2(O)tobea C-valued
function ϕ on Y (K) := GL2(K) GL2(A)/K Z(K ). \ · ∞
Let S be a set of representatives for GL (K) GL (A )/K and define for x S 2 \ 2 f f ∈ 1 Γ := GL (K) xK x− . x 2 ∩ f
27 2. Background
In [GR96, 4] the following isomorphism is shown: §
∼= GL2(K) GL2(A)/Kf Z(K ) I x S Γx GL2(K )/Z(K ) I \ × ∞ · −→ ∈ \ ∞ ∞ · F = x S X(Γx T). ∈ \ We have the following theorem. F
Theorem 2.12.1 (Drinfeld). Let K be an open subgroup of GL2(O) of the form K = (Kf) I and let F be a field of characteristic zero. Under the previous bijection the module × of harmonic cochains
Γx H!(T, F ) x S M∈ corresponds to the space Wsp(K, F ) of F -valued cuspidal automorphic forms ϕ on
G(K) GL2(A)/Kf Z(K ) I that transform like πsp under GL2(K ). \ × ∞ · ∞
Here πsp is the so-called special representation of GL2(K ), i.e., the irreducible represen- ∞ 1 tation of GL2(K ) on the space of locally constant F -valued functions on P (K ). For ∞ ∞ more details see [GR96, 4.7]. § So the space of harmonic cocycles has a natural interpretation as a space of automorphic functions in the sense of Jacquet-Langlands [JL70].
Let E be an elliptic curve defined over K = F (T ) with conductor N , where N is an q ∞ ideal of A and assume E to have split multiplicative reduction at . By combining results ∞ of Jacquet-Langlands [JL70], E corresponds to an automorphic eigenform ϕE in the new
Γ0(N) part of H!(T, Z) with rational integral eigenvalues. The elliptic curve E is an isogeny
factor of the new part of the Jacobian of the Drinfeld modular curve X0(N). This is the content of [GR96, 8.3]. § Applying well known facts from the theory of automorphic forms there are canonical bi- jections between the following three sets
i) K-isogeny classes of elliptic curves with conductor N , ∞
new ii) one-dimensional isogeny factors of J0 (N),
new Γ0(N) iii) normalized Hecke eigenforms ϕ in H! (T, Z) with rational eigenvalues.
28 2.12. Application to the Shimura-Taniyama-Weil uniformization
Thus one would like to have a procedure to construct an elliptic curve within the isogeny class that corresponds to the newform ϕ.
Let ϕ Hnew(T,G)Γ0(N) be a Hecke eigenform with rational eigenvalues. We will construct ∈ ! Γ0(N) ¯ the elliptic curve Eϕ associated to it. By means of (2.7) we identify H!(T,G) with Γ.
Proposition 2.12.2 ([Gek95, Thm. 3.2]). Let ϕ j(Γ) be an harmonic cocycle, regarded ∈ as the class of some element, also denoted by ϕ, of Γ. Put ∆ K× for the subgroup ⊂ ∞ cϕ(α) α Γ of K× , where cϕ(α) is the multiplier associated to the theta function of Γ. ∞ { | ∈ } Z Then there exists q K× such that q < 1 and q = ∆. ∈ ∞ | |
For general A, the conclusion of Proposition 2.12.2 is that there exists q K× with q < 1 ∈ ∞ | | such that ∆ qZ and the incluision is of finite index (cf. [GR96, Prop 9.5.1]). ⊇
Then the elliptic curve Eϕ associated with an automorphic Hecke eigenform, can be ana- an Z lytically recovered as a Tate curve (cf. Ch. 5, 5.5 for a definition) as Eϕ (C )= C× /q . § ∞ ∞ It is shown in [Roq70, 3] that E may be described by means of an analytic equation § ϕ defined over a finite extension of K. However, this is not enough to recognize the isogeny class of the elliptic curve Eϕ.
The aim of this thesis is calculate by means of a certain multiplicative integral the Tate period q and then using the analytic equation of the Tate curve and an appropriate model of an elliptic curve that by means of change of variables allows us to find the algebraic equation of the elliptic curve Eϕ over K.
29 30 3. Integration, Theta function and uniformizations
3.1 Integration
As described in the previous chapter, Gekeler and Reversat develop in [GR96] the theory of theta functions to construct an explicit analytic parametrization of an elliptic curve with semi-stable reduction at the place . However, their construction of the theta function ∞ requires to compute the infinite product (2.6), which makes it computationally hard to find the Tate parameter. In [Lon02], Longhi defines a multiplicative integral over P1(K ) ∞ which is a multiplicative version of Teiltebaum’s Poisson formula [Tei91], and uses this to construct a theta function in a different way as the one of Gekeler-Reversat. Around the same time Pal gives a similar construction in [P´al06]. In this section we briefly recall the main facts of the machinery of integration along the lines of Longhi [Lon02].
Let X be a topological space such that its compact open subsets form a basis for the topology.
Definition 3.1.1. A Z-valued function µ on compact-open subsets of X is a distribution on X if µ(X) = 0 and if it is finitely additive, i.e., if, whenever A and B are disjoint compact open sets of X, one has µ(A B) = µ(A) + µ(B). We denote the space of ∪ Z-valued distributions by M(X, Z).
Definition 3.1.2. A measure on X is a bounded distribution, i.e., a distribution µ for which there is a constant C satisfying µ(U) 31 3. Integration, Theta function and uniformizations From now on, we assume that X is compact, so in particular Z-valued distributions on X are measures. Definition 3.1.3. Given a continuous function f : X C× , its multiplicative integral → ∞ with respect to the measure µ M (X, Z) is ∈ 0 f(t) dµ(t) := lim f(u)µ(U) (3.1) ×X −→α U Cα Z Y∈ where C is the direct system of finite covers of X by compact open subsets U and u { α}α is an arbitrary point in U. Under the crucial assumption that X is compact, we have Proposition 3.1.4 ([Lon02, Prop. 5]). The limit in (3.1) exists and is independent of the choice of the u’s. Furthermore dµ : C(X,C× ) C× (3.2) × ∞ → ∞ Z X is a continuous homomorphism, where C(X,C× ) is the set of continuous functions from ∞ C× to X. ∞ 3.1.1 Measures and harmonic cocycles We know from Lemma 2.5.4 that the set of ends of the tree T is in 1-1 correspondence with P1(K ). ∞ Proposition 3.1.5. The map M (X, Z) H(T, Z) 0 −→ µ (e µ(U )) 7−→ 7→ e is an isomorphism of Z-modules. 1 Proof. Let e be an oriented edge of the tree T and let the open subset Ue of P (K ) be ∞ defined as in Section 2.5. For every open compact subset U of P1(K ) there is a finite set ˙ ∞ YU of oriented edges such that U = e Y Ue. So, a ϕ in H(T, Z) defines a finite additive ∈ U measure µϕ M0(X, Z) by putting µϕ(U)= e Y ϕ(e). ∈ S ∈ P 32 3.1. Integration Conversely given a Z-valued measure µ M (X, Z) one defines the harmonic cocycle ∈ 0 ˙ 1 1 ϕµ(e) := µ(Ue). From Ue Ue = P (K ) and µ(P (K )) = 0 it follows that ϕ(e)= ϕ(e). ∞ ∞ 1 − Let now v be a vertex in T, then P (K ) is the disjoint union of Ue’s, where the union is S ∞ taken over the oriented edges starting at v. Again from the fact that µ(P1(K )) = 0 and ∞ µ(U V )= µ(U)+ µ(V ) if U V = we get ϕ (e) = 0. We conclude that ϕ is indeed ∪ ∩ ∅ e µ µ a harmonic cocycle. P 3.1.2 The integral over ∂Ω We are interested in the particular case where X = ∂Ω. In this case the computation of a multiplicative integral can be accomplished as follows. Choose a vertex v X(T). Usually ∈ the vertex v is taken to be v as we will do, and for each e Y (T) pointing away from v , 0 ∈ 0 define l(e) to be the distance between the origin o(e) of e and v0. Then according to the definition of the integral (3.1) and the discussion in Subsection 3.1.1 we have that µ(Ue) f(t) dµϕ(t) = lim f(te) (3.3) n ×∂Ω →∞ Z l(Ye)=n is independent of the choice of v0. 3.1.3 Change of variables 1 Note that the group GL2(K ) acts naturally on the space M0(P (K ), Z) by γ µ(U) := ∞ ∞ ∗ 1 1 1 µ(γ− U) for any µ M0(P (K ), Z) and U an open in P (K ). In the same way GL2(K ) ∈ ∞ ∞ ∞ 1 acts on the space of harmonic cocycles H(T, Z)by(γ ϕ)(e) := ϕ(γ− e). As in the classical ∗ case, we have the formula of change of variables formula given by f d(γ µ)= (f γ) dµ × ∗ × ◦ Z γU Z U or equivalently 1 1 (γ− f) d(γ− µ)= f dµ (3.4) × −1 ∗ ∗ × Z γ U Z U 1 where (γ− f)(t)=(f γ)(t)= f(γ t ). ∗ ◦ h i 33 3. Integration, Theta function and uniformizations 3.2 Theta function As already observed in [Sch84], the machinery of integration on ∂Ω can be used to construct an inverse of the Van der Put’s map r defined in the equation (2.10.4). In [Lon02], Longhi uses the multiplicative integral to give a multiplicative version of Teitelbaums’s Poisson formula [Tei91, Thm. 11] and then such an inverse of r. In the following paragraphs we will describe the Poison formula stated by Longhi and then the integral that we are interested in. Theorem 3.2.1 ([Lon02, Thm. 6]). Let u O (Ω), ϕ = r(u) and fix z Ω. Then for ∈ Ω 0 ∈ z Ω ∈ z t u(z)= u(z ) − dµ (t). (3.5) 0 × z t ϕ Z∂Ω 0 − We are now ready to prove Γ Proposition 3.2.2. The map r induces an isomorphism H!(T, Z) = Θh(Γ)/C . ∼ ∞ Proof. Given a u Θh(Γ)/C then by Theorem 2.10.4 we have that r(u) is a harmonic ∈ ∞ cocycle, Γ-invariant and cuspidal. Conversely given a harmonic cocycle ϕ H (T, Z)Γ we denote by µ its corresponding ∈ ! ϕ measure. Fix a z0 in Ω. Consider now the function z t u(z)= − dµ (t). (3.6) × z t ϕ Z∂Ω 0 − By Theorem 3.2.1 we know that u O (Ω)× . It remains to check that u(z) satisfies the ∈ Ω functional equation u(γz)= cu(γ)u(z) (3.7) for all γ Γ0(N) and some constant cu(γ) C× . ∈ ∈ ∞ a b It is a straightforward calculation to see that for γ =( c d ) , the ratio t γz − t γz0 cz + d − γ−1t z = (3.8) −1 − cz0 + d γ t z0 − 34 3.3. Complex uniformization does not depend on t. So we have t γz u(γz)= − dµ (t) × t z ϕ Z∂Ω − 0 t γz0 t γz = − dµϕ(t) − dµϕ(t) ×∂Ω t z0 ×∂Ω t γz0 Z − Z − 1 t γz cz + d γ− t z = − 0 dµ (t) − dµ (t). × t z ϕ × cz + d γ 1t z ϕ Z∂Ω − 0 Z∂Ω 0 − − 0 Using the fact that the integral is multiplicative and µϕ(∂Ω) = 0 we get that cz + d 0 dµ (t)=1, × cz + d ϕ Z∂Ω since it is constant on t. The functional equation follows taking t γz c (γ)= − 0 dµ (t) (3.9) u × t z ϕ Z∂Ω − 0 which does not depends on z. We recall the diagram (2.7) from Chapter 2. ¯ Γ ❙❙ ❙❙❙❙ ❙❙❙❙ j u¯ ❙❙❙❙ ❙❙❙❙) r¯ / Γ Θh(Γ)/C× H!(T, Z) . ∞ So given a harmonic cocycle ϕ H (T, Z)Γ and α Γ¯ so that j(α)= ϕ, we have that the ∈ ! ∈ multiplier cu(γ) is actually cα(γ) defined in Theorem 2.10.2. 3.3 Complex uniformization In this section we consider an elliptic curve E/Q with conductor N. We will briefly describe how to parametrize the curve E over the complex field C. The main reference here is [Sil09, Ch. VI]. Let Γ0(N) be the group of matrices in SL2(Z) which are upper triangular modulo N. It acts as a discrete group by M¨obius transformations on the Poincare upper half-plane H := z C Im(z) > 0 . { ∈ | } 35 3. Integration, Theta function and uniformizations A cusp form of weight 2 for Γ0(N) is an analytic function f on H satisfying the relation a b f(γ z )=(cz + d)2f(z) for all γ = Γ (N), (3.10) h i c d ∈ 0 together with suitable growth conditions on the boundary of H. The invariance equation (3.10) implies in particular that the function f is periodic of period 1 and thus f can be written as a power series in q = e2πi with no constant term: ∞ n f(z)= anq . n=1 X s The associated L-series is defined as L(f,s) := n∞=1 ann− . From the Eichler-Shimura theory given a cuspidalP eigenform whose Fourier coefficients are integers, there exists an elliptic curve Ef such that the two L-series coincide L(f,s)= L(Ef ,s). Here L(Ef ,s) is the L-series defined as the infinite Euler product s 1 2s 1 s 1 s L(E ,s)= 1 a p− + p − − (1 a p− )− := a n− f − p − p n p∤N p N Y Y| X with a = #E(F ) ([Dar04, 1.4]). p p § On the other hand, let E be an elliptic curve defined over Q of conductor N. Then there exists a cuspidal Hecke eigenform of weight 2 for Γ0(N) such that the L functions coincide L(f,s)= L(E,s) and E is isogenous to the elliptic curve Ef obtained form Eichler-Shimura theory. In summary, given an integer N > 1 and a cuspidal Hecke eigenform of weight 2, one would like to have a procedure to construct an elliptic curve within the isogeny class that correspond to the form f. Actually such as procedure exists and we will briefly give some things related to it (a good reference here is [Cre97]). Let X0(N) be the modular elliptic curve for cyclic N-isogenies. By the work of Wiles et.al., E is equipped with a non constant dominant morphism defined over Q, commonly referred as the Weil parametrization attached to E: Φ : X (N) E N 0 −→ 36 3.3. Complex uniformization mapping the cusp to the identity element of E. The complex uniformization of E(C) ∞ provides a method for calculating the Weil parametrization. Namely, the compact Riemann surface E(C) is isomorphic to C/Λ, where Λ is a lattice generated by the periods of a N´eron differential ω on E. Then we have the following commutative diagram z0 z0 R f (z)dz 7→ ∞ E / Γ H∗ C/Λ (3.11) \ j η ΦN / X0(N)(C) E(C) where η : C/Λ E(C) is the complex analytic isomorphism described by the formula −→ η =(℘Λ : ℘Λ′ : 1) where ℘Λ is the Weierstrass ℘-function attached to Λ. Explicit formulas for Λ and ℘Λ can be found in [Sil09]. τ In this case a good approximation of the integral fE(z)dz reduces to calculate a finite ∞ sum which depends on the calculation of the an’s inR the Fourier expansion of fE where fE is the modular form attached to E. Obtaining equations for the curves z0 The integrals fE(z)dz allow to compute periods ω1 and ω2 which generate the period ∞ lattice Λf of theR modular curve Ef = C/Λf . Letting τ = ω1/ω2, we may assume that 2πiτ Im(τ) > 0 interchanging ω1 and ω2 if necessary. Set q = e and define 4 2π ∞ n3qn c (q)= 1+240 and 4 ω 1 qn 2 n=1 − ! 6 X 2π ∞ n5qn c (q)= 1 504 . 6 ω − 1 qn 2 n=1 ! X − Then the following theorem is crucial in the calculation of the equation of the curve E (cf. [Cre97, 2.14]). § Theorem 3.3.1 (Edixhoven). The quantities c4 and c6 defined above are in Z, so the elliptic curve y2 =4x3 c x c − 4 − 6 is defined over Z. 37 3. Integration, Theta function and uniformizations This theorem allows Cremona to find equations for all elliptic curves of conductor up to 130.000 [Cre97]. The series c4 and c6 converge extremely rapidly. Thus, assuming that ω1 and ω2 are known to sufficient precision, Cremona can compute c4 and c6 also with sufficient precision and thus he is able to recognize the corresponding exact integer values. 3.4 p-adic Uniformization From the previous section, we have that any elliptic curve E/Q with conductor N is equipped with a non constant parametrization Φ : X (N) E. (3.12) N 0 −→ However for some applications, like the calculation of Heegner points, (cf. [Dar04, Ch. 3-4]) it is convenient to enlarge the repertoire of modular parametrizations to include Shimura curve parametrizations. For more details on the results stated here, the reader is referred to [Dar04],[BC91],[Voi] and [Vig80]. + Assume that the positive integer N is square free and N = N −N is a factorization of N such that N − has an even number of prime factors. Let C be the indefinite quaternion Q-algebra ramified precisely at the primes dividing N − and let S be an Eichler Z-order in C of level N +. Fix an identification ι : C Q R = M2(R). ∞ ⊗ ∼ Denote by ΓN −,N + the image under ι of the group of units in S of reduced norm 1. ∞ Then ΓN −,N + acts properly discontinuously on H with compact quotient XN −,N + (C). By Shimura theory, the compact Riemann surface XN −N + (C) has a canonical model XN −,N + over Q as in the classical case. This is done by interpreting XN −,N + as a moduli space for abelian surfaces over Q with endomorphism rings containing S, together with some auxiliary level N +-structure (cf. [AB04]). Let JN −,N − denote the Jacobian of XN −,N + . By the modularity theorem for elliptic curves defined over Q and the Jacquet-Langlands correspondence, there exists a surjective mor- phism Φ − + : J − + E (3.13) N ,N N ,N −→ defined over Q (cf. [Dar04, Ch. 4]). 38 3.4. p-adic Uniformization However, we do not dispose here of Fourier coefficients, since modular forms on non-split quaternion algebras do not admit q-expansions, there is no known explicit formula for the map ΦN −,N + . In order to handle with this issue, it is necessary to turn to the p-adic uniformization. In this section we will succinctly explain how to use the uniformization ΦN −,N + to construct an explicit p-adic uniformization of E at the primes p dividing N −. Let us assume N − > 1 and p be a prime dividing N −. Consider now the definite quaternion algebra B ramified precisely at the infinity place together with the primes dividing N −/p and let R be an Eichler Z-order in B of level pN +. Choose an identification ι : B Q M (Q ). p ⊗Q p −→ 2 p (p) Let ΓN −,N + GL2(Qp) be the image under ιp of the group of units in R of reduced norm ⊂ (p) 1. In the remaining part of this section we will write Γ instead of ΓN −,N + . + Let p be a fixed prime and let N be a square-free integer that factorizes as pN −N such that N − has an odd number of prime factors. Such a factorization is called an admissible factorization. We recall here some objects already defined in the function fields case, like the upper half plane, the Bruhat Tits tree, distributions, measures, etc. These concepts are necessary to define our p-adic integral. Let Cp be a p-adic completion of an algebraic closure of Qp. As in Chapter 2, we define the p-adic upper half plane to be H := P1(C ) P1(Q ) p p − p with the action of GL2(Qp) by linear fractional transformations. Similarly as in Chapter 2, one has definitions of admissible covering by sets An and the space of rigid analytic functions on Hp. The group Γ acts on Hp with compact quotient Γ Hp, which is equipped with the structure \ (p) of a rigid analytic curve over Qp. It can be identified with an algebraic curve X over ΓN−,N+ Qp (cf. [GvdP80]). The Bruhat Tits tree Tp of PGL2(Qp) is a connected p + 1-regular tree with set of vertices 2 X(Tp) defined as classes of homothety Zp-lattices in Qp. The set of edges Y (Tp) consists of pair of vertices (v0, v1) represented by lattices λ1 and Λ2 such that pΛ2 Λ1 Λ2. 39 3. Integration, Theta function and uniformizations The corresponding identifications given by Propositions 2.4.1 and 2.4.3 are still valid for vertices and edges, respectively. Let Γ be as above. A Γ-invariant harmonic cocycle with values in an abelian group B is a map ϕ : X(T ) B such that p −→ 1) ϕ(¯e)= ϕ(e) for all e Y (T ), − ∈ p 2) For all v X(T ) we have ϕ(e)=0, ∈ p t(e)=v 3) ϕ(γe)= ϕ(e) for all γ Γ.P ∈ Definition 3.4.1. Let f be a rigid analytic function of Hp with values in Cp, we say that f is a rigid analytic modular form of weigh k on Γ H if \ p f(γ τ )=(cτ + d)kf(τ) h i for all γ =( a b ) Γ and τ H . c d ∈ ∈ p The Cp-vector space of rigid analytic modular forms of weight k with respect to Γ is denoted by Sk(Γ). 1 Definition 3.4.2. (Distribution and measure) A p-adic distribution on P (Qp) is a finitely 1 1 addictive Cp-valued function µ on the compact open sets of P (Qp) satisfying µ(P (Qp)) = 0. If µ is p-adically bounded then it is called a p-adic measure. The space of all measures 1 1 on P (Qp) is denoted by Meas(P (Qp), Cp). As in the case of function fields, we have an action of GL2(Qp) on the space of measures and on the space of harmonic cocycles (cf. 3.1.3 for the definition) and the corresponding § 1 identification between the space of measures on P (Qp) and the space of harmonic cocycles. 1 Let f be any continuous function on P (Qp) then we define the integral of f with respect 1 to a measure µ on P (Qp) as f(t) dµ(t) = lim f(u)µ(U) 1 P (Qp) α −→ U Cα Z X∈ where the limit is taken over increasing fine covers C of P1(Q ) by disjoint open { α}α p compact subsets U. 40 3.4. p-adic Uniformization 1 Γ 1 Denote by Meas(P (Qp), Cp) the space of all Γ-invariant measures on P (Qp). There is a well known theorem due to Schneider and Teitelbaum that gives the following isomorphism (cf. [Dar04, Thm.5.9]) 1 Γ Meas(P (Qp), Cp) ∼= S2(Γ). We have that Meas(P1(Q ), Z)Γ Meas(P1(Q ), C )Γ given by the Z-valued harmonic p ⊂ p p cocycles. It thus, gives rise via the Scheneider-Teitelbaum isomorphism to an integral structure S (Γ)Z S (Γ), it plays a role somewhat similar to that of modular forms with 2 ⊂ 2 integral Fourier coefficients in the theory of classical modular forms. 1 Fix an extension log : C× C of the p-adic logarithm to all C×. p p −→ Definition 3.4.3. Let f be a rigid analytic modular form of weight two for Γ and µf be the measure attached to it by the Scheneider-Teitelbaum isomorphism. Fix τ , τ H . 1 2 ∈ p The p-adic line integral attached to f(z)dz is defined to be τ2 t τ2 f(z) dz := logp − dµf (t). (3.14) 1 t τ Zτ1 ZP (Qp) − 1 If we formally exponentiate the expression (3.14) we get the multiplicative line integral τ2 t τ2 f(z) d(z)= − dµf (t). (3.15) × × 1 t τ Z τ1 Z P (Qp) − 1 This multiplicative integral is more canonical than its additive counterpart since it does not depend on a choice of a branch of the p-adic logarithm. In fact one should define the right hand side of (3.15) as in (3.1). Let E be an elliptic curve over Q of conductor N, which admits an admissible factorization + as N −N with p dividing N − and let Γ SL2(Qp) be the discrete subgroup arising from ⊂ (p) this factorization as explained above. The rigid variety X and the curve XΓ − + ΓN−,N+ N ,N are connected by the following theorem due to Cerednik and Drinfeld. Theorem 3.4.4. There is a canonical rigid analytic isomorphism (p) CD : XΓ − (Cp) XΓ − + (Cp). N ,N+ −→ N ,N 1 By imposing logp(wz) = logp(w) + logp(z) and setting logp(p) = 0. 41 3. Integration, Theta function and uniformizations The Cerednik-Drinfeld theorem together with the following isomorphisms ([GvdP80, Ch. VI and VIII]) 0 Div (Γ − + H) = J − + N ,N \ ∼ N ,N 0 (p) (p) Div (Γ − + H ) = J − + , N ,N \ p ∼ N ,N 0 (p) gives rise to a map Div (Γ − H ) J − + (C ) also denoted CD by abuse of N ,N + \ p −→ N ,N p notation. On the other hand, we can use the multiplicative integral (3.14) to define a p-adic Abel- Jacobi map 0 (p) Z Φ : Div (Γ − H ) Hom(S (Γ) , C×) C× AJ N ,N + \ p −→ 2 p ≃ p τ2 τ2 τ1 (f f(z) dz)). − 7−→ 7→ ×τ1 R Let Φ : C× E (C ) be the Tate parametrization of E (cf. [Sil94]). Assume that the Tate p −→ q p curve E is a strong Weil curve, if not replace it by an isogenous curve. Then we have the following result Proposition 3.4.5. The following diagram commutes 0 (p) ΦAJ / Div (Γ − + H ) C× N ,N \ p p CD ΦTate ΦN / JN −,N + (Cp) E(Cp). For a discussion of this result, see [BD98]. Compare with the diagram (3.11). Following the ideas of Pollack and Stevens [PS11], Greenberg [Gre06] is able to give an algorithm, running in polynomial time, for evaluating the p-adic integral (3.15). In the remaining of this chapter, we will briefly describe the method devised by Greenberg. Let A := v(x)= a xn a Q , a 0 as n . (3.16) rig n n ∈ q n → →∞ ( n>0 ) X Elements of Arig are rigid analytic functions on the closed unit disk in Cp which are defined over Qp. Definition 3.4.6. A rigid analytic distribution µ is an element of the continuous dual of Arig. The space of rigid analytic distributions is denoted by Drig. 42 3.4. p-adic Uniformization There is no problem in defining the distribution in this way since it “restricts” to a distri- bution as one of Definition 3.4.2 (cf. [Kob84, Ch. II, 3]). § Let µ Drig, v Arig and consider the integral v(x) dµ(x). According to [PS11] the ∈ ∈ Zp problem to compute it reduces to the calculationR of the moments µ(xn)= xn dµ(x) n > 0. ZZp M+1 n Then we say that µ is known to precision M > 1 if v(x) dµ(x) is known modulo p − Zp for n =0, ..., M. R Definition 3.4.7. Amap Φ:Γ GL (Q ) D that is I -equivariant (for Iwahori I \ 2 p → rig p p subgroup) under the right action is called a overconvergent modular form for Γ. The space of overconvergent modular forms for Γ is denoted by M2(Γ). f In [PS11] Pollack and Stevens define a Hecke operator Up on the space M2(Γ). It is 2 also proved there that its Up -invariant subspace is Hecke-isomorphic to the space of rigid f analytic modular forms for Γ. Then, given a rigid analytic modular form f with rational Hecke eigenvalues, one can find its corresponding Z-valued harmonic cocycle ϕf and the measure µ with U f = f (cf. [Gre06, 5]). In order to calculate the moments attached f p ± § to the distribution µf it is enough to calculate the values of the corresponding element Φ M (Γ) which can be computed up to precision M from ϕ (mod p) by iterating the f ∈ 2 f operator Up in time O(M). f We come back now to the calculation of the p-adic line integral. Denote by t τ2 J(τ2, τ1)= − dµf . × 1 t τ Z P (Qp) − 1 Under some technical hypothesis, it is enough to compute log J(τ2, τ1). Write t τ2 log J(τ2, τ1)= log Ja(τ2, τ1) where Ja(τ2, τ1)= − dµf (3.17) 1 ×ba t τ1 a P (Fp) Z ∈X − and b is the standard residue disk around a (cf. [Gre06, 8]) defined as a § b := x Q x a < 1/p . a { ∈ p | | − | } 1 Note that ba = Ue after identifying P (Fp) with the edges with target v0. These p + 1 integrals can be calculated in polynomial time by evaluating certain moments coming from the expansion of the function logarithm as a series (cf. [Gre06, Prop. 14]). 43 3. Integration, Theta function and uniformizations Remark 3.4.8. The use of the logarithm to calculate the p-adic multiplicative line integral is crucial. We do not dispose of this function in the function field case and this is one of the main difficulties we have to overcome. + Let N be an integer which admits a factorization N −N with a prime p dividing N − and (p) let f be a rigid analytic modular form for ΓN −,N + with rational Hecke eigenvalues. Define t γτ1 the set Λf = 1 − dµf γ Γ , which is discrete in C×. Set qf as the generator ×P (Qp) t τ1 ∈ p − of Λf . Then qf Ris the Tate parameter attached to the form f. As in the complex case one would like to have a procedure to find the elliptic curve Ef with coefficients in Q. Even though Greenberg managed to calculate with good accuracy qf , it is not clear whether one can compute from it an equation for the elliptic curve Ef with coefficients in Q as Cremona does. 44 4. The Algorithm 4.1 Motivation Let ϕ be an automorphic (eigen) newform for the congruence subgroup Γ0(N) with rational Hecke eigenvalues. We saw in Chapter 2 that there exists an elliptic curve Eϕ semistable at defined over K = F (T ) with conductor N . As in the cases of complex and p-adic ∞ q ∞ uniformization ( 3.3 and 3.4), one would like to have a procedure that allows to calculate §§ the elliptic curve Eϕ by giving explicit equations over K. Over the complex numbers (cf. 3.3) we saw that there exists an efficient algorithm that § allows to calculate the Tate parameter and the periods with high accuracy and therefore the calculation of the equations of the corresponding elliptic curve over Q (cf. [Cre97]). In the p-adic case, although Greenberg ([Gre06]) devised an algorithm to calculated the Tate parameter from the corresponding automorphic form by means of certain multiplicative integral, it seems not known if one can compute from the Tate parameter an equation for the corresponding elliptic curve. In the function field case, to find the Tate parameter we need to calculate the multiplicative integral (3.9). The problem of computing such integral up to an accuracy of M digits of exact precision is a priori of exponential complexity. In this work we follow the ideas of Darmon and Pollack ([DP06]) and Greenberg ([Gre06]) to develop an algorithm that allows us to calculate the Tate parameter up to a given accuracy in polynomial time. In their algorithm we have to replace the use of the logarithm by a different method, which leads us to compute several integrals of the form (1 + at) dµ (t) (4.1) × ϕ Z O∞ 45 4. The Algorithm for a πF 2 [[t]]. We calculate this integral by iterating a certain Hecke operator as in ∈ q Greenberg’s work. In this chapter we will define the functions to be integrated, the above mentioned Hecke operator, its properties and the algorithm that allows us to calculate the integral (3.9) up to a priori given accuracy M. In the function field case the coefficients of the Tate curve are not rational in general, as in the complex case, however using some tools from the reduction of modular forms modulo p and appropriate models for the elliptic curves, we manage to find equations for Eϕ over K – this is done in the next chapter. 4.2 Elementary functions Let I be the subset of N N given by I := (i, j) N N j i . Graphically, the × 0 { ∈ × 0| ≤ } elements of I are the points with integral coordinates in the encircled area in j line i=j I i . M This set I has the properties: I is closed under coordinate-wise addition; we denote this by I + I I. • ⊂ For any (i , j ) I, the set I contains the set • 0 0 ∈ ′ ′ ′ ′ ′ I := (i , j ) i i , j j + i i . (4.2) (i0,j0) { | ≥ 0 ≤ 0 − 0} 46 4.2. Elementary functions j line i=j b j0 ′′ I I i . i0 M Figure 4.1: The set I′′ One associates to I the set i j F := 1+ a π t a F 2 . (4.3) I ij | ij ∈ q (i,j) I X∈ Elements of FI are called elementary functions in t. We may consider its elements as those of the group (1+ πF 2 [[π, t]], ) for which each term has the π-power bigger or equal than q × the t-power. Lemma 4.2.1. The subset F of (1 + πF 2 [[π, t]], ) is a subgroup. I q × 1 Proof. We need to check that if f,g F , fg F and g− F . ∈ I ∈ I ∈ I i j k l For the first statement, consider f =1+ (i,j) I aijπ t and g =1+ (k,l) I bklπ t with ∈ ∈ a and b F 2 . From the multiplication of series ij kl ∈ q P P r s i j k l fg =1+ aijbkl π t + aijπ t + bklπ t (r,s) N N0 (i,j) I, (k,l) I, (i,j) I (k,l) I X∈ × ∈X ∈ X∈ X∈ i+k=r, j+l=s and since I + I I we have that (r, s) I and then fg F follows. ⊂ ∈ ∈ I 47 4. The Algorithm For the second statement, we have that g is invertible in 1 + πFq2 [[π, t]]. We need to check that g 1 F . Let g 1 =1+ c πitj, then gg 1 = 1 implies − I − (i,j) N N0 ij − ∈ ∈ × P k l i j r s bklπ t + cijπ t + cijbklπ t =0. (4.4) (k,l) I (i,j) N N0 (i,j) N N0, (k,l) I, X∈ X∈ × i+∈k=×Xr, j+l=∈s Consider the set E := (i, j) N N I c =0 . { ∈ × 0 \ | ij 6 } We claim E to be empty. If it were not empty, as E N N has a lexicographic total ⊂ × 0 order, then there exists a (i , j ) E minimal. From the equation (4.4) the coefficient of 0 0 ∈ πi0 tj0 is 0 and from the left hand side this is ci0j0 + bklcmn =0. (4.5) (m,n) N N0, (k,l) I, ∈ × ∈ m+k=Xi0, n+l=j0 If some c = 0, then since k > 1, m < i which implies that (m, n) E, and contra- mn 6 0 ∈ dicts the minimality of (i , j ). Hence (4.5) becomes c and so (i , j ) E which is a 0 0 i0j0 0 0 6∈ contradiction. Now define a b Γ0( ) := γ = M2(O ) c 0 (mod π) ,d O× and det(γ) O 0 . ∞ c d ∈ ∞ ≡ ∈ ∞ ∈ ∞ \{ } Note that Γ ( ) is not the Iwahori subgroup, it was defined to contain at least the Iwahori 0 ∞ subgroup and matrices of the form ( π a ). However, Γ ( ) is a semigroup since it is closed 0 1 0 ∞ under the usual multiplication. Namely, let a b a1 b1 aa1 + cc1 ab1 + bd1 γ = , γ1 = Γ0( ) and γγ1 = c d c1 d1 ∈ ∞ ca1 + dc1 cb1 + dd1 then ca1 + dc1 0 (mod π) since c 0, c1 0 (mod π). Also det(γγ1) O 0 . ≡ ≡ ≡ ∈ ∞ \{ } It remains to prove that cb1 + dd1 O× which is equivalent to val(cb1 + dd1) = 0 where ∈ ∞ val = v1/T . From the properties of the valuation one sees that val(cb + dd ) inf val(cb ), val(dd ) 1 1 ≥ { 1 1 } 48 4.2. Elementary functions but val(dd ) = 0 and val(cb ) 1, therefore val(cb + dd ) = 0 which implies γγ Γ ( ) 1 1 ≥ 1 1 1 ∈ 0 ∞ as desired. The group F is equipped with a left action of Γ ( ) defined by I 0 ∞ 1 (κ f)(t) := f(κ− t ) for κ Γ ( ) and f F (4.6) ∗ h i ∈ 0 ∞ ∈ I where is the usual Moebious trasnformation. h·i Lemma 4.2.2. The action defined in (4.6) is well defined. Proof. We need to check that for f F and κ Γ ( ) we have (κ f) F . ∈ I ∈ 0 ∞ ∗ ∈ I i j 1 a b Set f =1+ (i,j) I aijπ t and κ− = ( c d ). Then from the definition of the action we ∈ i at+b j F have (κ f)(tP)=1+ (i,j) I aijπ ct+d . So(κ f)(t) I if and only if for each term ∗j ∈ ∗ ∈ πi at+b the exponents (i, j) I. Hence it is enough to check it for πitj, (i, j) I. ct+d P ∈ ∈ First it is convenient to write at + b 1 =(at + b) c ct + d d 1 ( − )t − d 1 =(a′t + b′) 1 πc t − ′ a b c where a′ = d , b′ = d and c′ = πd . Therefore j i at + b i j j π = π (a′t + b′) (1 πc′t)− ct + d − ∞ i j n j n = π (a′t + b′) ( c′) − (πt) − n n=0 X ∞ j n j i+n n =(a′t + b′) ( c′) − π t − n n=0 j X ∞ j k j k n i i+n k = (a′t) (b′) − ( c′) − π t k − n k=0 n=0 X X j ∞ n j i+n n j k k j k = ( c′) π t (a′) t (b′) − − n k n=0 k=0 ! X jX ∞ n j i+n k k+n j k = ( c′) π (a′) t (b′) − − n n=0 ! X Xk=0 49 4. The Algorithm j ∞ k j k n j i+n k+n = (a′) (b′) − ( c′) π t , − n n=0 ! X Xk=0 finally if we take i′ = i + n and j′ = k + n we get the conditions given for the set I′′ and the lemma holds. Remark 4.2.3. One can define F for arbitrary subsets I N N . It is a group whenever I ⊂ × 0 I + I I and is stable under the action of Γ ( ) if I I′′. ⊂ 0 ∞ ⊂ 4.3 A Hecke operator Fix a positive integer M. We want to compute the integral (4.1) to a precision πM . For a fixed k M we define the multiplicative group ≤ k 1+ π Fq2 [[π]] Uk,M := M+1 . 1+ π F 2 [[π]] q Note that if k′ k then U ′ U . ≤ k ,M ⊃ k,M An important and crucial property of FI is the following, which will be proved in the Appendix 7. Lemma 4.3.1. Given any function f F and any integer M > 1, then there exists a ∈ I finite set of indices J I and m 1, 2, ..., p 1 such that ⊆ ijδ ∈{ − } f (1 + ξδπitj)mijδ (mod πM+1) ≡ (i,j) J Y∈ where ξ F 2 is a primitive element for the extension over F , δ 0, ..., d 1 with d ∈ q p ∈ { − } the degree of the extension Fq2 over Fp. The representation is unique modulo p powers of i j fij =1+ π t , so the set B := 1+ ξδπitj (i, j) F , i M, δ =0, ..., d 1 . M { | ∈ I ≤ − } is a multiplicative pseudo basis. i j Lemma 4.3.1 says that the representation is unique modulo p powers of fij =1+ π t , this means that if f is a factor of a function f with p gcd(i, j), then the p-th roots of f are ij | ij in BM and they give “other” representation of f. 50 4.3. A Hecke operator Remark 4.3.2. Let now f =1+ ξδπitj B . From the definition of the integral ij ∈ M δ i j M+1 δ i j µ(Ul) M+1 (1 + ξ π t ) dµ (mod π ) = lim (1 + ξ π tl ) (mod π ), ×O∞ −→l tl Ul O∞ Z ∈ Y⊂ we can interchange modulo with the integral since the powers in the product do not decrease, in particular the integral is continuous with respect to the π-adic topology. We obtain that (1 + ξδπitj) dµ (mod πM+1) U . ×O∞ ∈ i,M R This leads us to define the following sets. For an integer k> 1 we consider I := (i, j) N N i k . k { ∈ × 0| ≥ } Note that by Remark 4.2.3 the set FI I is a group, moreover it is a subgroup of FI . ∩ k Remark 4.3.3. As in Lemma 4.2.2 one proves that κ FI I FI I for all κ Γ0( ). ∗ ∩ k ⊂ ∩ k ∈ ∞ Let us define also the set F : F U F is a group homomorphism I −→ 1,M Hom′(F , U ) := . I 1,M s.t. F (FI I ) Uk,M , for all k 1 ∩ k ⊆ ≥ It is worth pointing out that the condition on F only makes sense for k M and ≤ F (FI I ) Uk,M means that we evaluate in elements f FI such that val(f 1) k and ∩ k ⊆ ∈ − ≥ its image under F has the property val(F (f) 1) k. Since the group I acts on F by − ≥ I Moebius transformations and on Uk,M trivially, we may also define a left action of I on Hom′(FI , U1,M ) by 1 (κ F )(f) := F (κ− f) for κ I and f F . ∗ ∗ ∈ ∈ I Lemma 4.3.4. The previous action is well defined. Proof. Let κ and κ I then we have that 1 2 ∈ 1 1 ((κ κ ) F )(f)= F ((κ− κ− ) f) 1 2 ∗ 2 1 ∗ 1 1 = F ((κ− (κ− f)) 2 ∗ 1 ∗ 1 =(κ F )(κ− f) 2 ∗ 1 ∗ = κ (κ F )(f). 1 ∗ 2 ∗ Also, using Remark 4.3.3, κ maps Hom′(FI , U1,M ) to itself. And so the lemma holds. 51 4. The Algorithm Let Γ be a congruence subgroup of P GL2(K ). Unless otherwise stated we will take Γ to ∞ be Γ (N) for some non zero ideal N F [T ] and define the set 0 ⊂ q ′ ′ S(Γ,Hom (FI, U1,M )) := φ :Γ P GL2(K ) Hom (FI , U1,M ) φ is I-equivariant . \ ∞ −→ (4.7) For simplicity of notation we will denote this set by S. The I-equivariance means that for any γ P GL2(K ) and κ I, we have ∈ ∞ ∈ φ(Γγκ)(f)(t)= φ(Γγ)(κ f)(t). ∗ Writing (κ⋆φ)(Γγ) := φ(Γγκ), we can also see I-equivariance as (κ⋆φ)(Γγ)(f)= φ(Γγ)(κ f). ∗ Remark 4.3.5. a) From Chapter 3 we have that the group GL2(K ) acts on the space ∞ 1 M0(X, Z) so the integral f d(γ− µ) makes sense for any γ GL2(K ) and ×O∞ ∗ ∈ ∞ f F . ∈ I R 1 M+1 ′ F b) The integral O∞ f d(γ− µ) (mod π ) lies in Hom ( I, U1,M ) (cf. 4.3.2) then × 1∗ M+1 the map γ d(γ− µ) (mod π ) is in S, so S is not empty. 7→R×O∞ ∗ R c) From the I-equivariance we have that any F S is uniquely determined by its ∈ values on any set of representatives (a “fundamental domain”) of the double class Γ P GL2(K )/I, which is in canonical bijection with the edges of the quotient tree \ ∞ Γ T. \ From now on we write φ(γ) instead of φ(Γγ). The set S is endowed with an action of the Hecke operator π a (U φ)(γ)(f(t)) := φ γ f(πt + a) ∞ 0 1 a Fq Y∈ for f FI and γ Γ P GL2(K ). ∈ ∈ \ ∞ Lemma 4.3.6. The Hecke operator U is well defined. ∞ 52 4.3. A Hecke operator π a I I ′ ′ I Proof. We define τa =( 0 1 ) with a Fq. Then for all a Fq we have τa = a Fq τa , so ∈ ∈ ∈ that for each a F and κ I we can find unique a′ F and κ′ I such that κτ = τ ′ κ′. ∈ q ∈ ∈ q ∈ ` a a Moreover for κ fixed and a variable, the map a′ a is a bijection of F . 7−→ q Let φ S, we need to check that U φ is in S, i.e., U φ is I-equivariant. Let γ ∈ ∞ ∞ ∈ Γ P GL2(K ), f FI and κ I. Then applying the U operator and using that φ is \ ∞ ∈ ∈ ∞ I-equivariant we get (κ ⋆ U φ)(γ)(f)=(U φ)(γκ)(f) ∞ ∞ = φ(γκτ )f(τ t ) a ah i a Fq Y∈ = φ(γτ ′ κ′)f(τ t ) a ah i a Fq Y∈ 1 = φ(γτ ′ )f(τ κ′− t ) a a h i a Fq Y∈ 1 = φ(γτ ′ )f(κ− τ ′ t ) a a h i a Fq Y∈ = φ(γτa′ )(κ f)(τa′ t ) ′ ∗ h i a Fq Y∈ =(U φ)(γ)(κ f). ∞ ∗ 1 Γ We recall that any Γ-invariant harmonic cocycle ϕ gives rise to a measure µϕ on M0(P (O ), Z) ∞ and conversely ϕ can be recovered from such a measure µ. From now on we will denote by µ the measure associated to ϕ H (T, Z)Γ. ϕ ∈ ! We have the following map Γ ′ ϕ H!(T, Z) S(Γ,Hom (FI, U1,M )) ∈ ϕ −→ Φ 7−→ µϕ 1 defined by Φ (γ) := d(γ− µ). µϕ ×O∞ ∗ Lemma 4.3.7. The mapR Φµϕ defined above is I-equivariant. Proof. The map Φµϕ is well defined since it defines an homomorphism FI U1,M (cf. ′ → Remark 4.3.5 b)), then Φµϕ lies in Hom . Let γ Γ P GL2(K ), f FI and κ I. We need to check the equality ∈ \ ∞ ∈ ∈ Φ (γκ)(f) = Φ (γ)(κ f). (4.8) µϕ µϕ ∗ 53 4. The Algorithm By the definition of the map and the change of variables formula we have 1 Φ (γκ)(f)= f(t) d((γκ)− µ)(t) µϕ × ∗ Z O∞ 1 1 1 = κ− (κ f)(t) d(κ− (γ− µ))(t) × −1 ∗ ∗ ∗ ∗ Z κ (κO∞) 1 = (κ f)(t) d(γ− µ)(t) × ∗ ∗ Z κO∞ 1 = (κ f)(t) d(γ− µ)(t) × ∗ ∗ Z O∞ = Φ (γ)(κ f). µϕ ∗ In the fourth equality we use the fact that κO = O , it can be seen from the identification ∞ ∞ of the open O with the ends passing trough the edge e0 and the Iwahori subgroup stabilizes ∞ the lattice class corresponding to e0. A crucial property of the function Φµϕ is that it is an eigenfunction of the Hecke operator. Proposition 4.3.8. The functions Φµϕ are eigenfunctions of U with eigenvalues 1, i.e. ∞ U Φµϕ = Φµϕ . ∞ Proof. Let f be a function on FI and Φµϕ as defined above. Then by definition of U we ∞ have 1 (U Φµϕ )(f)= Φµϕ (γτa)(τa− f) ∞ ∗ a Fq Y∈ 1 = f(τa t ) d((γτa)− µ)(t) ×O∞ h i ∗ a Fq Y∈ Z 1 1 1 = (τa− f)(t) d(τa− γ− µ)(t) −1 ×τa (τaO∞) ∗ ∗ ∗ a Fq Y∈ Z 1 = f(t) d(γ− µ)(t) ×τa(O∞) ∗ a Fq Y∈ Z 1 = f(t) d(γ− µ)(t) ×a+πO∞ ∗ a Fq Y∈ Z 1 = f(t) d(γ− µ)(t) ×˙ ∈F (a+πO∞) ∗ Z ∪a q 1 = f(t) d(γ− µ)(t) × ∗ Z O∞ = Φµϕ (f). 54 4.3. A Hecke operator The important thing to note here is that the set 1 + πFq2 [[π]] can be seeing as the subset FI0 of FI for I0 := N 0 . The set FI0 is preserved under the action of I since the action ×{ } ′ is trivial. Given any f Hom (F , U ) we may restrict it to F and therefore induce a ∈ I 1,M I0 restriction map ′ ′ Hom (F , U ) res Hom (F , U ) I 1,M −→ I0 1,M f f F . 7−→ | I0 This map induces naturally another restriction map res*, which by abuse of notation will be also denoted by res, between the following spaces ′ ′ S(Γ,Hom (F , U )) res S(Γ,Hom (F , U )). I 1,M −→ I0 1,M Finally consider the map Φ0,µϕ defined as follows T Γ S ′ F ϕ H!( , Z) (Γ,Hom ( I0 , U1,M )) ∈ ϕ −→ Φ , 7−→ 0,µϕ −1 (γ µϕ)(O∞) M+1 where Φ (γ)(f) := f ∗ mod π , for f F . 0,µϕ ∈ I0 The map is well defined since f FI0 is constant, and then its integral is actually −1 ∈ γ µϕ(O∞) ϕ(γe0) f ∗ = f , where e0 is the standard edge. These considerations lead us to Lemma 4.3.9. The following diagram is commutative. Γ H!(T, Z) ❲❲❲ ❲❲❲❲ Φ ❲❲❲❲❲ 0,µ∗ Φµ∗ ❲❲❲❲❲ ❲❲❲❲❲+ ′ res / ′ S(Γ,Hom (FI, U1,M )) S(Γ,Hom (FI0 , U1,M )). Proof. The proof is straightforward. We need to check that res Φ = Φ holds for all ◦ µϕ 0,µϕ ϕ H (T, Z)Γ. ∈ ! 1 In order to calculate res Φ , we need to evaluate f d(γ− µ)(t) for f F and ◦ µϕ ×O∞ ∗ ∈ I0 since f is constant R − 1 (γ 1 µ)(O∞) f d(γ− µ)(t)= f ∗ . × ∗ Z O∞ M+1 Taking modulo π this is precisely Φ0,µϕ (f). 55 4. The Algorithm Now, we are ready to describe the algorithm that allows us to calculate the integral f dµ(t) for f F . ×O∞ ∈ I ′ SupposeR that we have φ S(Γ,Hom (F , U )) such that it is an eigenfunction for the ∈ I 1,M Hecke operator U with eigenvalue 1 and also that res φ = φ0 (one candidate for φ is Φµϕ ∞ ◦ for some Γ-invariant harmonic cocycle ϕ) and we want to evaluate φ at 1+ ξδπM tj B . ∈ M Then for any γ Γ we have ∈ δ M j δ M j (U φ)(γ)(1 + ξ π t )= φ(γτa)(1 + ξ π (a + πt) ) ∞ a Fq Y∈ M δ j = φ0(γτa)(1 + π ξ a ). (4.9) a Fq Y∈ In particular, when φ is Φµϕ the last product equals (1 + πM ξδaj)ϕ(γτae0)). a Fq Y∈ We compute now δ M 1 j δ M 1 j U (φ)(γ)(1 + ξ π − t )= φ(γτa) 1+ ξ π − (a + πt) ∞ a Fq Y∈ j δ M 1 j n j n = φ(γτ ) 1+ ξ π − (πt) a − a n a Fq n=0 ! Y∈ X δ M 1 j j 1 j j = φ(γτa) 1+ ξ π − (a + jπta − + ... + π t ) . a Fq Y∈ δ M 1 j δ j 1 M M+1 = φ(γτa) (1 + ξ π − a )(1 + ξ ja − π t)(1 + O(π )) . a Fq Y∈ δ M 1 j From the previous calculation we see that the value of φ(γτa)(1+ ξ π − a ) is easy to cal- δ M j 1 culate since it does not depend on t. The calculation of the value of φ(γτa)(1+ξ π a − jt) reduces hence to the previous case (4.9). The above method can be continued inductively. Summarizing, given any function f F , M > 1 and ϕ H (T, Z)Γ, to calculate the ∈ I ∈ ! integral f dµ up to accuracy of M digits of exact precision, we decompose f as ×O∞ ϕ R mij f f (mod πM+1) ≡ ij f B ijY∈ M δ i j where fij =1+ ξ π t . 56 4.3. A Hecke operator So it is enough to know the value of the integral at the functions fij, that is the value of Φµϕ (γ)(fij) for all fij BM and all γ Γ P GL2(K ). By Remark 4.3.5 we only need to ∈ ∈ \ ∞ calculate this value for each f B and finitely many. Hence as a first step, we produce ij ∈ M tables with all the values for Φµϕ (γ)(fij). In the following lines we describe the algorithm which computes such table. δ i j δ′ i′ j′ Let us define an order relation on BM . We say that 1 + ξ π t > 1+ ξ π t if and only if their exponents satisfy one of the following two conditions: 1) If j > 0 and j′ > 0 1.1) i < i′ or 1.2) (i = i′ and j < j′) or 1.3) (i = i′ and j = j′ and δ′ 6 δ). 2) If j′ =0 2.1) j > 0 or 2.2) (j = 0 and i < i′) or 2.3) (j = 0 and i = i′ and δ 6 δ′). Note that we can induce a partition of the set BM in the following way. For a fixed δ we define the following subset of BM B := f B f =1+ ξδπitj (4.10) M,δ { ∈ M | } Clearly BM = ˙ δ 0,...,d 1 BM,δ. Note also that we can identify the elements of BM,δ with ∪ ∈{ − } 57 4. The Algorithm the points with integer coordinates of the graph j line i=j BM,δ i M We will see later how to use this representation to explain the algorithm. From the definition of the operator U , given a representative γ of a class in Γ P GL2(K )/I, ∞ \ ∞ if e is the edge in T corresponding to [γ]1, we have that γτa represents all the edges in T with terminal o(e). Remark 4.3.10. For γ and e as above we have that the classes of γτ for a F in the a ∈ q quotient graph are identified, so we do not need to calculate the integral q times. If we apply the operator M times, then we move in the tree T distance M from the starting edge. So we need representatives for the quotient tree up to level M. Let us denote by R such a set of representatives. For each γ R we need to calculate the integral Φ (γ)(f ) for all f B . To each γ ∈ µϕ ij ∈ M we attach d “triangular matrices” Tγ,δ whose entries are the values of the integral at all δ i j functions f of BM,δ, that is Tγ,δ[i, j] = Φµϕ (γ)(1 + ξ π t ). Observe that the constants corresponds to the points located over the i-axis of the graphic representation of BM,δ . We start by filling the tables Tγ,δ with the value Φµϕ (γ)(f) for f B constant for all δ 0, 1, ..., d 1 . ∈ M,δ ∈{ − } First for γ R we calculate the value ϕ(γe ) and then Φ (γ)(f)= f ϕ(γe0). We store this ∈ 0 µϕ value at the corresponding place of Tγ,δ. That is at first stage all the values for functions 58 4.3. A Hecke operator over the axis i of B are known for all γ R and δ 0, 1, ..., d 1 , this corresponds to M,δ ∈ ∈{ − } the last file of the tables Tγ,δ, since we can identify the entries of the table with the points of BM,δ. Remark 4.3.11. When we apply the U to Φµϕ evaluated at a representative γ we move ∞ with τa to other representatives, so we need to fill the tables Tγ,δ simultaneously for a fixed f B and running over γ R. ∈ M ∈ We start with the smallest f B and calculate Φ (γ)(f), that is we start by filling the ∈ M µϕ table Tγ,δ by the upper right corner. Since the power of π and t is M, when we apply the operator, it reduces immediately to constants. Whose values were already calculated. Let suppose that f = 1+ ξδπi0 tj0 B and we know the value of Φ (γ)(g ) in all i0j0 ∈ M µϕ ij g B with g > f . We can interpret this situation with a graphic in the following ij ∈ M ij i0j0 way j line i=j b j0 (i0, j0) BM,δ i i0 M were the shaded area1 represents the functions f B for which we know the value of ∈ M,δ Φµϕ (γ)(f) and the dashed blue line represents the functions in BM,δ with exponent i0 in π to be integrated. Applying the U operator to Φµϕ (γ)(fi0j0 ) we have ∞ U (Φµϕ (γ)(fi0j0 )) = Φµϕ (γτa)(fi0j0 (πt + a)). ∞ a Fq Y∈ 1Although is a discrete set we use solid color to understand better the method. 59 4. The Algorithm Writing for every a F γτ = σ γ κ with σ Γ, γ R and κ I and using the ∈ q a a a a a ∈ a ∈ a ∈ Iwahori equivariance of Φµϕ and the Γ-invariance we have e e Φµϕ (γτa)(fi0j0 (πt + a))=Φµϕ (σaγaκa)(fi0j0 (πt + a)) 1 = Φµϕ (γa)(fi0j0 )(τaκa− t ) e h i δ i0 1 j0 = Φµϕ (γa)(1 + ξ π (τaκa− t ) . e h i e δ i0 1 j0 Now we need to decompose the function 1 + ξ π (τ κ− t ) as a product of elements in a a h i the pseudo-basis BM δ i0 1 j0 mij M+1 1+ ξ π (τ κ− t ) f (mod π ). a a h i ≡ ij f B ijY∈ M This decomposition has the property that each fij in it satisfies fij > fi0j0 , moreover the ′′ exponents of fij are in the set I (see figure 4.1), then we know its integral which is stored in one of the tables corresponding to γa. Remark 4.3.12. At (i0, j0) need onlye values in the blue shaded area. Example 4.3.13. Let N = T 3 over F , in Chapter 2 2.8 we showed the corresponding 2 § graph. Let ϕ be the unique harmonic cocycle with rational Hecke eigenvalues (observe that 0 1 there is only one cycle in the quotient graph) and let γ = 2 R be the representing 1 T +T ∈ matrix of the edge e = (2, 5). Working with M = 7 and f =1+ π3t2 B , to calculate ∈ 7 Φµϕ (γ)(f) we apply the operator U . ∞ 3 2 3 U (Φµϕ (γ)(1 + π t )) = Φµϕ (γτa)(1 + π (πt + a)). ∞ a F2 Y∈ We need to decompose the matrices γτ0 and γτ1 as γaγaκa, so we have 0 1 γτ0 = 1/T T 2+T e T 2+T +1 1 T 2 T 3+T 1/T 0 = T 3 T+1 T 4+T 3+T 2+1 T 5+T 4+T 2 1/T 2 1/T T 2 T 3+T and the matrix γ0 = T 4+T 3+T 2+1 T 5+T 4+T 2 is a representative for the edge (7, 2) and e 1/T 0 1 0 1/T 0 κ0 = 1/T 2 1/T = 1/T 1 0 1/T . 60 4.4. The change of variables and calculation of the integral 1 0 We can take κ0 to be 1/T 1 then