Timeline for Are the fibers of this morphism geometrically regular?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 29, 2015 at 13:49 | answer | added | jjms | timeline score: 3 | |
| Mar 9, 2015 at 10:14 | comment | added | user74230 | The answer to the final question is affirmative, but for reasons specific to that situation. Namely, if $B \otimes_A k$ is a separable closure of $k$ then $B$ has to be the completion of a strict henselization $A^{\rm{sh}}$ of $A$, so it suffices to show that $A^{\rm{sh}}$ is excellent. But $A$ is excellent since it is complete local noetherian (EGA IV$_3$, 7.8.3(iii)), and strict henselization preserves excellence of local rings (though EGA IV$_4$, 18.7.6 handles henselization, curiously EGA does not handle the analogue for strict henselization; see p. 17 of Freitag-Kiehl for a proof). | |
| Mar 8, 2015 at 21:57 | history | asked | Olórin | CC BY-SA 3.0 |