Extensiones entre funtores desde diagramas de Jacobi en asas

Información Básica

• ID del Artículo: 2510.09625
• Título: Extensiones entre funtores desde diagramas de Jacobi en asas
• Autor: Mai Katada
• Clasificación: math.CT (Teoría de Categorías), math.AT (Topología Algebraica), math.QA (Álgebra Cuántica)
• Fecha de Publicación: 23 de septiembre de 2025
• Enlace del Artículo: https://arxiv.org/abs/2510.09625

Resumen

Este artículo calcula los primeros grupos Ext entre funtores de Schur en la categoría de módulos sobre la $k$-linealización $k\mathbf{gr}^{op}$ de la dual de la categoría de grupos libres finitamente generados, donde $k$ es un campo de característica cero. La categoría $k$-lineal $\mathbf{A}$ de diagramas de Jacobi en asas introducida por Habiro y Massuyeau posee una estructura $\mathbb{N}$-graduada cuya parte de grado cero es isomorfa a la categoría $k\mathbf{gr}^{op}$. El artículo calcula los primeros grupos Ext entre módulos simples $\mathbf{A}$ inducidos por funtores de Schur en la categoría de módulos $\mathbf{A}$.

Contexto de Investigación y Motivación

Antecedentes del Problema

1. Importancia de la categoría de funtores de grupos libres: Los grupos libres finitamente generados son objetos importantes en diversos campos de las matemáticas, particularmente en topología donde aparecen como grupos fundamentales. La categoría de funtores desde la categoría de grupos libres $\mathbf{gr}$ (o su dual $\mathbf{gr}^{op}$) a la categoría de grupos abelianos (o espacios vectoriales) ha sido ampliamente estudiada.
2. Significado de los grupos Ext: Los grupos Ext en categorías de funtores están relacionados con la cohomología estable del grupo de automorfismos de grupos libres, siendo estos estudios cruciales para comprender la estructura de los grupos de automorfismos.
3. Introducción de la categoría de diagramas de Jacobi: La categoría $\mathbf{A}$ de diagramas de Jacobi en asas introducida por Habiro y Massuyeau puede caracterizarse como la $k$-lineal PROP generada libremente por el álgebra de Hopf de Casimir, constituyendo una extensión natural de $k\mathbf{gr}^{op}$.

Motivación de la Investigación

1. Extensión de resultados conocidos: Vespa calculó los grupos Ext entre funtores de potencias tensoriales en la categoría de módulos $k\mathbf{gr}^{op}$. Este artículo busca extender estos resultados a la categoría de módulos $\mathbf{A}$ más general.
2. Aprovechamiento de equivalencias de categorías: Mediante la equivalencia establecida por Kim entre la categoría de módulos $\mathbf{A}$ y la categoría de módulos $\mathbf{CatLie}_C$ (álgebras de Lie categóricas de Casimir), es posible calcular los grupos Ext de manera más accesible.

Contribuciones Principales

1. Cálculo de los primeros grupos Ext en la categoría de módulos $\mathbf{CatLie}_C$: Se proporciona una caracterización completa de los primeros grupos Ext entre objetos simples inducidos por módulos de Specht.
2. Obtención de resultados para la categoría de módulos $\mathbf{A}$ mediante equivalencia de categorías: Utilizando el teorema de equivalencia de Kim, se transforman los resultados de cálculo en $\mathbf{CatLie}_C$ a los correspondientes resultados en la categoría de módulos $\mathbf{A}$.
3. Provisión de métodos de cálculo directo: Se proporcionan cálculos directos en la categoría de módulos $\mathbf{A}$ para los casos de funtores de potencias simétricas y potencias exteriores.
4. Generalización de la fórmula clásica de coeficientes de Littlewood-Richardson: Se generalizan resultados clásicos de combinatoria en el nuevo contexto categórico.

Explicación Detallada de Métodos

Definición de la Tarea

Calcular los primeros grupos Ext entre módulos simples $T(S^{\lambda} \circ a^{\#})$ y $T(S^{\mu} \circ a^{\#})$ en la categoría de módulos $\mathbf{A}$, donde $S^{\lambda}$ es el funtor de Schur correspondiente a la partición $\lambda$, $a^{\#}$ es el dual del funtor de abelianización, y $T$ es el funtor inducido por la proyección $\mathbf{A} \to \mathbf{A}_0 \cong k\mathbf{gr}^{op}$.

Marco Teórico

Categoría de Diagramas de Jacobi $\mathbf{A}$

• Objetos: Enteros no negativos
• Espacios de Morfismos: $\mathbf{A}(m,n)$ está generado por "diagramas de Jacobi $(m,n)$ en asas", módulo las relaciones STU
• Caracterización: Como PROP $k$-lineal generado libremente por el álgebra de Hopf de Casimir
• Estructura Graduada: Posee una graduación $\mathbb{N}$, donde el 2-tensor de Casimir $\tilde{c}$ tiene grado 1

Categoría de Álgebras de Lie Categóricas de Casimir $\mathbf{CatLie}_C$

• Generadores: Corchete de Lie $[,]: 2 \to 1$ y elemento de Casimir $c: 0 \to 2$
• Relaciones: Relaciones AS, relaciones IHX y condición de Casimir
• Relación con la Categoría de Brauer Superior: Existe un funtor sobreyectivo $\mathbf{CatLie} \otimes_S \mathbf{uB} \to \mathbf{CatLie}_C$

Equivalencia de Categorías

La equivalencia establecida por Kim: $\mathbf{CatLie}_C\text{-Mod} \simeq \mathbf{A}\text{-Mod}^{\omega}$

Estrategia de Cálculo

Primer Paso: Cálculos en $\mathbf{CatLie}_C$

Utilizando análisis de la estructura de extensiones, para extensiones de módulos $\mathbf{CatLie}_C$: $0 \to T(S^{\mu}) \to K \to T(S^{\lambda}) \to 0$

Mediante análisis de la acción de $K$ en morfismos de diferentes grados, se obtiene:

Teorema 3.4: Sean $\lambda, \mu$ particiones, $n = |\lambda|$, $m = |\mu|$. Entonces