This entry is about a section of the text
Let a system of -modules? such that for all
is exact
is of finite length.
then is a finitely generated -module and the canonical map identifies
(-torsion formal group) A formal group is called -torsion formal group if
is finite.
There are exact sequences
showing by induction the also is finite for all . Define
is a (contravariant) equivalence between the category of -torsion?formal groups and the category of tuples where M is a finitely generated -module and , to groups of endomorphisms of with
It follows from the lemma that is finitely generated and that
Conversely if is as before we define where
Moreover we have:
is finite iff is finite and in that case is the same as in § 7.
is -divisible iff is torsion-less (= free) and .
For any perfect extension? there is a functorial isomorphism
If is -divisible with Serre dual? then with
and
a) The Dieudonné functor
is a contravariant equivalence between the category of -torsion formal groups, and the category of all triples where is a finitely generated -module and , two group endomorphisms of satisfying
It follows from the lemma that is finitely generated and . Conversely if is as before, then we define as where .
From the definition and what we already verified follows:
is finite iff is finite, and in that case is the same as defined in § 7.
is finite iff is torsion-less (= free), and .
For any perfect extension , there is a functorial isomorphism .
If is -divisible, with Serre dual , then , with and .
Michel Demazure, lectures on p-divisible groups web
Last revised on June 9, 2012 at 15:57:34. See the history of this page for a list of all contributions to it.