Geometric Auslander criterion for flatness

DOI10.1353/AJM.2013.0010MaRDI QIDQ4907953zbMATH OpenOpenAlexFDO

Authors Janusz Adamus, Edward Bierstone, Pierre Milman

Publication date 27 February 2013

Published in American Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0901.2744

zbMATH Keywords

\(n\)-fold fibred product\(n\)-fold tensor powerflatness

Mathematics Subject Classification ID

Injective and flat modules and ideals in commutative rings (13C11) Fibrations, degenerations in algebraic geometry (14D06) Complex spaces (32C15) Deformations of submanifolds and subspaces (32G10)

Abstract: We prove that, if F is a coherent sheaf of modules over the source of a morphism f:X->Y of complex-analytic spaces, where Y is smooth, then the stalk of F at a point x in X is flat over R, the local ring of the target at f(x) if and only if the n-fold analytic tensor power of this stalk over R (where n = dim R) has no vertical elements. The result implies that if F is a finite module over a morphism f:X->Y of complex algebraic varieties, where Y is smooth and n=dim Y, then the stalk of F at x is R-flat if and only if its n-fold tensor power is a torsionfree R-module. The latter generalizes a classical freeness criterion of Auslander to modules that are not necessarily finitely generated over the base ring.

Recommendations

• Flatness testing over singular bases
• An inductive analytic criterion for flatness
• Flatness and fibred powers over smooth varieties
• Flatness and fibred powers
• Flatness testing and torsion freeness of analytic tensor powers

Cited in

(16)

• Flatness and fibred powers
• Flatness testing and torsionfree morphisms
• Flatness and fibred powers over smooth varieties
• Flatness criteria
• Flatness testing and torsion freeness of analytic tensor powers
• An inductive analytic criterion for flatness
• Geometric Auslander criterion for openness of an algebraic morphism
• Flatness testing over singular bases
• Geometric criteria for Landweber exactness
• scientific article; zbMATH DE number 66894 (Why is no real title available?)
• Detecting flatness over smooth bases
• Residue currents and fundamental cycles
• A fast flatness testing criterion in characteristic zero
• Infinitesimal criterion for flatness of projective morphism of schemes
• Proof of de Smit's conjecture: a freeness criterion
• Geometrically flat map and dualizing sheaves

This page was built for publication: Geometric Auslander criterion for flatness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4907953)