Flatness (mathematics)

Flatness (mathematics)
Name	Flatness (mathematics)
Field	Algebra, Algebraic geometry, Module theory, Homological algebra
Introduced	20th century
Notable	Jean-Pierre Serre, Alexander Grothendieck, David Hilbert

Flatness (mathematics) is a property of modules, sheaves, and morphisms that formalizes the idea of "no new relations" arising under base change. It arises in algebra, homological algebra, and algebraic geometry as a condition ensuring exactness preservation under tensoring, and it plays a central role in deformation theory, descent, and cohomological calculations.

Definition and basic properties

In commutative algebra one says an R-module M is flat over a ring R if the functor - ⊗_R M is exact on the category of R-modules; this condition is equivalent to Tor_i^R(-,M)=0 for all i>0 by homological algebra. Flatness is preserved under filtered colimits, direct sums, and localization, and it is local on the base for schemes. Historically, flatness was systematized in the work of Jean-Pierre Serre and Alexander Grothendieck and is used in the formulation of cohomology theories and descent. Flat morphisms of schemes provide a geometric counterpart: a morphism f:X→S is flat if the structure sheaf O_X is flat as an O_S-module under f_*, ensuring "unchanging fiber dimension" in many contexts.

Flat modules and homological characterizations

Flat modules admit several homological characterizations: M is flat iff Tor_1^R(N,M)=0 for every finitely presented R-module N; equivalently, any short exact sequence 0→A→B→C→0 remains exact after tensoring with M. Over Noetherian rings the Auslander–Buchsbaum formula and projective dimension give interplay between flatness and projectivity; in particular, finitely generated flat modules over a local Noetherian ring are projective by Kaplansky’s theorem. The relation with derived functors appears in the derived category formalism of Jean-Louis Verdier and Grothendieck: M is flat when the left derived functor L(-⊗_R M) is concentrated in degree zero. Homological criteria often reference resolutions such as projective resolutions used by Emmy Noether, David Hilbert, and others in algebraic investigations.

Flatness in algebraic geometry and sheaves

In algebraic geometry flatness of a morphism f:X→S ensures good behavior of fibers, cohomology, and base change for sheaves; Grothendieck developed the foundational theory in Éléments de géométrie algébrique. For a scheme S and an O_S-module F, F is flat over S if for each point s∈S the stalk F_s is flat over O_{S,s}. Flatness appears in the study of families of varieties such as curves studied by Oscar Zariski and André Weil, moduli spaces developed by David Mumford, and deformation theory influenced by Grothendieck, Michael Artin, and Pierre Deligne. The notion is essential in criteria like Miracle Flatness, the Coherence Theorem, and in the formulation of Hilbert and Picard schemes. Flatness interacts with properness in theorems by Grothendieck and with base change results used by Serre, Weil, and others.

Examples and non-examples

Typical examples: free modules are flat, hence structure sheaves of affine space or projective space studied by Grothendieck and Oscar Zariski give flat families; localization R_f is flat over R, and polynomial rings R[x] yield flat extensions used in constructions by David Hilbert. Finitely generated torsion-free modules over principal ideal domains (PIDs) such as rings studied by Emmy Noether are flat and projective. Non-examples include modules with torsion over Dedekind domains when torsion is nonzero, and extensions that introduce new relations under tensoring; classical counterexamples were used by Alexander Grothendieck to show subtlety in descent and by Serre in coherent cohomology contexts. Flatness can fail for finitely presented modules in non-Noetherian settings, a phenomenon observed in work connected to Hilbert’s syzygy theorem and counterexamples by Nagata.

Preservation and stability properties

Flatness is stable under base change, composition of flat morphisms, and faithfully flat descent—Grothendieck used these properties to develop faithfully flat descent theory and applications to descent for quasi-coherent sheaves and vector bundles. It is preserved under filtered colimits and direct limits, and local criteria reduce checks to stalks or local rings as in Nakayama-type lemmas attributed to Masayoshi Nagata and others. Flatness interacts with completion and adic topologies relevant in work by Alexander Grothendieck and John Tate; completions may fail to preserve flatness unless additional conditions like noetherianity or Artin–Rees properties hold, topics appearing in the research of Serre and Matsumura.

Relationship to related notions (projective, torsion-free)

Projective modules are flat, and over local rings the notions of finitely generated flat and projective coincide by Kaplansky and Lazard; Lazard characterized flat modules as direct limits of finitely generated free modules, connecting to work by Irving Kaplansky and Daniel Lazard. Torsion-free modules over integral domains are closely related: over PIDs torsion-free implies flat and projective, a fact appearing in classical algebra textbooks influenced by Emmy Noether and Richard Dedekind. In contrast, over general integral domains torsion-free need not imply flatness, with counterexamples studied by Nagata and Serre. Flatness also contrasts with properties like injectivity and Cohen–Macaulayness studied by Grothendieck and others in singularity theory and commutative algebra.

Category:Commutative algebra Category:Algebraic geometry Category:Homological algebra