English

On the fundamental groups of commutative algebraic groups

Algebraic Geometry 2019-05-08 v2

Abstract

Consider the abelian category C{\mathcal C} of commutative group schemes of finite type over a field kk, its full subcategory F{\mathcal F} of finite group schemes, and the associated pro category Pro(C){\rm Pro}({\mathcal C}) (resp. Pro(F){\rm Pro}({\mathcal F})) of pro-algebraic (resp. profinite) group schemes. When kk is perfect, we show that the profinite fundamental group ϖ1:Pro(C)Pro(F)\varpi_1 : {\rm Pro}({\mathcal C}) \to {\rm Pro}({\mathcal F}) is left exact and commutes with base change under algebraic field extensions; as a consequence, the higher profinite homotopy functors ϖi\varpi_i vanish for i2i \geq 2. Along the way, we describe the indecomposable projective objects of Pro(C){\rm Pro}({\mathcal C}) over an arbitrary field kk.

Keywords

Cite

@article{arxiv.1805.09525,
  title  = {On the fundamental groups of commutative algebraic groups},
  author = {Michel Brion},
  journal= {arXiv preprint arXiv:1805.09525},
  year   = {2019}
}

Comments

Final version, accepted for publication at Annales Henri Lebesgue

R2 v1 2026-06-23T02:06:48.402Z