Three homological invariants under cleft extensions

Resumen Técnico: Tres Invariantes Homológicos bajo Extensiones de Cleft

Planteamiento del Problema
Este artículo investiga el comportamiento de tres invariantes homológicos específicos —la distancia de Igusa-Todorov, la dimensión de extensión y la dimensión de Rouquier— bajo la operación de extensiones de cleft (cleft extensions) de categorías abelianas. Si bien la dimensión de las categorías trianguladas (dimensión de Rouquier) y la dimensión de extensión de las categorías abelianas son herramientas bien estudiadas para medir la complejidad de la teoría de representación (por ejemplo, la finitud del tipo de representación o los límites de las categorías derivadas), su estabilidad y sus cotas bajo construcciones categóricas específicas siguen siendo un área de investigación activa. Específicamente, los autores pretenden establecer cotas cuantitativas para estos invariantes cuando una categoría abeliana $\mathcal{A}$ se construye como una extensión de cleft de otra categoría $\mathcal{B}$.

Metodología
Los autores emplean el marco de las extensiones de cleft y las coextensiones de cleft de categorías abelianas, introducidas originalmente por Beligiannis.

1. Marco Categórico: Una extensión de cleft $(\mathcal{B}, \mathcal{A}, i, e, l)$ involucra functores donde $e: \mathcal{A} \to \mathcal{B}$ es fiel y exacto, admite un adjunto a la izquierda $l$, y satisface $el \simeq \text{Id}_{\mathcal{B}}$. Esta estructura induce un endofunctor $F: \mathcal{B} \to \mathcal{B}$. Dualmente, una coextensión de cleft involucra un adjunto a la derecha $r$ e induce un endofunctor $F': \mathcal{B} \to \mathcal{B}$.
2. Condiciones Homológicas: Las demostraciones se basan en propiedades homológicas específicas de estos functores, particularmente la exactitud de $l$ o $r$, la preservación de objetos proyectivos por parte de $e$, y la nilpotencia de los endofunctores inducidos ($F^n = 0$ o $F'^n = 0$).
3. Técnicas de Sízigias y Resoluciones: Los autores utilizan objetos de sízigia ($\Omega^n$) y secuencias exactas para relacionar las resoluciones de los objetos en $\mathcal{A}$ con las de $\mathcal{B}$. Los lemas clave implican la construcción de secuencias exactas en $\mathcal{A}$ mediante el "levantamiento" de secuencias de $\mathcal{B}$ vía el funtor $l$ (o $r$) y el análisis de los núcleos y coc kernels utilizando el Lema de Schanuel y diagramas de tracción (pullback diagrams).
4. Análisis de Categorías Derivadas: Para la dimensión de Rouquier, los autores utilizan los functores derivados de los pares adjuntos ($Ll, Lq$) para establecer equivalencias triangulares y cotas dentro de las categorías derivadas acotadas $D^b(\text{mod-}\Lambda)$.

Contribuciones Clave y Resultados

• Distancia de Igusa-Todorov (Teorema 3.11):
  Para una extensión de cleft $(\mathcal{B}, \mathcal{A}, i, e, l)$ donde $l$ es exacto, $e$ preserva proyectivos y el endofunctor inducido $F$ es nilpotente ($F^n=0$) con $\text{Proj}_{\mathcal{B}} = \text{add}(P)$, la distancia de Igusa-Todorov satisface:
  $$\text{IT.dist}(\mathcal{B}) \leq \text{IT.dist}(\mathcal{A}) \leq n(\text{IT.dist}(\mathcal{B}) + 1) - 1$$
  Este resultado generaliza hallazgos previos sobre álgebras de Artin al contexto más amplio de las categorías abelianas.

• Dimensión de Extensión (Teorema 4.10):
  Abordando el hecho de que las categorías de módulos sobre álgebras noeltrianas a menudo carecen de suficientes inyectivos, los autores utilizan coextensiones de cleft $(\mathcal{B}, \mathcal{A}, i, e, r)$. Si $r$ es exacto y el endofunctor inducido $F'$ es nilpotente ($F'^n=0$) con $\text{Proj}_{\mathcal{A}} = \text{add}(P)$, entonces:
  $$\text{ext.dim}(\mathcal{B}) \leq \text{ext.dim}(\mathcal{A}) \leq n(\text{ext.dim}(\mathcal{B}) + 1) - 1$$

• Dimensión de Rouquier (Teorema 5.8):
  Para extensiones de cleft de categorías de módulos sobre álgebras noeltrianas donde el endofunctor inducido $F$ es tanto perfecto a la izquierda como nilpotente, la dimensión de Rouquier de las categorías derivadas acotadas satisface:
  $$\text{Rouq.dim} D^b(\text{mod-}\mathcal{B}) \leq \text{Rouq.dim} D^b(\text{mod-$\mathcal{A}$}) \leq n(\text{Rouq.dim} D^b(\text{mod-$\mathcal{B}$}) + 1) - 1$$

• Aplicaciones a Construcciones de Anillos Específicos (Secciones 6 y 7):
  Las cotas teóricas se aplican a varias clases importantes de anillos:

  • Anillos de Contexto de Morita: Se establecen cotas para los invariantes del anillo de contexto en términos de los anillos componentes, siempre que se cumplan ciertas condiciones de bimodules (por ejemplo, proyectividad o anulación de Tor).
  • $\theta$-Extensiones y Extensiones Triviales: Los resultados generalizan a anillos de la forma $\Gamma \ltimes_\theta M$, proporcionando cotas basadas en el índice de nilpotencia de $M$.
  • Anillos de Tensor: Se derivan cotas similares para los anillos de tensor $T_\Gamma(M)$.
  • Eliminación de Flechas: Se proporciona una aplicación significativa para las álgebras de caminos admisibles donde se eliminan flechas específicas para formar $\Gamma$ a partir de $\Lambda$. El Teorema 6.5 demuestra que si se eliminan las flechas $a_i$ para formar $\Gamma$ de $\Lambda$, los invariantes satisfacen:
    $$\text{IT.dist}(\Gamma) \leq \text{IT.dist}(\Lambda) \leq 2\text{IT.dist}(\Gamma) + 1$$
    (y de manera similar para las dimensiones de extensión y de Rouquier). Esto se muestra como una cota ajustada en ejemplos específicos (por ejemplo, álgebras suaves o gentle algebras).

Significación y Reivindicaciones
El artículo afirma proporcionar un marco conceptual unificado para estudiar estos invariantes homológicos a través de diversas construcciones algebraicas. Al establecer que estos invariantes se comportan de manera predecible bajo extensiones de cleft (específicamente, que están acotados linealmente por el invariante de la categoría base y el índice de nilpotencia del funtor inducido), los autores ofrecen una herramienta para:

1. Determinar si un álgebra es un álgebra de Igusa-Todorov (y, por lo tanto, satisface la conjetura de la dimensión finitista) basándose en las propiedades de una subestructura más simple.
2. Calcular o acotar la dimensión de extensión y la dimensión de Rouquier para anillos complejos (como contextos de Morita o álgebras de caminos con eliminación de flechas) reduciéndolos a componentes más simples.
3. Refinar las cotas existentes para la dimensión de Rouquier, como se demuestra en el Ejemplo 7.3, donde la cota de la extensión de cleft ($\leq 3$) mejora la cota general de la longitud de Loewy ($\leq 5$) para un álgebra específica.

Los autores enfatizan que estos resultados se derivan estrictamente de las propiedades homológicas de la estructura de la extensión de cleft, sin requerir que las álgebras sean de tipo de representación finita, ampliando así la aplicabilidad de estos invariantes a una clase más amplia de álgebras noeltrianas.