2025-11-25T06:22:17.684150

Extensions between functors from Jacobi diagrams in handlebodies

Katada

The first Ext-groups between Schur functors in the category of modules over the $\Bbbk$-linearization $\Bbbk\mathbf{gr}^{\operatorname{op}}$ of the opposite of the category of finitely generated free groups are computed for a filed $\Bbbk$ of characteristic $0$. The $\Bbbk$-linear category $\mathbf{A}$ of Jacobi diagrams in handlebodies, which was introduced by Habiro and Massuyeau, has an $\mathbb{N}$-grading whose degree $0$ part identifies with the category $\Bbbk\mathbf{gr}^{\operatorname{op}}$. We compute the first Ext-groups in the category of $\mathbf{A}$-modules between simple $\mathbf{A}$-modules which are induced by Schur functors.

academic

Extensions between functors from Jacobi diagrams in handlebodies

基本信息

论文ID: 2510.09625
标题: Extensions between functors from Jacobi diagrams in handlebodies
作者: Mai Katada
分类: math.CT (范畴论), math.AT (代数拓扑), math.QA (量子代数)
发表时间: 2025年9月23日
论文链接: https://arxiv.org/abs/2510.09625

摘要

本文计算了特征为0的域k上，有限生成自由群范畴的对偶的k-线性化 $k\mathbf{gr}^{op}$ 上模范畴中Schur函子之间的第一Ext群。Habiro和Massuyeau引入的手柄体中Jacobi图的k-线性范畴 $\mathbf{A}$ 具有 $\mathbb{N}$ -分次结构，其0次部分与范畴 $k\mathbf{gr}^{op}$ 同构。本文计算了 $\mathbf{A}$ -模范畴中由Schur函子诱导的简单 $\mathbf{A}$ -模之间的第一Ext群。

研究背景与动机

问题背景

自由群函子范畴的重要性：有限生成自由群在数学的各个领域中都是重要对象，特别是在拓扑学中作为基本群出现。从自由群范畴 $\mathbf{gr}$ （或其对偶 $\mathbf{gr}^{op}$ ）到阿贝尔群范畴（或向量空间范畴）的函子范畴有着丰富的研究文献。
Ext群的研究意义：函子范畴中的Ext群与自由群自同构群的稳定上同调相关，这些研究对理解自同构群的结构具有重要意义。
Jacobi图范畴的引入：Habiro和Massuyeau引入的手柄体中Jacobi图范畴 $\mathbf{A}$ 可以刻画为Casimir Hopf代数的k-线性PROP，它是 $k\mathbf{gr}^{op}$ 的自然推广。

研究动机

扩展已知结果：Vespa计算了 $k\mathbf{gr}^{op}$ -模范畴中张量幂函子之间的Ext群，本文旨在将这些结果扩展到更一般的 $\mathbf{A}$ -模范畴。
利用范畴等价：通过Kim建立的 $\mathbf{A}$ -模范畴与Casimir Lie代数范畴 $\mathbf{CatLie}_C$ -模范畴之间的等价关系，可以更容易地计算Ext群。

核心贡献

计算了 $\mathbf{CatLie}_C$ -模范畴中的第一Ext群：给出了由Specht模诱导的简单对象之间第一Ext群的完整刻画。
通过范畴等价得到 $\mathbf{A}$ -模范畴的结果：利用Kim的等价定理，将 $\mathbf{CatLie}_C$ 中的计算结果转化为 $\mathbf{A}$ -模范畴的相应结果。
提供了直接计算方法：对称幂函子和外幂函子的情况给出了 $\mathbf{A}$ -模范畴中的直接计算。
推广了已知的Littlewood-Richardson系数公式：在新的范畴设置中推广了经典的组合数学结果。

方法详解

任务定义

计算 $\mathbf{A}$ -模范畴中简单模 $T(S^{\lambda} \circ a^{\#})$ 和 $T(S^{\mu} \circ a^{\#})$ 之间的第一Ext群，其中 $S^{\lambda}$ 是对应于分拆 $\lambda$ 的Schur函子， $a^{\#}$ 是阿贝尔化函子的对偶， $T$ 是由投影 $\mathbf{A} \to \mathbf{A}_0 \cong k\mathbf{gr}^{op}$ 诱导的函子。

理论框架

Jacobi图范畴 $\mathbf{A}$

对象：非负整数
态射空间： $\mathbf{A}(m,n)$ 由" $(m,n)$ -手柄体中Jacobi图"张成，模去STU关系
特征化：作为由Casimir Hopf代数自由生成的k-线性PROP
分次结构：具有 $\mathbb{N}$ -分次，其中Casimir 2-张量 $\tilde{c}$ 的次数为1

Casimir Lie代数范畴 $\mathbf{CatLie}_C$

生成元：Lie括号 $[,]: 2 \to 1$ 和Casimir元 $c: 0 \to 2$
关系：AS关系、IHX关系和Casimir条件
与上Brauer范畴的关系：存在满函子 $\mathbf{CatLie} \otimes_S \mathbf{uB} \to \mathbf{CatLie}_C$

范畴等价

Kim建立的等价关系： $\mathbf{CatLie}_C\text{-Mod} \simeq \mathbf{A}\text{-Mod}^{\omega}$

计算策略

第一步： $\mathbf{CatLie}_C$ 中的计算

利用扩张的结构分析，对于 $\mathbf{CatLie}_C$ -模的扩张： $0 \to T(S^{\mu}) \to K \to T(S^{\lambda}) \to 0$

通过分析 $K$ 在不同次数态射上的作用，得到：

定理3.4：设 $\lambda, \mu$ 是分拆， $n = |\lambda|$ ， $m = |\mu|$ ，则 $\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}$

第二步：维数计算

通过Littlewood-Richardson系数： $\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}$

第三步：转化为 $\mathbf{A}$ -模结果

通过范畴等价得到相同的维数公式。

技术创新点

扩张结构的系统分析：通过仔细分析Casimir元和Lie括号在扩张中的作用，确定了扩张的完整结构。
利用PROP结构：充分利用了 $\mathbf{CatLie}_C$ 作为PROP的结构，特别是其与上Brauer范畴的关系。
直接构造方法：对特殊情况（对称幂和外幂函子）提供了 $\mathbf{A}$ -模范畴中的直接构造方法。

实验设置

本文为纯理论数学论文，不涉及数值实验，主要通过严格的数学证明来验证结果。

验证方法

一致性检验：验证通过不同方法（ $\mathbf{CatLie}_C$ 计算vs直接 $\mathbf{A}$ -模计算）得到的结果一致性
特殊情况验证：对对称幂函子和外幂函子进行详细的直接计算验证
与已知结果比较：在 $m = n-1$ 情况下与Vespa的结果比较

实验结果

主要结果

定理3.5（主要结果）：设 $\lambda, \mu$ 是分拆， $n = |\lambda|$ ， $m = |\mu|$ ，则 $\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}$

特殊情况结果

定理3.7（对称幂函子）：对于 $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}$

定理3.9（外幂函子）：设 $\lambda$ 是分拆， $d' \geq 0$ ，则 $\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}$

实验发现

新的非零Ext群：相比于 $k\mathbf{gr}^{op}$ -模范畴， $\mathbf{A}$ -模范畴中出现了新的非零第一Ext群（ $m = n+2$ 情况）。
Casimir元的作用：Casimir 2-张量的引入产生了额外的扩张可能性，这反映在 $m = n+2$ 的情况中。
维数公式的优美性：结果可以用经典的Littlewood-Richardson系数优美地表达。