Concept in algebraic number theory
In number theory, a Heegner number (as termed by Conway and Guy) is a square-free positive integer d such that the imaginary quadratic field
has class number 1. Equivalently, the ring of algebraic integers of
has unique factorization.[1]
The determination of such numbers is a special case of the class number problem, and they underlie several striking results in number theory.
According to the (Baker–)Stark–Heegner theorem there are precisely nine Heegner numbers:
1, 2, 3, 7, 11, 19, 43, 67, and 163. (sequence
A003173 in the
OEIS)
This result was conjectured by Gauss and proved up to minor flaws by Kurt Heegner in 1952. Alan Baker and Harold Stark independently proved the result in 1966, and Stark further indicated the gap in Heegner's proof was minor.[2]
Euler's prime-generating polynomial
Euler's prime-generating polynomial
which gives (distinct) primes for n = 0, ..., 39, is related to the Heegner number 163 = 4 · 41 − 1.
Rabinowitz[3] proved that
gives primes for
if and only if this quadratic's discriminant
is the negative of a Heegner number.
(Note that
yields
, so
is maximal.)
1, 2, and 3 are not of the required form, so the Heegner numbers that work are 7, 11, 19, 43, 67, 163, yielding prime generating functions of Euler's form for 2, 3, 5, 11, 17, 41; these latter numbers are called lucky numbers of Euler by F. Le Lionnais.[4]
Almost integers and Ramanujan's constant
Ramanujan's constant is the transcendental number[5]
, which is an almost integer, in that it is very close to an integer:[6]
This number was discovered in 1859 by the mathematician Charles Hermite.[7] In a 1975 April Fool article in Scientific American magazine,[8] "Mathematical Games" columnist Martin Gardner made the hoax claim that the number was in fact an integer, and that the Indian mathematical genius Srinivasa Ramanujan had predicted it—hence its name.
This coincidence is explained by complex multiplication and the q-expansion of the j-invariant.
Detail
In what follows, j(z) denotes the j-invariant of the complex number z. Briefly,
is an integer for d a Heegner number, and
via the q-expansion.
If
is a quadratic irrational, then its j-invariant
is an algebraic integer of degree
, the class number of
and the minimal (monic integral) polynomial it satisfies is called the 'Hilbert class polynomial'. Thus if the imaginary quadratic extension
has class number 1 (so d is a Heegner number), the j-invariant is an integer.
The q-expansion of j, with its Fourier series expansion written as a Laurent series in terms of
, begins as:
The coefficients
asymptotically grow as
and the low order coefficients grow more slowly than
, so for
, j is very well approximated by its first two terms. Setting
yields
Now
so,
Or,
where the linear term of the error is,
explaining why
is within approximately the above of being an integer.
The Chudnovsky brothers found in 1987 that
a proof of which uses the fact that
For similar formulas, see the Ramanujan–Sato series.
Other Heegner numbers
For the four largest Heegner numbers, the approximations one obtains[9] are as follows.
Alternatively,[10]
where the reason for the squares is due to certain Eisenstein series. For Heegner numbers
, one does not obtain an almost integer; even
is not noteworthy.[11] The integer j-invariants are highly factorisable, which follows from the form
![{\displaystyle 12^{3}\left(n^{2}-1\right)^{3}=\left(2^{2}\cdot 3\cdot (n-1)\cdot (n+1)\right)^{3},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ca33d8ff7d1120e02577bb451d4b9793e340ec0)
and factor as,
These transcendental numbers, in addition to being closely approximated by integers (which are simply algebraic numbers of degree 1), can be closely approximated by algebraic numbers of degree 3,[12]
The roots of the cubics can be exactly given by quotients of the Dedekind eta function η(τ), a modular function involving a 24th root, and which explains the 24 in the approximation. They can also be closely approximated by algebraic numbers of degree 4,[13]
If
denotes the expression within the parenthesis (e.g.
), it satisfies respectively the quartic equations
Note the reappearance of the integers
as well as the fact that
which, with the appropriate fractional power, are precisely the j-invariants.
Similarly for algebraic numbers of degree 6,
where the xs are given respectively by the appropriate root of the sextic equations,
with the j-invariants appearing again. These sextics are not only algebraic, they are also solvable in radicals as they factor into two cubics over the extension
(with the first factoring further into two quadratics). These algebraic approximations can be exactly expressed in terms of Dedekind eta quotients. As an example, let
, then,
where the eta quotients are the algebraic numbers given above.
Class 2 numbers
The three numbers 88, 148, 232, for which the imaginary quadratic field
has class number 2, are not Heegner numbers but have certain similar properties in terms of almost integers. For instance,
and
Consecutive primes
Given an odd prime p, if one computes
for
(this is sufficient because
), one gets consecutive composites, followed by consecutive primes, if and only if p is a Heegner number.[14]
For details, see "Quadratic Polynomials Producing Consecutive Distinct Primes and Class Groups of Complex Quadratic Fields" by Richard Mollin.[15]
Notes and references
- ^ Conway, John Horton; Guy, Richard K. (1996). The Book of Numbers. Springer. p. 224. ISBN 0-387-97993-X.
- ^ Stark, H. M. (1969), "On the gap in the theorem of Heegner" (PDF), Journal of Number Theory, 1 (1): 16–27, Bibcode:1969JNT.....1...16S, doi:10.1016/0022-314X(69)90023-7, hdl:2027.42/33039
- ^ Rabinovitch, Georg "Eindeutigkeit der Zerlegung in Primzahlfaktoren in quadratischen Zahlkörpern." Proc. Fifth Internat. Congress Math. ( Cambridge) 1, 418–421, 1913.
- ^ Le Lionnais, F. Les nombres remarquables. Paris: Hermann, pp. 88 and 144, 1983.
- ^ Weisstein, Eric W. "Transcendental Number". MathWorld. gives
, based on Nesterenko, Yu. V. "On Algebraic Independence of the Components of Solutions of a System of Linear Differential Equations." Izv. Akad. Nauk SSSR, Ser. Mat. 38, 495–512, 1974. English translation in Math. USSR 8, 501–518, 1974. - ^ Ramanujan Constant – from Wolfram MathWorld
- ^ Barrow, John D (2002). The Constants of Nature. London: Jonathan Cape. p. 72. ISBN 0-224-06135-6.
- ^ Gardner, Martin (April 1975). "Mathematical Games". Scientific American. 232 (4). Scientific American, Inc: 127. Bibcode:1975SciAm.232d.126G. doi:10.1038/scientificamerican0475-126.
- ^ These can be checked by computing
on a calculator, and
for the linear term of the error. - ^ "More on e^(pi*SQRT(163))". Archived from the original on 2009-08-11. Retrieved 2008-04-19.
- ^ The absolute deviation of a random real number (picked uniformly from [0,1], say) is a uniformly distributed variable on [0, 0.5], so it has absolute average deviation and median absolute deviation of 0.25, and a deviation of 0.22 is not exceptional.
- ^ "Pi Formulas".
- ^ "Extending Ramanujan's Dedekind Eta Quotients".
- ^ "Simple Complex Quadratic Fields".
- ^ Mollin, R. A. (1996). "Quadratic polynomials producing consecutive, distinct primes and class groups of complex quadratic fields" (PDF). Acta Arithmetica. 74: 17–30. doi:10.4064/aa-74-1-17-30.
External links
- Weisstein, Eric W. "Heegner Number". MathWorld.
- OEIS sequence A003173 (Heegner numbers: imaginary quadratic fields with unique factorization)
- Gauss' Class Number Problem for Imaginary Quadratic Fields, by Dorian Goldfeld: Detailed history of problem.
- Clark, Alex. "163 and Ramanujan Constant". Numberphile. Brady Haran. Archived from the original on 2013-05-16. Retrieved 2013-04-02.