Jump to content

Complex multiplication: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
combine paragraphs
Tags: Mobile edit Mobile web edit Advanced mobile edit
Sample consequence: references taken from Heegner_number, see that article for attribution
 
(5 intermediate revisions by 4 users not shown)
Line 15: Line 15:
}}</ref>
}}</ref>


There is also the [[Complex multiplication of abelian varieties|higher-dimensional complex multiplication theory]] of [[abelian variety|abelian varieties]] ''A'' having ''enough'' endomorphisms in a certain precise sense (it roughly means that the action on the [[tangent space]] at the [[identity element]] of ''A'' is a [[direct sum of modules|direct sum]] of one-dimensional [[module (mathematics)|modules]])
There is also the [[Complex multiplication of abelian varieties|higher-dimensional complex multiplication theory]] of [[abelian variety|abelian varieties]] ''A'' having ''enough'' endomorphisms in a certain precise sense, roughly that the action on the [[tangent space]] at the [[identity element]] of ''A'' is a [[direct sum of modules|direct sum]] of one-dimensional [[module (mathematics)|modules]].


==Example of the imaginary quadratic field extension==
==Example of the imaginary quadratic field extension==
Line 54: Line 54:
If the lattice defining the elliptic curve is actually preserved under multiplication by (possibly a proper subring of) the ring of integers <math>\mathfrak{o}_K</math> of <math>K</math>, then the ring of analytic automorphisms of <math> E = \mathbb{C}/\Lambda</math> turns out to be isomorphic to this (sub)ring.
If the lattice defining the elliptic curve is actually preserved under multiplication by (possibly a proper subring of) the ring of integers <math>\mathfrak{o}_K</math> of <math>K</math>, then the ring of analytic automorphisms of <math> E = \mathbb{C}/\Lambda</math> turns out to be isomorphic to this (sub)ring.


If we rewrite <math>\tau = \omega_1/\omega_2</math> where <math>\operatorname{Im}\tau > 0</math> and <math>\Delta(\Lambda) = g_2(\Lambda)^3 - 27g_3(\Lambda)^3</math>, then
If we rewrite <math>\tau = \omega_1/\omega_2</math> where <math>\operatorname{Im}\tau > 0</math> and <math>\Delta(\Lambda) = g_2(\Lambda)^3 - 27g_3(\Lambda)^2</math>, then
:<math> j(\tau)=j(E)=j(\Lambda)=2^63^3g_2(\Lambda)^3/\Delta(\Lambda)\ .</math>
:<math> j(\tau)=j(E)=j(\Lambda)=2^63^3g_2(\Lambda)^3/\Delta(\Lambda)\ .</math>
This means that the [[j-invariant]] of <math>E</math> is an [[algebraic number]] – lying in <math>K</math> – if <math>E</math> has complex multiplication.
This means that the [[j-invariant]] of <math>E</math> is an [[algebraic number]] – lying in <math>K</math> – if <math>E</math> has complex multiplication.


==Abstract theory of endomorphisms==
==Abstract theory of endomorphisms==
The ring of endomorphisms of an elliptic curve can be of one of three forms: the integers '''Z'''; an [[Order (ring theory)|order]] in an [[imaginary quadratic number field]]; or an order in a definite [[quaternion algebra]] over '''Q'''.{{sfn|Silverman|1989|p=102}}
The ring of endomorphisms of an elliptic curve can be of one of three forms: the integers '''Z'''; an [[Order (ring theory)|order]] in an [[imaginary quadratic number field]]; or an order in a definite [[quaternion algebra]] over '''Q'''.{{sfn|Silverman|1986|p=102}}


When the field of definition is a [[finite field]], there are always non-trivial endomorphisms of an elliptic curve, coming from the [[Frobenius map]], so every such curve has ''complex multiplication'' (and the terminology is not often applied). But when the base field is a number field, complex multiplication is the exception. It is known that, in a general sense, the case of complex multiplication is the hardest to resolve for the [[Hodge conjecture]].
When the field of definition is a [[finite field]], there are always non-trivial endomorphisms of an elliptic curve, coming from the [[Frobenius map]], so every such curve has ''complex multiplication'' (and the terminology is not often applied). But when the base field is a number field, complex multiplication is the exception. It is known that, in a general sense, the case of complex multiplication is the hardest to resolve for the [[Hodge conjecture]].


==Kronecker and abelian extensions==
==Kronecker and abelian extensions==
{{further|Hilbert's twelfth problem}}

[[Leopold Kronecker|Kronecker]] first postulated that the values of [[elliptic function]]s at torsion points should be enough to generate all [[abelian extension]]s for imaginary quadratic fields, an idea that went back to [[Gotthold Eisenstein|Eisenstein]] in some cases, and even to [[Carl Friedrich Gauss|Gauss]]. This became known as the ''[[Kronecker Jugendtraum]]''; and was certainly what had prompted Hilbert's remark above, since it makes explicit [[class field theory]] in the way the [[roots of unity]] do for abelian extensions of the [[rational number|rational number field]], via [[Shimura's reciprocity law]].
[[Leopold Kronecker|Kronecker]] first postulated that the values of [[elliptic function]]s at torsion points should be enough to generate all [[abelian extension]]s for imaginary quadratic fields, an idea that went back to [[Gotthold Eisenstein|Eisenstein]] in some cases, and even to [[Carl Friedrich Gauss|Gauss]]. This became known as the ''[[Kronecker Jugendtraum]]''; and was certainly what had prompted Hilbert's remark above, since it makes explicit [[class field theory]] in the way the [[roots of unity]] do for abelian extensions of the [[rational number|rational number field]], via [[Shimura's reciprocity law]].


Line 73: Line 73:
==Sample consequence==
==Sample consequence==


It is no accident that [[Ramanujan's constant]], the [[transcendental number]]<ref>{{MathWorld|title=Transcendental Number|urlname=TranscendentalNumber}} gives <math>e^{\pi\sqrt{d}}, d \in Z^*</math>, based on
It is no accident that
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.</ref>


: <math>e^{\pi \sqrt{163}} = 262537412640768743.99999999999925007\dots\,</math>
: <math>e^{\pi \sqrt{163}} = 262537412640768743.99999999999925007\dots\,</math>
Line 80: Line 81:
: <math>e^{\pi \sqrt{163}} = 640320^3+743.99999999999925007\dots\,</math>
: <math>e^{\pi \sqrt{163}} = 640320^3+743.99999999999925007\dots\,</math>


is so close to an integer. This remarkable fact is explained by the theory of complex multiplication, together with some knowledge of [[modular forms]], and the fact that
is an [[almost integer]], in that it is [[Mathematical coincidence#Containing pi or e and number 163|very close]] to an [[integer]].<ref>[http://mathworld.wolfram.com/RamanujanConstant.html Ramanujan Constant – from Wolfram MathWorld<!-- Bot-generated title -->]</ref> This remarkable fact is explained by the theory of complex multiplication, together with some knowledge of [[modular forms]], and the fact that
: <math>\mathbf{Z}\left[ \frac{1+\sqrt{-163}}{2}\right]</math>
: <math>\mathbf{Z}\left[ \frac{1+\sqrt{-163}}{2}\right]</math>
is a [[unique factorization domain]].
is a [[unique factorization domain]].
Line 121: Line 122:
* {{cite book | last=Shimura | first=Goro | author-link=Goro Shimura | title=Abelian varieties with complex multiplication and modular functions | series=Princeton Mathematical Series | volume=46 | publisher=[[Princeton University Press]] | location=Princeton, NJ | year=1998 | isbn=0-691-01656-9 | zbl=0908.11023 }}
* {{cite book | last=Shimura | first=Goro | author-link=Goro Shimura | title=Abelian varieties with complex multiplication and modular functions | series=Princeton Mathematical Series | volume=46 | publisher=[[Princeton University Press]] | location=Princeton, NJ | year=1998 | isbn=0-691-01656-9 | zbl=0908.11023 }}
* {{cite book | first=Joseph H. | last=Silverman | author-link=Joseph H. Silverman | title=The Arithmetic of Elliptic Curves | series=[[Graduate Texts in Mathematics]] | publisher=[[Springer-Verlag]] | volume=106 | year=1986 | isbn=0-387-96203-4 | zbl=0585.14026 }}
* {{cite book | first=Joseph H. | last=Silverman | author-link=Joseph H. Silverman | title=The Arithmetic of Elliptic Curves | series=[[Graduate Texts in Mathematics]] | publisher=[[Springer-Verlag]] | volume=106 | year=1986 | isbn=0-387-96203-4 | zbl=0585.14026 }}
* {{cite book | last=Silverman | first=Joseph H. | author-link=Joseph H. Silverman| title = The Arithmetic of Elliptic Curves | year=2009 | edition=2nd | publisher=[[Springer Science+Business Media|Springer Science]] | url=https://link.springer.com/book/10.1007/978-0-387-09494-6 | isbn=978-0-387-09493-9}}
* {{cite book | last=Silverman | first=Joseph H. | author-link=Joseph H. Silverman| title = The Arithmetic of Elliptic Curves | series=Graduate Texts in Mathematics | year=2009 | volume=106 | edition=2nd | publisher=[[Springer Science+Business Media|Springer Science]] | doi=10.1007/978-0-387-09494-6 | url=https://link.springer.com/book/10.1007/978-0-387-09494-6 | isbn=978-0-387-09493-9}}
* {{cite book | first=Joseph H. | last=Silverman | author-link=Joseph H. Silverman | title=Advanced Topics in the Arithmetic of Elliptic Curves | series=[[Graduate Texts in Mathematics]] | publisher=[[Springer-Verlag]] | volume=151 | year=1994 | isbn=0-387-94328-5 | zbl=0911.14015 }}
* {{cite book | first=Joseph H. | last=Silverman | author-link=Joseph H. Silverman | title=Advanced Topics in the Arithmetic of Elliptic Curves | series=[[Graduate Texts in Mathematics]] | publisher=[[Springer-Verlag]] | volume=151 | year=1994 | isbn=0-387-94328-5 | zbl=0911.14015 }}
{{refend}}
{{refend}}
Line 128: Line 129:
* [http://planetmath.org/ComplexMultiplication Complex multiplication] from [[PlanetMath|PlanetMath.org]]
* [http://planetmath.org/ComplexMultiplication Complex multiplication] from [[PlanetMath|PlanetMath.org]]
* [http://planetmath.org/ExamplesOfEllipticCurvesWithComplexMultiplication Examples of elliptic curves with complex multiplication] from [[PlanetMath|PlanetMath.org]]
* [http://planetmath.org/ExamplesOfEllipticCurvesWithComplexMultiplication Examples of elliptic curves with complex multiplication] from [[PlanetMath|PlanetMath.org]]
* {{cite journal | title = Galois Representations and Modular Forms | citeseerx = 10.1.1.125.6114 | author-link = Kenneth Alan Ribet | first = Kenneth A. | last = Ribet | journal = [[Bulletin of the American Mathematical Society]] | volume = 32 | issue = 4 |date=October 1995 | pages = 375–402 | doi=10.1090/s0273-0979-1995-00616-6| arxiv = math/9503219 }}
* {{cite journal | title = Galois Representations and Modular Forms | citeseerx = 10.1.1.125.6114 | author-link = Kenneth Alan Ribet | first = Kenneth A. | last = Ribet | journal = [[Bulletin of the American Mathematical Society]] | volume = 32 | issue = 4 |date=October 1995 | pages = 375–402 | doi=10.1090/s0273-0979-1995-00616-6| arxiv = math/9503219 | s2cid = 16786407 }}


{{DEFAULTSORT:Complex Multiplication}}
{{DEFAULTSORT:Complex Multiplication}}

Latest revision as of 23:40, 18 June 2024

In mathematics, complex multiplication (CM) is the theory of elliptic curves E that have an endomorphism ring larger than the integers.[1] Put another way, it contains the theory of elliptic functions with extra symmetries, such as are visible when the period lattice is the Gaussian integer lattice or Eisenstein integer lattice.

It has an aspect belonging to the theory of special functions, because such elliptic functions, or abelian functions of several complex variables, are then 'very special' functions satisfying extra identities and taking explicitly calculable special values at particular points. It has also turned out to be a central theme in algebraic number theory, allowing some features of the theory of cyclotomic fields to be carried over to wider areas of application. David Hilbert is said to have remarked that the theory of complex multiplication of elliptic curves was not only the most beautiful part of mathematics but of all science.[2]

There is also the higher-dimensional complex multiplication theory of abelian varieties A having enough endomorphisms in a certain precise sense, roughly that the action on the tangent space at the identity element of A is a direct sum of one-dimensional modules.

Example of the imaginary quadratic field extension

[edit]
An elliptic curve over the complex numbers is obtained as a quotient of the complex plane by a lattice Λ, here spanned by two fundamental periods ω1 and ω2. The four-torsion is also shown, corresponding to the lattice 1/4 Λ containing Λ. The example of an elliptic curve corresponding to the Gaussian integers occurs when ω2 = i ω1.

Consider an imaginary quadratic field . An elliptic function is said to have complex multiplication if there is an algebraic relation between and for all in .

Conversely, Kronecker conjectured – in what became known as the Kronecker Jugendtraum – that every abelian extension of could be obtained by the (roots of the) equation of a suitable elliptic curve with complex multiplication. To this day this remains one of the few cases of Hilbert's twelfth problem which has actually been solved.

An example of an elliptic curve with complex multiplication is

where Z[i] is the Gaussian integer ring, and θ is any non-zero complex number. Any such complex torus has the Gaussian integers as endomorphism ring. It is known that the corresponding curves can all be written as

for some , which demonstrably has two conjugate order-4 automorphisms sending

in line with the action of i on the Weierstrass elliptic functions.

More generally, consider the lattice Λ, an additive group in the complex plane, generated by . Then we define the Weierstrass function of the variable in as follows:

and

Let be the derivative of . Then we obtain an isomorphism of complex Lie groups:

from the complex torus group to the projective elliptic curve defined in homogeneous coordinates by

and where the point at infinity, the zero element of the group law of the elliptic curve, is by convention taken to be . If the lattice defining the elliptic curve is actually preserved under multiplication by (possibly a proper subring of) the ring of integers of , then the ring of analytic automorphisms of turns out to be isomorphic to this (sub)ring.

If we rewrite where and , then

This means that the j-invariant of is an algebraic number – lying in – if has complex multiplication.

Abstract theory of endomorphisms

[edit]

The ring of endomorphisms of an elliptic curve can be of one of three forms: the integers Z; an order in an imaginary quadratic number field; or an order in a definite quaternion algebra over Q.[3]

When the field of definition is a finite field, there are always non-trivial endomorphisms of an elliptic curve, coming from the Frobenius map, so every such curve has complex multiplication (and the terminology is not often applied). But when the base field is a number field, complex multiplication is the exception. It is known that, in a general sense, the case of complex multiplication is the hardest to resolve for the Hodge conjecture.

Kronecker and abelian extensions

[edit]

Kronecker first postulated that the values of elliptic functions at torsion points should be enough to generate all abelian extensions for imaginary quadratic fields, an idea that went back to Eisenstein in some cases, and even to Gauss. This became known as the Kronecker Jugendtraum; and was certainly what had prompted Hilbert's remark above, since it makes explicit class field theory in the way the roots of unity do for abelian extensions of the rational number field, via Shimura's reciprocity law.

Indeed, let K be an imaginary quadratic field with class field H. Let E be an elliptic curve with complex multiplication by the integers of K, defined over H. Then the maximal abelian extension of K is generated by the x-coordinates of the points of finite order on some Weierstrass model for E over H.[4]

Many generalisations have been sought of Kronecker's ideas; they do however lie somewhat obliquely to the main thrust of the Langlands philosophy, and there is no definitive statement currently known.

Sample consequence

[edit]

It is no accident that Ramanujan's constant, the transcendental number[5]

or equivalently,

is an almost integer, in that it is very close to an integer.[6] This remarkable fact is explained by the theory of complex multiplication, together with some knowledge of modular forms, and the fact that

is a unique factorization domain.

Here satisfies α2 = α − 41. In general, S[α] denotes the set of all polynomial expressions in α with coefficients in S, which is the smallest ring containing α and S. Because α satisfies this quadratic equation, the required polynomials can be limited to degree one.

Alternatively,

an internal structure due to certain Eisenstein series, and with similar simple expressions for the other Heegner numbers.

Singular moduli

[edit]

The points of the upper half-plane τ which correspond to the period ratios of elliptic curves over the complex numbers with complex multiplication are precisely the imaginary quadratic numbers.[7] The corresponding modular invariants j(τ) are the singular moduli, coming from an older terminology in which "singular" referred to the property of having non-trivial endomorphisms rather than referring to a singular curve.[8]

The modular function j(τ) is algebraic on imaginary quadratic numbers τ:[9] these are the only algebraic numbers in the upper half-plane for which j is algebraic.[10]

If Λ is a lattice with period ratio τ then we write j(Λ) for j(τ). If further Λ is an ideal a in the ring of integers OK of a quadratic imaginary field K then we write j(a) for the corresponding singular modulus. The values j(a) are then real algebraic integers, and generate the Hilbert class field H of K: the field extension degree [H:K] = h is the class number of K and the H/K is a Galois extension with Galois group isomorphic to the ideal class group of K. The class group acts on the values j(a) by [b] : j(a) → j(ab).

In particular, if K has class number one, then j(a) = j(O) is a rational integer: for example, j(Z[i]) = j(i) = 1728.

See also

[edit]

Citations

[edit]
  1. ^ Silverman 2009, p. 69, Remark 4.3.
  2. ^ Reid, Constance (1996), Hilbert, Springer, p. 200, ISBN 978-0-387-94674-0
  3. ^ Silverman 1986, p. 102.
  4. ^ Serre 1967, p. 295.
  5. ^ 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.
  6. ^ Ramanujan Constant – from Wolfram MathWorld
  7. ^ Silverman 1986, p. 339.
  8. ^ Silverman 1994, p. 104.
  9. ^ Serre 1967, p. 293.
  10. ^ Baker, Alan (1975). Transcendental Number Theory. Cambridge University Press. p. 56. ISBN 0-521-20461-5. Zbl 0297.10013.

References

[edit]
[edit]