Detecting flatness over smooth bases

DOI10.1090/S1056-3911-2012-00579-7MaRDI QIDQ4904370zbMATH OpenOpenAlexFDO

Authors Luchezar L. Avramov, Srikanth B. Iyengar

Publication date 29 January 2013

Published in Journal of Algebraic Geometry (Search for Journal in Brave)

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

zbMATH Keywords

\(d\)-fold fiber productessentially of finite typeessentially smoothflatness

Mathematics Subject Classification ID

Injective and flat modules and ideals in commutative rings (13C11) Torsion modules and ideals in commutative rings (13C12) Schemes and morphisms (14A15)

Abstract: Given an essentially finite type morphism of schemes f: X --> Y and a positive integer d, let f^{d}: X^{d} --> Y denote the natural map from the d-fold fiber product, X^{d}, of X over Y and pi_i: X^{d} --> X the i'th canonical projection. When Y smooth over a field and F is a coherent sheaf on X, it is proved that F is flat over Y if (and only if) f^{d} maps the associated points of the tensor product sheaf otimes_{i=1}^d pi_i^*(F) to generic points of Y, for some d greater than or equal to dim Y. The equivalent statement in commutative algebra is an analog---but not a consequence---of a classical criterion of Auslander and Lichtenbaum for the freeness of finitely generated modules over regular local rings.

Recommendations

• scientific article; zbMATH DE number 2019946
• On the torsion of the differential module of a curve singularity
• Flatness testing and torsion freeness of analytic tensor powers
• An inductive analytic criterion for flatness
• On n-flat modules over a commutative ring
• Differential modules with maximal torsion
• Geometric Auslander criterion for openness of an algebraic morphism
• ON AN “ARITHMETIC” FUNCTOR
• Reduction number one for finitely generated torsion-free modules
• Torsion in tensor powers of modules

Cites work

• A note on the new rigidity theorem for Koszul complexes
• Algèbre commutative
• Codimension and multiplicity
• Flatness and fibred powers over smooth varieties
• Flatness testing and torsionfree morphisms
• Geometric Auslander criterion for flatness
• scientific article; zbMATH DE number 3125399 (Why is no real title available?)
• scientific article; zbMATH DE number 3973001 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• Modules over unramified regular local rings
• On Finite Weak and Injective Dimension
• On the vanishing of Tor in regular local rings
• Tensor products of modules, rigidity and local cohomology.

Cited in

(7)

• On flatness of generic projections
• Spreading envelope of flat morphisms
• Flatness testing over singular bases
• 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
• About de Smit's question on flatness

This page was built for publication: Detecting flatness over smooth bases

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