-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathetale-kohomologie.txt
40 lines (30 loc) · 1.98 KB
/
etale-kohomologie.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
* http://www.jmilne.org/math/CourseNotes/lec.html
* http://math.northwestern.edu/~dwilson/pretalbot2014/elden-etale.pdf
* http://www-personal.umich.edu/~bhattb/math/etalestcksproj.pdf
* Kummer-Sequenz ist exakt!
* http://stacks.math.columbia.edu/tag/04HE: Étale coverings of a scheme can
be refined by Zariski coverings of finite locally free covers.
* "One-dimensional singularities in general can be really nasty. A good fact to
always keep in mind is a beautiful theorem of Artin (coming out of his
approximation theorem): if a pair of finite type schemes over a field kk have
kk-isomorphic completions at a pair of closed points then (over kk) they even
share a common (residually trivial) etale neighborhood around those points.
So working "formally" over kk is tantamount to working "etale-locally" over
kk, which is pretty amazing. This is in arbitrary dimension."
Brian Conrad bei http://mathoverflow.net/questions/18665/what-does-being-analytically-isomorphic-imply-for-classification-of-singularitie.
* Sei tau eine feinere Topologie als die Zariski-Topologie. Dann gibt es
bekanntlich einen geometrischen Morphismus X_tau --> X_Zar. Daniel Litt
vergleicht das mit der Situation X(C)^an --> X_Zar.
http://mathoverflow.net/a/220730/31233
* Wieso hat X_et Kohomologie bis 2*n, wobei n die Dimension von ist?
http://mathoverflow.net/a/220730/31233
Antwort: Habe f : X_et --> X_Zar. Dieser hat kohomologische Dimension n,
im Sinn dass Rf_* Garben auf Komplexe in den Graden 0 bis n schickt. Nun hat
X_Zar selbst noch Dimension n. 2n = n + n.
http://mathoverflow.net/questions/30583/cohomological-dimension-doubling
Ben Wieland: "étale = Zariski + Galois."
Theorem von Tsen: Galoiskohomologische Dimension eines Körpers ist sein
Transzendenzgrad.
* Die Kummer-Sequenz für mu_p ist in Charakteristik p nicht in der étalen
Topologie kompakt. Wohl aber in der flachen Topologie.
http://mathoverflow.net/questions/195165/what-is-the-purpose-of-the-flat-fppf-fpqc-topologies