Conductor of an abelian variety
Encyclopedia
In mathematics
, in Diophantine geometry
, the conductor of an abelian variety defined over a local
or global field
F is a measure of how "bad" the bad reduction at some prime is. It is connected to the ramification
in the field generated by the division points.
For an abelian variety
A defined over a field F with ring of integers R, consider the Néron model
of A, which is a 'best possible' model of A defined over R. This model may be represented as a scheme
over
(cf. spectrum of a ring
) for which the generic fibre constructed by means of the morphism
gives back A. Let A0 denote the open subgroup scheme of the Néron model whose fibres are the connected components. For a residue field
k, A0k is a group variety over k, hence an extension of an abelian variety by a linear group. This linear group is an extension of a torus by a unipotent group. Let u be the dimension of the unipotent group and t the dimension of the torus. The order of the conductor is
where δ is a measure of wild ramification.
Mathematics
Mathematics is the study of quantity, space, structure, and change. Mathematicians seek out patterns and formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proofs, which are arguments sufficient to convince other mathematicians of their validity...
, in Diophantine geometry
Diophantine geometry
In mathematics, diophantine geometry is one approach to the theory of Diophantine equations, formulating questions about such equations in terms of algebraic geometry over a ground field K that is not algebraically closed, such as the field of rational numbers or a finite field, or more general...
, the conductor of an abelian variety defined over a local
Local field
In mathematics, a local field is a special type of field that is a locally compact topological field with respect to a non-discrete topology.Given such a field, an absolute value can be defined on it. There are two basic types of local field: those in which the absolute value is archimedean and...
or global field
Global field
In mathematics, the term global field refers to either of the following:*an algebraic number field, i.e., a finite extension of Q, or*a global function field, i.e., the function field of an algebraic curve over a finite field, equivalently, a finite extension of Fq, the field of rational functions...
F is a measure of how "bad" the bad reduction at some prime is. It is connected to the ramification
Ramification
In mathematics, ramification is a geometric term used for 'branching out', in the way that the square root function, for complex numbers, can be seen to have two branches differing in sign...
in the field generated by the division points.
For an abelian variety
Abelian variety
In mathematics, particularly in algebraic geometry, complex analysis and 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...
A defined over a field F with ring of integers R, consider the Néron model
Néron model
In algebraic geometry, a Néron model for an abelian variety AK defined over a local field K is the "best possible" group scheme AO defined over the ring of integers R of the local field K that becomes isomorphic to AK after base change from R to K.They were introduced by André Néron...
of A, which is a 'best possible' model of A defined over R. This model may be represented as a scheme
Scheme (mathematics)
In mathematics, a scheme is an important concept connecting the fields of algebraic geometry, commutative algebra and number theory. Schemes were introduced by Alexander Grothendieck so as to broaden the notion of algebraic variety; some consider schemes to be the basic object of study of modern...
over
- Spec(R)
(cf. spectrum of a ring
Spectrum of a ring
In abstract algebra and algebraic geometry, the spectrum of a commutative ring R, denoted by Spec, is the set of all proper prime ideals of R...
) for which the generic fibre constructed by means of the morphism
- Spec(F) → Spec(R)
gives back A. Let A0 denote the open subgroup scheme of the Néron model whose fibres are the connected components. For a residue field
Residue field
In mathematics, the residue field is a basic construction in commutative algebra. If R is a commutative ring and m is a maximal ideal, then the residue field is the quotient ring k = R/m, which is a field...
k, A0k is a group variety over k, hence an extension of an abelian variety by a linear group. This linear group is an extension of a torus by a unipotent group. Let u be the dimension of the unipotent group and t the dimension of the torus. The order of the conductor is
where δ is a measure of wild ramification.
Properties
- If A has good reduction then f = u = t = δ = 0.
- If A has semistable reduction or, more generally, acquires semistable reduction over a Galois extension of F of degree prime to p, the residue characteristic, then δ = 0.
- If p > 2d + 1, where d is the dimension of A, then δ = 0.