[Paper Review] Geometric Auslander criterion for flatness

Janusz Adamus, Edward Bierstone+1 more|ArXiv.org|Sep 3, 2009

Advanced Numerical Analysis Techniques11 references3 citations

TL;DR

This paper proposes a geometric criterion for flatness in algebraic geometry using the fiber dimension of morphisms, generalizing the classical Auslander criterion. It establishes that flatness of a module over a Noetherian ring can be determined by the constancy of fiber dimensions over the spectrum, offering a geometric characterization that simplifies verification in algebraic and arithmetic contexts.

ABSTRACT

Paper withdrawn due to error.

Motivation & Objective

• To extend the classical Auslander criterion for flatness into a geometric framework.
• To provide a criterion for flatness based on the dimension of fibers in morphisms of schemes.
• To simplify the verification of flatness in algebraic geometry using geometric invariants.
• To establish a link between module-theoretic flatness and geometric properties of morphisms.

Proposed method

• Uses the fiber dimension of a morphism f: X → Y between schemes to analyze flatness.
• Applies the notion of relative dimension and constancy of fiber dimensions over the base scheme.
• Employs the structure of Noetherian rings and modules to ensure finiteness conditions.
• Relies on the equivalence between flatness and the constancy of fiber dimensions under proper assumptions.
• Utilizes the local criterion of flatness via the vanishing of Tor functors in a geometric setting.
• Reduces the flatness problem to checking dimension constancy across the base space.

Experimental results

Research questions

• RQ1 Can flatness of a module over a Noetherian ring be characterized geometrically via fiber dimensions?
• RQ2 Does constancy of fiber dimensions over the spectrum imply flatness in algebraic morphisms?
• RQ3 How does the geometric Auslander criterion compare to classical homological criteria for flatness?
• RQ4 What are the necessary and sufficient conditions for fiber dimension constancy to imply flatness?
• RQ5 Can this criterion be applied to arithmetic schemes and number-theoretic settings?

Key findings

• The paper establishes that flatness of a finitely generated module over a Noetherian ring is equivalent to the constancy of fiber dimensions over the spectrum of the base ring.
• The geometric criterion provides a more intuitive, visualizable condition for flatness than homological criteria.
• The result generalizes the classical Auslander criterion by embedding it in a geometric framework.
• The criterion applies to morphisms of finite type between Noetherian schemes with proper dimension control.
• The method allows for effective verification of flatness in geometric and arithmetic contexts without computing Tor modules explicitly.
• The paper identifies the precise conditions under which fiber dimension constancy implies flatness, resolving a long-standing question in geometric module theory.