Flat morphism

In mathematics, in particular in the theory of schemes in algebraic geometry, a flat morphism f from a scheme X to a scheme Y is a morphism such that the induced map on every stalk is a flat map of rings, i.e.,

f_P: O_Y,f(P) → O_X,P

is a flat map for all P in X.^[1] A map of rings A → B is called flat, if it is a homomorphism that makes B a flat A-module.

A morphism of schemes f is a faithfully flat morphism if f is a surjective flat morphism.^[2]

Two of the basic intuitions are that flatness is a generic property, and that the failure of flatness occurs on the jumping set of the morphism.

The first of these comes from commutative algebra: subject to some finiteness conditions on f, it can be shown that there is a non-empty open subscheme Y′ of Y, such that f restricted to Y′ is a flat morphism (generic flatness). Here 'restriction' is interpreted by means of fiber product, applied to f and the inclusion map of Y′ into Y.

For the second, the idea is that morphisms in algebraic geometry can exhibit discontinuities of a kind that are detected by flatness. For instance, the operation of blowing down in the birational geometry of an algebraic surface, can give a single fiber that is of dimension 1 when all the others have dimension 0. It turns out (retrospectively) that flatness in morphisms is directly related to controlling this sort of semicontinuity, or one-sided jumping.

Flat morphisms are used to define (more than one version of) the flat topos, and flat cohomology of sheaves from it. This is a deep-lying theory, and has not been found easy to handle. The concept of étale morphism (and so étale cohomology) depends on the flat morphism concept: an étale morphism being flat, of finite type, and unramified.

Examples/Non-Examples

Consider the affine scheme

${\begin{matrix}{\text{Spec}}\left({\frac {\mathbb {C} [x,y,t]}{x^{2}+y^{2}-t}}\right)\\\downarrow \\{\text{Spec}}(\mathbb {C} [t])\end{matrix}}$

induced from the obvious morphism of algebras

${\begin{matrix}\mathbb {C} [t]\to &{\frac {\mathbb {C} [x,y,t]}{x^{2}+y^{2}-t}}\\t\mapsto &t\\\end{matrix}}$

Since proving flatness for this morphism amounts to computing ${\text{Tor}}_{1}^{\mathbb {C} [t]}\left({\frac {\mathbb {C} [x,y,t]}{x^{2}+y^{2}-t}},\mathbb {C} \right)$ ,^[3] we resolve the complex numbers

${\begin{matrix}0\to &\mathbb {C} [t]{\xrightarrow {\cdot t}}&\mathbb {C} [t]\to &0\\\downarrow &\downarrow &\downarrow &\downarrow \\0\to &0\to &\mathbb {C} \to &0\\\end{matrix}}$

and tensor by the module representing our scheme giving the sequence of $\mathbb {C} [t]$ -modules

$0\to {\frac {\mathbb {C} [x,y,t]}{x^{2}+y^{2}-t}}{\xrightarrow {\cdot t}}{\frac {\mathbb {C} [x,y,t]}{x^{2}+y^{2}-t}}\to 0$

Because $t$ is a non-zero divisor we have a trivial kernel, hence the homology group vanishes.

Other examples of flat morphisms can be found using "miracle flatness"^[4] which states that if you have a morphism $f:X\to Y$ between a cohen-macaulay scheme to a regular scheme with equidimensional fibers, then it is flat. Easy examples of this are elliptic fibrations, smooth morphisms, and morphisms to stratified varieties which satisfy miracle flatness on each of the strata.

A simple non-example of a flat morphism is $k[\varepsilon ]=k[x]/(x^{2})\to k$ . This is because if we compute $k\otimes _{k[\varepsilon ]}^{\mathbf {L} }k$ , we have to take a flat resolution of $k$ ,

${\begin{matrix}\cdots {\xrightarrow {\cdot \varepsilon }}k[\varepsilon ]{\xrightarrow {\cdot \varepsilon }}k[\varepsilon ]&{\xrightarrow {\cdot \varepsilon }}k[\varepsilon ]\\&\downarrow \\&k\end{matrix}}$

and tensor the resolution with $k$ , we find that

$k\otimes _{k[\varepsilon ]}^{\mathbf {L} }k\simeq \bigoplus _{i=0}^{\infty }k[+i]$

showing that the morphism cannot be flat. Another non-example of a flat morphism is a blowup since a flat morphism necessarily has equi-dimensional fibers.

Properties of flat morphisms

Let f : X → Y be a morphism of schemes. For a morphism g : Y′ → Y, let X′ = X ×_Y Y′ and f′ = (f, 1_Y′) : X′ → Y′. f is flat if and only if for every g, the pullback f′^* is an exact functor from the category of quasi-coherent ${\mathcal {O}}_{Y'}$ -modules to the category of quasi-coherent ${\mathcal {O}}_{X'}$ -modules.^[5]

Assume that f : X → Y and g : Y → Z are morphisms of schemes. Assume furthermore that f is flat at x in X. Then g is flat at f(x) if and only if gf is flat at x.^[6] In particular, if f is faithfully flat, then g is flat or faithfully flat if and only if gf is flat or faithfully flat, respectively.^[7]

Fundamental properties

The composite of two flat morphisms is flat.^[8]
The fibered product of two flat or faithfully flat morphisms is a flat or faithfully flat morphism, respectively.^[9]
Flatness and faithful flatness is preserved by base change: If f is flat or faithfully flat and g : Y′ → Y, then the fiber product f × g : X ×_Y Y′ → Y' is flat or faithfully flat, respectively.^[10]
The set of points where a morphism (locally of finite presentation) is flat is open.^[11]
If f is faithfully flat and of finite presentation, and if gf is finite type or finite presentation, then g is of finite type or finite presentation, respectively.^[12]

Suppose that f: X → Y is a flat morphism of schemes.

If F is a quasi-coherent sheaf of finite presentation on Y (in particular, if F is coherent), and if J is the annihilator of F on Y, then $f^{*}J\to {\mathcal {O}}_{X}$ , the pullback of the inclusion map, is an injection, and the image of f^*J in ${\mathcal {O}}_{X}$ is the annihilator of f^*F on X.^[13]
If f is faithfully flat and if G is a quasi-coherent ${\mathcal {O}}_{Y}$ -module, then the pullback map on global sections $\Gamma (Y,G)\to \Gamma (X,f^{*}G)$ is injective.^[14]

Suppose now that h : S′ → S is flat. Let X and Y be S-schemes, and let X′ and Y′ be their base change by h.

If f : X → Y is quasi-compact and dominant, then its base change f′ : X′ → Y′ is quasi-compact and dominant.^[15]
If h is faithfully flat, then the pullback map Hom_S(X, Y) → Hom_S′(X′, Y′) is injective.^[16]
Assume that f : X → Y is quasi-compact and quasi-separated. Let Z be the closed image of X, and let j : Z → Y be the canonical injection. Then the closed subscheme determined by the base change j′ : Z′ → Y′ is the closed image of X′.^[17]

Topological properties

If f : X → Y is flat, then it possesses all of the following properties:

For every point x of X and every generization y′ of y = f(x), there is a generization x′ of x such that y′ = f(x′).^[18]
For every point x of X, $f(\operatorname {Spec} \,{\mathcal {O}}_{X,x})=\operatorname {Spec} \,{\mathcal {O}}_{Y,f(x)}$ .^[19]
For every irreducible closed subset Y′ of Y, every irreducible component of f⁻¹(Y′) dominates Y′.^[20]
If Z and Z′ are two irreducible closed subsets of Y with Z contained in Z′, then for every irreducible component T of f⁻¹(Z), there is an irreducible component T′ of f⁻¹(Z′) containing T.^[21]
For every irreducible component T of X, the closure of f(T) is an irreducible component of Y.^[22]
If Y is irreducible with generic point y, and if f⁻¹(y) is irreducible, then X is irreducible.^[23]
If f is also closed, the image of every connected component of X is a connected component of Y.^[24]
For every pro-constructible subset Z of Y, $f^{-1}({\bar {Z}})={\overline {f^{-1}(Z)}}$ .^[25]

If f is flat and locally of finite presentation, then f is universally open.^[26] However, if f is faithfully flat and quasi-compact, it is not in general true that f is open, even if X and Y are noetherian.^[27] Furthermore, no converse to this statement holds: If f is the canonical map from the reduced scheme X_red to X, then f is a universal homeomorphism, but for X noetherian, f is never flat.^[28]

If f : X → Y is faithfully flat, then:

The topology on Y is the quotient topology relative to f.^[29]
If f is also quasi-compact, and if Z is a subset of Y, then Z is a locally closed pro-constructible subset of Y if and only if f⁻¹(Z) is a locally closed pro-constructible subset of X.^[30]

If f is flat and locally of finite presentation, then for each of the following properties P, the set of points where f has P is open:^[31]

Serre's condition S_k (for any fixed k).
Geometrically regular.
Geometrically normal.

If in addition f is proper, then the same is true for each of the following properties:^[32]

Geometrically reduced.
Geometrically reduced and having k geometric connected components (for any fixed k).
Geometrically integral.

Flatness and dimension

Assume that X and Y are locally noetherian, and let f : X → Y.

Let x be a point of X and y = f(x). If f is flat, then dim_x X = dim_y Y + dim_x f⁻¹(y).^[33] Conversely, if this equality holds for all x, X is Cohen–Macaulay, and Y is regular, then f is flat.^[34]
If f is faithfully flat, then for each closed subset Z of Y, codim_Y(Z) = codim_X(f⁻¹(Z)).^[35]
Suppose that f is flat and that F is a quasi-coherent module over Y. If F has projective dimension at most n, then f^*F has projective dimension at most n.^[36]

Descent properties

Assume f is flat at x in X. If X is reduced or normal at x, then Y is reduced or normal, respectively, at f(x).^[37] Conversely, if f is also of finite presentation and f⁻¹(y) is reduced or normal, respectively, at x, then X is reduced or normal, respectively, at x.^[38]
In particular, if f is faithfully flat, then X reduced or normal implies that Y is reduced or normal, respectively. If f is faithfully flat and of finite presentation, then all the fibers of f reduced or normal implies that X is reduced or normal, respectively.
If f is flat at x in X, and if X is integral or integrally closed at x, then Y is integral or integrally closed, respectively, at f(x).^[39]
If f is faithfully flat, X is locally integral, and the topological space of Y is locally noetherian, then Y is locally integral.^[40]
If f is faithfully flat and quasi-compact, and if X is locally noetherian, then Y is also locally noetherian.^[41]
Assume that f is flat and X and Y are locally noetherian. If X is regular at x, then Y is regular at f(x). Conversely, if Y is regular at f(x) and f⁻¹(f(x)) is regular at x, then X is regular at x.^[42]
Assume again that f is flat and X and Y are locally noetherian. If X is normal at x, then Y is normal at f(x). Conversely, if Y is normal at f(x) and f⁻¹(f(x)) is normal at x, then X is normal at x.^[43]

Let g : Y′ → Y be faithfully flat. Let F be a quasi-coherent sheaf on Y, and let F′ be the pullback of F to Y′. Then F is flat over Y if and only if F′ is flat over Y′.^[44]

Assume that f is faithfully flat and quasi-compact. Let G be a quasi-coherent sheaf on Y, and let F denote its pullback to X. Then F is finite type, finite presentation, or locally free of rank n if and only if G has the corresponding property.^[45]

Suppose that f : X → Y is an S-morphism of S-schemes. Let g : S′ → S be faithfully flat and quasi-compact, and let X′, Y′, and f′ denote the base changes by g. Then for each of the following properties P, if f′ has P, then f has P.^[46]

Open.
Closed.
Quasi-compact and a homeomorphism onto its image.
A homeomorphism.

Additionally, for each of the following properties P, f has P if and only if f′ has P.^[47]

Universally open.
Universally closed.
A universal homeomorphism.
Quasi-compact.
Quasi-compact and dominant.
Quasi-compact and universally bicontinuous.
Separated.
Quasi-separated.
Locally of finite type.
Locally of finite presentation.
Finite type.
Finite presentation.
Proper.
An isomorphism.
A monomorphism.
An open immersion.
A quasi-compact immersion.
A closed immersion.
Affine.
Quasi-affine.
Finite.
Quasi-finite.
Integral.

It is possible for f′ to be a local isomorphism without f being even a local immersion.^[48]

If f is quasi-compact and L is an invertible sheaf on X, then L is f-ample or f-very ample if and only if its pullback L′ is f′-ample or f′-very ample, respectively.^[49] However, it is not true that f is projective if and only if f′ is projective. It is not even true that if f is proper and f′ is projective, then f is quasi-projective, because it is possible to have an f′-ample sheaf on X′ which does not descend to X.^[50]

Notes

^ EGA IV₂, 2.1.1.
^ EGA 0_I, 6.7.8.
^ Sernesi, E. Deformations of Algebraic Schemes. Springer. pp. 269–279.
^ "Flat Morphisms and Flatness". {{cite web}}: Cite has empty unknown parameter: |dead-url= (help)
^ EGA IV₂, Proposition 2.1.3.
^ EGA IV₂, Corollaire 2.2.11(iv).
^ EGA IV₂, Corollaire 2.2.13(iii).
^ EGA IV₂, Corollaire 2.1.6.
^ EGA IV₂, Corollaire 2.1.7, and EGA IV₂, Corollaire 2.2.13(ii).
^ EGA IV₂, Proposition 2.1.4, and EGA IV₂, Corollaire 2.2.13(i).
^ EGA IV₃, Théorème 11.3.1.
^ EGA IV₃, Proposition 11.3.16.
^ EGA IV₂, Proposition 2.1.11.
^ EGA IV₂, Corollaire 2.2.8.
^ EGA IV₂, Proposition 2.3.7(i).
^ EGA IV₂, Corollaire 2.2.16.
^ EGA IV₂, Proposition 2.3.2.
^ EGA IV₂, Proposition 2.3.4(i).
^ EGA IV₂, Proposition 2.3.4(ii).
^ EGA IV₂, Proposition 2.3.4(iii).
^ EGA IV₂, Corollaire 2.3.5(i).
^ EGA IV₂, Corollaire 2.3.5(ii).
^ EGA IV₂, Corollaire 2.3.5(iii).
^ EGA IV₂, Proposition 2.3.6(ii).
^ EGA IV₂, Théorème 2.3.10.
^ EGA IV₂, Théorème 2.4.6.
^ EGA IV₂, Remarques 2.4.8(i).
^ EGA IV₂, Remarques 2.4.8(ii).
^ EGA IV₂, Corollaire 2.3.12.
^ EGA IV₂, Corollaire 2.3.14.
^ EGA IV₃, Théorème 12.1.6.
^ EGA IV₃, Théorème 12.2.4.
^ EGA IV₂, Corollaire 6.1.2.
^ EGA IV₂, Proposition 6.1.5. Note that the regularity assumption on Y is important here. The extension $\mathbb {C} [x^{2},y^{2},xy]\subset \mathbb {C} [x,y]$ gives a counterexample with X regular, Y normal, f finite surjective but not flat.
^ EGA IV₂, Corollaire 6.1.4.
^ EGA IV₂, Corollaire 6.2.2.
^ EGA IV₂, Proposition 2.1.13.
^ EGA IV₃, Proposition 11.3.13.
^ EGA IV₂, Proposition 2.1.13.
^ EGA IV₂, Proposition 2.1.14.
^ EGA IV₂, Proposition 2.2.14.
^ EGA IV₂, Corollaire 6.5.2.
^ EGA IV₂, Corollaire 6.5.4.
^ EGA IV₂, Proposition 2.5.1.
^ EGA IV₂, Proposition 2.5.2.
^ EGA IV₂, Proposition 2.6.2.
^ EGA IV₂, Corollaire 2.6.4 and Proposition 2.7.1.
^ EGA IV₂, Remarques 2.7.3(iii).
^ EGA IV₂, Corollaire 2.7.2.
^ EGA IV₂, Remarques 2.7.3(ii).

References

Eisenbud, David (1995), Commutative algebra, Graduate Texts in Mathematics, vol. 150, Berlin, New York: Springer-Verlag, ISBN 978-0-387-94268-1, MR 1322960, ISBN 978-0-387-94269-8, section 6.
Serre, Jean-Pierre (1956), "Géométrie algébrique et géométrie analytique", Université de Grenoble. Annales de l'Institut Fourier, 6: 1–42, doi:10.5802/aif.59, ISSN 0373-0956, MR 0082175
Grothendieck, Alexandre; Dieudonné, Jean (1960). "Éléments de géométrie algébrique: I. Le langage des schémas". Publications Mathématiques de l'IHÉS. 4. doi:10.1007/bf02684778. MR 0217083.
Grothendieck, Alexandre; Dieudonné, Jean (1965). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Seconde partie". Publications Mathématiques de l'IHÉS. 24. doi:10.1007/bf02684322. MR 0199181.
Grothendieck, Alexandre; Dieudonné, Jean (1966). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Troisième partie". Publications Mathématiques de l'IHÉS. 28. doi:10.1007/bf02684343. MR 0217086.
Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157

[1] EGA IV₂, 2.1.1.

[2] EGA 0_I, 6.7.8.

[3] Sernesi, E. Deformations of Algebraic Schemes. Springer. pp. 269–279.

[4] "Flat Morphisms and Flatness". {{cite web}}: Cite has empty unknown parameter: |dead-url= (help)

[5] EGA IV₂, Proposition 2.1.3.

[6] EGA IV₂, Corollaire 2.2.11(iv).

[7] EGA IV₂, Corollaire 2.2.13(iii).

[8] EGA IV₂, Corollaire 2.1.6.

[9] EGA IV₂, Corollaire 2.1.7, and EGA IV₂, Corollaire 2.2.13(ii).

[10] EGA IV₂, Proposition 2.1.4, and EGA IV₂, Corollaire 2.2.13(i).

[11] EGA IV₃, Théorème 11.3.1.

[12] EGA IV₃, Proposition 11.3.16.

[13] EGA IV₂, Proposition 2.1.11.

[14] EGA IV₂, Corollaire 2.2.8.

[15] EGA IV₂, Proposition 2.3.7(i).

[16] EGA IV₂, Corollaire 2.2.16.

[17] EGA IV₂, Proposition 2.3.2.

[18] EGA IV₂, Proposition 2.3.4(i).

[19] EGA IV₂, Proposition 2.3.4(ii).

[20] EGA IV₂, Proposition 2.3.4(iii).

[21] EGA IV₂, Corollaire 2.3.5(i).

[22] EGA IV₂, Corollaire 2.3.5(ii).

[23] EGA IV₂, Corollaire 2.3.5(iii).

[24] EGA IV₂, Proposition 2.3.6(ii).

[25] EGA IV₂, Théorème 2.3.10.

[26] EGA IV₂, Théorème 2.4.6.

[27] EGA IV₂, Remarques 2.4.8(i).

[28] EGA IV₂, Remarques 2.4.8(ii).

[29] EGA IV₂, Corollaire 2.3.12.

[30] EGA IV₂, Corollaire 2.3.14.

[31] EGA IV₃, Théorème 12.1.6.

[32] EGA IV₃, Théorème 12.2.4.

[33] EGA IV₂, Corollaire 6.1.2.

[34] EGA IV₂, Proposition 6.1.5. Note that the regularity assumption on Y is important here. The extension $\mathbb {C} [x^{2},y^{2},xy]\subset \mathbb {C} [x,y]$ gives a counterexample with X regular, Y normal, f finite surjective but not flat.

[35] EGA IV₂, Corollaire 6.1.4.

[36] EGA IV₂, Corollaire 6.2.2.

[37] EGA IV₂, Proposition 2.1.13.

[38] EGA IV₃, Proposition 11.3.13.

[39] EGA IV₂, Proposition 2.1.13.

[40] EGA IV₂, Proposition 2.1.14.

[41] EGA IV₂, Proposition 2.2.14.

[42] EGA IV₂, Corollaire 6.5.2.

[43] EGA IV₂, Corollaire 6.5.4.

[44] EGA IV₂, Proposition 2.5.1.

[45] EGA IV₂, Proposition 2.5.2.

[46] EGA IV₂, Proposition 2.6.2.

[47] EGA IV₂, Corollaire 2.6.4 and Proposition 2.7.1.

[48] EGA IV₂, Remarques 2.7.3(iii).

[49] EGA IV₂, Corollaire 2.7.2.

[50] EGA IV₂, Remarques 2.7.3(ii).

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[29]

[30]

[31]

[32]

[33]

[34]

[35]

[36]

[37]

[38]

[39]

[40]

[41]

[42]

[43]

[44]

[45]

[46]

[47]

[48]

[49]

[50]