On the Semi-Abelianness of Affine Group Schemes
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866910031653371904 |
|---|---|
| author | Forsman, David |
| author_facet | Forsman, David |
| contents | We prove that the category of commutative Hopf algebras over a field $k$ is co-semi-abelian. Consequently, the category of affine group $k$-schemes is semi-abelian. We establish coregularity by identifying the orthogonal factorization system of surjections and faithfully flat injections, and we deduce coexactness from Takeuchi's correspondence between normal Hopf ideals and Hopf subalgebras of commutative Hopf $k$-algebras. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2602_21060 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | On the Semi-Abelianness of Affine Group Schemes Forsman, David Category Theory Algebraic Geometry Rings and Algebras We prove that the category of commutative Hopf algebras over a field $k$ is co-semi-abelian. Consequently, the category of affine group $k$-schemes is semi-abelian. We establish coregularity by identifying the orthogonal factorization system of surjections and faithfully flat injections, and we deduce coexactness from Takeuchi's correspondence between normal Hopf ideals and Hopf subalgebras of commutative Hopf $k$-algebras. |
| title | On the Semi-Abelianness of Affine Group Schemes |
| topic | Category Theory Algebraic Geometry Rings and Algebras |
| url | https://arxiv.org/abs/2602.21060 |