On the pro-semisimple completion of the fundamental group of a smooth variety over a finite field (Q1701018): Difference between revisions

This lengthy and substantial paper deals with normal varieties over a finite field of characteristic \(p\), and the groups \(\Pi\) of automorphisms of their universal covers, which are of course (up to some choices) their fundamental groups. The main result (Theorem 1.4.1) shows that in some sense, the completion of \(\Pi\) at a place \(\lambda\) is independent of the choice of \(\lambda\), provided that \(\lambda\) is non-Archimedean and prime to \(p\). (In the dimension one case, \(\lambda\) need not be prime to \(p\).) The theorem itself is much more precise, of course, but I will refer the reader to the paper for the details. Note that the author's result builds upon a theorem of \textit{C. Chin} [J. Am. Math. Soc. 17, No. 3, 723--747 (2004; Zbl 1079.14029)]. The main theorem is derived from Laurent Lafforgue's famous results in the Langlands program, including specifically Proposition~VII.7 of [\textit{L. Lafforgue}, Invent. Math. 147, No. 1, 1--241 (2002; Zbl 1038.11075)].