Skip to main content
1 of 4
Emerton
  • 57.6k
  • 6
  • 209
  • 259

It's a result related in spirit to Minkowski's theorem that $\mathbb Q$ admits no non-trivial unramified extensions. If $A$ is an abelian variety over $\mathbb Q$ with everywhere good reduction, then for any integer $n$ the $n$-torsion scheme $A[n]$ is a finite flat group scheme over $\mathbb Z$. Although this group scheme will be ramified at primes $p$ dividing $n$, Fontaine's theory shows that the ramification is of a rather mild type: so mild, that a non-trivial such family of $A[n]$ can't exist.

In the last 25 years, there has been much research on related questions, including by Brumer--Kramer, Schoof, and F. Calegari, among others. (One particularly interesting recent variation is a joint paper of F. Calegari and Dunfield in which they use related ideas to construct a tower of closed hyperbolic 3-manifolds that are rational homology spheres, but whose injectivity radii grow without bound.)

EDIT: I should add that the case of elliptic curves is older, due to Tate I believe, and uses a different argument: he considers the equation computing the discriminant of a cubic polynomial $f(x)$ (corresponding to the elliptic curve $y^2 = f(x)$) and shows that this solution equation has no integral solutions giving a discriminant of $\pm 1$.

This direction of argument generalizes in different ways, but is related to a result of Shafarevic (I think) proving that there are only finitely many elliptic curves with good reduction outside a finite set of primes. (A result which was generalized by Faltings to abelian varieties as part of his proof of Mordell's conjecture.)

Emerton
  • 57.6k
  • 6
  • 209
  • 259