Lemma 37.22.4 (0C0W)—The Stacks project

Loading web-font TeX/Math/Italic

Table of contents
Part 2: Schemes
Chapter 37: More on Morphisms
Section 37.22: Cohen-Macaulay morphisms
Lemma 37.22.4 (cite)

numberstags

Lemma 37.22.4. Let $f : X \to Y$ and $g : Y \to Z$ be morphisms of schemes. Assume that the fibres of $f$ , $g$ , and $g \circ f$ are locally Noetherian. Let $x \in X$ with images $y \in Y$ and $z \in Z$ .

If $f$ is Cohen-Macaulay at $x$ and $g$ is Cohen-Macaulay at $f(x)$ , then $g \circ f$ is Cohen-Macaulay at $x$ .
If $f$ and $g$ are Cohen-Macaulay, then $g \circ f$ is Cohen-Macaulay.
If $g \circ f$ is Cohen-Macaulay at $x$ and $f$ is flat at $x$ , then $f$ is Cohen-Macaulay at $x$ and $g$ is Cohen-Macaulay at $f(x)$ .
If $g \circ f$ is Cohen-Macaulay and $f$ is flat, then $f$ is Cohen-Macaulay and $g$ is Cohen-Macaulay at every point in the image of $f$ .

Proof. Consider the map of Noetherian local rings

$\mathcal{O}_{Y_ z, y} \to \mathcal{O}_{X_ z, x}$

and observe that its fibre is

$\mathcal{O}_{X_ z, x}/\mathfrak m_{Y_ z, y}\mathcal{O}_{X_ z, x} = \mathcal{O}_{X_ y, x}$

Thus the lemma this follows from Algebra, Lemma 10.163.3. $\square$

Comments (0)

There are also:

4 comment(s) on Section 37.22: Cohen-Macaulay morphisms

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$ ). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Comments (0)

Post a comment