Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
unmotivated stub for Henselian ring
Henselian rings are local rings closed under pointed etale extensions. They are the local rings classified by the large nisnevich topos.
Here, by a pointed etale extension of a local ring , we mean a local etale -algebra (by local, we mean that it’s a local homomorphism of local rings) that induces an isomorphism on residue fields.
The Henselization of a local ring is the maximal pointed etale extension.
Strict henselization and strictly Henselian rings are what you get when you look at not-necessarily-pointed etale extensions.
Given your MO success with Henselian rings, you should have enough confidence to put that stuff into the nLab entry. I won’t do it for you. I will go to bed now! :-)
I have been expanding a bit at Henselian ring, but there’s loads more one could put down.
While poking around for this, I ran into Mike’s MO question and Harry’s answer, but Mike’s last question in the comments lies unanswered, and thus the answer seemed ever so slightly inconclusive. There’s the big etale topos of a (commutative) ring which I guess classifies strict Henselian local algebras over (hm, is that right?), and then there’s the little etale topos of which classifies… strict henselizations of… what? Localizations at primes of ?
There are some old topos-theory oriented books from the 70’s which go into such matters, I believe, but I no longer recall which ones. I seem to associate the name Gavin Wraith with one article I had found sort of helpful at the time I was reading such things.
1 to 4 of 4