Faithful linear and relational representations of diagram categories and monoids

Resumen Técnico: Representaciones Lineales y Relacionales Fieles de Categorías de Diagramas y Monoideos

Planteamiento del Problema
Las álgebras y monoideos de diagramas (tales como las álgebras de particiones, Brauer y Temperley–Lieb) son estructuras fundamentales en matemáticas y física, que surgen en la mecánica estadística, la teoría de nudos y la teoría de representaciones. Si bien estas estructuras están bien comprendidas desde el punto de vista combinatorio, sus representaciones lineales —específicamente las representaciones matriciales fieles sobre anillos y semianillos— han sido estudiadas históricamente con un enfoque en las representaciones de transformación. Las representaciones de transformación (acciones sobre conjuntos) a menudo producen grados altos (dimensiones); por ejemplo, el monoide de particiones $P_n$ tiene un grado de transformación relacionado con los números de Bell.

El problema central abordado en este trabajo es la construcción de representaciones lineales fieles de categorías y monoideos de diagramas que sean significativamente más eficientes (de menor dimensión) que sus contrapartes de transformación. Además, los autores buscan representaciones que preserven la rica estructura algebraica de estos objetos, específicamente la involución (estructura de daga) y el producto tensorial (estructura monoidal), las cuales a menudo se pierden en las representaciones de transformación estándar.

Metodología
Los autores desarrollan un marco unificado para representar categorías de diagramas como categorías de matrices sobre semianillos. La metodología procede a través de los siguientes pasos:

1. Definición del Mapeo: Para la categoría de particiones $\mathcal{P}$, los autores definen un mapeo $\phi: \mathcal{P} \to \mathcal{M}(K)$, donde $K$ es un semianillo unitario. Para una partición $a \in \mathcal{P}_{m,n}$, la imagen $\hat{a}$ es una matriz binaria de $2^m \times 2^n$. Las filas y columnas están indexadas por los subconjuntos de $[m]$ y $[n]$, respectivamente. La entrada $\hat{a}_{X,Y}$ es $1$ si y solo si el conjunto $X \cup Y'$ es una unión de bloques de la partición $a$, y $0$ en caso contrario.
2. Análisis de la Composición: El desafío técnico central es determinar cuándo este mapeo preserva la composición. El producto de dos particiones $a$ y $b$ implica un "grafo producto" $\Pi(a,b)$. Los autores introducen el concepto de conjuntos de entrelazamiento (subconjuntos $Z \subseteq [n]$ tales que $X \cup Z'$ es una unión de bloques de $a$ y $Z \cup Y'$ es una unión de bloques de $b$). Demuestran que el número de tales conjuntos para un par dado $(X,Y)$ es exactamente $2^{\Phi(a,b)}$, donde $\Phi(a,b)$ es el número de "componentes flotantes" (componentes conectados de $\Pi(a,b)$ que yacen enteramente en la fila media) en el grafo producto.
3. Restricciones del Semianillo: Se demuestra que el mapeo $\phi$ es un morfismo de categorías si y solo si el semianillo $K$ es idempotente aditivamente (es decir, $1+1=1$). En tales semianillos, la suma de $2^{\Phi(a,b)}$ unos colapsa a $1$, asegurando que el producto matricial $\hat{a}\hat{b}$ refleje correctamente el producto de particiones $ab$.
4. Extensión a Categorías Retorcidas: Los autores adaptan esta construcción a categorías de particiones retorcidas ($\mathcal{P}_\Phi$) y categorías $d$-retorcidas ($\mathcal{P}_{\Phi,d}$). Mediante la introducción de factores escalares (potencias de 2) y trabajando sobre anillos de características específicas (característica 0 o $2d+1$), construyen representaciones fieles que dan cuenta de los parámetros de retorcimiento.
5. Reducción para Subcategorías: Para las categorías de Brauer ($\mathcal{B}$) y Temperley–Lieb ($\mathcal{TL}$), los autores explotan propiedades estructurales (como tamaños de bloques y planaridad) para reducir las dimensiones matriciales. Identifican subconjuntos específicos de índices (por ejemplo, subconjuntos de cardinalidad impar para Brauer, subconjuntos de "hueco par" para Temperley–Lieb) que permiten representaciones fieles en dimensiones estrictamente menores que el caso general de particiones.

Contribuciones y Resultados Clave

• Representación Tensorial Involutiva Fiel de $\mathcal{P}$: El resultado principal (Teorema 3.11) establece que para cualquier semianillo idempotente aditivamente no trivial $K$, el mapa $\phi$ es una representación fiel, involutiva y de categoría tensorial de la categoría de particiones $\mathcal{P}$ hacia la categoría de matrices $\mathcal{M}(K)$. La dimensión de la imagen del monoide de endomorfismos $\mathcal{P}_n$ es $2^n$.
• Minimalidad de las Dimensiones: Los autores demuestran (Teorema 3.14) que para cualquier representación tensorial involutiva fiel de $\mathcal{P}$, $\mathcal{B}$ o $\mathcal{TL}$ sobre cualquier semianillo unitario, la dimensión de la imagen de $\mathcal{C}_n$ debe ser de la forma $d^n$ para algún entero $d \ge 2$. Por lo tanto, la dimensión $2^n$ lograda por su construcción es mínima para la categoría de particiones.
• Representaciones Retorcidas: El artículo proporciona representaciones fieles para categorías de particiones retorcidas $\mathcal{P}_\Phi$ sobre semianillos de característica 0 (Teorema 4.1) y categorías $d$-retorcidas $\mathcal{P}_{\Phi,d}$ sobre anillos de característica $2d+1$ (Teorema 4.3). Estas representaciones codifican los conteos de componentes flotantes mediante factores escalares.
• Representaciones Reducidas para $\mathcal{B}$ y $\mathcal{TL}$:
  • Para la categoría de Brauer $\mathcal{B}$, los autores construyen representaciones fieles en la subcategoría de grado impar $\mathcal{B}_{odd}$ con dimensiones $2^{n-1}$ (Teorema 5.2).
  • Para la categoría de Temperley–Lieb $\mathcal{TL}$, los autores construyen una representación fiel donde la dimensión de la imagen de $\mathcal{TL}_n$ es el $n$-ésimo número de Fibonacci, $f_n$ (Teorema 6.14). Esto se logra restringiendo los índices matriciales a subconjuntos de "hueco par".
• Conexión con Álgebras de Diagramas: El artículo investiga la relación entre estas representaciones de categorías y las álgebras lineales clásicas de diagramas (por ejemplo, $P_n(K, \delta)$). Si bien la representación de la categoría lineal de particiones $P(K, 2)$ no es fiel (Ejemplo 7.2), se demuestra que la restricción al álgebra de Temperley–Lieb $TL(K, 2)$ es fiel (Teorema 7.4), recuperando las representaciones de Brauer conocidas como un caso especial.

Significado y Afirmaciones
El artículo afirma que su contribución principal es la construcción de representaciones tensoriales involutivas mínimas y fieles para categorías de diagramas sobre semianillos idempotentes.

• Eficiencia: Las representaciones son significativamente más eficientes que las representaciones de transformación. Por ejemplo, el grado de transformación de $P_n$ crece aproximadamente como $B(n)$ (números de Bell), mientras que la dimensión matricial aquí es $2^n$.
• Preservación Estructural: A diferencia de las representaciones de transformación, estas representaciones matriciales preservan la involución (como transposición matricial) y la estructura tensorial (como producto de Kronecker), reteniendo información algebraica perdida en otros enfoques.
• Perspectiva Combinatoria: La construcción revela una conexión profunda entre la estructura algebraica de los monoideos de diagramas y la combinatoria de los "componentes flotantes" en los grafos producto. El número de componentes flotantes dicta directamente los factores escalares requeridos para las representaciones retorcidas.
• Preguntas Abiertas: Los autores notan modestamente que, si bien las dimensiones son mínimas para representaciones que preservan el tensor, sigue siendo una pregunta abierta si existen representaciones fieles más pequeñas si no se requiere la estructura tensorial (Preguntas 8.1 y 8.2). También destacan la dificultad de determinar dimensiones efectivas para monoideos específicos sobre anillos arbitrarios de manera computacional para $n$ grandes.

En resumen, el artículo proporciona un marco lineal riguroso, unificado y óptimo (dentro de la clase de representaciones que preservan el tensor) para estudiar categorías de diagramas, puenteando la teoría combinatoria de diagramas con el álgebra lineal sobre semianillos.