Search results for “abelian schemes”

A proof of Raynaud's theorem: every finite flat commutative group scheme over a locally noetherian base embeds, Zariski-locally, as a closed subgroup of an abelian scheme.

A rigidity condition on schemes, strictly stronger than smoothness, introduced with examples and a look at where it fails to be geometric — no known application, just a curiosity.

An example, due to Serre, of a smooth projective surface in positive characteristic whose Picard scheme fails to be reduced, worked out via the two governing dimension inequalities.

Not intended for publication.