Timeline for Strict henselianization of complete intersections
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 19, 2022 at 20:40 | comment | added | curious math guy | @KarlSchwede my apologies, I was not aware of that. I think my question was just the hope that "things become easier at the stalk", but that doesn't seem to be the case. | |
| May 19, 2022 at 16:30 | comment | added | Karl Schwede | I'm not sure what you want exactly. If a local ring $R$ is a quotient of a regular local ring $R = S/I$, then $S^{\mathrm{sh}}/IS^{\mathrm{sh}}$ is a strict Henselization of $R$, that is its isomorphic to $R^{\mathrm{sh}}$. See for instance stacks.math.columbia.edu/tag/05WS Are you assuming that your scheme is not locally embeddable, so being a complete intersection means that, after completion, it is a complete intersection in a regular local ring? | |
| May 18, 2022 at 23:10 | history | asked | curious math guy | CC BY-SA 4.0 |