Modular Forms

We have previously mentioned modular forms in The Moduli Space of Elliptic Curves and discussed them very briefly in the context of modular curves in Shimura Varieties. In this post, we will discuss this very important and central concept in modern number theory in more detail.

First we recall some facts about the group \text{SL}_{2}(\mathbb{Z}), which is so important that it is given the special name of the modular group. It is defined as the group of 2\times 2 matrices with integer coefficients and determinant equal to 1, and it acts on the upper half-plane (the set of complex numbers with positive imaginary part) in the following manner. Suppose an element \gamma of \text{SL}_{2}(\mathbb{Z}) is written in the form \left(\begin{array}{cc}a&b\\ c&d\end{array}\right). Then for \tau an element of the upper half-plane we write

\displaystyle \gamma(\tau)=\frac{a\tau+b}{c\tau+d}

A modular form (with respect to \text{SL}_{2}(\mathbb{Z})) is a holomorphic function on the upper half-plane such that

\displaystyle f(\gamma(\tau))=(c\tau+d)^{k}f(\tau)

for some k and such that f(\tau) is bounded as the imaginary part of \tau goes to infinity. The number k is called the weight of the modular form. If the function is not required to be bounded as the imaginary part of \tau goes to infinity it is a weakly modular form, and if furthermore it is merely required to be meromorphic, , it is a meromorphic modular form. A meromorphic modular form of weight 0 is just a meromorphic function on the upper half-plane which is invariant under the action of \text{SL}_{2}(\mathbb{Z}) (and bounded as the imaginary part of its argument goes to infinity) – we also call it a modular function.

We denote the set of modular forms of weight k with respect to \text{SL}_{2}(\mathbb{Z}) by \mathcal{M}_{k}(\text{SL}_{2}(\mathbb{Z})). Adding together two modular forms of the same weight gives another modular form of the same weight, and modular forms can be scaled by a complex number, so \mathcal{M}_{k}(\text{SL}_{2}(\mathbb{Z})) actually forms a vector space. We can also multiple a modular form of weight k with a modular form of weight l to get a modular form of weight k+l, so modular forms of a certain weight form a graded piece of a graded ring \mathcal{M}(\text{SL}_{2}(\mathbb{Z}):

\displaystyle \mathcal{M}(\text{SL}_{2}(\mathbb{Z}))=\bigoplus_{k}\mathcal{M}_{k}(\text{SL}_{2}(\mathbb{Z}))

Modular functions are actually functions on the moduli space of elliptic curves – but what about modular forms of higher weight? It turns out that he modular forms of weight 2 correspond to coefficients of differential forms on this space. To see this, consider d\tau and how the group \text{SL}(\mathbb{Z}) acts on it:

\displaystyle d\gamma(\tau)=\gamma'(\tau)d\tau=(c\tau+d)^{-2}d\tau

where \gamma'(\tau) is just the usual derivative of he action of \gamma as describe earlier. For a general differential form given by f(\tau)d\tau to be invariant under the action of \text{SL}(\mathbb{Z}) we must therefore have

\displaystyle f(\gamma(\tau))=(c\tau+d)^{2}f(\tau).

The modular forms of weight greater than 2 arise when we consider products of these differential forms. More technically, modular forms are sections of line bundles on modular curves, which come about when we compactify moduli spaces of elliptic curves (possibly with extra structure).

Let us now look at some examples of modular forms. Since modular forms “live on” moduli spaces of elliptic curves, we will keep in mind elliptic curves as we look at these examples. Our first family of examples are Eisenstein series of weight k, denoted by G_{k}(\tau) which is of the form

\displaystyle G_{k}(\tau)=\sum_{(m,n)\in\mathbb{Z}^{2}\setminus (0,0)}\frac{1}{(m+n\tau)^{k}}

Any modular form can in fact be written in terms of Eisenstein series G_{4}(\tau) and G_{6}(\tau).

Now, let us relate this to elliptic curves. An elliptic curve over the complex numbers may be written as a Weierstrass equation

\displaystyle y^{2}=4x^{3}-g_{2}x-g_{3}

The coefficients on the right-hand side g_{2} and g_{3} are in fact modular forms, of weight 4 and weight 6 respectively, given in terms of the Eisenstein series by g_{2}(\tau)=60G_{4}(\tau) and g_{3}(\tau)=140G_{6}(\tau).

Another example of a modular form is the modular discriminant of an elliptic curve, as a modular form denoted \Delta(\tau). It is a modular form of weight 12, and can be expressed via the elliptic curve coefficients that we defined earlier:

\Delta(\tau)=(g_{2}(\tau))^{3}-27(g_{3}(\tau))^{2}.

Our final example in this post is not of a modular form, but a meromorphic modular form of weight 0, i.e. a modular function. It is holomorphic on the upper half-plane, but goes to infinity as the imaginary part of \tau goes to infinity. It is the j-invariant associated to an elliptic curve. Once again we may express it in terms of the elliptic curve coefficients g_{2} and g_{3}:

\displaystyle j(\tau)=1728\frac{(g_{2}(\tau))^{3}}{(g_{2}(\tau))^{3}-27(g_{3}(\tau))^{2}}

Note that the denominator is also the modular discriminant.  The points of the moduli space of elliptic curves correspond to isomorphism classes of elliptic curves, and since the j-invariant is an honest-to-goodness holomorphic function on the moduli space of elliptic curves over \mathbb{C}, we can see that isomorphic elliptic curves will have the same j-invariant. This is not the case for the other modular forms we described above, which are not modular functions, i.e. they have nonzero weight! Why is this so? Let us recall that an elliptic curve over \mathbb{C} corresponds to a lattice. Acting on a basis of this lattice by an element of \text{SL}_{2}(\mathbb{Z}) changes the basis, but preserves the lattice. This will be reflected as “admissible changes of coordinates” in the Weierstrass equations, and also changes these modular forms associated to the elliptic curves even though the elliptic curves are still isomorphic. But they change in a predictable way, according to the definition of modular forms.

A modular form f(\tau) is also called a cusp form if the limit of f(\tau) is zero as the imaginary part of \tau approaches infinity. We denote the set of cusp forms of weight k by \mathcal{S}_{k}(\text{SL}_{2}(\mathbb{Z}). They are a vector subspace of \mathcal{M}_{k}(\text{SL}_{2}(\mathbb{Z}) and the graded ring formed by their direct sum for all k, denoted \mathcal{S}_{k}(\text{SL}_{2}(\mathbb{Z}), is an ideal of the graded ring \mathcal{M}(\text{SL}_{2}(\mathbb{Z}). Cusp forms form a very important part of modern research, but we will not discuss them much in this introductory post and leave them for the future.

Let us now discuss congruence subgroups of \text{SL}_{2}(\mathbb{Z}) (we have also discussed this briefly in Shimura Varieties), so that we can define more general modular forms with respect to such a congruence subgroup instead of just \text{SL}_{2}(\mathbb{Z}). Given an integer N, the principal congruence subgroup \Gamma(N) of \text{SL}_{2}(\mathbb{Z}) is the subgroup consisting of the elements which reduce to the identity when we reduce the entries modulo N. A congruence subgroup is any subgroup \Gamma that contains the principal congruence subgroup \Gamma(N). We refer to N as the level of the congruence subgroup.

There are two important kinds of congruence subgroups of \text{SL}_{2}(\mathbb{Z}), denoted by \Gamma_{0}(N) and \Gamma_{1}(N). The subgroup \Gamma_{0}(N) consists of the elements that become upper triangular after reduction modulo N, while the subgroup \Gamma_{1}(N) consists of the elements that become upper triangular with ones on the diagonal after reduction modulo N. As we discussed in Shimura Varieties, these are related to moduli spaces of “elliptic curves with level structure”.

Now we can define the modular forms of weight k with respect to such a congruence subgroup \Gamma. We shall once again require them to be holomorphic functions on the upper half-plane, and we require that for \gamma\in \Gamma written as \left(\begin{array}{cc}a&b\\ c&d\end{array}\right) we must have

\displaystyle f(\gamma(\tau))=(c\tau+d)^{k}f(\tau).

However, the condition that the function be bounded as the imaginary part of \tau goes to infinity must be modified. The reason is that the “point at infinity” is a cusp, a point of the modular curve that does not correspond to an elliptic curve over \mathbb{C} but rather to a “degeneration” of it (this point is therefore not a part of the usual moduli space of elliptic curves –  we can think of it as a “puncture” in this space).

We recall that the construction of the moduli space of elliptic curves over \mathbb{C} starts with the upper half-plane, then we quotient out by the action of \text{SL}_{2}(\mathbb{Z}). The cusps come from taking the union of the rational numbers with the upper half-plane, as well as the point at infinity. When we take the quotient by \text{SL}_{2}(\mathbb{Z}) this all gets sent to the same point, therefore the usual moduli space has only one cusp. But if we take the quotient by a congruence subgroup, we may have several cusps. Therefore, what we really require is for the modular form to be “holomorphic at the cusps“. We can still express this condition in familiar terms by requiring that not f(\tau), but rather (c\tau+d)^{-k}f(\gamma(\tau)) for \gamma\in \text{SL}_{2}(\mathbb{Z}) be bounded as the imaginary part of \tau goes to infinity. We can then define cusp forms with respect to \Gamma by requiring vanishing at the cusps instead. The set of modular forms (resp. cusp forms) of weight k with respect to \Gamma are denoted \mathcal{M}_{k}(\Gamma) (resp. \mathcal{S}_{k}(\Gamma)), and they also have the same structures of being vector spaces and being graded pieces of graded rings as the ones for \text{SL}_{2}(\mathbb{Z}).

Having only discussed the very basics of modular forms we end the post here, with the hope  that in the near future we will be able to discuss things such as Hecke operators, modular curves and their Jacobians, and their associated Galois representations. We redirect the interested reader to the references for now.

References:

Modular Form on Wikipedia

Eisenstein Series in Wikipedia

j-invariant on Wikipedia

Modular Form on Wikipedia

Congruence Subgroups on Wikipedia

A First Course in Modular Forms by Fred Diamond and Jerry Shurman

Advanced Topics in the Arithmetic of Elliptic Curves by Joseph H. Silverman

Shimura Varieties

In The Moduli Space of Elliptic Curves we discussed how to construct a space whose points correspond to isomorphism classes of elliptic curves over \mathbb{C}. This space is given by the quotient of the upper half-plane by the special linear group \text{SL}_{2}(\mathbb{Z}). Shimura varieties kind of generalize this idea. In some cases their points may correspond to isomorphism classes of abelian varieties over \mathbb{C}, which are higher-dimensional generalizations of elliptic curves in that they are projective varieties whose points form a group, possibly with some additional information.

Using the orbit-stabilizer theorem of group theory, the upper half-plane can also be expressed as the quotient \text{SL}_{2}(\mathbb{R})/\text{SO}(2). Therefore, the moduli space of elliptic curves over \mathbb{C} can be expressed as

\displaystyle \text{SL}_{2}(\mathbb{Z})\backslash\text{SL}_{2}(\mathbb{R})/\text{SO}(2).

If we wanted to parametrize “level structures” as well, we could replace \text{SL}_{2}(\mathbb{Z}) with a congruence subgroup \Gamma(N), a subgroup which contains the matrices in \text{SL}_{2}(\mathbb{Z}) which reduce to an identity matrix when we mod out b some natural number N which is greater than 1. Now we obtain a moduli space of elliptic curves over \mathbb{C} together with a basis of their N-torsion:

Y(N)=\Gamma(N)\backslash\text{SL}_{2}(\mathbb{R})/\text{SO}(2)

We could similarly consider the subgroup \Gamma_{0}(N), the subgroup of \text{SL}_{2}(\mathbb{Z}) containing elements that reduce to an upper-triangular matrix mod N, to parametrize elliptic curves over \mathbb{C} together with a cyclic N-subgroup, or \Gamma_{1}(N), the subgroup of \text{SL}_{2}(\mathbb{Z}) which contains elements that reduce to an upper-triangular matrix with 1 on every diagonal entry mod N, to parametrize elliptic curves over \mathbb{C} together with a point of order N. These give us

Y_{0}(N)=\Gamma_{0}(N)\backslash\text{SL}_{2}(\mathbb{R})/\text{SO}(2)

and

Y_{1}(N)=\Gamma_{1}(N)\backslash\text{SL}_{2}(\mathbb{R})/\text{SO}(2)

Let us discuss some important properties of these moduli spaces, which will help us generalize them. The space \text{SL}_{2}(\mathbb{R})/\text{SO}(2), i.e. the upper-half plane, is an example of a Riemannian symmetric space. This means it is a Riemannian manifold whose group of automorphisms act transitively – in layperson’s terms, every point looks like every other point – and every point has an associated involution fixing only that point in its neighborhood.

These moduli spaces almost form smooth projective curves, but they have missing points called “cusps” that do not correspond to an isomorphism class of elliptic curves but rather to a “degeneration” of such. We can fill in these cusps to “compactify” these moduli spaces, and we get modular curves X(N), X_{0}(N), and X_{1}(N). On these modular curves live cusp forms, which are modular forms satisfying certain conditions at the cusps. Traditionally these modular forms are defined as functions on the upper-half plane satisfying certain conditions under the action of \text{SL}_{2}(\mathbb{Z}), but when they are cusp forms we may also think of them as sections of line bundles on these modular curves. In particular the cusp forms of “weight 2” are the differential forms on a modular curve.

These modular curves are equipped with Hecke operators, T_{p} and \langle p\rangle for every p not equal to N. These are operators on modular forms, but may also be thought of in terms of Hecke correspondences. We recall that elliptic curves over \mathbb{C} are lattices in \mathbb{C}. Take such a lattice \Lambda. The p-th Hecke correspondence is a sum over all the index p sublattices of \Lambda. It is a multivalued function from the modular curve to itself, but the better way to think of such a multivalued function is as a correspondence, a curve inside the product of the modular curve with itself.

With these properties as our guide, let us now proceed to generalize these concepts. One generalization is through the concept of an arithmetic manifold. This is a double coset space

\Gamma\backslash G(\mathbb{R})/K

where G is a semisimple algebraic group over \mathbb{Q}, K is a maximal compact subgroup of G(\mathbb{R}), and \Gamma is an arithmetic subgroup, which means that it is intersection with G(\mathbb{Z}) has finite index in both \Gamma and G(\mathbb{Z}). A theorem of Margulis says that, with a handful of exceptions, G(\mathbb{R})/K is a Riemannian symmetric space. Arithmetic manifolds are equipped with Hecke correspondences as well.

Arithmetic manifolds can be difficult to study. However, in certain cases, they form algebraic varieties, in which case we can use the methods of algebraic geometry to study them. For this to happen, the Riemannian symmetric space G(\mathbb{R})/K must have a complex structure compatible with its Riemannian structure, which makes it into a Hermitian symmetric space. The Baily-Borel theorem guarantees that the quotient of a Hermitian symmetric space by an arithmetic subgroup of G(\mathbb{Q}) is an algebraic variety. This is what Shimura varieties accomplish.

To motivate this better, we discuss the idea of Hodge structures. Let V be an n-dimensional real vector space. A (real) Hodge structure on V is a decomposition of its complexification V\otimes\mathbb{C} as follows:

\displaystyle V\otimes\mathbb{C}=\bigoplus_{p,q} V^{p,q}

such that V^{q,p} is the complex conjugate of V^{p,q}. The set of pairs (p,q) for which V^{p,q} is nonzero is called the type of the Hodge structure. Letting V_{n}=\bigoplus_{p+q=n} V^{p,q}, the decomposition V=\bigoplus_{n} V_{n} is called the weight decomposition. An integral Hodge structure is a \mathbb{Z}-module V together with a Hodge structure on V_{\mathbb{R}} such that the weight decomposition is defined over \mathbb{Q}. A rational Hodge structure is defined similarly but with V a finite-dimensional vector space over \mathbb{Q}.

An example of a Hodge structure is given by the singular cohomology of a smooth projective variety over \mathbb{C}:

\displaystyle H^{n}(X(\mathbb{C}),\mathbb{Z})\otimes_{\mathbb{Z}}\mathbb{C}=\bigoplus_{i+j=n}H^{j}(X,\Omega_{X/\mathbb{C}}^{i})

In particular for an abelian variety A, the integral Hodge structure of type (1,0),(0,1) given by the first singular cohomology H^{1}(A(\mathbb{C}),\mathbb{Z}) gives an integral Hodge structure of type (-1,0),(0,-1) on its dual, the first singular homology H_{1}(A(\mathbb{C}),\mathbb{Z}). Specifying such an integral Hodge structure of type (-1,0),(0,-1) on H_{1}(A(\mathbb{C}),\mathbb{Z}) is also the same as specifying a complex structure on H_{1}(A(\mathbb{C}),\mathbb{Z})\otimes_{\mathbb{Z}} \mathbb{R}. In fact, the category of integral Hodge structures of type (-1,0),(0,-1) is equivalent to the category of complex tori.

Let \mathbb{S} be the group \text{Res}_{\mathbb{C}/\mathbb{R}}\mathbb{G}_{\text{m}}. It is the Tannakian group for Hodge structures on finite-dimensional real vector spaces, which basically means that the category of Hodge structures on finite-dimensional real vector spaces are equivalent to the category of representations of \mathbb{S} on finite-dimensional real vector spaces. This lets us redefine Hodge structures as a pair (V,h) where V is a finite-dimensional real vector space and h is a map from \mathbb{S} to \text{GL}(V).

We have earlier stated that the category of integral Hodge structures of type (-1,0),(0,-1) is equivalent to the category of complex tori. However, not all complex tori are abelian varieties. To obtain an equivalence between some category of Hodge structures and abelian varieties, we therefore need a notion of polarizable Hodge structures. We let \mathbb{R}(n) denote the Hodge structure on \mathbb{R} of type (-n,-n) and define \mathbb{Q}(n) and \mathbb{Z}(n) analogously. A polarization on a real Hodge structure V of weight n is a morphism \Psi of Hodge structures from V\times V to \mathbb{R}(-n) such that the bilinear form defined by (u,v)\mapsto \Psi(u,h(i)v) is symmetric and positive semidefinite.

A polarizable Hodge structure is a Hodge structure that can be equipped with a polarization, and it turns out that the functor that assigns to an abelian variety A its first singular homology H_{1}(X,\mathbb{Z}) defines an equivalence of categories between the category of abelian varieties over \mathbb{C} and the category of polarizable integral Hodge structures of type (-1,0),(0,-1).

A Shimura datum is a pair (G,X) where G is a connected reductive group over \mathbb{Q}, and X is a G(\mathbb{R}) conjugacy class of homomorphisms from \mathbb{S} to G, satisfying the following conditions:

  • The composition of any h\in X with the adjoint action of G(\mathbb{R}) on its Lie algebra \mathfrak{g} induces a Hodge structure of type (-1,1)(0,0)(1,-1) on \mathfrak{g}.
  • For any h\in X, h(i) is a Cartan involution on G(\mathbb{R})^{\text{ad}}.
  • G^{\text{ad}} has no factor defined over \mathbb{Q} whose real points form a compact group.

Let (G,X) be a Shimura datum. For K a compact open subgroup of G(\mathbb{A}_{f}) where \mathbb{A}_{f} is the finite adeles (the restricted product of completions of \mathbb{Q} over all finite places, see also Adeles and Ideles), the Shimura variety \text{Sh}_{K}(G,X) is the double quotient

\displaystyle G(\mathbb{Q})\backslash (X\times G(\mathbb{A}_{f})/K)

The introduction of adeles serves the purpose of keeping track of the level structures all at once. The space \text{Sh}_{K}(G,X) is a disjoint union of locally symmetric spaces of the form \Gamma\backslash X^{+}, where X^{+} is a connected component of X and \Gamma is an arithmetic subgroup of G(\mathbb{Q})^{+}. By the Baily-Borel theorem, it is an algebraic variety. Taking the inverse limit of over compact open subgroups K gives us the Shimura variety at infinite level \text{Sh}(G,X).

Let us now look at some examples. Let G=\text{GL}_{2}, and let X be the conjugacy class of the map

\displaystyle h:a+bi\to\left(\begin{array}{cc}a&b\\ -b&a\end{array}\right)

There is a G(\mathbb{R})-equivariant bijective map from X to \mathbb{C}\setminus \mathbb{R} that sends h to i. Then the Shimura varieties \text{Sh}_{K}(G,X) are disjoint copies of modular curves and the Shimura variety at infinite level \text{Sh}(G,X) classifies isogeny classes of elliptic curves with full level structure.

Let’s look at another example. Let V be a 2n-dimensional symplectic space over \mathbb{Q} with symplectic form \psi. Let G be the group of symplectic similitudes \text{GSp}_{2n}, i.e. for k a \mathbb{Q}-algebra

\displaystyle G(k)=\lbrace g\in \text{GL}(V\otimes k)\vert \psi(gu,gv)=\nu(g)\psi(u,v)\rbrace

where \nu:G\to k^{\times} is called the similitude character. Let J be a complex structure on V_{\mathbb{R}} compatible with the symplectic form \psi and let X be the conjugacy class of the map h that sends a+bi to the linear transformation v\mapsto av+bJv. Then the conjugacy class X is the set of complex structures polarized by \pm\psi. The Shimura varieties Sh_{K}(G,X) are called Siegel modular varieties and they parametrize isogeny classes of n-dimensional principally polarized abelian varieties with level structure.

There are many other kinds of Shimura varieties, which parametrize abelian varieties with other kinds of extra structure. Just like modular curves, Shimura varieties also have many interesting aspects, from Galois representations (related to their having Hecke correspondences), to certain special points related to the theory of complex multiplication, to special cycles with height pairings generalizing results such as the Gross-Zagier formula in the study of special values of L-functions and their derivatives. There is also an analogous local theory; in this case, ideas from p-adic Hodge theory come into play, where we can further relate the p-adic analogue of Hodge structures and Galois representations. The study of Shimura varieties is a very fascinating aspect of modern arithmetic geometry.

References:

Shimura variety on Wikipedia

Reciprocity Laws and Galois Representations: Recent Breakthroughs by Jared Weinstein

Perfectoid Shimura Varieties by Ana Caraiani

Introduction to Shimura Varieties by J.S. Milne

Lecture Notes for Advanced Number Theory by Jared Weinstein

The Lubin-Tate Formal Group Law

A (one-dimensional, commutative) formal group law f(X,Y) over some ring A is a formal power series in two variables with coefficients in A satisfying the following axioms that among other things makes it behave like an abelian group law:

  • f(X,Y)=X+Y+\text{higher order terms}
  • f(X,Y)=f(Y,X)
  • f(f(X,Y),Z)=f(X,f(Y,Z))

A homomorphism of formal group laws g:f_{1}(X,Y)\to f_{2}(X,Y) is another formal power series in two variable such f_{1}(g(X,Y))=g(f_{2}(X,Y)). An endomorphism of a formal group law is a homomorphism of a formal group law to itself.

As basic examples of formal group laws, we have the additive formal group law \mathbb{G}_{a}(X,Y)=X+Y, and the multiplicative group law \mathbb{G}_{m}(X,Y)=X+Y+XY. In this post we will focus on another formal group law called the Lubin-Tate formal group law.

Let F be a nonarchimedean local field and let \mathcal{O}_{F} be its ring of integers. Let A be an \mathcal{O}_{F}-algebra with i:\mathcal{O}_{F}\to A its structure map. A formal \mathcal{O}_{F}-module law over A over A is a formal group law f(X,Y) such that for every element a of \mathcal{O}_{F} we have an associated endomorphism [a] of f(X,Y), and such that the linear term of this endomorphism as a power series is i(a)X.

Let \pi be a uniformizer (generator of the unique maximal ideal) of \mathcal{O}_{F}. Let q=p^{f} be the cardinality of the residue field of \mathcal{O}_{F}. There is a unique (up to isomorphism) formal \mathcal{O}_{F}-module law over \mathcal{O}_{F} such that as a power series its linear term is \pi X and such that it is congruent to X^{q} mod \pi. It is called the Lubin-Tate formal group law and we denote it by \mathcal{G}(X,Y).

The Lubin-Tate formal group law was originally studied by Jonathan Lubin and John Tate for the purpose of studying local class field theory (see Some Basics of Class Field Theory). The results of local class field theory state that the Galois group of the maximal abelian extension of F is isomorphic to the profinite completion \widehat{F}^{\times}. This profinite completion in turn decomposes into the product \mathcal{O}_{F}^{\times}\times \pi^{\widehat{\mathbb{Z}}}.

The factor isomorphic to \mathcal{O}_{F}^{\times} fixes the maximal unramified extension F^{\text{nr}} of F, the factor isomorphic to \pi^{\widehat{\mathbb{Z}}} fixes an infinite, totally ramified extension F_{\pi} of F, and we have that F=F^{\text{nr}}F_{\pi}. The theory of the Lubin-Tate formal group law was developed to study F_{\pi}, taking inspiration from the case where F=\mathbb{Q}_{p}. In this case \pi=p and the infinite totally ramified extension F_{p} is obtained by adjoining to \mathbb{Q}_{p} all p-th power roots of unity, which is also the p-th power torsion of the multiplicative group \mathbb{G}_{m}. We want to generalize \mathbb{G}_{m}, and this is what the Lubin-Tate formal group law accomplishes.

Let \mathcal{G}[\pi^{n}] be the set of all elements in the maximal ideal of some separable extension \mathcal{O}_{F} such that its image under the endomorphism [\pi^{n}] is zero. This takes the place of the p-th power roots of unity, and adjoining to F all the \mathcal{G}[\pi^{n}] for all n gives us the field F_{\pi}.

Furthermore, Lubin and Tate used the theory they developed to make local class field theory explicit in this case. We define the \pi-adic Tate module T_{\pi}(\mathcal{G}) as the inverse limit of \mathcal{G}[\pi^{n}] over all n. This is a free \mathcal{O}_{F}-module of rank 1 and its automorphisms are in fact isomorphic to \mathcal{O}_{F}^{\times}. Lubin and Tate proved that this is isomorphic to the Galois group of F_{\pi} over F and explicitly described the reciprocity map of local class field theory in this case as the map from F^{\times } to \text{Gal}(F_{\pi}/F) sending \pi to the identity and an element of \mathcal{O}_{F}^{\times} to the image of its inverse under the above isomorphism.

To study nonabelian extensions, one must consider deformations of the Lubin-Tate formal group. This will lead us to the study of the space of these deformations, called the Lubin-Tate space. This is intended to be the subject of a future blog post.

References:

Lubin-Tate Formal Group Law on Wikipedia

Formal Group Law on Wikipedia

The Geometry of Lubin-Tate Spaces by Jared Weinstein

A Rough Introduction to Lubin-Tate Spaces by Zhiyu Zhang

Formal Groups and Applications by Michiel Hazewinkel

Some Basics of Class Field Theory

Class field theory is one of the crown jewels of modern algebraic number theory. It can be viewed as a generalization of the “reciprocity laws” discovered by Carl Friedrich Gauss and other number theorists of the 19th century. However, as we have not yet discussed reciprocity laws in this blog, we will leave that point of view to the references for now. Instead, in order to describe class field theory, we rely on the following quote from the mathematician Claude Chevalley:

“The object of class field theory is to show how the abelian extensions of an algebraic number field K can be determined by objects drawn from our knowledge of K itself; or, if one prefers to present things in dialectic terms, how a field contains within itself the elements of its own transcending.”

Our approach in this post, as with much of the modern literature, will start from the “local” point of view, and then we will put together all these local pieces in order to have a “global” theory. Recall that there is an analogy between geometry and number theory, and that primes play the role of points in this analogy. Therefore, as in geometry “local” means “zooming in” on a point, in number theory “local” means “zooming in” on a prime. Putting these pieces together is akin to what we have done in Adeles and Ideles. This will become more clear when we define local fields and global fields.

Let K be a (nonarchimedean) local field. This means that K is complete with respect to a discrete valuation (see Valuations and Completions and Adeles and Ideles) and that its residue field is finite. These are either the fields \mathbb{Q}_{p} (the p-adic numbers), \mathbb{F}_{p}((t)) (the field of formal power series over a finite field \mathbb{F}_{p}), or their finite extensions. Let L be a finite extension of K.

We define the norm homomorphism as

\displaystyle N_{L|K}(x)=\prod_{\sigma}\sigma x

for x\in L and \sigma\in \text{Gal}(L|K) (note that there are many notations for the action of \sigma on x; in the book Algebraic Number Theory by Jurgen Neukirch, the notation x^{\sigma} is used instead). We let N_{L|K}L^{\times} stand for the image of the norm homomorphism in K. Then local class field theory tells us that we have the following isomorphism:

\displaystyle K^{\times}/N_{L|K}L^{\times}\xrightarrow{\sim}\text{Gal}(L|K)^{\text{ab}}.

We see that everything in the left-hand side belongs to the field K. This is related to Chevalley’s quote earlier. However, there is even more to this, as we shall see later.

Understanding more about this isomorphism requires the theory of Galois cohomology (see Etale Cohomology of Fields and Galois Cohomology). Namely, the Galois cohomology group H^{2}(\text{Gal}(L|K),L^{\times}) is isomorphic as a group to the group homomorphisms from \text{Gal}(L|K)^{\text{ab}} to K^{\times}/N_{L|K}L^{\times}. It is cyclic of degree equal to the degree of L over K.

There is an injective map from H^{2}(\text{Gal}(L|K),L^{\times}) to the quotient \mathbb{Q}/\mathbb{Z}, and the element of H^{2}(\text{Gal}(L|K),L^{\times}) that gets mapped to 1/n, where n is the degree of L over K, is precisely the element that corresponds to the inverse of the isomorphism K^{\times}/N_{L|K}L^{\times}\xrightarrow{\sim}\text{Gal}(L|K)^{\text{ab}}.

Now let K be a global field, which means that it is a finite extension either of \mathbb{Q} (the rational numbers) or of \mathbb{F}_{p}(t) (the function field over a finite field \mathbb{F}_{p}). Let L be a finite extension of K. Let C_{K} and C_{L} denote the idele class groups (see Adeles and Ideles) of K and L respectively. As in the local case, we will need a norm homomorphism, but this time it will be for idele class groups.

We will define this norm homomorphism “componentwise”. Writing an idele as (z_{w}), we take the norm N_{L_{w}|K_{v}}(z_{w}), and take the product for all primes w above v. We do this for every prime v of K, and thus we obtain an element of the group of ideles of K, and then we take the quotient to obtain an element of the idele class group of K. We denote by N_{L|K}C_{L} the image of this norm homomorphism in C_{K}.

Then global class field theory tells us that we have the following isomorphism:

\displaystyle C_{K}/N_{L|K}C_{L}\sim\text{Gal}(L|K)^{\text{ab}}

Again, as in the local case, everything in the left-hand side belongs to C_{K}.

As we have said earlier, we can obtain this isomorphism by putting together the local pieces from local class field theory, i.e. homomorphisms from K_{v}^{\times} to \text{Gal}(L_{w}|K_{v})^{\text{ab}} which come from the isomorphisms from K_{v}^{\times}/N_{L|K}L_{w}^{\times}, as ideles have components which are local fields, and then taking the quotient to obtain the isomorphism for idele class groups, similar to what we have done for the norm homomorphism.

However, in order to obtain the desired isomorphism, the map (called the Artin map)

\psi:I_{K}^{\times}\rightarrow\text{Gal}(L|K)^{\text{ab}}

from the group of ideles I_{K} of K to the group \text{Gal}(L|K)^{\text{ab}}, which is obtained from putting together the local pieces (before taking the quotients) must satisfy three properties:

(i) It has to be continuous with respect to the topologies on I_{K} and \text{Gal}(L|K) (the topology on the group of ideles is discussed in Adeles and Ideles, while the topology on \text{Gal}(L|K) is the so-called Krull topology – the latter is part of the theory of profinite groups).

(ii) The image of K^{\times} (as embedded in its group of ideles I_{K}) is equal to the identity.

(iii) It is equal to the Frobenius morphism for elements in I_{K}^{S} (see again Adeles and Ideles for the explanation of this notation), where S consists of the archimedean primes and those primes which are ramified in L (see Splitting of Primes in Extensions).

It is a challenging task in itself to prove that the Artin map does indeed satisfy these properties, and for now we leave it to the references. Instead, we mention a few more properties of class field theory. In the local case, class field theory also classifies the subgroups of K^{\times} which are of the form N_{L|K}L^{\times}, which correspond to the open subgroups of finite index in K^{\times}. Since the finite abelian extension L of K also obviously corresponds to the subgroup N_{L|K}L^{\times}, we then obtain a classification of the finite abelian extensions of K. Similarly, in the global case, class field theory classifies the subgroups of C_{K} which are of the form N_{L|K}C_{L}, which correspond to the open subgroups of finite index in C_{K}. The field which corresponds to the such a subgroup is called its class field. In the case that L is the maximal unramified abelian extension of K, L is called the Hilbert class field of K, and there we have the result that the ideal class group (see Algebraic Numbers) of K is isomorphic to the Galois group \text{Gal}(L|K). With the ideas discussed in this last paragraph, the goal of class field theory as expressed in the quote of Chevalley is fulfilled; we are able to describe the abelian extensions of K from knowledge only of K itself.

References:

Class Field Theory on Wikipedia

Artin Reciprocity Law on Wikipedia

Profinite Group on Wikipedia

Class Field Theory by J.S. Milne

Algebraic Number Theory by Jurgen Neukirch

Algebraic Number Theory by J. W. S. Cassels and A. Frohlich

A Panorama of Pure Mathematics by Jean Dieudonne

Primes of the Form x^{2}+ny^{2} by David A. Cox

Splitting of Primes in Extensions

In Algebraic Numbers we discussed how ideals factorize in an algebraic number field (recall that we had to look at factorization of ideals since the elements in the ring of integers of more general algebraic number fields may no longer factorize uniquely). In this post, we develop some more terminology related to this theory, and we also discuss how in the case of a so-called “Galois extension” the Galois group (see Galois Groups) may express information related to the factorization of ideals in an algebraic number field.

Let \mathfrak{p} be a prime ideal of the ring of integers \mathcal{O}_{K} of an algebraic number field K (we will sometimes also refer to \mathfrak{p} as a prime ideal of K – this is common practice and hopefully will not cause any confusion). In an algebraic number field L which contains K (we also say that L is an extension of K, and write L|K), this prime ideal \mathfrak{p} decomposes into a product of prime ideals \mathfrak{P}_{1},\mathfrak{P}_{2}...\mathfrak{P}_{r} in \mathcal{O}_L, with respective exponents e_{1},e_{2}...e_{r}, i.e.

\displaystyle \mathfrak{p}=\mathfrak{P}_{1}^{e_{1}}\mathfrak{P}_{2}^{e_{2}}...\mathfrak{P}_{n}^{e_{r}}.

The exponents e_{1},e_{2}...e_{r} are called the ramification indices of the prime ideals \mathfrak{P}_{1},\mathfrak{P}_{2},...\mathfrak{P}_{r}. If e_{i}=1, and the residue field extension \kappa(\mathfrak{P}_{i})|\kappa(\mathfrak{p}) (see below) is separable, we say that \mathfrak{P}_{i} is unramified over K. If e_{1}=e_{2}=...e_{r}=1, we say that the prime \mathfrak{p} is unramified. If all primes of K are unramified in L, we say that the extension L|K is unramified.

In the rest of this post we will continue to assume the factorization of \mathfrak{p} as shown above. The residue fields \kappa(\mathfrak{P}_{i}) and \kappa(\mathfrak{p}) of \mathcal{O}_{L} and \mathcal{O}_{K} at the primes \mathfrak{P}_{i} and \mathfrak{p} are defined as the quotients \mathcal{O}_{L}/\mathfrak{P}_{i} and \mathcal{O}_{K}/\mathfrak{p}, and the inertia degrees f_{i} are defined as the degrees of the fields \kappa(\mathfrak{P}_{i}) with respect to the field \kappa(\mathfrak{p}) (i.e. the dimensions of the vector spaces \kappa(\mathfrak{P}_{i}) over the field of scalars \kappa(\mathfrak{p})), i.e.

\displaystyle f_{i}=[\kappa(\mathfrak{P}_{i}):\kappa(\mathfrak{p})].

The ramification indices e_{i}, the inertia degrees f_{i}, and the degree n=[L:K] of the field extension L with respect to K are related by the following “fundamental identity“:

\displaystyle \sum_{i=1}^{r}e_{i}f_{i}=n

In order to understand these concepts better, we can look at the following “extreme” cases:

If e_{i}=1 and f_{i}=1 for all i, then r=n, and we say that the prime \mathfrak{p} splits completely in L.

If r=1 and f_{1}=1, then e_{1}=n, and we say that the prime \mathfrak{p} ramifies completely in L.

If r=1 and e_{1}=1, then f_{1}=n, and we say that the prime \mathfrak{p}  is inert in L.

Consider for example, the field \mathbb{Q}(i) as a field extension of the field \mathbb{Q}. The ring of integers of \mathbb{Q}(i) is the ring of Gaussian integers \mathbb{Z}[i] (see The Fundamental Theorem of Arithmetic and Unique Factorization), while the ring of integers of \mathbb{Q} is the ring of ordinary integers \mathbb{Z}. The degree [\mathbb{Q}(i):\mathbb{Q}] is equal to 2. The prime ideal (5) of \mathbb{Z} splits completely as the product (2+i)(2-i) in \mathbb{Z}[i], the prime ideal (2) of \mathbb{Q} ramifies completely as (1+i)^{2} in \mathbb{Z}[i], while the prime ideal (3) of \mathbb{Z} is inert in \mathbb{Z}[i].

We now bring in Galois groups. We assume that L is a Galois extension of K. This means that the order of G(L|K), the Galois group of L over K, is equal to the degree of L over K. In this case, it turns out that we will have

\displaystyle e_{1}=e_{2}=...=e_{r}

and

\displaystyle f_{1}=f_{2}=...=f_{r}.

The fundamental identity then becomes

efr=n.

This is but the first of many simplifications we obtain whenever we are dealing with Galois extensions.

Given a prime ideal \mathfrak{P} of \mathcal{O}_{K}, we define the decomposition group G_{\mathfrak{P}} as the subgroup of the Galois group G that fixes \mathfrak{P}, i.e.

\displaystyle G_{\mathfrak{P}}=\{\sigma\in G|\sigma\mathfrak{P=\mathfrak{P}}\}.

The elements of L that are fixed by the decomposition group G_{\mathfrak{P}} form what is called the decomposition field of K over \mathfrak{P}, denoted Z_{\mathfrak{P}}:

 \displaystyle Z_{\mathfrak{P}}=\{x\in L|\sigma x=x,\forall\sigma\in G_{\mathfrak{P}}\}

Every element \sigma of G_{\mathfrak{P}} automorphism \bar{\sigma} of \kappa(\mathfrak{P}) sending the element given by a\text{ mod }\mathfrak{P} to the element given by \sigma a\text{ mod }\mathfrak{P}. The residue field of the decomposition field Z_{\mathfrak{P}} with respect to \mathfrak{p} is the same as the residue field of the field K with respect to \mathfrak{p}, which is \kappa(\mathfrak{p}). Therefore we have a surjective homomorphism

\displaystyle G_{\mathfrak{P}}\rightarrow G(\kappa(\mathfrak{P})|\kappa(\mathfrak{p}))

which sends the element \sigma of G_{\mathfrak{P}} to the element \bar{\sigma} of G(\kappa(\mathfrak{P})|\kappa(\mathfrak{p})). The kernel of this homorphism is called the inertia group of \mathfrak{P} over K. Once again, the elements of L fixed by the inertia group I_{\mathfrak{P}} form what we call the inertia field of K over \mathfrak{P}, denoted T_{\mathfrak{P}}:

 \displaystyle T_{\mathfrak{P}}=\{x\in K|\sigma x=x,\forall\sigma\in I_{\mathfrak{P}}\}

The groups G_{\mathfrak{P}}, I_{\mathfrak{P}}, G(\kappa(\mathfrak{P})|\kappa(\mathfrak{p})) are related by the following exact sequence:

\displaystyle 0\rightarrow I_{\mathfrak{P}}\rightarrow G_{\mathfrak{P}}\rightarrow G(\kappa(\mathfrak{P})|\kappa(\mathfrak{p}))\rightarrow 0

Meanwhile, the relationship between the fields K, Z_{\mathfrak{P}}, T_{\mathfrak{P}}, and L can be summarized as follows:

\displaystyle K\subseteq Z_{\mathfrak{P}}\subseteq T_{\mathfrak{P}}\subseteq L

The ramification index, inertia degree, and the number of primes in K into which a prime \mathfrak{p} in L splits are given in terms of the degrees of the aforementioned fields as follows:

\displaystyle e=[L:T_{\mathfrak{P}}]

\displaystyle f=[T_{\mathfrak{P}}:Z_{\mathfrak{P}}]

\displaystyle r=[Z_{\mathfrak{P}}:K]

Let \mathfrak{P}_{Z}=\mathfrak{P}\cap Z_{\mathfrak{P}}, and \mathfrak{P}_{T}=\mathfrak{P}\cap T_{\mathfrak{P}}. We also refer to \mathfrak{P}_{Z} (resp. \mathfrak{P}_{T}) as the prime ideal of Z_{\mathfrak{P}} (resp. T_{\mathfrak{P}}) below \mathfrak{P}.

The ramification index of \mathfrak{P} over \mathfrak{P}_{T} is equal to e, and its inertia degree is equal to 1. Meanwhile, the ramification index of \mathfrak{P}_{T} over \mathfrak{P}_{Z} is equal to 1, and its inertia degree is equal to e. Finally, the ramification index and inertia degree of \mathfrak{P}_{Z} over \mathfrak{p} are both equal to 1.

We can therefore see that in the case of a Galois extension, the theory of the splitting of primes becomes simple and elegant. Before we end this post, there is one more concept that we will define. Let \mathfrak{P} be a prime that is unramified over K. Then G_{\mathfrak{P}} is isomorphic to G(\kappa(\mathfrak{P})|\kappa(\mathfrak{p})), it is cyclic, and it is generated by the unique automorphism

\displaystyle \varphi_{\mathfrak{P}}\equiv a^{q}\text{ mod }\mathfrak{P}    for all    \displaystyle a\in \mathcal{O}_{K}

where q=[\kappa(\mathfrak{P}):\kappa(\mathfrak{p})]. The automorphism \varphi_{\mathfrak{P}} is called the Frobenius automorphism, and it is a very important concept that shows up in many aspects of algebraic number theory.

References:

Splitting of Prime Ideals in Galois Extensions on Wikipedia

A Classical Introduction to Modern Number Theory by Kenneth Ireland and Michael Rosen

Number Fields by Daniel Marcus

Algebraic Theory of Numbers by Pierre Samuel

Algebraic Number Theory by Jurgen Neukirch

SEAMS School Manila 2017: Topics on Elliptic Curves

A few days ago, from July 17 to 25, I attended the SEAMS (Southeast Asian Mathematical Society) School held at the Institute of Mathematics, University of the Philippines Diliman, discussing topics on elliptic curves. The school was also partially supported by CIMPA (Centre International de Mathematiques Pures et Appliquees, or International Center for Pure and Applied Mathematics), and I believe also by the Roman Number Theory Association and the Number Theory Foundation. Here’s the official website for the event:

Southeast Asian Mathematical Society (SEAMS) School Manila 2017: Topics on Elliptic Curves

There were many participants from countries all over Southeast Asia, including Indonesia, Malaysia, Philippines, and Vietnam, as well as one participant from Austria and another from India. The lecturers came from Canada, France, Italy, and Philippines.

Jerome Dimabayao and Michel Waldschmidt started off the school, introducing the algebraic and analytic aspects of elliptic curves, respectively. We have tackled these subjects in this blog, in Elliptic Curves and The Moduli Space of Elliptic Curves, but the school discussed them in much more detail; for instance, we got a glimpse of how Karl Weierstrass might have come up with the function named after him, which relates the equation defining an elliptic curve to a lattice in the complex plane. This requires some complex analysis, which unfortunately we have not discussed that much in this blog yet.

Francesco Pappalardi then discussed some important theorems regarding rational points on elliptic curves, such as the Nagell-Lutz theorem and the famous Mordell-Weil theorem. Then, Julius Basilla discussed the counting of points of elliptic curves over finite fields, often making use of the Hasse-Weil inequality which we have discussed inThe Riemann Hypothesis for Curves over Finite Fields, and the applications of this theory to cryptography. Claude Levesque then introduced to us the fascinating theory of quadratic forms, which can be used to calculate the class number of a quadratic number field (see Algebraic Numbers), and the relation of this theory to elliptic curves.

Richell Celeste discussed the reduction of elliptic curves modulo primes, a subject which we have also discussed here in the post Reduction of Elliptic Curves Modulo Primes, and two famous problems related to elliptic curves, Fermat’s Last Theorem, which was solved by Andrew Wiles in 1995, and the still unsolved Birch and Swinnerton-Dyer conjecture regarding the rank of the group of rational points of elliptic curves. Fidel Nemenzo then discussed the classical problem of finding “congruent numbers“, rational numbers forming the sides of a right triangle whose area is given by an integer, and the rather surprising connection of this problem to elliptic curves.

On the last day of the school, Jerome Dimabayao discussed the fascinating connection between elliptic curves and Galois representations, which we have given a passing mention to at the end of the post Elliptic Curves. Finally, Jared Guissmo Asuncion gave a tutorial on the software PARI which we can use to make calculations related to elliptic curves.

Participants were also given the opportunity to present their research work or topics they were interested in. I gave a short presentation discussing certain aspects of algebraic geometry related to number theory, focusing on the spectrum of the integers, and a mention of related modern mathematical research, such as Arakelov theory, and the view of the integers as a curve (under the Zariski topology) and as a three-dimensional manifold (under the etale topology).

Aside from the lectures, we also had an excursion to the mountainous province of Rizal, which is a short distance away from Manila, but provides a nice getaway from the environment of the big city. We visited a couple of art museums (one of which was also a restaurant serving traditional Filipino cuisine), an underground cave system, and a waterfall. We used this time to relax and talk with each other, for instance about our cultures, and many other things. Of course we still talked about mathematics, and during this trip I learned about many interesting things from my fellow participants, such as the class field theory problem and the subject of real algebraic geometry .

I believe lecture notes will be put up on the school website at some point by some of the participants of the school. For now, some of the lecturers have put up useful references for their lectures.

SEAMS School Manila 2017 was actually the first summer school or conference of its kind that I attended in mathematics, and I enjoyed very much the time I spent there, not only in learning about elliptic curves but also making new friends among the mathematicians in attendance. At some point I also hope to make some posts on this blog regarding the interesting things I have learned at that school.

Adeles and Ideles

In Valuations and Completions we introduced the p-adic numbers \mathbb{Q}_{p}, which, like the real numbers, are the completion of the rational numbers under a certain kind of valuation. There is one such valuation for each prime number p, and another for the “infinite prime”, which is just the usual absolute value. Each valuation may be thought of as encoding number theoretic information related to the prime p, or to the “infinite prime”, for the case of the absolute value (more technically, the p-adic valuations are referred to as nonarchimedean valuations, while the absolute value is an example of an archimedean valuation).

We can consider valuations not only for the rational numbers, but for more general algebraic number fields as well. In its abstract form, given an algebraic number field K, a (multiplicative) valuation of K is simply any function |\ | from K to \mathbb{R} satisfying the following properties:

(i) |x|\geq 0, where x=0 if and only if x=0

(ii) |xy|=|x||y|

(iii) |x+y|\leq|x|+|y|

If this seems reminiscent of the discussion in Metric, Norm, and Inner Product, it is because a valuation does, in fact, define a metric on K, and by extension, a topology. Two valuations are equivalent if they define the same topology; another way to phrase this statement is that two valuations |\ |_{1} and |\ |_{2} are equivalent if |x|_{1}=|x|_{2}^{s} for some positive real number s, for all x\in K.  The valuation is nonarchimedean if |x+y|\leq\text{max}\{|x|,|y|\}; otherwise, it is archimedean.

Just as in the case of rational numbers, we also have an exponential valuation, defined as a function v from the field K to \mathbb{R}\cup \infty satisfying the following conditions:

(i) v(x)=\infty if and only if x=0

(ii) v(xy)=v(x)+v(y)

(iii) v(x+y)\geq\text{min}\{v(x),v(y)\}

Two exponential valuations v_{1} and v_{2} are equivalent if v_{1}(x)=sv_{2}(x) for some real number s, for all x\in K.

The idea of valuations allows us to make certain concepts in algebraic number theory (see Algebraic Numbers) more abstract. We define a place v of an algebraic number field K as an equivalence class of valuations of K. We write K_{v} to denote the completion of K under the place v; these are the generalizations of the p-adic numbers and real numbers to algebraic number fields other than \mathbb{Q}. The nonarchimedean places are also called the finite places, while the archimedean places are also called the infinite places. To express whether a place v is a finite place or an infinite place, we write v|\infty or v\nmid\infty respectively.

The infinite places are of two kinds; the ones for which K_{v} is isomorphic to \mathbb{R} are called the real places, while the ones for which K_{v} is isomorphic to \mathbb{C} are called the complex places. The number of real places and complex places of K, denoted by r_{1} and r_{2} respectively, satisfy the equation r_{1}+2r_{2}=n, where n is the degree of K over \mathbb{Q}, i.e. n=[K:\mathbb{Q}].

By the way, in some of the literature, such as in the book Algebraic Number Theory by Jurgen Neukirch, “places” are also referred to as “primes“. This is intentional – one may actually think of our definition of places as being like a more abstract replacement of the definition of primes. This is quite advantageous in driving home the concept of primes as equivalence classes of valuations; however, to avoid confusion, we will stick to using the term “places” here, along with its corresponding notation.

When v is a nonarchimedean valuation, we let \mathfrak{o}_{v} denote the set of all elements x of K_{v} for which |x|_{v}\leq 1. It is an example of a ring with special properties called a valuation ring. This means that, for any x in K, either x or x^{-1} must be in \mathfrak{o}_{v}. We let \mathfrak{o}_{v}^{*} denote the set of all elements of \mathfrak{o}_{v} for which |x|_{v}=1, and we let \mathfrak{p}_{v} denote the set of all elements of \mathfrak{o}_{v} for which |x|_{v}< 1. It is the unique maximal ideal of \mathfrak{o}_{v}.

Now we proceed to consider the modern point of view in algebraic number theory, which is to consider all these equivalence classes of valuations together. This will lead us to the language of adeles and ideles.

An adele \alpha of K is a family (\alpha_{v}) of elements \alpha_{v} of K_{v} where \alpha_{v}\in K_{v}, and \alpha_{v}\in\mathfrak{o}_{v} for all but finitely many v. We can define addition and multiplication componentwise on adeles, and the resulting ring of adeles is then denoted \mathbb{A}_{K}. The group of units of the ring of adeles is called the group of ideles, denoted I_{K}. For a finite set of primes S that includes the infinite primes, we let

\displaystyle \mathbb{A}_{K}^{S}=\prod_{v\in S}K_{v}\times\prod_{v\notin S}\mathfrak{o}_{v}

and

\displaystyle I_{K}^{S}=\prod_{v\in S}K_{v}^{*}\times\prod_{v\notin S}\mathfrak{o}_{v}^{*}.

We denote the set of infinite primes by S_{\infty}. Then \mathfrak{o}_{K}, the ring of integers of the number field K, is given by K\cap\mathbb{A}_{K}^{S_{\infty}}, while \mathfrak{o}_{K}^{*}, the group of units of \mathfrak{o}_{K}, is given by K^{*}\cap I_{K}^{S_{\infty}}.

Any element of K is also an element of \mathbb{A}_{K}, and any element of K^{*} (the group of units of K) is also an element of I_{K}. The elements of I_{K} which are also elements of K^{*} are called the principal ideles. This should not be confused with the concept of principal ideals; however the terminology is perhaps suggestive on purpose. In fact, ideles and fractional ideals are related. Any fractional ideal \mathfrak{a} can be expressed in the form

\displaystyle \mathfrak{a}=\prod_{\mathfrak{p}}\mathfrak{p}^{\nu_{\mathfrak{p}}}.

Therefore, we have a mapping

\displaystyle \alpha\mapsto (\alpha)=\prod_{\mathfrak{p}}\mathfrak{p}^{v_{\mathfrak{p}}(\alpha_v)}

from the group of ideles to the group of fractional ideals. This mapping is surjective, and its kernel is I_{K}^{S_{\infty}}.

The quotient group I_{K}/K^{*} is called the idele class group of K, and is denoted by C_{K}. Again, this is not to be confused with the ideal class group we discussed in Algebraic Numbers, although the two are related; in the language of ideles, the ideal class group is defined as I_{K}/I_{K}^{S_{\infty}}K^{*}, and is denoted by Cl_{K}. There is a surjective homomorphism C_{K}\mapsto Cl_{K} induced by the surjective homomorphism from the group of ideles to the group of fractional ideals that we have described in the preceding paragraph.

An important aspect of the concept of adeles and ideles is that they can be equipped with topologies (see Basics of Topology and Continuous Functions). For the adeles, this topology is generated by the neighborhoods of 0 in \mathbb{A}_{K}^{S_{\infty}} under the product topology. For the ideles, this topology is defined by the condition that the mapping \alpha\mapsto (\alpha,\alpha^{-1}) from I_{K} into \mathbb{A}_{K}\times\mathbb{A}_{K} be a homeomorphism onto its image. Both topologies are locally compact, which means that every element has a neighborhood which is compact, i.e. every open cover of that neighborhood has a finite subcover. For the group of ideles, its topology is compatible with its group structure, which makes it into a locally compact topological group.

In this post, we have therefore seen how the theory of valuations can allow us to consider a more abstract viewpoint for algebraic number theory, and how considering all the valuations together to form adeles and ideles allows us to rephrase the usual concepts related to algebraic number fields, such as the ring of integers, its group of units, and the ideal class group, in a new form. In addition, the topologies on the adeles and ideles can be used to obtain new results; for instance, because the group of ideles is a locally compact topological (abelian) group, we can use the methods of harmonic analysis (see Some Basics of Fourier Analysis) to study it. This is the content of the famous thesis of the mathematician John Tate. Another direction where the concept of adeles and ideles can take us is class field theory, which relates the idele class group to the other important group in algebraic number theory, the Galois group (see Galois Groups). The language of adeles and ideles can also be applied not only to algebraic number fields but also to function fields of curves over finite fields. Together these fields are also known as global fields.

References:

Adele Ring on Wikipedia

Tate’s Thesis on Wikipedia

Class Field Theory on Wikipedia

Algebraic Number Theory by Jurgen Neukirch

Algebraic Number Theory by J. W. S. Cassels and A. Frohlich

A Panorama of Pure Mathematics by Jean Dieudonne

Some Useful Links on the Hodge Conjecture, Kahler Manifolds, and Complex Algebraic Geometry

I’m going to be fairly busy in the coming days, so instead of the usual long post, I’m going to post here some links to interesting stuff I’ve found online (related to the subjects stated on the title of this post).

In the previous post, An Intuitive Introduction to String Theory and (Homological) Mirror Symmetry, we discussed Calabi-Yau manifolds (which are special cases of Kahler manifolds) and how their interesting properties, namely their Riemannian, symplectic, and complex aspects figure into the branch of mathematics called mirror symmetry, which is inspired by the famous, and sometimes controversial, proposal for a theory of quantum gravity (and more ambitiously a candidate for the so-called “Theory of Everything”), string theory.

We also mentioned briefly a famous open problem concerning Kahler manifolds called the Hodge conjecture (which was also mentioned in Algebraic Cycles and Intersection Theory). The links I’m going to provide in this post will be related to this conjecture.

As with the post An Intuitive Introduction to String Theory and (Homological) Mirror Symmetry, aside from introducing the subject itself, another of the primary intentions will be to motivate and explore aspects of algebraic geometry such as complex algebraic geometry, and their relation to other branches of mathematics.

Here is the page on the Hodge conjecture, found on the website of the Clay Mathematics Institute:

Hodge Conjecture on Clay Mathematics Institute

We have mentioned before that the Hodge conjecture is one of seven “Millenium Problems” for which the Clay Mathematics Institute is offering a million dollar prize. The page linked to above contains the official problem statement as stated by Pierre Deligne, and a link to a lecture by Dan Freed, which is intended for a general audience and quite understandable. The lecture by Freed is also available on Youtube:

Dan Freed on the Hodge Conjecture at the Clay Mathematics Institute on Youtube

Unfortunately the video of that lecture has messed up audio (although the lecture remains understandable – it’s just that the audio comes out of only one side of the speakers or headphones). Here is another set of videos by David Metzler on Youtube, which explains the Hodge conjecture (along with the other Millennium Problems) to a general audience:

Millennium Problem Talks on Youtube

The Hodge conjecture is also related to certain aspects of number theory. In particular, we have the Tate conjecture, which is another conjecture similar to the Hodge conjecture, but more related to Galois groups (see Galois Groups). Alex Youcis discusses it on the following post on his blog Hard Arithmetic:

The Tate Conjecture over Finite Fields on Hard Arithmetic

On the same blog there is also a discussion of a version of the Hodge conjecture called the p-adic Hodge conjecture on the following post:

An Invitation to p-adic Hodge Theory; or How I Learned to Stop Worrying and Love Fontaine on Hard Arithmetic

The first part of the post linked to above discusses the Hodge conjecture in its classical form, while the second part introduces p-adic numbers and related concepts, some aspects of which were discussed on this blog in Valuations and Completions.

A more technical discussion of the Hodge conjecture, Kahler manifolds, and complex algebraic geometry can be found in the following lecture of Claire Voisin, which is part of the Proceedings of the 2010 International Congress of Mathematicians in Hyderabad, India:

On the Cohomology of Algebraic Varieties by Claire Voisin

More about these subjects will hopefully be discussed on this blog at sometime in the future.

Reduction of Elliptic Curves Modulo Primes

We have discussed elliptic curves over the rational numbers, the real numbers, and the complex numbers in Elliptic Curves. In this post, we discuss elliptic curves over finite fields of the form \mathbb{F}_{p}, where p is a prime, obtained by “reducing” an elliptic curve over the integers modulo p (see Modular Arithmetic and Quotient Sets).

We recall that in Elliptic Curves we gave the definition of an elliptic curve as a polynomial equation that we may write as

\displaystyle y^{2}=x^{3}-ax+b

with a and b satisfying the condition that

\displaystyle 4a^{3}+27b^{2}\neq 0.

Still, we claimed that we will not be able to write the equation of the elliptic curve when the coefficients of the elliptic curve are of characteristic equal to 2 or 3, as is the case for the finite fields \mathbb{F}_{2} or \mathbb{F}_{3}, therefore we will give more general forms for the equation of the elliptic curve later, along with the appropriate conditions. To help us with the latter, we will first look at the case of curves over the real numbers, where we can still make use of the equations above, and see what happens when the conditions on a and b are not satisfied.

Let both a and b both be equal to 0, in which case the condition is not satisfied. Then our curve (which is not an elliptic curve) is given by the equation

\displaystyle y^{2}=x^{3}

whose graph in the xy plane is given by the following figure (plotted using the WolframAlpha software):

msp8421ceh7049d511806600001ha509ah5dee52ed

Next let a=-3 and b=2. Once again the condition is not satisfied. Our curve is given by

\displaystyle y^{2}=x^{3}-3x+2

and whose graph is given by the following figure (again plotted using WolframAlpha):

msp51201b91cb194c07ih2g0000670ibac2gfha7c42

Note also that in both cases, the right hand side of the equations of the curves are polynomials in x with a double or triple root; for y^{2}=x^{3}, the right hand side, x^{3}, has a triple root at x=0, while for y^{2}=x^{3}-3x+2, the right hand side, x^{3}-3x+2, factors into y^{2}=(x-1)^{2}(x+2) and therefore has a double root at x=1.

The two curves, y^{2}=x^{3} and y^{2}=x^{3}-3x+2, are examples of singular curves. It is therefore a requirement for a curve to be an elliptic curve, that it must be nonsingular.

We now introduce the general form of an elliptic curve, applicable even when the coefficients belong to fields of characteristic 2 or 3, along with the general condition for it to be nonsingular. We note that the elliptic curve has a “point at infinity“; in order to make this idea explicit, we make use of the notion of projective space (see Projective Geometry) and write our equation in homogeneous coordinates X, Y, and Z:

\displaystyle Y^{2}Z+a_{1}XYZ+a_{3}YZ^{2}=X^{3}+a_{2}XZ^{2}+a_{4}X^{2}Z+a_{6}Z^{3}

This equation is called the long Weierstrass equation. We may also say that it is in long Weierstrass form.

We can now define what it means for a curve to be singular. Let

\displaystyle F=Y^{2}Z+a_{1}XYZ+a_{3}YZ^{2}-X^{3}-a_{2}XZ^{2}-a_{4}X^{2}Z-a_{6}Z^{3}

Then a singular point on this curve F is a point with coordinates a, b, and c such that

\displaystyle \frac{\partial F}{\partial X}(a,b,c)=\frac{\partial F}{\partial Y}(a,b,c)=\frac{\partial F}{\partial Z}(a,b,c)=0

It might be difficult to think of calculus when we are considering, for example, curves over finite fields, where there are a finite number of points on the curve, so we might instead just think of the partial derivatives of the curve as being obtained “algebraically” using the “power rule” of basic calculus,

\displaystyle \frac{d(x^{n})}{dx}=nx^{n-1}

and applying it, along with the usual rules for partial derivatives and constant factors, to every term of the curve. Such is the power of algebraic geometry; it allows us to “import” techniques from calculus and other areas of mathematics which we would not ordinarily think of as being applicable to cases such as curves over finite fields.

If a curve has no singular points, then it is called a nonsingular curve. We may also say that the curve is smooth. In order for a curve written in long Weierstrass form to be an elliptic curve, we require that it be a nonsingular curve as well.

If the coefficients of the curve are not of characteristic equal to 2, we can make a projective transformation of variables to write its equation in a simpler form, known as the short Weierstrass equation, or short Weierstrass form:

Y^{2}Z=X^{3}+a_{2}X^{2}Z+a_{4}XZ^{2}+a_{6}Z^{3}

In this case the condition for the curve to be nonsingular can be written in the following form:

\displaystyle -4a_{2}^{3}a_{6}+a_{2}^{2}a_{4}^{2}+18a_{4}a_{2}a_{6}-4a_{4}^{3}-27a_{6}^{2}=0

The quantity

\displaystyle D=-4a_{2}^{3}a_{6}+a_{2}^{2}a_{4}^{2}+18a_{4}a_{2}a_{6}-4a_{4}^{3}-27a_{6}^{2}

is called the discriminant of the curve.

We note now, of course, that the usual expressions for the elliptic curve, in what we call affine coordinates x and y, can be recovered from our expression in terms of homogeneous coordinates X, Y, and Z simply by setting x=\frac{X}{Z} and y=\frac{Y}{Z}. The case Z=0 of course corresponds to the “point at infinity”.

We now consider an elliptic curve whose equation has coefficients which are rational numbers. We can make a projective transformation of variables to rewrite the equation into one which has integers as coefficients. Then we can reduce the coefficients modulo a prime p and investigate the points of the elliptic curve considered as having coordinates in the finite field \mathbb{F}_{p}.

It may happen that when we reduce an elliptic curve modulo p, the resulting curve over the finite field \mathbb{F}_{p} is no longer nonsingular. In this case we say that it has bad reduction at p. Consider, for example, the following elliptic curve (written in affine coordinates):

\displaystyle y^{2}=x^{3}-4x^{2}+16

Let us reduce this modulo the prime p=11. Then, since -4\equiv 7 \text{mod }11 and 16\equiv 5 \text{mod }11, we obtain the curve

\displaystyle y^{2}=x^{3}+7x^{2}+5

over \mathbb{F}_{11}. The right hand side actually factors into (x+1)^{2}(x+5) over \mathbb{F}_{11}, which means that it has a double root at x=10 (which is equivalent to x=-1 modulo 11), and has discriminant equal to zero over \mathbb{F}_{11}, hence, this curve over \mathbb{F}_{11} is singular, and the elliptic curve given by y^{2}=x^{3}+7x^{2}+5 has bad reduction at p=11. It also has bad reduction at p=2; in fact, we mentioned earlier that we cannot even write an elliptic curve in the form y^{2}=x^{3}+a_{2}x^{2}+a_{4}x+a_{6} when the field of coefficients have characteristic equal to 2. This is because such a curve will always be singular over such a field. The curve y^{2}=x^{3}+7x^{2}+5 remains nonsingular over all other primes, however; we also say that the curve has good reduction over all primes p except for p=2 and p=11.

In the case that an elliptic curve has bad reduction at p, we say that it has additive reduction if there is only one tangent line at the singular point (we also say that the singular point is a cusp), for example in the case of the curve y^{2}=x^{3}, and we say that it has multiplicative reduction if there are two distinct tangent lines at the singular point (in this case we say that the singular point is a node), for example in the case of the curve y^{2}=x^{3}-3x+2. If the slope of these tangent lines are given by elements of the same field as the coefficients of the curve (in our case rational numbers), we say that it has split multiplicative reduction, otherwise, we say that it has nonsplit multiplicative reduction. We note that since we are working with finite fields, what we describe as “tangent lines” are objects that we must define “algebraically”, as we have done earlier when describing the notion of a curve being singular.

As we have already seen in The Riemann Hypothesis for Curves over Finite Fields, whenever we have a curve over some finite field \mathbb{F}_{q} (where q=p^{n} for some natural number n), our curve will also have a finite number of points, and these points will have coordinates in \mathbb{F}_{q}. We denote the number of these points by N_{q}. In our case, we are interested in the case n=1, so that q=p. When our elliptic curve has good reduction over p, we define a quantity a_{p}, sometimes called the p-defect, or also known as the trace of Frobenius, as

\displaystyle a_{p}=p+1-N_{p}.

We can now define the Hasse-Weil L-function of an elliptic curve E as follows:

\displaystyle L_{E}(s)=\prod_{p}L_{p}(s)

where p runs over all prime numbers, and

\displaystyle L_{p}(s)=\frac{1}{(1-a_{p}p^{-s}+p^{1-2s})}    if E has good reduction at p

\displaystyle L_{p}(s)=\frac{1}{(1-p^{-s})}    if E has split multiplicative reduction at p

\displaystyle L_{p}(s)=\frac{1}{(1+p^{-s})}    if E has nonsplit multiplicative reduction at p

\displaystyle L_{p}(s)=1    if E has additive reduction at p.

The Hasse-Weil L-function encodes number-theoretic information related to the elliptic curve, and much of modern mathematical research involves this function. For example, the Birch and Swinnerton-Dyer conjecture says that the rank of the group formed by the rational points of the elliptic curve (see Elliptic Curves), also known as the Mordell-Weil group, is equal to the order of the zero of the Hasse-Weil L-function at s=1, i.e. we have the following Taylor series expansion of the Hasse-Weil L-function at s=1:

\displaystyle L_{E}(s)=c(s-1)^{r}+\text{higher order terms}

where c is a constant and r is the rank of the elliptic curve.

Meanwhile, the Shimura-Taniyama-Weil conjecture, now also known as the modularity conjecture, central to Andrew Wiles’s proof of Fermat’s Last Theorem, states that the Hasse-Weil L-function can be expressed as the following series:

\displaystyle L_{E}(s)=\sum_{n=1}^{\infty}\frac{a_{n}}{n^{s}}

and the coefficients a_{n} are also the coefficients of the Fourier series expansion of some modular form f(E,\tau) (see The Moduli Space of Elliptic Curves):

\displaystyle f(E,\tau)=\sum_{n=1}^{\infty}a_{n}e^{2\pi i \tau}.

For more on the modularity theorem and Wiles’s proof of Fermat’s Last Theorem, the reader is encouraged to read the award-winning article A Marvelous Proof by Fernando Q. Gouvea, which is freely and legally available online. A link to this article (hosted on the website of the Mathematical Association of America) is provided among the list of references below.

References:

Elliptic Curve on Wikipedia

Hasse-Weil Zeta Function on Wikipedia

Birch and Swinnerton-Dyer Conjecture on Wikipedia

Modularity Theorem on Wikipedia

Wiles’s Proof of Fermat’s Last Theorem on Wikipedia

The Birch and Swinnerton-Dyer Conjecture by Andrew Wiles

A Marvelous Proof by Fernando Q. Gouvea

A Friendly Introduction to Number Theory by Joseph H. Silverman

The Arithmetic of Elliptic Curves by Joseph H. Silverman

Advanced Topics in the Arithmetic of Elliptic Curves by Joseph H. Silverman

Invitation to the Mathematics of Fermat-Wiles by Yves Hellegouarch

A First Course in Modular Forms by Fred Diamond and Jerry Shurman

The Moduli Space of Elliptic Curves

A moduli space is a kind of “parameter space” that “classifies” mathematical objects. Every point of the moduli space stands for a mathematical object, in such a way that mathematical objects which are more similar to each other are closer and those that are more different from each other are farther apart. We may use the notion of equivalence relations (see Modular Arithmetic and Quotient Sets) to assign several objects which are in some sense “isomorphic” to each other to a single point.

We have discussed on this blog before one example of a moduli space – the projective line (see Projective Geometry). Every point on the projective line corresponds to a geometric object, a line through the origin. Two lines which have almost the same value of the slope will be closer on the projective line compared to two lines which are almost perpendicular.

Another example of a moduli space is that for circles on a plane – such a circle is specified by three real numbers, two coordinates for the center and one positive real number for the radius. Therefore the moduli space for circles on a plane will consist of a “half-volume” of some sort, like 3D space except that one coordinate is restricted to be strictly positive. But if we only care about the circles up to “congruence”, we can ignore the coordinates for the center – or we can also think of it as simply sending circles with the same radius to a single point, even if they are centered at different points. This moduli space is just the positive real line. Every point on this moduli space, which is a positive real number, corresponds to all the circles with radius equal to that positive real number.

We now want to construct the moduli space of elliptic curves. In order to do this we will need to first understand the meaning of the following statement:

Over the complex numbers, an elliptic curve is a torus.

We have already seen in Elliptic Curves what an elliptic curve looks like when graphed in the xy plane, where x and y are real numbers. This gives us a look at the points of the elliptic curve whose coordinates are real numbers, or to put it in another way, these are the real numbers x and y which satisfy the equation of the elliptic curve.

When we look at the points of the elliptic curve with complex coordinates, or in other words the complex numbers which satisfy the equation of the elliptic curve, the situation is more complicated. First off, what we actually have is not what we usually think of as a curve, but rather a surface, in the same way that the complex numbers do not form a line like the real numbers do, but instead form a plane. However, even though it is not easy to visualize, there is a function called the Weierstrass elliptic function which provides a correspondence between the (complex) points of an elliptic curve and the points in the “fundamental parallelogram” of a lattice in the complex plane. We can think of “gluing” the opposite sides of this fundamental parallelogram to obtain a torus. This is what we mean when we say that an elliptic curve is a torus. This also means that there is a correspondence between elliptic curves and lattices in the complex plane.

We will discuss more about lattices later on in this post, but first, just in case the preceding discussion seems a little contrived, we elaborate a bit on the Weierstrass elliptic function. We must first discuss the concept of a holomorphic function. We have discussed in An Intuitive Introduction to Calculus the concept of the derivative of a function. Now not all functions have derivatives that exist at all points; in the case that the derivative of the function does exist at all points, we refer to the function as a differentiable function.

The concept of a holomorphic function in complex analysis (analysis is the term usually used in modern mathematics to refer to calculus and its related subjects) is akin to the concept of a differentiable function in real analysis. The derivative is defined as the limit of a certain ratio as the numerator and the denominator both approach zero; on the real line, there are limited ways in which these quantities can approach zero, but on the complex plane, they can approach zero from several different directions; for a function to be holomorphic, the expression for its derivative must remain the same regardless of the direction by which we approach zero.

In previous posts on topology on this blog we have been treating two different topological spaces as essentially the same whenever we can find a bijective and continuous function (also known as a homeomorphism) between them; similarly, we have been treating different algebraic structures such as groups, rings, modules, and vector spaces as essentially the same whenever we can find a bijective homomorphism (an isomorphism) between two such structures. Following these ideas and applying them to complex analysis, we may treat two spaces as essentially the same if we can find a bijective holomorphic function between them.

The Weierstrass elliptic function is not quite holomorphic, but is meromorphic – this means that it would have been holomorphic everywhere if not for the “lattice points” where there exist “poles”. But it is alright for us, because such a lattice point is to be mapped to the “point at infinity”. All in all, this allows us to think of the complex points of the elliptic curve as being essentially the same as a torus, following the ideas discussed in the preceding paragraph.

Moreover, the torus has a group structure of its own, considered as the direct product group \text{U}(1)\times\text{U}(1) where \text{U}(1) is the group of complex numbers of magnitude equal to 1 with the law of composition given by the multiplication of complex numbers. When the complex points of the elliptic curve get mapped by the Weierstrass elliptic function to the points of the torus, the group structure provided by the “tangent and chord” or “tangent and secant” construction becomes the group structure of the torus. In other words, the Weierstrass elliptic function provides us with a group isomorphism.

All this discussion means that the study of elliptic curves becomes the study of lattices in the complex plane. Therefore, what we want to construct is the moduli space of lattices in the complex plane, up to a certain equivalence relation – two lattices are to be considered equivalent if one can be obtained by multiplying the other by a complex number (this equivalence relation is called homothety). Going back to elliptic curves, this corresponds to an isomorphism of elliptic curves in the sense of algebraic geometry.

Now given two complex numbers \omega_{1} and \omega_{2}, a lattice \Lambda in the complex plane is given by

\Lambda=\{m\omega_{1}+n\omega_{2}|m,n\in\mathbb{Z}\}

For example, setting \omega_{1}=1 and \omega_{2}=i, gives a “square” lattice. This lattice is also the set of all Gaussian integers. The fundamental parallelogram is the parallelogram formed by the vertices 0, \omega_{1}, \omega_{2}, and \omega_{1}+\omega_{2}. Here is an example of a lattice, courtesy of used Alvaro Lozano Robledo of Wikipedia:

fundamental_parallelogram

The fundamental parallelogram is in blue. Here is another, courtesy of user Sam Derbyshire of Wikipedia:

200px-lattice_torsion_points-svg

Because we only care about lattices up to homothety, we can “rescale” the lattice by multiplying it with a complex number equal to \frac{1}{\omega_{1}}, so that we have a new lattice equivalent under homothety to the old one, given by

\Lambda=\{m+n\omega|m,n\in\mathbb{Z}\}

where

\displaystyle \tau=\frac{\omega_{2}}{\omega_{1}}.

We can always interchange \omega_{1} and \omega_{2}, but we will fix our convention so that the complex number \tau=\frac{\omega_{2}}{\omega_{1}}, when written in polar form \tau=re^{i\theta} always has a positive angle \theta between 0 and 180 degrees. If we cannot obtain this using our choice of \omega_{1} and \omega_{2}, then we switch the two.

Now what this means is that a complex number \omega, which we note is a complex number in the upper half plane \mathbb{H}=\{z\in \mathbb{C}|\text{Im}(z)>0\}, because of our convention in choosing \omega_{1} and \omega_{2}, uniquely specifies a homothety class of lattices \Lambda. However, a homothety class of lattices may not always uniquely specify such a complex number \tau. Several such complex numbers may refer to the same homothety class of lattices.

What \omega_{1} and \omega_{2} specify is a choice of basis (see More on Vector Spaces and Modules) for the lattice \Lambda; we may choose several different bases to refer to the same lattice. Hence, the upper half plane is not yet the moduli space of all lattices in the complex plane (up to homothety); instead it is an example of what is called a Teichmuller space. To obtain the moduli space from the Teichmuller space, we need to figure out when two different bases specify lattices that are homothetic.

We will just write down the answer here; two complex numbers \tau and \tau' refer to homothetic lattices if there exists the following relation between them:

\displaystyle \tau'=\frac{a\tau+b}{c\tau+d}

for integers abc, and d satisfying the identity

\displaystyle ad-bc=1.

We can “encode” this information into a 2\times 2 matrix (see Matrices) which is an element of the group (see Groups) called \text{SL}(2,\mathbb{Z}). It is the group of 2\times 2 matrices with integer entries and determinant equal to 1. Actually, the matrix with entries abc, and d and the matrix with entries -a-b-c, and -d specify the same transformation, therefore what we actually want is the group called \text{PSL}(2,\mathbb{Z}), also known as the modular group, and also written \Gamma(1), obtained from the group \text{SL}(2,\mathbb{Z}) by considering two matrices to be equivalent if one is the negative of the other.

We now have the moduli space that we want – we start with the upper half plane \mathbb{H}, and then we identify two points if we can map one point into the other via the action of an element of the modular group, as we have discussed earlier. In technical language, we say that they belong to the same orbit. We can write our moduli space as \Gamma(1)\backslash\mathbb{H} (the notation means that the group \Gamma(1) acts on \mathbb{H} “on the left”).

When dealing with quotient sets, which are sets of equivalence classes, we have seen in Modular Arithmetic and Quotient Sets that we can choose from an equivalence class one element to serve as the “representative” of this equivalence class. For our moduli space \Gamma(1)\backslash\mathbb{H}, we can choose for the representative of an equivalence class a point from the “fundamental domain” for the modular group. Any point on the upper half plane can be obtained by acting on a point from the fundamental domain with an element of the modular group. The following diagram, courtesy of user Fropuff on Wikipedia, shows the fundamental domain in gray:

modulargroup-fundamentaldomain-01

The other parts of the diagram show where the fundamental domain gets mapped to by certain special elements, in particular the “generators” of the modular group, which are the two elements where a=0, b=-1, c=1, and d=-1, and a=1, b=1, c=1, and d=0. We will not discuss too much of these concepts for now. Instead we will give a preview of some concepts related to this moduli space. Topologically, this moduli space looks like a sphere with a missing point; in order to make the moduli space into a sphere (topologically), we take the union of the upper half plane \mathbb{H} with the projective line (see Projective Geometry) \mathbb{P}^{1}(\mathbb{Q}). This projective line may be thought of as the set of all rational numbers \mathbb{Q} together with a “point at infinity.” The modular group also acts on this projective line, so we can now take the quotient of \mathbb{H}\cup\mathbb{P}^{1}(\mathbb{Q}) (denoted \mathbb{H}^{*} by the same equivalence relation as earlier; this new space, topologically equivalent to the sphere, is called the modular curve X(1).

The functions and “differential forms” on the modular curve X(1) are of special interest. They can be obtained from functions on the upper half plane (with the “point at infinity”) satisfying certain conditions related to the modular group. If they are holomorphic everywhere, including the “point at infinity”, they are called modular forms. Modular forms are an interesting object of study in themselves, and their generalizations, automorphic forms, are a very active part of modern mathematical research.

Moduli Space on Wikipedia

Elliptic Curve on Wikipedia

Weierstrass’s Elliptic Functions on Wikipedia

Fundamental Pair of Periods on Wikipedia

Modular Group on Wikipedia

Fundamental Domain on Wikipedia

Modular Form on Wikipedia

Automorphic Form on Wikipedia

Image by User Alvano Lozano Robledo of Wikipedia

Image by User Sam Derbyshire of Wikipedia

Image by User Fropuff of Wikipedia

Advanced Topics in the Arithmetic of Elliptic Curves by Joseph H. Silverman

A First Course in Modular Forms by Fred Diamond and Jerry Shurman