4 edited body

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.)

Finally, one could add that in Faltings', Faltings's argument, he also relied crucially on ramification results for $p$-divisible groups, due also to Tate, I think, results which Fontaine's theory generalizes. So one sees that the study of ramification of finite flat groups schemes and $p$-divisible groups (and more generally Fontaine's $p$-adic Hodge theory) plays a crucial role in these sorts of Diophantine questions. A colleague describes it as the black magic'' that makes all Diophantine arguments (including Wiles' proof of FLT as well) work.

P.S. It might be useful to give a toy illustrative example of how finite flat group schemes give rise to mildly ramified extensions: consider all the quadratic extensions of $\mathbb Q$ ramified only at $2$: they are ${\mathbb Q}(\sqrt{-1}),$ ${\mathbb Q}(\sqrt{2})$, and ${\mathbb Q}(\sqrt{-2})$, with discriminants $-4$, $8$, and $-8$ respectively. Thus ${\mathbb Q}(\sqrt{-1})$ is the least ramified, and not coincidentally, it is the splitting field of the finite flat group scheme $\mu_4$ of 4th roots of unity.

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.)

Finally, one could add that in Faltings Faltings', argument, he also relied crucially on ramification results for $p$-divisible groups, due also to Tate, I think, results which Fontaine's theory generalizes. So one sees that the study of ramification of finite flat groups schemes and $p$-divisible groups (and more generally Fontaine's $p$-adic Hodge theory) plays a crucial role in these sorts of Diophantine questions. A colleague describes it as the black magic'' that makes all Diophantine arguments (including Wiles' proof of FLT as well) work.

P.S. It might be useful to give a toy illustrative example of how finite flat group schemes give rise to mildly ramified extensions: consider all the quadratic extensions of $\mathbb Q$ ramified only at $2$: they are ${\mathbb Q}(\sqrt{-1}),$ ${\mathbb Q}(\sqrt{2})$, and ${\mathbb Q}(\sqrt{-2})$, with discriminants $-4$, $8$, and $-8$ respectively. Thus ${\mathbb Q}(\sqrt{-1})$ is the least ramified, and not coincidentally, it is the splitting field of the finite flat group scheme $\mu_4$ of 4th roots of unity.

2 added 547 characters in body

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.)

Finally, one could add that in Faltings argument, he also relied crucially on ramification results for $p$-divisible groups, due also to Tate, I think, results which Fontaine's theory generalizes. So one sees that the study of ramification of finite flat groups schemes and $p$-divisible groups (and more generally Fontaine's $p$-adic Hodge theory) plays a crucial role in these sorts of Diophantine questions. A colleague describes it as the black magic'' that makes all Diophantine arguments (including Wiles' proof of FLT as well) work.

1