5c8b2fd5fbbba7c5.tex
1: \begin{abstract}
2: \cbstart
3:   We define a category whose objects are finite
4:   étale coverings of an algebraic stack and prove
5:   that it is a Galois category and that it allows one to compute the
6:   fundamental group of the stack. 
7: 
8:   We then prove a Van Kampen theorem for algebraic
9:   stacks whose simplest form reads:
10:   Let $U$ and $V$ be open substacks of an
11:   algebraic stack $X$ with $X = U \union V$,\ifmmode\,\fi{}  let
12:   $P$ be a set of base points,\ifmmode\,\fi{}  at least one in
13:   each connected component of $X$,\ifmmode\,\fi{}  $U$,\ifmmode\,\fi{}  $V$ and $U
14:   \inter V$,\ifmmode\,\fi{}  then there is a cocartesian square of
15:   fundamental progroupoids
16:   $$ \xymatrix{
17:     \pi_1( U \inter V ,\ifmmode\,\fi{}  P) \ar[r] \ar[d] & 
18:     \pi_1(U,\ifmmode\,\fi{} P) \ar[d] \\
19:     \pi_1(V,\ifmmode\,\fi{} P) \ar[r] &
20:     \pi_1( X ,\ifmmode\,\fi{}  P). \cocartesien }$$
21: \cbend
22: \end{abstract}
23: