From Abelianization to Tangent Categories

Basic Information

• Paper ID: 2510.12324
• Title: From Abelianization to Tangent Categories
• Authors: Sacha Ikonicoff, Jean-Simon Pacaud Lemay, Tim Van der Linden
• Classification: math.CT (Category Theory)
• Publication Date: October 15, 2025
• Paper Link: https://arxiv.org/abs/2510.12324

Abstract

Tangent categories are categories equipped with an internal functor (called the tangent functor) furnished with various natural transformations that capture the fundamental properties of the classical tangent bundle of smooth manifolds. This paper surprisingly demonstrates that the category of groups is a tangent category, with its tangent functor induced by abelianization, and differential bundles corresponding to abelian groups. The authors generalize this construction by introducing the concept of linear assignments, which are internal functors that assign commutative monoids to each object in a natural and idempotent manner. Subsequently, they prove that linear assignments induce tangent functors whose differential bundles correspond to concepts in linear algebra. Any finitely cocomplete regular unital category is a tangent category whose tangent functor is induced by the standard abelianization functor, which is a monad linear assignment. This enables the authors to provide numerous new examples of tangent categories, including monoids, pointed magmas, rings, non-unital rings, Jónsson-Tarski varieties, and pointed Mal'tsev varieties.

Research Background and Motivation

Problem Background

1. Tangent Category Theory: Tangent categories provide a categorical framework for the foundations of differential calculus on smooth manifolds through the abstraction of the tangent bundle concept. This theory was first introduced by Rosický and further developed by Cockett and Cruttwell.
2. Connection Between Geometry and Algebra: Traditional examples of tangent categories primarily originate from differential geometry, such as the category of smooth manifolds, (affine) scheme categories, and commutative algebra categories. These examples possess evident geometric characteristics.
3. Tangent Properties of Algebraic Structures: The core observation of this paper is that the category of groups is surprisingly also a tangent category, with its tangent functor induced by abelianization: $T(G) = G \times \text{Ab}(G)$.

Research Motivation

1. Theoretical Unification: Seeking a general method to incorporate algebraic structures into the tangent category framework
2. Structural Abstraction: Extracting the essential properties in the category of groups and the abelianization functor that allow the construction of tangent structures
3. Extension of Examples: Providing new, algebraically-derived rich examples for tangent category theory

Limitations of Existing Approaches

Existing tangent category theory primarily focuses on geometrically-styled examples, lacking systematic methods for handling algebraic structures. While algebraic examples such as commutative algebra exist, they lack general constructive principles.

Core Contributions

1. Discovery of Tangent Structure in the Category of Groups: Proves that the category of groups is a Rosický tangent category with tangent functor $T(G) = G \times \text{Ab}(G)$
2. Introduction of Linear Assignment Concept: Defines linear assignments and additive assignments as internal functors that preserve finite products, are idempotent, and naturally map objects to commutative monoids (or abelian groups)
3. Establishment of Correspondence Between Linear Assignments and Tangent Structures: Proves that any linear assignment induces a tangent structure with tangent functor $T(X) = X \times L(X)$
4. Characterization of Differential Objects and Differential Bundles: Proves that differential objects correspond bijectively to linear algebras (L-algebras), and under appropriate conditions, differential bundles correspond to products of base objects with linear algebras
5. Development of Monad Linear Assignment Theory: Establishes the correspondence between monad linear assignments and linear reflective subcategories
6. Generalization to Unital Regular Categories: Proves that any finitely cocomplete regular unital category is a tangent category, providing numerous new examples

Detailed Methodology

Core Concept Definitions

Linear Assignment

Definition 2.1: Let $\mathcal{X}$ be a category with finite products. A linear assignment is a quadruple $(L, +, 0, \nu)$ where:

• $L: \mathcal{X} \to \mathcal{X}$ is an internal functor preserving finite products
• $+_X: L(X) \times L(X) \to L(X)$ and $0_X: * \to L(X)$ are natural transformations
• $\nu_X: LL(X) \to L(X)$ is a natural isomorphism

satisfying:

1. For each object $X$, $(L(X), +_X, 0_X)$ is a commutative monoid
2. $\nu_X: L(L(X)) \to L(X)$ is a monoid isomorphism
3. $\nu_{L(X)} = L(\nu_X)$

Linear Projector

Theorem 2.5: Linear assignments correspond bijectively to linear projectors, which are functors $L: \mathcal{X} \to \text{CMON}[\mathcal{X}]$ preserving finite products equipped with a natural isomorphism $\nu_X: L(U(L(X))) \to L(X)$.

Main Constructions

From Linear Assignments to Tangent Structures

Theorem 3.5: Let $L$ be a linear assignment on category $\mathcal{X}$. Then $(\mathcal{X}, T_L)$ is a Cartesian tangent category where:

• Tangent Functor: $T_L(X) = X \times L(X)$
• Projection: $p_X = \pi_1: X \times L(X) \to X$
• Addition: $s_X = 1_X \times +_X: X \times (L(X) \times L(X)) \to X \times L(X)$
• Zero: $z_X = \langle 1_X, 0_X \circ t_X \rangle: X \to X \times L(X)$
• Vertical Lift: $\ell_X = \langle 1_X, 0_X \circ t_X \rangle \times \langle 0_X \circ t_{L(X)}, \nu_X^{-1} \rangle$
• Canonical Flip: $c_X$ given by natural commutative isomorphism

Linear Algebras and Differential Objects

Definition 4.1: An L-algebra is a pair $(A, a)$ where $a: L(A) \to A$ is an isomorphism and $L(a) = \nu_A$.

Theorem 4.13: The category of differential objects is isomorphic to the category of L-algebras: $\text{DOb}[\mathcal{X}, T_L] \simeq L\text{-ALG}$.

Theorem 4.15: If $\mathcal{X}$ has zero morphisms and kernels, then:

• $\text{DBUN}[(\mathcal{X}, T_L)] \simeq \mathcal{X} \times L\text{-ALG}$
• For each object $X$: $\text{DBUN}[(\mathcal{X}, T_L)]_X \simeq L\text{-ALG}$

Monad Linear Assignments

Definition 5.1: A monad linear assignment is a linear assignment equipped with a monad structure $(L, \nu, \eta)$.

Theorem 5.10: Monad linear assignments correspond bijectively to linear reflective subcategories.

Abelianization in Unital Categories

Theorem 6.3: Let $\mathcal{X}$ be a finitely cocomplete regular unital category. Then $(\mathcal{X}, T_{L_{\text{CMon}}})$ is a Cartesian tangent category with tangent functor: $T(X) = X \times \text{CMon}(X)$

Theorem 6.6: Let $\mathcal{X}$ be a finitely cocomplete regular strongly unital category. Then $(\mathcal{X}, T_{L_{\text{Ab}}})$ is a Cartesian Rosický tangent category with tangent functor: $T(X) = X \times \text{Ab}(X)$

Principal Examples

Basic Examples

1. Category of Groups: $T(G) = G \times \text{Ab}(G)$, differential objects correspond to abelian groups
2. Semi-additive Categories: $T(X) = X \times X$ (diagonal functor)
3. Terminal Assignment: $T(X) = X \times *$ (identity functor)

New Tangent Category Examples

1. Category of Monoids: Differential objects correspond to commutative monoids
2. Category of Pointed Magmas: Free example of Jónsson-Tarski varieties
3. Category of Non-unital Rings: Abelianization given by $R \mapsto R/R^2$
4. Category of Lie Algebras: Abelianization given by $\mathfrak{g} \mapsto \mathfrak{g}/[\mathfrak{g}, \mathfrak{g}]$
5. Category of Rings: Including crossed modules, Hopf algebras, etc.

Theoretical Significance

Mathematical Contributions

1. Category Theory: Provides new algebraic perspectives for tangent category theory
2. Homological Algebra: Establishes deep connections between abelianization and differential geometric concepts
3. Universal Algebra: Provides a unified tangent bundle framework for various algebraic structures

Conceptual Innovation

1. Linear Assignments: Abstracts the essence of the "linearization" process
2. Algebraic Tangent Bundles: Generalizes differential geometric concepts to purely algebraic settings
3. Parallelizable Objects: All objects are "parallelizable" (tangent bundles are trivial)

Technical Details

Proof Strategies

1. Construction Verification: Direct computation to verify tangent axioms
2. Universal Properties: Utilization of pullback and equalizer universal properties
3. Monad Theory: Application of correspondence between idempotent monads and reflective subcategories

Key Lemmas

• Lemma 2.2: Linear assignments preserve monoid structures
• Lemma 3.4: Products and commutative monoids yield additive bundles
• Lemma 4.12: Construction of L-algebra structures from differential objects

Limitations and Future Directions

Current Limitations

1. Parallelization Restriction: All objects in constructed tangent categories are parallelizable
2. Strictness Issues: Certain isomorphism relationships require non-strict treatment
3. Geometric Intuition: Lacks intuitive interpretation of traditional geometric tangent bundles

Future Research

1. Parallelizable Object Theory: Development of general theory of parallelizable objects in tangent categories
2. Non-strict Generalized Cartesian Differential Categories: Treatment of isomorphisms rather than strict equalities
3. Larger Tangent Categories: Search for larger tangent categories having the category of groups as a parallelizable object subcategory

In-Depth Evaluation

Strengths

1. Theoretical Unification: Unifies seemingly unrelated algebraic and geometric concepts under the tangent category framework
2. Naturalness of Construction: The concept of linear assignment naturally abstracts linearization processes such as abelianization
3. Richness of Examples: Provides numerous new tangent category examples from algebra
4. Technical Rigor: Proofs are detailed with appropriate technical handling

Innovation

1. Conceptual Innovation: Linear assignment is a novel concept capturing the problem's essence
2. Perspective Shift: Transitions from geometric to algebraic perspective in understanding tangent structures
3. Theoretical Extension: Opens new research directions for tangent category theory

Technical Contributions

1. Construction Methods: Provides systematic methods for constructing tangent categories from algebraic structures
2. Categorical Equivalences: Establishes several important categorical equivalence relationships
3. Computational Techniques: Develops effective methods for tangent category computations

Potential Impact

1. Theoretical Development: May promote development of tangent category theory in the algebraic direction
2. Application Prospects: Provides new geometric intuition for studying algebraic structures
3. Cross-field Connections: Strengthens connections between algebra and geometry

Applicable Scenarios

1. Algebraic Topology: Study of homotopic properties of algebraic structures
2. Algebraic Geometry: Understanding tangent bundle structures of algebraic varieties
3. Category Theory: Development of new categorical tools and methods

Conclusion

Through the introduction of the concept of linear assignments, this paper successfully incorporates algebraic constructions such as abelianization into the tangent category framework, providing a completely new algebraic perspective for this important mathematical theory. The paper not only resolves a specific problem (the tangent structure of the category of groups) but, more importantly, establishes a general theoretical framework that provides tangent category interpretations for numerous algebraic structures. This work demonstrates profound mathematical insight and will have significant impact on tangent category theory and related fields.