History of tag 04GV
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2017-10-04 |
a86c12e |
Clarify construction (strict) henselization
Thanks to Minseon Shin who writes:
"I have a question regarding the henselization
construction Tag 04GN, in the argument showing that the
category of pairs (S,\mathfrak{q}) satisfies condition
(3) (i.e. has coequalizers) in the definition of a
filtered category (002V). In order to show that
R \to S'' is etale, isn't it necessary to use at some
point the fact that etale morphisms satisfy the
cancellation property 00U7? Looking at the diagram, it
seems we need to know that \varphi, \psi, and the
diagonal S' \otimes_{R} S' \to S' are etale.
I thought this was worth pointing out since this part
seems to be what fails when we attempt the same
construction for "etale" replaced by "finitely presented
flat" (i.e. to construct the "fppf stalk" of a local
ring)."
|
|
changed the statement and the proof
|
2011-08-10 |
996a95d |
LaTeX: fix colim
Introduced the macro
\def\colim{\mathop{\rm colim}\nolimits}
and changed all the occurences of \text{colim} into \colim.
|
|
changed the statement and the proof
|
2011-03-03 |
48ba47d |
Stop parse.py from complaining too much
|
|
changed the statement and the proof
|
2010-10-09 |
97a5c76 |
Begin translating etale to \'etale or \acute{e}tale (in Math mode).
|
|
assigned tag 04GV
|
2010-04-19 |
12d45c1
|
Tags: added new tags
|
|
created statement with label lemma-henselization-different in algebra.tex
|
2010-04-18 |
6fd209f |
Etale Cohomology: Local rings and henselization
Tying the etale local ring to the strict henselization of the
"usual" local ring. Mainly just fluff.
What is missing in the section on henselian local rings in the
algebra chapter is a better characterization of the (strict)
henselization, or rather, it has to be stated and proved that
the defining properties characterize the henselization.
|