algebraic geometry Algebraic geometry is a branch of mathematics which uses abstract algebraic techniques, mainly from commutative algebra, to solve geometry, geometrical problems. Classically, it studies zero of a function, zeros of multivariate polynomials; th ...

, the Serre–Tate theorem says that an

abelian scheme In mathematics, particularly in algebraic geometry, complex analysis and algebraic number theory, an abelian variety is a smooth projective algebraic variety that is also an algebraic group, i.e., has a group law that can be defined by regular f ...

and its p-divisible group have the same infinitesimal

deformation theory In mathematics, deformation theory is the study of infinitesimal conditions associated with varying a solution ''P'' of a problem to slightly different solutions ''P''ε, where ε is a small number, or a vector of small quantities. The infinitesima ...

. This was first proved by

Jean-Pierre Serre Jean-Pierre Serre (; born 15 September 1926) is a French mathematician who has made contributions to algebraic topology, algebraic geometry and algebraic number theory. He was awarded the Fields Medal in 1954, the Wolf Prize in 2000 and the inau ...

when the reduction of the abelian variety is ordinary, using the Greenberg functor; then John Tate gave a proof in the general case by a different method. Their proofs were not published, but they were summarized in the notes of the Lubin–Serre–Tate seminar (Woods Hole, 1964). Other proofs were published by Messing (1962) and Drinfeld (1976).

References

* : see, vol.2, p. 854, comments on Tate's letter from Jan.10, 1964. * Abelian varieties Theorems in algebraic geometry {{algebraic-geometry-stub