Curves are algebraic K(π,1) : Theoretical and practical aspects

Christophe Levrat
DOI: https://doi.org/10.1112/blms.13153
IF: 1.036
2024-09-27
Bulletin of the London Mathematical Society
Abstract:We prove that any geometrically connected curve X over a field k is an algebraic K(π,1) , as soon as its geometric irreducible components have nonzero genus. This means that the cohomology of any locally constant constructible étale sheaf of Z/nZ ‐modules, with n invertible in k , is canonically isomorphic to the cohomology of its corresponding π1(X) ‐module. To this end, we explicitly construct some Galois coverings of X corresponding to Galois coverings of the normalisation of its irreducible components. When k is finite or algebraically closed, we precisely describe finite quotients of π1(X) that allow to compute the cohomology groups of the sheaf, and give explicit descriptions of the cup products H1×H1→H2 and H1×H2→H3 in étale cohomology in terms of finite group cohomology.
mathematics
What problem does this paper attempt to address?