The Weil-\'etale fundamental group of a number field II.

Authors: Baptiste Morin
Subjects: Number Theory
link: http://arxiv.org/abs/1006.0525
Abstract

We define the fundamental group underlying to Lichtenbaum's Weil-\'etale
cohomology for number rings. To this aim, we define the Weil-\'etale topos as a
refinement of the Weil-\'etale sites introduced in \cite{Lichtenbaum}. We show
that the (small) Weil-\'etale topos of a smooth projective curve defined in
this paper is equivalent to the natural definition given in
\cite{Lichtenbaum-finite-field}. Then we compute the Weil-\'etale fundamental
group of an open subscheme of the spectrum of a number ring. Our fundamental
group is a projective system of locally compact topological groups, which
represents first degree cohomology with coefficients in locally compact abelian
groups. We apply this result to compute the Weil-\'etale cohomology in low
degrees and to prove that the Weil-\'etale topos of a number ring satisfies the
expected properties of the conjectural Lichtenbaum topos.