Timeline for Question about the specialization map for Etale Fundamental Groups
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 25, 2014 at 16:44 | comment | added | user27920 | The entire setup only depends on $A$ through its strict henselization (with respect to $\overline{s}$), and defining the specialization map without conjugation ambiguity rests on going up to the strict henselization, so there is truly no loss of generality for the purpose of your question in considering only strictly henselian $A$. By the way, applying Artin approximation does require using standard limit arguments to reduce to $A$ that is the henselization of a local ring on a finitely generated $\mathbf{Z}$-algebra (and likewise the conclusion then applies without noetherian hypotheses). | |
| Jul 25, 2014 at 10:23 | comment | added | KristianJS | Is strictness really necessary? I seem to have found a source which suggests henselianity suffices (see Theorem 8.1 of mi.fu-berlin.de/users/kindler/documents/basechange.pdf). Of course I should have looked for this before asking the question...but it seems believable to me. He works over an algebraically closed field but comments that it's not necessary...I guess that's the only possible hitch? | |
| Jul 25, 2014 at 0:53 | comment | added | user27920 | You should assume $A$ is strictly henselian (but maybe not complete). The categories of finite etale covers of $X_{\widehat{A}}$ and its special fiber are equivalent due to formal GAGA; that is the only reason completeness enters the proof. So you want the categories of finite etale covers of $X$ and of $X_{\widehat{A}}$ to be equivalent via pullback. Via finite etale Hom-schemes among such $E/X$, full faithfulness holds since $E_{\widehat{A}}$ is connected if $E$ is (by formal geometry). Essential surjectivity is Artin approx (as Wendt says); doesn't Artin mention this in his paper? | |
| Jul 24, 2014 at 17:08 | comment | added | Matthias Wendt | First guess: it should be true. One could use Artin approximation to get a bijection between etale covers of the henselian local ring and etale covers of its completion. I will have to think more if this can be turned into a proof. | |
| Jul 24, 2014 at 16:50 | review | First posts | |||
| Jul 24, 2014 at 16:56 | |||||
| Jul 24, 2014 at 16:42 | history | asked | KristianJS | CC BY-SA 3.0 |