Classification of supersingular abelian varieties (Q1100527)

After studying the structure of supersingular abelian crystals, we can construct the fine moduli spaces of supersingular abelian schemes with some ``level structure''. Such a level structure can be recovered from the crystalline cohomology, and can be given to any family of supersingular abelian varieties after slight modification. Therefore supersingular abelian varieties of a given dimension are classified up to isomorphisms by a set of integer invariants (called an ``index'') and a finite number of quasi-projective varieties, one for each index.