Lemma 15.35.2. Let $k$ be a field of characteristic $p > 0$. Let $(A, \mathfrak m, K)$ be a Noetherian local $k$-algebra. Assume $A$ is geometrically regular over $k$. Let $K/F/k$ be a finitely generated subextension. Let $\varphi : k[y_1, \ldots , y_ m] \to A$ be a $k$-algebra map such that $y_ i$ maps to an element of $F$ in $K$ and such that $\text{d}y_1, \ldots , \text{d}y_ m$ map to a basis of $\Omega _{F/k}$. Set $\mathfrak p = \varphi ^{-1}(\mathfrak m)$. Then

$k[y_1, \ldots , y_ m]_\mathfrak p \to A$

is flat and $A/\mathfrak pA$ is regular.

Proof. Set $A_0 = k[y_1, \ldots , y_ m]_\mathfrak p$ with maximal ideal $\mathfrak m_0$ and residue field $K_0$. Note that $\Omega _{A_0/k}$ is free of rank $m$ and $\Omega _{A_0/k} \otimes K_0 \to \Omega _{K_0/k}$ is an isomorphism. It is clear that $A_0$ is geometrically regular over $k$. Hence $H_1(L_{K_0/k}) \to \mathfrak m_0/\mathfrak m_0^2$ is an isomorphism, see Proposition 15.35.1. Now consider

$\xymatrix{ H_1(L_{K_0/k}) \otimes K \ar[d] \ar[r] & \mathfrak m_0/\mathfrak m_0^2 \otimes K \ar[d] \\ H_1(L_{K/k}) \ar[r] & \mathfrak m/\mathfrak m^2 }$

Since the left vertical arrow is injective by Lemma 15.34.2 and the lower horizontal by Proposition 15.35.1 we conclude that the right vertical one is too. Hence a regular system of parameters in $A_0$ maps to part of a regular system of parameters in $A$. We win by Algebra, Lemmas 10.128.2 and 10.106.3. $\square$

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).