PreprintarXiv licencearXiv
Exact sequences of fundamental group schemes for G-torsors
Abstract
Let k be a field, G an affine k-group scheme, X a connected scheme proper over k, f:(Y,y)β(X,x) a pointed G-torsor, πX and $\mathcal{C}_Y $ the Tannakian categories of vector bundles on X and Y, such that f*πXβ πY, we give the necessary and sufficient conditions for the exactness of the natural sequence of k-group schemes 1β Ο(πY,y) β Ο(πX,x) β G β 1. This provides a common framework of exact sequences for the S-, Nori, F-, Γ©tale fundamental group schemes and their extended variants. Finally, an isogeny of an elliptic curve shows that the relevant preservation property fails for the local, extended local, and unipotent categories.
Related
- Galois coinvariants and fundamental groups of arithmetic schemes
- Cartier--DieudonnΓ© Theory of Connected Group Schemes
- Flasque resolutions of linear reductive group schemes
- Isospectral and not strongly isospectral spherical space forms with non-cyclic fundamental group
- The second closed geodesic on Finsler manifolds with β€2 fundamental group
BibTeX
@misc{li2026exact,
title = {{Exact sequences of fundamental group schemes for $G$-torsors}},
author = {Lingguang Li and Hao Wang},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2608.09757},
eprint = {2608.09757},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2608.09757},
}
RIS
TY - UNPB
TI - Exact sequences of fundamental group schemes for G-torsors
AU - Lingguang Li
AU - Hao Wang
PY - 2026
DA - 2026/09/22
PB - arXiv
DO - 10.48550/arxiv.2608.09757
UR - https://arxiv.org/abs/2608.09757
AB - Let k be a field, G an affine k-group scheme, X a connected scheme proper over k, f:(Y,y)β(X,x) a pointed G-torsor, π_X and $\mathcal{C}_Y $ the Tannakian categories of vector bundles on X and Y, such that f^*π_Xβ π_Y, we give the necessary and sufficient conditions for the exactness of the natural sequence of k-group schemes 1β Ο(π_Y,y) β Ο(π_X,x) β G β 1. This provides a common framework of exact sequences for the S-, Nori, F-, Γ©tale fundamental group schemes and their extended variants. Finally, an isogeny of an elliptic curve shows that the relevant preservation property fails for the local, extended local, and unipotent categories.
ER -