Last modified date: <%+ tp.file.last_modified_date() %>
- Tags: - #todo/untagged - Refs: - Course notes: http://www.math.columbia.edu/~phlee/CourseNotes/EtaleFundamental.pdf#page=7 #resources/course-notes - Links: - #todo/create-links
etale fundamental group
See also fiber functor
Idea: \({ \mathsf{Gal}} (k^{ {}^{ \operatorname{sep} } }_{/ {k}} ) \cong \pi_1^\text{ét}(\operatorname{Spec}k, \mkern 1.5mu\overline{\mkern-1.5mux\mkern-1.5mu}\mkern 1.5mu)\) for \(\mkern 1.5mu\overline{\mkern-1.5mux\mkern-1.5mu}\mkern 1.5mu\) a geometric point?
Relation to topological fundamental group
