Pure powers and power classes in recurrence sequences
Let be a field of characteristic . Let be a over (i.e., an -truncated Barsotti–Tate group over ). Let be a -scheme and let be a over . Let be the subscheme of which describes the locus where is locally for the fppf topology isomorphic to . If , we show that is pure in , i.e. the immersion is affine. For , we prove purity if satisfies a certain technical property depending only on its -torsion . For , we apply the developed techniques to show that all level ...