TOPICS
Search

j-Function


jFunctionReImjFunctionContours

The j-function is the modular function defined by

 j(tau)=1728J(tau),
(1)

where tau is the half-period ratio, I[tau]>0,

 J(tau)=4/(27)([1-lambda(tau)+lambda^2(tau)]^3)/(lambda^2(tau)[1-lambda(tau)]^2)
(2)

is Klein's absolute invariant, lambda(tau) is the elliptic lambda function

 lambda(tau)=(theta_2^4(e^(ipitau)))/(theta_3^4(e^(ipitau))),
(3)

theta_i(0,q) are Jacobi theta functions,

 q=e^(ipitau)
(4)

is the nome, and 1728=12^3.

Gauss was apparently aware of the j-function before 1800. Hermite used it in solving the quintic in about 1858. Dedekind gave a nice definition in about 1877, and Klein studied the function beginning in 1879 or 1880. The j-function is related to the factors of the group order of the monster group and to supersingular primes (Ogg 1980).

This function can also be specified in terms of the Weber functions f, f_1, f_2, gamma_2, and gamma_3 as

j(tau)=([f^(24)(tau)-16]^3)/(f^(24)(tau))
(5)
=([f_1^(24)(tau)+16]^3)/(f_1^(24)(tau))
(6)
=([f_2^(24)(tau)+16]^3)/(f_2^(24)(tau))
(7)
=gamma_2^3(tau)
(8)
=gamma_3^2(tau)+1728
(9)

(Weber 1979, p. 179; Atkin and Morain 1993).

The j-function is an analytic function on the upper half-plane which is invariant with respect to the special linear group SL(2,Z). It has a Fourier series

 j(q^_)=sum_(n=-infty)^inftyc(n)q^_^n,
(10)

where

 q^_=q^2=e^(2piitau).
(11)

j(q^_) is therefore related J(tau) via

 j(q^_)=1728J(-(ilnq^_)/(2pi)).
(12)

The coefficients in the expansion of the j-function satisfy:

1. c(n)=0 for n<-1 and c(-1)=1,

2. all c(n)s are integers with fairly limited growth with respect to n, and

3. j(tau) is an algebraic number, sometimes a rational number, and sometimes even an integer at certain very special values of tau.

The latter result is the end result of the massive and beautiful theory of complex multiplication and the first step of Kronecker's so-called "Jugendtraum."

Therefore all of the coefficients in the Laurent series

 j(q^_)=1/(q^_)+744+196884q^_+21493760q^_^2 
+864299970q^_^3+20245856256q^_^4+333202640600q^_^5+...
(13)

(OEIS A000521) are positive integers (Rankin 1977, Apostol 1997). Berwick (1916) calculated the first seven c(n), Zuckerman (1939) found the first 24, and van Wijngaarden (193) gave the first 100.

Some remarkable sum formulas involving j(tau) for tau in H, where H is the upper half-plane, and c(n) include

j(q^_)=([1+240sum_(n=1)^(infty)sigma_3(n)q^_^n]^3)/(q^_product_(n=1)^(infty)(1-q^_^n)^(24))
(14)
=(E_4^3(sqrt(q^_)))/(q(q^_)_infty^(24))
(15)
=([theta_2^8(sqrt(q^_))+theta_3^8(sqrt(q^_))+theta_2^4(sqrt(q^_))]^3)/(8q^_(q^_)_infty^(24)),
(16)

where E_4(q) is an Eisenstein series, (q)_infty is a q-Pochhammer symbol, and

 [-1+504sum_(n=1)^inftysigma_5(n)q^_^n]^2=[j(q^_)-12^3]sum_(n=1)^inftytau(n)q^_^n,
(17)

where sigma_k(n) is the divisor function, and tau(n) is the tau function (not to be confused with the half-period ratio tau). In addition,

 504^2[-2/(504)sigma_5(n)+sum_(k=1)^(n-1)sigma_5(k)sigma_5(n-k)] 
 =tau(n+1)-984tau(n)+sum_(k=1)^(n-1)c(k)tau(n-k)  
(65520)/(691)[sigma_(11)(n)-tau(n)] 
 =tau(n+1)+24tau(n)+sum_(k=1)^(n-1)c(k)tau(n-k)
(18)

(Lehmer 1942; Apostol 1997, p. 92). These are closely related to Eisenstein series.

Equation (18) leads immediately to the remarkable congruence

 tau(n)=sigma_(11)(n) (mod 691).
(19)

Lehmer (1942) showed that

 (n+1)c(n)=0 (mod 24)
(20)

for all n>=1, and Lehner (1949ab) and Apostol (1997, pp. 22, 74, and 90-91) demonstrated that

c(2n)=0 (mod 2^(11))
(21)
c(3n)=0 (mod 3^5)
(22)
c(5n)=0 (mod 5^2)
(23)
c(7n)=0 (mod 7)
(24)
c(11n)=0 (mod 11).
(25)

More generally,

c(2^alphan)=0 (mod 2^(3alpha+8))
(26)
c(3^alphan)=0 (mod 3^(2alpha+3))
(27)
c(5^alphan)=0 (mod 5^(alpha+1))
(28)
c(7^alphan)=0 (mod 7^alpha)
(29)

(Lehner 1949ab; Apostol 1997, p. 91). Congruences of this type cannot exist for 13, but Newman (1958) showed

 c(13np)+c(13n)c(13p)+p^(-1)c((13n)/p)=0 (mod 13),
(30)

where p^(-1)p=1 (mod 13) and c(x)=0 if x is not an integer (Apostol 1997, p. 91). Congruences for c(kn) have been generalized by Atkin and O'Brien (1967).

An asymptotic formula for c(n) was discovered by Petersson (1932), and subsequently independently rediscovered by Rademacher (1938):

 c(n)∼(e^(4pisqrt(n)))/(sqrt(2)n^(3/4)).
(31)

Let d be a squarefree positive integer, and define the half-period ratio by

 tau={isqrt(d)   for d=1 or 2 (mod 4); 1/2(1+isqrt(d))   for d=3 (mod 4),
(32)

so

 q^_={e^(-2pisqrt(d))   for d=1 or 2 (mod 4); -e^(-pisqrt(d))   for d=3 (mod 4).
(33)

It then turns out that j(tau) is an algebraic integer of degree h(-d), where h(-d) is the class number of the binary quadratic form discriminant -d of the quadratic field Q(sqrt(d)) (Silverman 1986; Berndt 1994, p. 90).

jFunctionIntegers

If h(-d)=1, then j(tau) is an algebraic integer of degree 1, i.e., just a plain integer. Furthermore, the integer is a perfect cube. But these are precisely the Heegner numbers -1, -2, -3, -7, -11, -19, -43, -67, -163. The exact values of j(tau) corresponding to the Heegner numbers are

j(1+i)=12^3
(34)
j(1+isqrt(2))=20^3
(35)
j(1/2(1+isqrt(3)))=0^3
(36)
j(1/2(1+isqrt(7)))=(-15)^3
(37)
j(1/2(1+isqrt(11)))=(-32)^3
(38)
j(1/2(1+isqrt(19)))=(-96)^3
(39)
j(1/2(1+isqrt(43)))=(-960)^3
(40)
j(1/2(1+isqrt(67)))=(-5280)^3
(41)
j(1/2(1+isqrt(163)))=(-640320)^3.
(42)

The positions of these special values of tau are illustrated above. (Note the curious though not particularly significant fact that number 5280 is also the number of feet in a mile.)

The greater (in absolute value) the Heegner number d, the closer to an integer is the expression e^(pisqrt(-d)), since the initial term in j(tau) is the largest and subsequent terms are the smallest. The best approximations with h(-d)=1 are therefore

e^(pisqrt(43)) approx 960^3+744-2.2×10^(-4)
(43)
e^(pisqrt(67)) approx 5280^3+744-1.3×10^(-6)
(44)
e^(pisqrt(163)) approx 640320^3+744-7.5×10^(-13)
(45)

(the latter of which appears in Trott 2004, p. 8). The almost integer generated by the last of these, e^(pisqrt(163)) (corresponding to the field Q(sqrt(-163)) and the imaginary quadratic field of maximal discriminant), is sometimes known as the Ramanujan constant. However, this attribution is historically fallacious since this amazing property of e^(pisqrt(163)) was first noted by Hermite (1859) and does not seem to appear in any of the works of Ramanujan.

There are 18 numbers having class number h(-d)=2, with the odd discriminants not divisible by three corresponding to the exact values

j(1/2(1+isqrt(35)))=-16^3(15+7sqrt(5))^3
(46)
j(1/2(1+isqrt(91)))=-48^3(227+63sqrt(13))^3
(47)
j(1/2(1+isqrt(115)))=-48^3(785+351sqrt(5))^3
(48)
j(1/2(1+isqrt(187)))=-240^3(3451+837sqrt(17))^3
(49)
j(1/2(1+isqrt(235)))=-528^3(8875+3969sqrt(5))^3
(50)
j(1/2(1+isqrt(403)))=-240^3(2809615+779247sqrt(13))^3
(51)
j(1/2(1+isqrt(427)))=-5280^3(236674+30303sqrt(61))^3
(52)

and even d=4m for m=5, 10, 13, 22, 37, 58,

j(isqrt(5))=2^3(25+13sqrt(5))^3
(53)
j(isqrt(10))=6^3(65+27sqrt(5))^3
(54)
j(isqrt(13))=30^3(31+9sqrt(13))^3
(55)
j(isqrt(22))=60^3(155+108sqrt(2))^3
(56)
j(isqrt(37))=60^3(2837+468sqrt(37))^3
(57)
j(isqrt(58))=30^3(140989+26163sqrt(29))^3
(58)

and discriminants divisible by 3,

j(isqrt(6))=12^3(1+sqrt(2))^2(5+2sqrt(2))^3
(59)
j(1/2(1+isqrt(15)))=-3^3(1/2(1+sqrt(5)))^2(5+4sqrt(5))^3
(60)
j(1/2(1+isqrt(51)))=-48^3(4+sqrt(17))^2(5+sqrt(17))^3
(61)
j(1/2(1+isqrt(123)))=-480^3(32+5sqrt(41))^2×(8+sqrt(41))^3
(62)
j(1/2(1+isqrt(267)))=-240^3(500+53sqrt(89))^2×(625+53sqrt(89))^3
(63)

with the square factor being a fundamental unit.

The best approximations for h(d)=2 are, for even discriminants,

 e^(pisqrt(232)) approx 30^3(140989+26163sqrt(29))^3-744-3.2×10^(-16),
(64)

and for odd discriminants,

 e^(pisqrt(427)) approx 5280^3(236674+30303sqrt(61))^3+744-1.3×10^(-23).
(65)

The numbers

e^(pisqrt(22))=(12sqrt(11))^4-104-1.7×10^(-3)
(66)
e^(pisqrt(37))=(84sqrt(2))^4+104-2.2×10^(-5)
(67)
e^(pisqrt(58))=396^4-104-1.8×10^(-7)
(68)

are also almost integers. These correspond to binary quadratic forms with discriminants -88, -148, and -232, which are the largest (in absolute value) discriminants with class number two that are divisible by 4. They were noted by Ramanujan (Berndt 1994, pp. 88-91).


See also

Almost Integer, Heegner Number, Imaginary Quadratic Field, Klein's Absolute Invariant, Monster Group, Ramanujan Constant, Supersingular Prime, Weber Functions

Portions of this entry contributed by Tito Piezas III

Explore with Wolfram|Alpha

References

Apostol, T. M. "The Fourier Expansions of Delta(tau) and J(tau)" and "Congruences for the Coefficients of the Modular Function j." §1.15 and Ch. 4 in Modular Functions and Dirichlet Series in Number Theory, 2nd ed. New York: Springer-Verlag, pp. 20-22 and 74-93, 1997.Atkin, A. O. L. and Morain, F. "Elliptic Curves and Primality Proving." Math. Comput. 61, 29-68, 1993.Atkin, A. O. L. and O'Brien, J. N. "Some Properties of p(n) and c(n) Modulo Powers of 13." Trans. Amer. Math. Soc. 126, 442-459, 1967.Berndt, B. C. Ramanujan's Notebooks, Part IV. New York: Springer-Verlag, 1994.Berwick, W. E. H. "An Invariant Modular Equation of the Fifth Order." Quart. J. Math. 47, 94-103, 1916.Borwein, J. M. and Borwein, P. B. Pi & the AGM: A Study in Analytic Number Theory and Computational Complexity. New York: Wiley, pp. 117-118, 1987.Cohen, H. In From Number Theory to Physics (M. Waldschmidt, P. Moussa, J.-M. Luck, and C. Itzykson). Berlin: Springer-Verlag, 1992.Cohn, H. Introduction to the Construction of Class Fields. New York: Dover, p. 73, 1994.Conway, J. H. and Guy, R. K. "The Nine Magic Discriminants." In The Book of Numbers. New York: Springer-Verlag, pp. 224-226, 1996.Hermite, C. "Sur la théorie des équations modulaires." Comptes Rendus Acad. Sci. Paris 49, 16-24, 110-118, and 141-144, 1859 Oeuvres complètes, Tome II. Paris: Hermann, p. 61, 1912.Lehmer, D. H. "Properties of the Coefficients of the Modular Invariant J(tau)." Amer. J. Math. 64, 488-502, 1942.Lehner, J. "Divisibility Properties of the Fourier Coefficients of the Modular Invariant j(tau)." Amer. J. Math. 71, 136-148, 1949a.Lehner, J. "Further Congruence Properties of the Fourier Coefficients of the Modular Invariant j(tau)." Amer. J. Math. 71, 373-386, 1949b.Morain, F. "Implementation of the Atkin-Goldwasser-Kilian Primality Testing Algorithm." Rapport de Recherche 911, INRIA, Oct. 1988.Newman, M. "Congruences for the Coefficients of Modular Forms and for the Coefficients of j(tau)." Proc. Amer. Math. Soc. 9, 609-612, 1958.Ogg, A. P. "Modular Functions." In The Santa Cruz Conference on Finite Groups. Held at the University of California, Santa Cruz, Calif., June 25-July 20, 1979 (Ed. B. Cooperstein and G. Mason). Providence, RI: Amer. Math. Soc., pp. 521-532, 1980.Petersson, H. "Über die Entwicklungskoeffizienten der automorphen formen." Acta Math. 58, 169-215, 1932.Piezas, T. "Ramanujan's Constant and Its Cousins." 2005. http://www.geocities.com/titus_piezas/Ramanujan_a.htm.Rademacher, H. "The Fourier Coefficients of the Modular Invariant j(tau)." Amer. J. Math. 60, 501-512, 1938.Rankin, R. A. Modular Forms and Functions. Cambridge, England: Cambridge University Press, p. 199, 1977.Rankin, R. A. Modular Forms. New York: Wiley, 1985.Roberts, J. The Lure of the Integers. Washington, DC: Math. Assoc. Amer., 1992.Serre, J.-P. A Course in Arithmetic. New York: Springer-Verlag, 1973.Silverman, J. H. The Arithmetic of Elliptic Curves. New York: Springer-Verlag, p. 339, 1986.Sloane, N. J. A. Sequence A000521/M5477 in "The On-Line Encyclopedia of Integer Sequences."Stillwell, J. "Modular Miracles." Amer. Math. Monthly 108, 70-76, 2001.Trott, M. The Mathematica GuideBook for Programming. New York: Springer-Verlag, 2004. http://www.mathematicaguidebooks.org/.van Wijngaarden, A. "On the Coefficients of the Modular Invariant J(tau)." Indagationes Math. 15, 389-400, 1953.Waldschmidt, M. In Ramanujan Centennial International Conference (Ed. R. Balakrishnan, K. S. Padmanabhan, and V. Thangaraj). Ramanujan Math. Soc., 1988.Weber, H. Lehrbuch der Algebra, Vols. I-II. New York: Chelsea, 1979.Zuckerman, H. S. "The Computation of the Smaller Coefficients of J(tau)." Bull. Amer. Math. Soc. 45, 917-919, 1939.

Referenced on Wolfram|Alpha

j-Function

Cite this as:

Piezas, Tito III and Weisstein, Eric W. "j-Function." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/j-Function.html

Subject classifications