On the Semi-Abelianness of Affine Group Schemes

1. Problem Statement

The paper addresses a fundamental question in categorical algebra regarding the structural properties of Hopf algebras.

• Context: It is a well-established result that the category of cocommutative Hopf $k$-algebras (over a field $k$) forms a semi-abelian category. This property allows for the application of homological algebra techniques (such as the Snake Lemma and the Five Lemma) in non-abelian settings.
• The Gap: While the cocommutative case is understood (relying on Newman's correspondence between Hopf subalgebras and bi-ideals), the categorical nature of the commutative case remained an open dual question. Specifically, does the category of commutative Hopf $k$-algebras, denoted $\mathbf{Hopf}^{\text{com}}_k$, possess a dual structure that makes it co-semi-abelian?
• Significance: Since the opposite category of commutative Hopf $k$-algebras is equivalent to the category of affine group schemes over $k$, proving that $\mathbf{Hopf}^{\text{com}}_k$ is co-semi-abelian implies that the category of affine group schemes is semi-abelian. This unifies the homological theory for affine group schemes with that of cocommutative Hopf algebras.

2. Methodology

The author employs a dual approach to the proof used for cocommutative Hopf algebras, leveraging specific algebraic properties of commutative Hopf algebras and categorical lifting techniques.

• Categorical Framework: The paper utilizes the definitions of semi-abelian categories (pointed, protomodular, exact, with binary coproducts) and their duals (co-semi-abelian). The proof strategy involves verifying these axioms for $\mathbf{Hopf}^{\text{com}}_k$.
• Key Algebraic Tools:
  • Takeuchi's Correspondence: The proof relies heavily on results by Takeuchi regarding injective morphisms of commutative Hopf algebras. Specifically, it uses the fact that injective morphisms are faithfully flat and the syntactic characterization of normal Hopf ideals.
  • Orthogonal Factorization Systems: The author lifts the factorization system of surjections and injections from the category of commutative monoids ($\mathbf{Mon}^{\text{com}}_k$) to the category of Hopf algebras.
  • Sweedler Notation and Antipodes: The proof of coexactness utilizes the antipode $S$ and the comultiplication $\Delta$ (using Sweedler notation $x_1 \otimes x_2 \otimes x_3$) to characterize normal Hopf ideals.

3. Key Contributions and Results

A. Local Presentability and Protomodularity (Proposition 3.1)

The paper establishes that $\mathbf{Hopf}^{\text{com}}_k$ is a locally presentable, pointed, and coprotomodular category.

• Method: It treats commutative Hopf algebras as internal cogroup objects in the category of commutative monoids. By showing that the forgetful functor to commutative monoids induces a jointly conservative family of functors to $\mathbf{Set}$, coprotomodularity is deduced.

B. Coregularity (Theorem 3.4)

The paper proves that $\mathbf{Hopf}^{\text{com}}_k$ is coregular.

• Factorization: It identifies an orthogonal factorization system where:
  • Epimorphisms are surjective morphisms.
  • Extremal Monomorphisms are faithfully flat injective morphisms.
• Mechanism:
  1. The factorization system is lifted from $\mathbf{Mon}^{\text{com}}_k$ using the fact that injective morphisms are closed under tensoring.
  2. Takeuchi's Theorem is invoked to show that every injective morphism in $\mathbf{Hopf}^{\text{com}}_k$ is faithfully flat.
  3. It is demonstrated that the class of faithfully flat morphisms is stable under pushouts, satisfying the requirements for coregularity.

C. Coexactness (Theorem 3.7)

The paper proves that $\mathbf{Hopf}^{\text{com}}_k$ is coexact.

• Definition: A category is coexact if it is coregular and the image of a normal subobject along a regular epimorphism is normal.
• Normal Hopf Ideals: The proof relies on Theorem 3.6, which provides three equivalent characterizations of a normal Hopf ideal $I$:
  1. $I$ is the kernel of a cokernel.
  2. $I = XA^+$ for some Hopf subalgebra $A$ (where $A^+$ is the augmentation ideal).
  3. Syntactic Condition: For every $x \in I$, the element $x_1 S(x_3) \otimes x_2$ lies in $X \otimes I$.
• Proof Logic: By showing that the syntactic condition (3) is preserved under surjective morphisms (using the left-exactness of the tensor product), the author proves that normality is preserved, thus establishing coexactness.

D. Main Theorem (Theorem 3.8)

Result: The category $\mathbf{Hopf}^{\text{com}}_k$ of commutative Hopf algebras over a field $k$ is co-semi-abelian.

• Corollary: Consequently, the category of affine group schemes over $k$ is a semi-abelian category.

E. Extension to Super Hopf Algebras (Remark 3.9)

The methodology is extended to the category of commutative super Hopf algebras over a field $k$ (where $\text{char}(k) \neq 2$). By utilizing existing characterizations of faithfully flat morphisms and normal Hopf ideals in the super-setting (from García-Martínez and Van der Linden), the paper concludes that this category is also co-semi-abelian.

4. Significance

• Unification of Homological Algebra: This work extends the powerful toolkit of semi-abelian categories (developed by Janelidze, Márki, and Tholen) to the realm of affine group schemes. This allows for the systematic application of homological lemmas to non-abelian geometric objects.
• Dual Symmetry: It resolves the duality question, showing that while cocommutative Hopf algebras are semi-abelian, their commutative counterparts are co-semi-abelian, creating a symmetric theoretical framework.
• Foundational for Future Work: The paper sets the stage for extending these results to more general bases, specifically affine group schemes over commutative von Neumann regular rings, via local-to-global principles.
• Technical Rigor: The paper provides a rigorous verification of the "coregularity" and "coexactness" axioms, which are often the most difficult to establish in non-abelian contexts, by explicitly linking categorical properties to the algebraic structure of Hopf ideals and faithfully flat morphisms.