## You are here

Home\'etale fundamental group

## Primary tabs

# étale fundamental group

Recall that in topology, the fundamental group $\pi_{1}(T)$ of a connected topological space $T$ is defined to be the group of loops based at a point modulo homotopy. When one wants to obtain something similar in the algebraic category, this definition encounters problems. One cannot simply attempt to use the same definition, since the result will be wrong if one is working in positive characteristic. More to the point, the topology on a scheme fails to capture much of the stucture of the scheme. Simply choosing the “loop” to be an algebraic curve is not appropriate either, since in the most familiar case (over the complex numbers) such a “loop” has two real dimensions rather than one.

In the classification of covering spaces, it is shown that the fundamental group is exactly the group of deck transformations of the universal covering space. This is more promising: surjective étale morphisms are the appropriate generalization of covering spaces. Unfortunately, the universal covering space is often an infinite covering of the orignal space, which is unlikely to yield anything manageable in the algebraic category. Finite coverings, on the other hand are tractable, so one can define the algebraic fundamental group as an inverse limit of automorphism groups. Note also that finite étale morphisms are closed maps as well as open maps.

###### Definition 1.

Let $X$ be a scheme, and let $x$ be a geometric point of $X$. Then let $C$ be the category of pairs $(Y,\pi)$ such that $\pi\colon Y\to X$ is a finite étale morphism. Morphisms $(Y,\pi)\to(Y^{{\prime}},\pi^{{\prime}})$ in this category are morphisms $Y\to Y^{{\prime}}$ as schemes over $X$. If $Y^{{\prime}}$ factors through $Y$ as $Y^{{\prime}}\to Y\to X$ then we obtain a morphism from $\Aut_{C}(Y)\to\Aut_{C}(Y^{{\prime}})$. This allows us to construct the *étale fundamental group*

$\pi_{1}(X,x)=\underleftarrow{\lim}_{{Y\in C}}\Aut_{C}(Y).$ |

This explanation follows [1].

# References

- 1 James Milne, Lectures on Étale Cohomology, online course notes.

## Mathematics Subject Classification

14F35*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

new problem: Problem: Show that phi(a^n-1), (where phi is the Euler totient function), is divisible by n for any natural number n and any natural number a >1. by mbhatia

new problem: MSC browser just displays "No articles found. Up to ." by jaimeglz

Mar 26

new correction: Misspelled name by DavidSteinsaltz

Mar 21

new correction: underline-typo by Filipe

Mar 19

new correction: cocycle pro cocyle by pahio

Mar 7

new image: plot W(t) = P(waiting time <= t) (2nd attempt) by robert_dodier

new image: expected waiting time by robert_dodier

new image: plot W(t) = P(waiting time <= t) by robert_dodier