The Stacks project

Proof. Choose a presentation

and $0 \leq c \leq \min (n, m)$ such that (16.2.3.3) holds for $\pi $ and such that

for $j = 1, \ldots , m - c$. Say $\rho $ maps $x_ i$ to the class of $r_ i \in R$. Then we can replace $x_ i$ by $x_ i - r_ i$. Hence we may assume $\rho (x_ i) = 0$ in $R/\pi ^4 R$. This implies that $f_ j(0) \in \pi ^4R$ and that $A \to \Lambda $ maps $x_ i$ to $\pi ^4\lambda _ i$ for some $\lambda _ i \in \Lambda $. Write

This implies that the constant term of $\partial f_ j/\partial x_ i$ is $r_{ji}$. Apply $\rho $ to (16.2.3.3) for $\pi $ and we see that

for some $r_ I \in R$. Thus we have

for some $u \in 1 + \pi ^3R$. By Algebra, Lemma 10.15.5 this implies there exists a $n \times c$ matrix $(s_{ik})$ such that

(Kronecker delta). We introduce auxiliary variables $v_1, \ldots , v_ c, w_1, \ldots , w_ n$ and we set

In the following we will use that

without further mention. In $R[x_1, \ldots , x_ n, v_1, \ldots , v_ c, w_1, \ldots , w_ n]/ (h_1, \ldots , h_ n)$ we have

for $1 \leq j \leq c$. Hence we can choose elements $g_ j \in R[v_1, \ldots , v_ c, w_1, \ldots , w_ n]$ such that $g_ j = v_ j + \sum r_{ji}w_ i \bmod \pi $ and such that $f_ j = \pi ^3 g_ j$ in the $R$-algebra $R[x_1, \ldots , x_ n, v_1, \ldots , v_ c, w_1, \ldots , w_ n]/ (h_1, \ldots , h_ n)$. We set

The map $A \to B$ is clear. We define $B \to \Lambda $ by mapping $x_ i \to \pi ^4\lambda _ i$, $v_ i \mapsto 0$, and $w_ i \mapsto \pi \lambda _ i$. Then it is clear that the elements $f_ j$ and $h_ i$ are mapped to zero in $\Lambda $. Moreover, it is clear that $g_ i$ is mapped to an element $t$ of $\pi \Lambda $ such that $\pi ^3t = 0$ (as $f_ i = \pi ^3 g_ i$ modulo the ideal generated by the $h$'s). Hence our assumption that $\text{Ann}_\Lambda (\pi ) = \text{Ann}_\Lambda (\pi ^2)$ implies that $t = 0$. Thus we are done if we can prove the statement about smoothness.

Note that $B_\pi \cong A_\pi [v_1, \ldots , v_ c]$ because the equations $g_ i = 0$ are implied by $f_ i = 0$. Hence $B_\pi $ is smooth over $R$ as $A_\pi $ is smooth over $R$ by the assumption that $\pi $ is strictly standard in $A$ over $R$, see Lemma 16.2.5.

Set $B' = R[v_1, \ldots , v_ c, w_1, \ldots , w_ n]/(g_1, \ldots , g_ c)$. As $g_ i = v_ i + \sum r_{ji}w_ i \bmod \pi $ we see that $B'/\pi B' = R/\pi R[w_1, \ldots , w_ n]$. Hence $R \to B'$ is smooth of relative dimension $n$ at every point of $V(\pi )$ by Algebra, Lemmas 10.136.10 and 10.137.17 (the first lemma shows it is syntomic at those primes, in particular flat, whereupon the second lemma shows it is smooth).

Let $\mathfrak q \subset B$ be a prime with $\pi \in \mathfrak q$ and for some $r \in \mathfrak a$, $r \not\in \mathfrak q$. Denote $\mathfrak q' = B' \cap \mathfrak q$. We claim the surjection $B' \to B$ induces an isomorphism of local rings $(B')_{\mathfrak q'} \to B_\mathfrak q$. This will conclude the proof of the lemma. Note that $B_\mathfrak q$ is the quotient of $(B')_{\mathfrak q'}$ by the ideal generated by $f_{c + j}$, $j = 1, \ldots , m - c$. We observe two things: first the image of $f_{c + j}$ in $(B')_{\mathfrak q'}$ is divisible by $\pi ^2$ and second the image of $\pi f_{c + j}$ in $(B')_{\mathfrak q'}$ can be written as $\sum b_{j_1 j_2} f_{c + j_1}f_{c + j_2}$ by (16.7.1.1). Thus we see that the image of each $\pi f_{c + j}$ is contained in the ideal generated by the elements $\pi ^2 f_{c + j'}$. Hence $\pi f_{c + j} = 0$ in $(B')_{\mathfrak q'}$ as this is a Noetherian local ring, see Algebra, Lemma 10.51.4. As $R \to (B')_{\mathfrak q'}$ is flat we see that

Because $r \in \mathfrak a$ is invertible in $(B')_{\mathfrak q'}$ we see that this module is zero. Hence we see that the image of $f_{c + j}$ is zero in $(B')_{\mathfrak q'}$ as desired. $\square$

Proof. We apply Lemma 16.7.1 to

and the image of $\pi $ in $D$. By Lemma 16.2.7 we see that $\pi $ is strictly standard in $A \otimes _ R D$ over $D$. As our section $\rho : (A \otimes _ R D)/\pi ^4 (A \otimes _ R D) \to D/\pi ^4 D$ we take the map induced by the map in (2). Thus Lemma 16.7.1 applies and we obtain a factorization $A \otimes _ R D \to B \to \Lambda $ with $B$ of finite presentation and $\mathfrak a B \subset H_{B/D}$ where

For any prime $\mathfrak q$ of $D$ such that $D_\mathfrak q$ is flat over $R$ we have $\text{Ann}_{D_\mathfrak q}(\pi ^2)/\text{Ann}_{D_\mathfrak q}(\pi ) = 0$ because annihilators of elements commutes with flat base change and we assumed $\text{Ann}_ R(\pi ) = \text{Ann}_ R(\pi ^2)$. Because $D$ is Noetherian we see that $\text{Ann}_ D(\pi ^2)/\text{Ann}_ D(\pi )$ is a finite $D$-module, hence formation of its annihilator commutes with localization. Thus we see that $\mathfrak a \not\subset \mathfrak q$. Hence we see that $D \to B$ is smooth at any prime of $B$ lying over $\mathfrak q$. Since any prime of $D$ where $R \to D$ is smooth is one where $D_\mathfrak q$ is flat over $R$ we conclude that $H_{D/R}B \subset H_{B/D}$. The final inclusion $H_{D/R}B \subset H_{B/R}$ follows because compositions of smooth ring maps are smooth (Algebra, Lemma 10.137.14). $\square$

Proof. Apply Lemma 16.6.1 to get $R \to D \to \Lambda $ with a factorization $\bar C/\pi ^4\bar C \to D/\pi ^4 D \to \Lambda /\pi ^4\Lambda $ such that $R \to D$ is smooth at any prime not containing $\pi $ and at any prime lying over a prime of $\bar C/\pi ^4\bar C$ where $R/\pi ^8 R \to \bar C$ is smooth. By Lemma 16.7.2 we can find a finitely presented $R$-algebra $B$ and factorizations $A \to B \to \Lambda $ and $D \to B \to \Lambda $ such that $H_{D/R}B \subset H_{B/R}$. We omit the verification that this is a solution to the problem posed by the lemma. $\square$