Infinifesimal Criterion for Flatness of Projective Morphism of Schemes

TL;DR

This paper generalizes the classical Hilbert polynomial criterion for flatness to include projective morphisms of Noetherian schemes with nonreduced bases, broadening the applicability of flatness criteria in algebraic geometry.

Contribution

It introduces a new infinitesimal criterion for flatness applicable to projective morphisms with nonreduced bases, extending existing theories.

Findings

Established a generalized flatness criterion for nonreduced bases.

Connected classical Hilbert polynomial criterion to infinitesimal conditions.

Enhanced understanding of flatness in more complex scheme settings.

Abstract

The generalisation of the well-known (Hilbert polynomial) criterion for flatness of a projective morphism of Noetherian schemes is given for the case of nonreduced base of the morphism.