Timeline for What's the difference in geometric fibers between algebraic closure and separable closure?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 14, 2014 at 0:39 | comment | added | user45442 | @user76758 Thanks for point me out that it would be important for use Galois descent. | |
| Jan 14, 2014 at 0:35 | comment | added | user45442 | @KestutisCesnavicius I'm studing étale morphism, and I found those two definitions and I was worry about id there is a big difference. | |
| Jan 12, 2014 at 22:59 | comment | added | user76758 | @user45442: Here's an example illustrating the need for context. For an affine finite type group scheme $G$ over a field $k$, $(G_{\overline{k}})_{\rm{red}}$ is a smooth subgroup scheme of $G_{\overline{k}}$ (usually not normal!) but $(G_{k_s})_{\rm{red}} = (G_{\rm{red}})_{k_s}$ is generally not a subgroup scheme of $G_{k_s}$. Yet for some big $n$ the quotient $G/\ker(F_{G/k,n})$ modulo kernel of the $n$-fold relative Frobenius morphism is smooth, so if quotient by an infinitesimal normal $k$-subgroup is harmless for some purpose then one can pass to smooth groups over $k$ after all... | |
| Jan 12, 2014 at 20:52 | comment | added | user76758 | The geometry and etale sites are the same, but reducedness is a big distinction. One merit of just going up to the separable closure is that you can often use Galois descent to return to the "actual fiber", which fails completely if you go up to the algebraic closure (when $k(y)$ is not perfect). On the other hand, if you want to get a rational point you might need to make an inseparable extension on $k=k(y)$. But such extension can fail to commute with the formation of nilradical or "$k$-unipotent radical", etc. Kestutis' final sentence hits the nail on the head. | |
| Jan 12, 2014 at 19:51 | comment | added | Kestutis Cesnavicius | What is the actual question? For some purposes the difference is irrelevant, while for others the difference is crucial. It depends on what you want to do. | |
| Jan 12, 2014 at 19:16 | review | First posts | |||
| Jan 12, 2014 at 19:17 | |||||
| Jan 12, 2014 at 19:01 | history | asked | user45442 | CC BY-SA 3.0 |