Benutzer:Momotaro/Werkstatt/Étale Fundamentalgruppe

Die algebraische oder étale Fundamentalgruppe wird in der Mathematik, genauer der algebraischen Geometrie untersucht. Sie ist eine Struktur, die für Schemata definiert wird und in Analogie zur Fundamentalgruppe eines topologischen Raumes stehen soll.

Idee der Konstruktion

Schleife aus der (topologischen) Fundamentalgruppe des Torus

In der algebraischen Topologie ist die Fundamentalgruppe

$\pi _{1}(T)$

eines zusammenhängenden topologischen Raumes als Gruppe von Schleifen definiert, die an einem Punkt angeheftet sind, modulo Homotopie. Der Versuch, diese Konstruktion auf algebraische Varietäten oder Schemata zu übertragen, führt zu Problemen.

Dieselbe Definition zu verwenden ist zwar möglich, aber unter anderem in positiver Charakteristik unbefriedigend; die Topologie eines Schemas enthält zuwenig Informationen über seine Struktur. Naheliegend wäre, als „Schleife“ einfach eine algebraische Kurve zu verwenden, allerdings wäre im wichtigsten Fall, das heißt über den komplexen Zahlen, eine solche Schleife reell zwei- statt eindimensional.

In der algebraischen Geometrie ist eine andere Charakterisierung der Fundamentalgruppe besser geeignet: Die Fundamentalgruppe ist genau die Gruppe der Decktransformationen der universellen Überlagerung des Raums. Dies ist vielversprechend: Die endlichen étalen Morphismen sind eine geeignete Verallgemeinerung von Überlagerungen. Erschwerend wird sich aber aus, dass eine universelle Überlagerung oft eine unendliche Überlagerung des Raumes ist, was im algebraischen Kontext nicht gut handhabbar ist. Endliche Überlagerungen hingegen lassen sich verwenden, weshalb die algebraische Fundamentalgruppe als inverser Limes von endlichen Gruppen definiert ist.

Covering spaces

This discussion follows Milne.

Let $X$ be a scheme, let $x$ be a geometric point of $X,$ and let $C$ be the category of pairs $(Y,f)$ such that $f\colon Y\to X$ is a finite étale morphism ("finite étale schemes over $X$"). Morphisms $(Y,f)\to (Y',f')$ in this category are morphisms $Y\to Y'$ as schemes over $X.$ This category has a natural functor given $x$, namely the functor

$F(Y)=\operatorname {Hom} _{X}(x,Y);$

geometrically this is the fiber of $Y\to X$ over $x,$ and abstractly it is the covariant Yoneda functor "co-represented" by $x.$ The quotation marks are because $x\to X$ is not in fact a finite étale morphism, so that $F$ is not actually representable (in general). However, it is pro-representable, in fact by "Galois covers" of $X;$ this means that we have a projective system $\{X_{j}\to X_{i}\mid i<j\in I\}$ indexed by a directed set $I,$ where the $X_{i}$ are of course finite étale schemes over $X,$

$\#\operatorname {Aut} _{X}(X_{i})=\operatorname {deg} (X_{i}/X),$ and

$F(Y)=\varinjlim _{i\in I}\operatorname {Hom} _{C}(X_{i},Y)$

(the subscript $C$ is to emphasize that this Hom-set is in the category $C$).

Note that for two such $X_{i},X_{j}$ the map $X_{j}\to X_{i}$ induces a group homomorphism

$\operatorname {Aut} _{X}(X_{j})\to \operatorname {Aut} _{X}(X_{i})$

which produces a projective system of automorphism groups from the projective system $\{X_{i}\}$. We then make the following definition: the étale fundamental group $\pi _{1}(X,x)$ of $X$ at $x$ is the inverse limit

$\pi _{1}(X,x)=\varprojlim _{i\in I}{\operatorname {Aut} }_{X}(X_{i}).$

GAGA results

The general comparison machinery called GAGA gives the connection in the case of a compact Riemann surface, or more general complex non-singular complete variety V. The algebraic fundamental group, as it is typically called in this case, is the profinite completion of π₁(V).

See also

• étale morphism
• Topological space
• Fundamental group
• Classification of covering spaces
• Fundamental group scheme

---