$\tau$-tilting modules, depth and delooping level

Resumen Técnico: Módulos $\tau$-tilting, Profundidad y Nivel de Delooping

Planteamiento del Problema
El artículo aborda la conjetura de la dimensión finitística, un problema abierto central en la teoría de la representación de álgebras de dimensión finita sobre $\mathbb{C}$. La conjetura postula que para cualquier álgebra de dimensión finita $A$, el supremo de las dimensiones proyectivas de todos los módulos con dimensión proyectiva finita (la dimensión finitística, denotada como $\text{findim} A$) es finito.

Un trabajo reciente de Gelinas (2022) introdujo el concepto de nivel de delooping para proporcionar cotas para la dimensión finitística. Específicamente, Gelinas demostró que para un álgebra de dimensión finita $A$, la dimensión finitística de su álgebra opuesta $A^{\text{op}}$ está acotada por la profundidad (depth) de $A$ y el nivel de delooping de $A$ (Teorema 1.1). Sin embargo, existen contraejemplos respecto a la finitud de los niveles de delooping para álgebras generales, y la relación entre estos invariantes homológicos y clases específicas de módulos sigue siendo un área de investigación activa.

Los autores se preguntan si el teorema de Gelinas puede generalizarse dentro del marco de la teoría $\tau$-tilting. Dado que todo álgebra $A$ es naturalmente un módulo $\tau$-tilting sobre sí misma, los autores buscan definir nociones análogas de profundidad y nivel de delooping relativas a un módulo $\tau$-tilting arbitrario $T$ y determinar si estos invariantes relativos acotan la dimensión finitística del álgebra de endomorfismos $B = \text{End}_A(T)^{\text{op}}$.

Metodología
Los autores emplean la maquinaria de la teoría $\tau$-tilting, pares torsión y la teoría de bricks y semi-bricks desarrollada por Adachi, Iyama y Reiten. La metodología procede a través de los siguientes pasos:

1. Definiciones de Invariantes Relativos:

   • Grado y Profundidad Relativos: Para un módulo $\tau$-tilting $T$, los autores definen el grado de un módulo $M$ en la subcategoría $\text{Fac}T$ (generada por $T$) relativo a $T$ utilizando $\text{Ext}^i_A(M, T)$. La profundidad de $\text{Fac}T$ relativo a $T$ se define como el supremo de estos grados sobre un semi-brick $S$ específico asociado con $T$.
   • Nivel de Delooping Relativo: Utilizando la biyección entre los bricks en $\text{Fac}T$ y los módulos simples en una subcategoría específica de $\text{mod} B$, los autores definen el $k$-nivel de delooping de los módulos en $\text{Fac}T$ relativo a $T$. Esto involucra sizigias relativas a $T$ ($\Omega_T$) y retractos estables.

2. Equivalencias Homológicas:
   El artículo se apoya fuertemente en la equivalencia de categorías inducida por el functor $\text{Hom}_A(T, -)$ entre $\text{Fac}T$ y una subcategoría de $\text{mod} B$. Específicamente, el Teorema 1.3 establece una biyección entre los bricks en la descomposición de semi-brick de $\text{Fac}T$ y los módulos simples en la subcategoría $\text{Sub}(DT)$.

3. Técnicas de Resolución:
   Los autores utilizan presentaciones $T$-mínimas (secuencias exactas donde los términos están en $\text{add} T$) para construir resoluciones proyectivas en $\text{mod} B$. El Lema 3.3 y la Proposición 4.3 demuestran cómo las presentaciones $T$-mínimas en $\text{mod} A$ se traducen en presentaciones proyectivas mínimas en $\text{mod} B^{\text{op}}$.

Contribuciones Clave y Resultados

1. Generalización del Teorema de Gelinas (Teorema 1.2 y 3.4):
   Los autores demuestran que la profundidad de $\text{Fac}T$ relativo a $T$ es una cota inferior para la dimensión finitística de $B^{\text{op}}$:
   $$\text{depth}_T(\text{Fac}T) \leq \text{findim}(B^{\text{op}})$$
   Esto generaliza el resultado de Gelinas (donde $T=A$) a cualquier módulo $\tau$-tilting.

2. Cota Superior vía Nivel de Delooping (Teorema 1.4 y 4.5):
   El artículo establece que el nivel de delooping de $\text{Fac}T$ relativo a $T$ sirve como una cota superior para la dimensión finitística de $B^{\text{op}}$:
   $$\text{findim}(B^{\text{op}}) \leq \text{delooping level}_T(\text{Fac}T)$$
   Además, muestran que el $k$-nivel de delooping del álgebra $B$ es igual al $k$-nivel de deloong de la subcategoría $\text{Fac}T$ relativo a $T$.

3. Condiciones de Finitud (Teorema 1.5 y 5.3):
   La aplicación central de estas cotas es un nuevo criterio para la finitud de la dimensión finitística. Los autores prueban que si la intersección de las subcategorías $\text{Fac}T$ y $\text{Sub}T$ (cogenerada por $T$) es de tipo de representación finita, entonces $\text{findim}(B^{\text{op}})$ es finita.

   • Esto implica que si $A$ es de tipo de representación finita, entonces $\text{findim}(B^{\text{op}})$ es finita para cualquier módulo $\tau$-tilting $T$.
   • Esto también implica que si $A$ es un álgebra de representación mínima infinita (tipo infinito, pero todos sus álgebras factor de tipo finito), entonces $\text{findim}(B^{\text{op}})$ es finita.

4. Equivalencia Derivada y Simetría (Proposición 5.6):
   El artículo señala que si $T$ es un módulo $\tau$-tilting, el álgebra $A$ (módulo el anulador de $T$) y $B^{\text{op}}$ son equivalentes derivadas. En consecuencia, la finitud de la dimensión finitística se preserva entre ellas.

Significado y Pretensiones
El artículo pretende proporcionar una versión generalizada del teorema de Gelinas (Teorema 1.1) específicamente adaptada al contexto de los módulos $\tau$-tilting. Al introducir la "profundidad relativa a $T$" y el "nivel de delooping relativo a $T$", los autores crean un marco para acotar la dimensión finitística de los álgebras de endomorfismos de módulos $\tau$-tilting.

El significado primordial reside en la aplicación a la conjetura de la dimensión finitística. Los autores demuestran que para dos clases significativas de álgebras —aquellas de tipo de representación finita y las álgebras de representación mínima infinita— la dimensión finitística del álgebra opuesta de cualquier álgebra de endomorfismos $\tau$-tilting está garantizada como finita. Esto ofrece una respuesta parcial positiva a la conjetura dentro del contexto específico de la teoría $\tau$-tilting, extendiendo los resultados conocidos del caso $T=A$ a una clase más amplia de módulos.

Los autores mantienen la modestia respecto a la conjetura general, señalando que, aunque proporcionan cotas y casos específicos donde la finitud se cumple, la finitud general del nivel de delooping para álgebras arbitrarias sigue siendo una pregunta abierta, como lo evidencian los contraejemplos existentes en la literatura. El trabajo sirve como un puente que conecta las propiedades estructurales de los módulos $\tau$-tilting (específicamente el tipo de representación de $\text{Fac}T \cap \text{Sub}T$) con la finitud homológica de sus anillos de endomorfismos.