*j*-invariant

In mathematics, Klein's ** j-invariant**, regarded as a function of a complex variable

*τ*, is a modular function of weight zero for SL(2,

**Z**) defined on the upper half-plane of complex numbers. It is the unique such function which is holomorphic away from a simple pole at the cusp such that

Rational functions of Template:Mvar are modular, and in fact give all modular functions. Classically, the Template:Mvar-invariant was studied as a parameterization of elliptic curves over **C**, but it also has surprising connections to the symmetries of the Monster group (this connection is referred to as monstrous moonshine).

## Contents

- 1 Definition
- 2 The fundamental region
- 3 Class field theory and Template:Mvar
- 4 Transcendence properties
- 5 The Template:Mvar-expansion and moonshine
- 6 Alternate Expressions
- 7 Expressions in terms of theta functions
- 8 Algebraic definition
- 9 Inverse function
- 10 Pi formulas
- 11 Special values
- 12 References

## Definition

While the Template:Mvar-invariant can be defined purely in terms of certain infinite sums (see *g*_{2}, *g*_{3} below), these can be motivated by considering isomorphism classes of elliptic curves. Every elliptic curve Template:Mvar over **C** is a complex torus, and thus can be identified with a rank 2 lattice; i.e., two-dimensional lattice of **C**. This is done by identifying opposite edges of each parallelogram in the lattice. It turns out that multiplying the lattice by complex numbers, which corresponds to rotating and scaling the lattice, preserves the isomorphism class of the elliptic curve, and thus we can consider the lattice generated by 1 and some Template:Mvar in **H** (where **H** is the Upper half-plane). Conversely, if we define

then this lattice corresponds to the elliptic curve over **C** defined by *y*^{2} = 4*x*^{3} − *g*_{2}*x* - *g*_{3} via the Weierstrass elliptic functions. Then the Template:Mvar-invariant is defined as

where the *modular discriminant* Δ is

It can be shown that Δ is a modular form of weight twelve, and *g*_{2} one of weight four, so that its third power is also of weight twelve. Thus their quotient, and therefore Template:Mvar, is a modular function of weight zero, in particular a meromorphic function **H** → **C** invariant under the action of SL(2, **Z**). As explained below, Template:Mvar is surjective, which means that it gives a bijection between isomorphism classes of elliptic curves over **C** and the complex numbers.

## The fundamental region

The two transformations *τ* → *τ* + 1 and *τ* → *τ*^{−1} together generate a group called the modular group, which we may identify with the projective special linear group PSL(2, **Z**). By a suitable choice of transformation belonging to this group,

we may reduce Template:Mvar to a value giving the same value for Template:Mvar, and lying in the fundamental region for Template:Mvar, which consists of values for Template:Mvar satisfying the conditions

The function *j*(*τ*) when restricted to this region still takes on every value in the complex numbers **C** exactly once. In other words, for every Template:Mvar in **C**, there is a unique τ in the fundamental region such that *c* = *j*(*τ*). Thus, Template:Mvar has the property of mapping the fundamental region to the entire complex plane.

As a Riemann surface, the fundamental region has genus 0, and every (level one) modular function is a rational function in Template:Mvar; and, conversely, every rational function in Template:Mvar is a modular function. In other words the field of modular functions is **C**(*j*).

## Class field theory and Template:Mvar

The Template:Mvar-invariant has many remarkable properties:

- If Template:Mvar is any of the singular moduli, that is, any element of an imaginary quadratic field with positive imaginary part (so that Template:Mvar is defined) then
*j*(*τ*) is an algebraic integer.^{[1]}

- The field extension
**Q**[*j*(*τ*),*τ*]/**Q**(*τ*) is abelian, that is, it has an abelian Galois group.

- Let Λ be the lattice in
**C**generated by {1,*τ*}, it is easy to see that all of the elements of**Q**(*τ*) which fix Λ under multiplication form a ring with units, called an order. The other lattices with generators {1,*τ′*}, associated in like manner to the same order define the algebraic conjugates*j*(*τ′*) of*j*(*τ*) over**Q**(*τ*). Ordered by inclusion, the unique maximal order in**Q**(*τ*) is the ring of algebraic integers of**Q**(*τ*), and values of Template:Mvar having it as its associated order lead to unramified extensions of**Q**(*τ*).

These classical results are the starting point for the theory of complex multiplication.

## Transcendence properties

In 1937 Theodor Schneider proved the aforementioned result that if Template:Mvar is a quadratic irrational number in the upper half plane then *j*(*τ*) is an algebraic integer. In addition he proved that if Template:Mvar is an algebraic number but not imaginary quadratic then *j*(*τ*) is transcendental.

The Template:Mvar function has numerous other transcendental properties. Kurt Mahler conjectured a particular transcendence result that is often referred to as Mahler's conjecture, though it was proved as a corollary of results by Yu. V. Nesternko and Patrice Phillipon in the 1990s. Mahler's conjecture was that if Template:Mvar was in the upper half plane then exp(2*πiτ*) and *j*(*τ*) were never both simultaneously algebraic. Stronger results are now known, for example if exp(2*πiτ*) is algebraic then the following three numbers are algebraically independent, and thus at least two of them transcendental:

## The Template:Mvar-expansion and moonshine

Several remarkable properties of Template:Mvar have to do with its [[q-expansion|Template:Mvar-expansion]] (Fourier series expansion), written as a Laurent series in terms of *q* = exp(2*πiτ*), which begins:

Note that Template:Mvar has a simple pole at the cusp, so its Template:Mvar-expansion has no terms below *q*^{−1}.

All the Fourier coefficients are integers, which results in several almost integers, notably Ramanujan's constant:

The asymptotic formula for the coefficient of *q ^{n}* is given by

as can be proved by Hardy–Littlewood circle method.^{[2]}^{[3]}

### Moonshine

More remarkably, the Fourier coefficients for the positive exponents of Template:Mvar are the dimensions of the graded part of an infinite-dimensional graded algebra representation of the monster group called the *moonshine module* – specifically, the coefficient of *q ^{n}* is the dimension of grade-Template:Mvar part of the moonshine module, the first example being the Griess algebra, which has dimension 196,884, corresponding to the term 196884

*q*. This startling observation was the starting point for moonshine theory.

The study of the Moonshine conjecture led J.H. Conway and Simon P. Norton to look at the genus-zero modular functions. If they are normalized to have the form

then Thompson showed that there are only a finite number of such functions (of some finite level), and Cummins later showed that there are exactly 6486 of them, 616 of which have integral coefficients.^{[4]}

## Alternate Expressions

We have

where *x* = *λ*(1−*λ*) and Template:Mvar is the modular lambda function

a ratio of Jacobi theta functions , and is the square of the elliptic modulus .^{[5]} The value of Template:Mvar is unchanged when λ is replaced by any of the six values of the cross-ratio:^{[6]}

The branch points of Template:Mvar are at {0, 1, ∞}, so that Template:Mvar is a Belyi function.^{[7]}

## Expressions in terms of theta functions

Define the nome and the Jacobi theta function,

from which one can derive the auxiliary theta functions. Let,

where and are alternative notations, and . Then,

for Weierstrass invariants *g*_{2}, *g*_{3}, and Dedekind eta function *η*(*τ*). We can then express *j*(*τ*) in a form which can rapidly be computed.

## Algebraic definition

So far we have been considering Template:Mvar as a function of a complex variable. However, as an invariant for isomorphism classes of elliptic curves, it can be defined purely algebraically. Let

be a plane elliptic curve over any field. Then we may define

and

the latter expression is the discriminant of the curve.

The Template:Mvar-invariant for the elliptic curve may now be defined as

In the case that the field over which the curve is defined has characteristic different from 2 or 3, this definition can also be written as

## Inverse function

The inverse function of the Template:Mvar-invariant can be expressed in terms of the hypergeometric function _{2}*F*_{1} (see also the article Picard–Fuchs equation). Explicitly, given a number Template:Mvar, to solve the equation *j*(*τ*) = *N* for Template:Mvar can be done in at least four ways.

**Method 1**: Solving the sextic in Template:Mvar,

where Template:Mvar is the modular lambda function. Let *x* = *λ*(1−*λ*) and the sextic can be solved as a cubic in Template:Mvar. Then,

for any of the six values of Template:Mvar.

**Method 2**: Solving the quartic in Template:Mvar,

then for any of the four roots,

**Method 3**: Solving the cubic in Template:Mvar,

then for any of the three roots,

**Method 4**: Solving the quadratic in Template:Mvar,

then,

One root gives Template:Mvar, and the other gives 1/*τ*, but since *j*(*τ*) = *j*(1/*τ*), then it doesn't make a difference which Template:Mvar is chosen. The latter three methods can be found in Ramanujan's theory of elliptic functions to alternative bases.

The inversion is highly relevant to applications via enabling high-precision calculations of elliptic functions periods even as their ratios become unbounded. A related result is the expressibility via quadratic radicals of the values of Template:Mvar at the points of the imaginary axis whose magnitudes are powers of 2 (thus permitting compass and straightedge constructions). The latter result is hardly evident since the modular equation of level 2 is cubic.

## Pi formulas

The Chudnovsky brothers found in 1987,

and uses the fact that . For similar formulas, see the Ramanujan–Sato series.

## Special values

The Template:Mvar-invariant vanishes at the "corner" of the fundamental domain at

Here are a few more special values (only the first four of which are well known; in what follows, Template:Mvar means *J*/1728 throughout):

Several special values were calculated in 2014:^{[8]}