Arithmetic of abelian varieties

Last updated January 14, 2022

In mathematics, the arithmetic of abelian varieties is the study of the number theory of an abelian variety, or a family of abelian varieties. It goes back to the studies of Pierre de Fermat on what are now recognized as elliptic curves; and has become a very substantial area of arithmetic geometry both in terms of results and conjectures. Most of these can be posed for an abelian variety A over a number field K; or more generally (for global fields or more general finitely-generated rings or fields).

Integer points on abelian varieties

There is some tension here between concepts: integer point belongs in a sense to affine geometry, while abelian variety is inherently defined in projective geometry. The basic results, such as Siegel's theorem on integral points, come from the theory of diophantine approximation.

Rational points on abelian varieties

The basic result, the Mordell–Weil theorem in Diophantine geometry, says that A(K), the group of points on A over K, is a finitely-generated abelian group. A great deal of information about its possible torsion subgroups is known, at least when A is an elliptic curve. The question of the rank is thought to be bound up with L-functions (see below).

The torsor theory here leads to the Selmer group and Tate–Shafarevich group, the latter (conjecturally finite) being difficult to study.

Heights

The theory of heights plays a prominent role in the arithmetic of abelian varieties. For instance, the canonical Néron–Tate height is a quadratic form with remarkable properties that appear in the statement of the Birch and Swinnerton-Dyer conjecture.

Reduction mod p

Reduction of an abelian variety A modulo a prime ideal of (the integers of) K— say, a prime number p— to get an abelian variety A_p over a finite field, is possible for almost all p. The 'bad' primes, for which the reduction degenerates by acquiring singular points, are known to reveal very interesting information. As often happens in number theory, the 'bad' primes play a rather active role in the theory.

Here a refined theory of (in effect) a right adjoint to reduction mod p— the Néron model — cannot always be avoided. In the case of an elliptic curve there is an algorithm of John Tate describing it.

L-functions

For abelian varieties such as A_p, there is a definition of local zeta-function available. To get an L-function for A itself, one takes a suitable Euler product of such local functions; to understand the finite number of factors for the 'bad' primes one has to refer to the Tate module of A, which is (dual to) the étale cohomology group H¹(A), and the Galois group action on it. In this way one gets a respectable definition of Hasse–Weil L-function for A. In general its properties, such as functional equation, are still conjectural – the Taniyama–Shimura conjecture (which was proven in 2001) was just a special case, so that's hardly surprising.

It is in terms of this L-function that the conjecture of Birch and Swinnerton-Dyer is posed. It is just one particularly interesting aspect of the general theory about values of L-functions L(s) at integer values of s, and there is much empirical evidence supporting it.

Complex multiplication

Since the time of Carl Friedrich Gauss (who knew of the lemniscate function case) the special role has been known of those abelian varieties $A$ with extra automorphisms, and more generally endomorphisms. In terms of the ring ${\rm {End}}(A)$ , there is a definition of abelian variety of CM-type that singles out the richest class. These are special in their arithmetic. This is seen in their L-functions in rather favourable terms – the harmonic analysis required is all of the Pontryagin duality type, rather than needing more general automorphic representations. That reflects a good understanding of their Tate modules as Galois modules. It also makes them harder to deal with in terms of the conjectural algebraic geometry (Hodge conjecture and Tate conjecture). In those problems the special situation is more demanding than the general.

In the case of elliptic curves, the Kronecker Jugendtraum was the programme Leopold Kronecker proposed, to use elliptic curves of CM-type to do class field theory explicitly for imaginary quadratic fields – in the way that roots of unity allow one to do this for the field of rational numbers. This generalises, but in some sense with loss of explicit information (as is typical of several complex variables).

Manin–Mumford conjecture

The Manin–Mumford conjecture of Yuri Manin and David Mumford, proved by Michel Raynaud,^[1]^[2] states that a curve C in its Jacobian variety J can only contain a finite number of points that are of finite order (a torsion point) in J, unless C = J. There are other more general versions, such as the Bogomolov conjecture which generalizes the statement to non-torsion points.

Related Research Articles

In mathematics, an elliptic curve is a smooth, projective, algebraic curve of genus one, on which there is a specified point O. An elliptic curve is defined over a field K and describes points in K², the Cartesian product of K with itself. If the field's characteristic is different from 2 and 3, then the curve can be described as a plane algebraic curve which, after a linear change of variables, consists of solutions (x,y) for:

In arithmetic geometry, the Mordell conjecture is the conjecture made by Louis Mordell that a curve of genus greater than 1 over the field Q of rational numbers has only finitely many rational points. In 1983 it was proved by Gerd Faltings, and is now known as Faltings's theorem. The conjecture was later generalized by replacing Q by any number field.

John Torrence Tate Jr. was an American mathematician, distinguished for many fundamental contributions in algebraic number theory, arithmetic geometry and related areas in algebraic geometry. He was awarded the Abel Prize in 2010.

In mathematics, particularly in algebraic geometry, complex analysis and algebraic number theory, an abelian variety is a projective algebraic variety that is also an algebraic group, i.e., has a group law that can be defined by regular functions. Abelian varieties are at the same time among the most studied objects in algebraic geometry and indispensable tools for much research on other topics in algebraic geometry and number theory.

In mathematics, the Birch and Swinnerton-Dyer conjecture describes the set of rational solutions to equations defining an elliptic curve. It is an open problem in the field of number theory and is widely recognized as one of the most challenging mathematical problems. It is named after mathematicians Bryan John Birch and Peter Swinnerton-Dyer, who developed the conjecture during the first half of the 1960s with the help of machine computation. As of 2021, only special cases of the conjecture have been proven.

In arithmetic geometry, the Selmer group, named in honor of the work of Ernst Sejersted Selmer (1951) by John William Scott Cassels (1962), is a group constructed from an isogeny of abelian varieties.

In mathematics, arithmetic geometry is roughly the application of techniques from algebraic geometry to problems in number theory. Arithmetic geometry is centered around Diophantine geometry, the study of rational points of algebraic varieties.

In number theory and algebraic geometry, a rational point of an algebraic variety is a point whose coordinates belong to a given field. If the field is not mentioned, the field of rational numbers is generally understood. If the field is the field of real numbers, a rational point is more commonly called a real point.

In mathematics, a Tate module of an abelian group, named for John Tate, is a module constructed from an abelian group A. Often, this construction is made in the following situation: G is a commutative group scheme over a field K, K^s is the separable closure of K, and A = G(K^s). In this case, the Tate module of A is equipped with an action of the absolute Galois group of K, and it is referred to as the Tate module of G.

In number theory and algebraic geometry, the Tate conjecture is a 1963 conjecture of John Tate that would describe the algebraic cycles on a variety in terms of a more computable invariant, the Galois representation on étale cohomology. The conjecture is a central problem in the theory of algebraic cycles. It can be considered an arithmetic analog of the Hodge conjecture.

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 proposed conjectures, which can be related at various levels of generality.

A height function is a function that quantifies the complexity of mathematical objects. In Diophantine geometry, height functions quantify the size of solutions to Diophantine equations and are typically functions from a set of points on algebraic varieties to the real numbers.

In number theory, the Néron–Tate height is a quadratic form on the Mordell–Weil group of rational points of an abelian variety defined over a global field. It is named after André Néron and John Tate.

Arithmetic dynamics is a field that amalgamates two areas of mathematics, dynamical systems and number theory. Classically, discrete dynamics refers to the study of the iteration of self-maps of the complex plane or real line. Arithmetic dynamics is the study of the number-theoretic properties of integer, rational, $p$ -adic, and/or algebraic points under repeated application of a polynomial or rational function. A fundamental goal is to describe arithmetic properties in terms of underlying geometric structures.

In mathematics, the Bogomolov conjecture is a conjecture, named after Fedor Bogomolov, in arithmetic geometry about algebraic curves that generalizes the Manin-Mumford conjecture in arithmetic geometry. The conjecture was proved by Emmanuel Ullmo and Shou-Wu Zhang in 1998. A further generalization to general abelian varieties was also proved by Zhang in 1998.

In mathematics, the main conjecture of Iwasawa theory is a deep relationship between p-adic L-functions and ideal class groups of cyclotomic fields, proved by Kenkichi Iwasawa for primes satisfying the Kummer–Vandiver conjecture and proved for all primes by Mazur and Wiles (1984). The Herbrand–Ribet theorem and the Gras conjecture are both easy consequences of the main conjecture. There are several generalizations of the main conjecture, to totally real fields, CM fields, elliptic curves, and so on.

In mathematics, the Mordell–Weil theorem states that for an abelian variety $over a number field, the group of K -rational points of is a finitely-generated abelian group, called the Mordell-Weil group . The case with an elliptic curve and the rational number field Q is Mordell's theorem, answering a question apparently posed by Henri Poincaré around 1901; it was proved by Louis Mordell in 1922. It is a foundational theorem of Diophantine geometry and the arithmetic of abelian varieties.$

In arithmetic geometry, the Tate–Shafarevich group $Ш(A / K)$ of an abelian variety $A$ (or more generally a group scheme) defined over a number field $K$ consists of the elements of the Weil–Châtelet group $WC(A / K) = H 1 (G K, A)$ that become trivial in all of the completions of $K$ (i.e. the $p$ -adic fields obtained from $K$ , as well as its real and complex completions). Thus, in terms of Galois cohomology, it can be written as

James S. Milne is a New Zealand mathematician working in arithmetic geometry.

References

↑ Raynaud, Michel (1983). "Sous-variétés d'une variété abélienne et points de torsion". In Artin, Michael; Tate, John (eds.). Arithmetic and geometry. Papers dedicated to I. R. Shafarevich on the occasion of his sixtieth birthday. Vol. I: Arithmetic. Progress in Mathematics (in French). 35. Birkhäuser-Boston. pp. 327–352. MR 0717600. Zbl 0581.14031.
↑ Roessler, Damian (2005). "A note on the Manin-Mumford conjecture". In van der Geer, Gerard; Moonen, Ben; Schoof, René (eds.). Number fields and function fields — two parallel worlds. Progress in Mathematics. 239. Birkhäuser. pp. 311–318. ISBN 0-8176-4397-4. MR 2176757. Zbl 1098.14030.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Raynaud, Michel (1983). "Sous-variétés d'une variété abélienne et points de torsion". In Artin, Michael; Tate, John (eds.). Arithmetic and geometry. Papers dedicated to I. R. Shafarevich on the occasion of his sixtieth birthday. Vol. I: Arithmetic. Progress in Mathematics (in French). 35. Birkhäuser-Boston. pp. 327–352. MR 0717600. Zbl 0581.14031.

[2] Roessler, Damian (2005). "A note on the Manin-Mumford conjecture". In van der Geer, Gerard; Moonen, Ben; Schoof, René (eds.). Number fields and function fields — two parallel worlds. Progress in Mathematics. 239. Birkhäuser. pp. 311–318. ISBN 0-8176-4397-4. MR 2176757. Zbl 1098.14030.

[1]

[2]