Being a G-ring is stable under Henselizations along ideals

[Theorem 5.3 i), Greco]

Lemma 15.50.15. Let $A$ be a G-ring. Let $I \subset A$ be an ideal. Let $(A^ h, I^ h)$ be the henselization of the pair $(A, I)$, see Lemma 15.12.1. Then $A^ h$ is a G-ring.

Proof. Let $\mathfrak m^ h \subset A^ h$ be a maximal ideal. We have to show that the map from $A^ h_{\mathfrak m^ h}$ to its completion has geometrically regular fibres, see Lemma 15.50.7. Let $\mathfrak m$ be the inverse image of $\mathfrak m^ h$ in $A$. Note that $I^ h \subset \mathfrak m^ h$ and hence $I \subset \mathfrak m$ as $(A^ h, I^ h)$ is a henselian pair. Recall that $A^ h$ is Noetherian, $I^ h = IA^ h$, and that $A \to A^ h$ induces an isomorphism on $I$-adic completions, see Lemma 15.12.4. Then the local homomorphism of Noetherian local rings

$A_\mathfrak m \to A^ h_{\mathfrak m^ h}$

induces an isomorphism on completions at maximal ideals by Lemma 15.43.9 (details omitted). Let $\mathfrak q^ h$ be a prime of $A^ h_{\mathfrak m^ h}$ lying over $\mathfrak q \subset A_\mathfrak m$. Set $\mathfrak q_1 = \mathfrak q^ h$ and let $\mathfrak q_2, \ldots , \mathfrak q_ t$ be the other primes of $A^ h$ lying over $\mathfrak q$, so that $A^ h \otimes _ A \kappa (\mathfrak q) = \prod \nolimits _{i = 1, \ldots , t} \kappa (\mathfrak q_ i)$, see Lemma 15.45.12. Using that $(A^ h)_{\mathfrak m^ h}^\wedge = (A_\mathfrak m)^\wedge$ as discussed above we see

$\prod \nolimits _{i = 1, \ldots , t} (A^ h_{\mathfrak m^ h})^\wedge \otimes _{A^ h_{\mathfrak m^ h}} \kappa (\mathfrak q_ i) = (A^ h_{\mathfrak m^ h})^\wedge \otimes _{A^ h_{\mathfrak m^ h}} (A^ h_{\mathfrak m^ h} \otimes _{A_{\mathfrak m}} \kappa (\mathfrak q)) = (A_{\mathfrak m})^\wedge \otimes _{A_{\mathfrak m}} \kappa (\mathfrak q)$

Hence, as one of the components, the ring

$(A^ h_{\mathfrak m^ h})^\wedge \otimes _{A^ h_{\mathfrak m^ h}} \kappa (\mathfrak q^ h)$

is geometrically regular over $\kappa (\mathfrak q)$ by assumption on $A$. Since $\kappa (\mathfrak q^ h)$ is separable algebraic over $\kappa (\mathfrak q)$ it follows from Algebra, Lemma 10.166.6 that

$(A^ h_{\mathfrak m^ h})^\wedge \otimes _{A^ h_{\mathfrak m^ h}} \kappa (\mathfrak q^ h)$

is geometrically regular over $\kappa (\mathfrak q^ h)$ as desired. $\square$

Comment #5077 by slogan_bot on

Suggested slogan: "Being a G-ring is stable under Henselizations along ideals"

Comment #5079 by suggestion_bot on

It would be useful to have the same statement somewhere with "G-ring" replaced by "excellent" or "quasi-excellent", etc. as in Thm. 5.3 of Greco "Two theorems on excellent rings". One could give Thm. 5.3 i) of the latter as a literature reference for this tag.

Comment #5290 by on

Added the slogan and the reference. See changes here. If you need the result about excellent or quasi-excellent, then let me know and I'll add it. (I didn't yet check to see how hard it is but I guess the hardest part is getting the G-ring property. We have already a bunch of results on preserving other properties under henselizations, so it could be just a matter of logically combining lemmas.)

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