Discover recommended publications from the LibreTimes community.
Every finite flat commutative group scheme over a noetherian local ring is the torsion component of the Picard scheme of a smooth projective scheme with 3-dimensional fibers, built as a quotient of a complete intersection. An application: Hodge numbers that jump in a smooth projective family.
Why the definition of a filtered category insists on non-emptiness: the empty colimit fails to commute with the empty limit, and that is the only failure.
A complete local ring with a finitely generated maximal ideal is Noetherian. Drop completeness and it fails: an ultraproduct construction gives a non-Noetherian local ring whose maximal ideal is principal.
A matrix, its notation, and the main types: row, column, echelon, square, diagonal, identity, symmetric - defined and shown with worked examples.