mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

, the Néron–Ogg–Shafarevich criterion states that if ''A'' is an

elliptic curve In mathematics, an elliptic curve is a smooth, projective, algebraic curve of genus one, on which there is a specified point . An elliptic curve is defined over a field and describes points in , the Cartesian product of with itself. If ...

abelian variety 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 func ...

over a

local field In mathematics, a field ''K'' is called a (non-Archimedean) local field if it is complete with respect to a topology induced by a discrete valuation ''v'' and if its residue field ''k'' is finite. Equivalently, a local field is a locally compact t ...

''K'' and ℓ is a

prime A prime number (or a prime) is a natural number greater than 1 that is not a product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime because the only ways ...

not dividing the characteristic of the

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. Frequently, ''R'' is a ...

of ''K'' then ''A'' has good reduction if and only if the ℓ-adic

Tate module 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 ...

''T''_ℓ of ''A'' is

unramified In geometry, ramification is 'branching out', in the way that the square root function, for complex numbers, can be seen to have two ''branches'' differing in sign. The term is also used from the opposite perspective (branches coming together) as ...

. introduced the criterion for elliptic curves. used the results of to extend it to abelian varieties, and named the criterion after Ogg, Néron and

Igor Shafarevich Igor Rostislavovich Shafarevich (russian: И́горь Ростисла́вович Шафаре́вич; 3 June 1923 – 19 February 2017) was a Soviet and Russian mathematician who contributed to algebraic number theory and algebraic geometry. ...

(commenting that Ogg's result seems to have been known to Shafarevich).

References

* * * Abelian varieties Elliptic curves Theorems in algebraic geometry Arithmetic geometry {{Abstract-algebra-stub