 Abelian variety of CMtype

In mathematics, an abelian variety A defined over a field K is said to have CMtype if it has a large enough commutative subring in its endomorphism ring End(A). The terminology here is from complex multiplication theory, which was developed for elliptic curves in the nineteenth century. One of the major achievements in algebraic number theory and algebraic geometry of the twentieth century was to find the correct formulations of the corresponding theory for abelian varieties of dimension d > 1. The problem is at a deeper level of abstraction, because it is much harder to manipulate analytic functions of several complex variables.
The formal definition is that
 End_{Q}(A),
the tensor product of End(A) with the rational number field Q, should contain a commutative subring of dimension 2d over Z. When d = 1 this can only be a quadratic field, and one recovers the cases where End(A) is an order in an imaginary quadratic field. For d > 1 there are comparable cases for CMfields, the complex quadratic extensions of totally real fields. There are other cases that reflect that A may not be a simple abelian variety (it might be a cartesian product of elliptic curves, for example). Another name for abelian varieties of CMtype is abelian varieties with sufficiently many complex multiplications.
It is known that if K is the complex numbers, then any such A has a field of definition which is in fact a number field. The possible types of endomorphism ring have been classified, as rings with involution (the Rosati involution), leading to a classification of CMtype abelian varieties. To construct such varieties in the same style as for elliptic curves, starting with a lattice Λ in C^{d}, one must take into account the Riemann relations of abelian variety theory.
The CMtype is a description of the action of a (maximal) commutative subring L of End_{Q}(A) on the holomorphic tangent space of A at the identity element. Spectral theory of a simple kind applies, to show that L acts via a basis of eigenvectors; in other words L has an action that is via diagonal matrices on the holomorphic vector fields on A. In the simple case, where L is itself a number field rather than a product of some number of fields, the CMtype is then a list of complex embeddings of L. There are 2d of those, occurring in complex conjugate pairs; the CMtype is a choice of one out of each pair. It is known that all such possible CMtypes can be realised.
Basic results of Goro Shimura and Yutaka Taniyama compute the HasseWeil Lfunction of A, in terms of the CMtype and a Hecke Lfunction with Hecke character, having infinitytype derived from it. These generalise the results of Max Deuring for the elliptic curve case.
Categories: Abelian varieties
 Number theory
Wikimedia Foundation. 2010.
Look at other dictionaries:
Semistable abelian variety — In mathematics, a semistable abelian variety in Diophantine geometry is an abelian variety defined over a global or local field with reduction modulo all primes of restricted type.For an Abelian variety A defined over a field F with ring of… … Wikipedia
Arithmetic of abelian varieties — In mathematics, the arithmetic of abelian varieties is the study of the number theory of an abelian variety, or family of those. It goes back to the studies of Fermat on what are now recognised as elliptic curves; and has become a very… … Wikipedia
Equations defining abelian varieties — In mathematics, the concept of abelian variety is the higher dimensional generalization of the elliptic curve. The equations defining abelian varieties are a topic of study because every abelian variety is a projective variety. In dimension d ge; … Wikipedia
List of mathematics articles (A) — NOTOC A A Beautiful Mind A Beautiful Mind (book) A Beautiful Mind (film) A Brief History of Time (film) A Course of Pure Mathematics A curious identity involving binomial coefficients A derivation of the discrete Fourier transform A equivalence A … Wikipedia
Complex multiplication — This article is about certain endomorphism rings. For information about multiplication of complex numbers, see complex numbers. In mathematics, complex multiplication is the theory of elliptic curves E that have an endomorphism ring larger than… … Wikipedia
List of algebraic number theory topics — This is a list of algebraic number theory topics. Contents 1 Basic topics 2 Important problems 3 General aspects 4 Class field theory … Wikipedia
Chowla–Selberg formula — In mathematics, the Chowla–Selberg formula is the evaluation of a certain product of values of the Gamma function at rational values. The name comes from a 1967 joint paper of Chowla and Selberg.[1] The basic result was already in much earlier… … Wikipedia
Étale cohomology — In mathematics, the étale cohomology groups of an algebraic variety or scheme are algebraic analogues of the usual cohomology groups with finite coefficients of a topological space, introduced by Grothendieck in order to prove the Weil… … Wikipedia
EnriquesKodaira classification — In mathematics, the Enriques Kodaira classification is a classification of compact complex surfaces. For complex projective surfaces it was done by Federigo Enriques, and Kunihiko Kodaira later extended it to non algebraic compact surfaces. It… … Wikipedia
Glossary of arithmetic and Diophantine geometry — This is a glossary of arithmetic and Diophantine geometry in mathematics, areas growing out of the traditional study of Diophantine equations to encompass large parts of number theory and algebraic geometry. Much of the theory is in the form of… … Wikipedia