Extensions between functors from Jacobi diagrams in handlebodies

Basic Information

• Paper ID: 2510.09625
• Title: Extensions between functors from Jacobi diagrams in handlebodies
• Author: Mai Katada
• Classification: math.CT (Category Theory), math.AT (Algebraic Topology), math.QA (Quantum Algebra)
• Publication Date: September 23, 2025
• Paper Link: https://arxiv.org/abs/2510.09625

Abstract

This paper computes the first Ext groups between Schur functors in the module category over the k-linearization $k\mathbf{gr}^{op}$ of the dual of the category of finitely generated free groups over a field k of characteristic zero. The k-linear category $\mathbf{A}$ of Jacobi diagrams in handlebodies, introduced by Habiro and Massuyeau, possesses an $\mathbb{N}$-graded structure whose degree-zero part is isomorphic to the category $k\mathbf{gr}^{op}$. This paper computes the first Ext groups between simple $\mathbf{A}$-modules induced by Schur functors in the $\mathbf{A}$-module category.

Research Background and Motivation

Problem Background

1. Importance of the free group functor category: Finitely generated free groups are important objects throughout mathematics, particularly appearing as fundamental groups in topology. The functor category from the free group category $\mathbf{gr}$ (or its dual $\mathbf{gr}^{op}$) to the category of abelian groups (or vector spaces) has extensive literature.
2. Significance of Ext group research: Ext groups in functor categories are related to stable cohomology of automorphism groups of free groups, and such studies are crucial for understanding the structure of automorphism groups.
3. Introduction of the Jacobi diagram category: The category $\mathbf{A}$ of Jacobi diagrams in handlebodies introduced by Habiro and Massuyeau can be characterized as the k-linear PROP freely generated by the Casimir Hopf algebra, serving as a natural generalization of $k\mathbf{gr}^{op}$.

Research Motivation

1. Extension of known results: Vespa computed Ext groups between tensor power functors in the $k\mathbf{gr}^{op}$-module category; this paper aims to extend these results to the more general $\mathbf{A}$-module category.
2. Utilization of categorical equivalences: Through the equivalence between the $\mathbf{A}$-module category and the Casimir Lie algebra category $\mathbf{CatLie}_C$-module category established by Kim, Ext groups can be computed more readily.

Core Contributions

1. Computation of first Ext groups in the $\mathbf{CatLie}_C$-module category: Provides a complete characterization of first Ext groups between simple objects induced by Specht modules.
2. Derivation of $\mathbf{A}$-module category results via categorical equivalence: Utilizes Kim's equivalence theorem to transform computational results from $\mathbf{CatLie}_C$ to corresponding results in the $\mathbf{A}$-module category.
3. Provision of direct computational methods: Offers direct calculations in the $\mathbf{A}$-module category for symmetric power and exterior power functors.
4. Generalization of known Littlewood-Richardson coefficient formulas: Extends classical combinatorial results to the new categorical setting.

Detailed Methodology

Task Definition

Compute the first Ext group between simple modules $T(S^{\lambda} \circ a^{\#})$ and $T(S^{\mu} \circ a^{\#})$ in the $\mathbf{A}$-module category, where $S^{\lambda}$ is the Schur functor corresponding to partition $\lambda$, $a^{\#}$ is the dual of the abelianization functor, and $T$ is the functor induced by the projection $\mathbf{A} \to \mathbf{A}_0 \cong k\mathbf{gr}^{op}$.

Theoretical Framework

Jacobi Diagram Category $\mathbf{A}$

• Objects: Non-negative integers
• Morphism spaces: $\mathbf{A}(m,n)$ is spanned by "$(m,n)$-Jacobi diagrams in handlebodies" modulo STU relations
• Characterization: As the k-linear PROP freely generated by the Casimir Hopf algebra
• Graded structure: Possesses $\mathbb{N}$-grading where the Casimir 2-tensor $\tilde{c}$ has degree 1

Casimir Lie Algebra Category $\mathbf{CatLie}_C$

• Generators: Lie bracket $[,]: 2 \to 1$ and Casimir element $c: 0 \to 2$
• Relations: AS relations, IHX relations, and Casimir conditions
• Relationship with upper Brauer category: Existence of a surjective functor $\mathbf{CatLie} \otimes_S \mathbf{uB} \to \mathbf{CatLie}_C$

Categorical Equivalence

The equivalence established by Kim: $\mathbf{CatLie}_C\text{-Mod} \simeq \mathbf{A}\text{-Mod}^{\omega}$

Computational Strategy

First Step: Computation in $\mathbf{CatLie}_C$

Utilizing structural analysis of extensions, for extensions of $\mathbf{CatLie}_C$-modules: $0 \to T(S^{\mu}) \to K \to T(S^{\lambda}) \to 0$

By analyzing the action of $K$ on morphisms of different degrees, we obtain:

Theorem 3.4: Let $\lambda, \mu$ be partitions with $n = |\lambda|$ and $m = |\mu|$. Then $\text{Ext}^1_{\mathbf{CatLie}_C\text{-Mod}}(T(S^{\lambda}), T(S^{\mu})) \cong \begin{cases} S^{\mu} \otimes_{kS_m} \mathbf{CatLie}(n,m) \otimes_{kS_n} S^{\lambda} & \text{if } m = n-1 \\ S^{\mu} \otimes_{kS_m} \mathbf{uB}(n,m) \otimes_{kS_n} S^{\lambda} & \text{if } m = n+2 \\ 0 & \text{otherwise} \end{cases}$

Second Step: Dimension Calculation

Via Littlewood-Richardson coefficients: $\dim_k \text{Ext}^1_{\mathbf{CatLie}_C\text{-Mod}}(T(S^{\lambda}), T(S^{\mu})) = \begin{cases} \sum_{\rho \vdash n-2} LR^{\lambda}_{\rho,1^2} LR^{\mu}_{\rho,1} & \text{if } m = n-1 \\ LR^{\mu}_{\lambda,2} & \text{if } m = n+2 \\ 0 & \text{otherwise} \end{cases}$

Third Step: Transformation to $\mathbf{A}$-Module Results

The same dimension formulas are obtained through categorical equivalence.

Technical Innovations

1. Systematic analysis of extension structures: Through careful analysis of the action of Casimir elements and Lie brackets in extensions, the complete structure of extensions is determined.
2. Exploitation of PROP structure: Full utilization of the PROP structure of $\mathbf{CatLie}_C$, particularly its relationship with the upper Brauer category.
3. Direct construction methods: For special cases (symmetric and exterior power functors), direct construction methods in the $\mathbf{A}$-module category are provided.

Experimental Setup

This is a pure theoretical mathematics paper with no numerical experiments; results are verified through rigorous mathematical proofs.

Verification Methods

1. Consistency checks: Verification that results obtained through different methods ($\mathbf{CatLie}_C$ computation vs. direct $\mathbf{A}$-module computation) are consistent
2. Special case verification: Detailed direct calculations for symmetric and exterior power functors
3. Comparison with known results: Comparison with Vespa's results in the $m = n-1$ case

Experimental Results

Main Results

Theorem 3.5 (Main Result): Let $\lambda, \mu$ be partitions with $n = |\lambda|$ and $m = |\mu|$. Then $\dim_k \text{Ext}^1_{\mathbf{A}\text{-Mod}}(T(S^{\lambda} \circ a^{\#}), T(S^{\mu} \circ a^{\#})) = \begin{cases} \sum_{\rho \vdash n-2} LR^{\lambda}_{\rho,1^2} LR^{\mu}_{\rho,1} & \text{if } m = n-1 \\ LR^{\mu}_{\lambda,2} & \text{if } m = n+2 \\ 0 & \text{otherwise} \end{cases}$

Special Case Results

Theorem 3.7 (Symmetric Power Functors): For $d, d' \geq 0$, $\text{Ext}^1_{\mathbf{A}\text{-Mod}}(T(S^d \circ a^{\#}), T(S^{d'} \circ a^{\#})) \cong \begin{cases} k & \text{if } d' = d+2 \\ 0 & \text{otherwise} \end{cases}$

Theorem 3.9 (Exterior Power Functors): Let $\lambda$ be a partition and $d' \geq 0$. Then $\text{Ext}^1_{\mathbf{A}\text{-Mod}}(T(S^{\lambda} \circ a^{\#}), T(\Lambda^{d'} \circ a^{\#})) \cong \begin{cases} k & \text{if } \lambda = 2^2 1^{d'-3}, 2 1^{d'-2}, 1^{d'+1} \\ 0 & \text{otherwise} \end{cases}$

Experimental Findings

1. New non-zero Ext groups: Compared to the $k\mathbf{gr}^{op}$-module category, new non-zero first Ext groups appear in the $\mathbf{A}$-module category (the $m = n+2$ case).
2. Role of the Casimir element: The introduction of the Casimir 2-tensor generates additional extension possibilities, reflected in the $m = n+2$ case.
3. Elegance of dimension formulas: Results are elegantly expressed using classical Littlewood-Richardson coefficients.

Related Work

Ext Groups in Functor Categories

1. Vespa (2018): Computed Ext groups between tensor power functors in the $k\mathbf{gr}^{op}$-module category
2. Powell-Vespa (2025): Studied Ext groups between more general Schur functors, providing Lemma 3.2 used in this paper

Jacobi Diagrams and Related Categories

1. Habiro-Massuyeau (2021): Introduced the category $\mathbf{A}$ of Jacobi diagrams in handlebodies
2. Powell (2024): Established equivalence between the $k\mathbf{gr}^{op}$-module category and the $\mathbf{CatLie}$-module category
3. Kim (2025): Established equivalence between the $\mathbf{A}$-module category and the $\mathbf{CatLie}_C$-module category

Casimir Lie Algebras

1. Hinich-Vaintrob (2002): Introduced the concept of Casimir Lie algebras and the corresponding PROP $\mathbf{CatLie}_C$

Conclusions and Discussion

Main Conclusions

1. Complete characterization of first Ext groups: Provides complete formulas for first Ext groups between simple modules induced by Schur functors in the $\mathbf{A}$-module category.
2. Revelation of Casimir structure effects: Compared to the classical $k\mathbf{gr}^{op}$ case, the Casimir structure introduces new extension possibilities.
3. Establishment of computational framework: Provides an effective method for computing Ext groups in the $\mathbf{A}$-module category via the $\mathbf{CatLie}_C$-module category.

Limitations

1. Only first Ext groups computed: Computation of higher-order Ext groups remains an open problem.
2. Characteristic zero restriction: Results are restricted to fields of characteristic zero; positive characteristic cases may exhibit different behavior.
3. Specific functor types: Primarily focuses on modules induced by Schur functors; Ext groups between other types of modules are not addressed.

Future Directions

1. Higher Ext groups: Compute $\text{Ext}^i$ groups for $i \geq 2$.
2. Positive characteristic cases: Investigate corresponding results over fields of positive characteristic.
3. Other functor types: Consider more general polynomial or analytic functors.
4. Geometric applications: Explore applications of these algebraic results in topology and geometry.

In-Depth Evaluation

Strengths

1. Significant theoretical contribution: First complete computation of first Ext groups in the $\mathbf{A}$-module category, filling a gap in the field.
2. Strong methodological innovation: Cleverly utilizes categorical equivalence to transform complex $\mathbf{A}$-module computations into relatively simpler $\mathbf{CatLie}_C$-module computations.
3. High completeness of results: Not only provides general formulas but also performs detailed analysis and direct verification for special cases.
4. Refined technical treatment: Careful analysis of relations in the Casimir Hopf algebra with rigorous and complete proofs.

Weaknesses

1. Limited application scenarios: As a pure theoretical result, direct applications are relatively limited.
2. Computational complexity: While formulas are provided, computation of Littlewood-Richardson coefficients for large partitions remains complex.
3. Generalization questions: Unclear whether the methods can be generalized to other similar categorical settings.

Impact

1. High academic value: Provides important tools for interdisciplinary research between functor category theory and representation theory.
2. Theoretical completeness: Perfects the module theory of Jacobi diagram categories, laying foundations for subsequent research.
3. Methodological contribution: Demonstrates how to simplify complex homological computations through categorical equivalences.

Applicable Scenarios

1. Algebraic topology research: Applicable to cohomology studies of automorphism groups of free groups.
2. Quantum invariant theory: Related to research on quantum topological invariants such as the Kontsevich integral.
3. Representation theory research: Provides new tools for applications of symmetric group representation theory in functor categories.

References

The paper cites 21 important references, primarily including:

• Foundational work by Habiro-Massuyeau on Jacobi diagram categories
• Systematic research by Powell on analytic functors
• Pioneering computations by Vespa on Ext groups in functor categories
• Theoretical foundations by Hinich-Vaintrob on Casimir Lie algebras
• Recent results by Kim on categorical equivalences

Note: This paper represents an important theoretical contribution at the intersection of functor category theory, algebraic topology, and quantum algebra. While technically demanding, it provides a solid theoretical foundation for further development in related fields.