Lemma 10.160.1. Let $k$ be a field. Let $A$ be a $k$-algebra. Assume $A$ is Noetherian. The following properties of $A$ are equivalent:

$k' \otimes _ k A$ is regular for every finitely generated field extension $k \subset k'$, and

$k' \otimes _ k A$ is regular for every finite purely inseparable extension $k \subset k'$.

Here regular ring is as in Definition 10.109.7.

**Proof.**
The lemma makes sense by the remarks preceding the lemma. It is clear that (1) $\Rightarrow $ (2).

Assume (2) and let $k \subset K$ be a finitely generated field extension. By Lemma 10.44.3 we can find a diagram

\[ \xymatrix{ K \ar[r] & K' \\ k \ar[u] \ar[r] & k' \ar[u] } \]

where $k \subset k'$, $K \subset K'$ are finite purely inseparable field extensions such that $k' \subset K'$ is separable. By Lemma 10.152.10 there exists a smooth $k'$-algebra $B$ such that $K'$ is the fraction field of $B$. Now we can argue as follows: Step 1: $k' \otimes _ k A$ is a regular ring because we assumed (2). Step 2: $B \otimes _{k'} k' \otimes _ k A$ is a regular ring as $k' \otimes _ k A \to B \otimes _{k'} k' \otimes _ k A$ is smooth (Lemma 10.135.4) and ascent of regularity along smooth maps (Lemma 10.157.10). Step 3. $K' \otimes _{k'} k' \otimes _ k A = K' \otimes _ k A$ is a regular ring as it is a localization of a regular ring (immediate from the definition). Step 4. Finally $K \otimes _ k A$ is a regular ring by descent of regularity along the faithfully flat ring map $K \otimes _ k A \to K' \otimes _ k A$ (Lemma 10.158.4). This proves the lemma.
$\square$

## Comments (0)