Coordinate projections of $c$-vectors of cluster algebras from the annulus

Resumen Técnico: Proyecciones de Coordenadas de los c-vectores de Álgebras de Clústeres del Anillo

Planteamiento del Problema
Este artículo investiga las proyecciones de coordenadas del conjunto de los $c$-vectores, $C(Q)$, asociados con un álgebra de clústeres acíclica $A(Q)$. Debido a la coherencia de signo y al trabajo de Nájera Chávez, $C(Q)$ corresponde al conjunto de las raíces de Schur reales con signo del cuiver subyacente $Q$. Para un par de vértices $(v, w)$, el estudio se centra en la proyección $\pi_{vw}: C(Q) \to \mathbb{Z}^2$, examinando específicamente el comportamiento de la imagen cuando la diferencia de coordenadas $c_v - c_w$ está acotada.

Las preguntas centrales son:

1. Existencia de Bandas: ¿Para qué pares $(v, w)$ es acotada la diferencia $c_v - c_w$ sobre $C(Q)$?
2. Llenado de la Proyección: Cuando la diferencia está acotada, ¿la proyección $\pi_{vw}(C(Q))$ es sobreyectiva respecto a toda la "banda" de líneas de red definida por $|x - y| \leq b_{vw}$, o existen huecos?

Metodología
El autor emplea la teoría de la representación de álgebras heredadas de tipo tame y la combinatoria de sistemas de raíces afines. Las herramientas metodológicas clave incluyen:

• Descomposición del Sistema de Raíces: Utilización de la clasificación de raíces en tipos afines en raíces reales de la forma $\alpha + m\delta$ (donde $\delta$ es la raíz nula) y la distinción entre componentes preproyectivas, regulares y preinyectivas.
• La Forma del Defecto: Análisis del defecto de Auslander–Reiten $\partial$, una forma lineal que separa los módulos transyectivos (preproyectivos y preinyectivos) de los módulos regulares. El artículo establece un vínculo directo entre el defecto y las diferencias de coordenadas.
• Raíces Transyectivas vs. Regulares: Aprovechamiento del hecho de que las raíces transyectivas generan familias infinitas mediante desplazamientos $\delta$ (llenando líneas), mientras que las raíces regulares forman un conjunto finito.
• Verificación Computacional: Para tipos excepcionales específicos, el artículo utiliza métodos computacionales independientes (generación de raíces mediante transformaciones de Coxeter y mutación de semillas) para clasificar pares no llenadores.

Contribuciones Clave y Resultados

1. Dicotomía de Existencia de Bandas (Teorema 1.1)
El artículo establece un criterio uniforme de acotación para todos los tipos acíclicos. Para un cuiver afín con raíz nula $\delta$, la diferencia $c_v - c_w$ es acotada si y solo si $\delta_v = \delta_w$. En este caso, el límite $b_{vw}$ está determinado por la diferencia máxima sobre el sistema de raíces finito subyacente. Si $\delta_v \neq \delta_w$, la diferencia es ilimitada debido a la naturaleza infinita de los componentes transyectivos.

2. El Caso del Anillo ($\tilde{A}_n$) y la Orientación Fuente-Sumidero
Para el álgebra de clústeres del anillo (tipo $\tilde{A}_n$) con una orientación fuente-sumidero (fuente única $s$, sumidero único $t$), el artículo proporciona una resolución completa de la cuestión del llenado (Teorema 1.2):

• Cada diferencia de coordenadas está acotada por 1.
• Para cualquier par $(v, w) \neq (s, t)$, la proyección llena toda la banda $\{|c_v - c_w| \leq 1\}$.
• Para el par fuente-sumidero $(s, t)$, la proyección llena las líneas fuera de la diagonal ($c_s - c_t = \pm 1$) pero no logra llenar la diagonal ($c_s = c_t$). La diagonal contiene únicamente el conjunto finito de raíces de Schur reales regulares.

3. El Defecto como la Obstrucción Universal
El artículo identifica el defecto de Auslander–Reiten como la obstrucción intrínseca al llenado.

• Una línea de banda se llena si y solo si contiene una raíz transyectiva.
• La diagonal no se llena si y solo si la forma del defecto $\partial$ coincide con la diferencia de coordenadas $x_v - x_w$.
• En el tipo $\tilde{A}_n$, el defecto es exactamente $x_s - x_t$, lo que explica la única diagonal no llenadora para el par fuente-sumidero.
• En otros tipos afines (por ejemplo, $\tilde{D}_4$), el defecto no es una diferencia de coordenadas; por consiguiente, todas las proyecciones de coordenadas llenan sus bandas, a pesar de que el defecto sigue siendo un invariante no trivial.

4. Clasificación de Pares No Llenadores en Coeficientes Superiores
El estudio se extiende más allá del coeficiente 1 (donde $\delta_v = \delta_w = 1$) a pares con coeficientes superiores.

• Coeficiente 1: El Teorema 8.7 demuestra que el único par no llenador en cualquier tipo afín con coeficiente 1 es el par fuente-sumidero de $\tilde{A}_n$.
• Coeficiente $\geq 2$: El no llenado puede ocurrir en el "límite" de la banda (líneas donde $|c_v - c_w| > 1$) si las raíces regulares extienden la banda más allá del alcance de las raíces transyectivas.
• Clasificación Computacional: Una clasificación asistida por computadora para los tipos $\tilde{A}_{p,q}, \tilde{D}_n, \tilde{E}_6, \tilde{E}_7, \tilde{E}_8$ revela que:
  • Los únicos pares no llenadores son las diagonales fuente-sumidero en $\tilde{A}_{p,q}$.
  • Existe exactamente un par no llenador fuera de la diagonal en el tipo $\tilde{E}_7$ (vértices con coeficiente 2), donde las raíces regulares alcanzan una diferencia de $\pm 2$ mientras que las transyectivas están limitadas a $\pm 1$.
  • Todos los demás tipos probados ($\tilde{D}_n, \tilde{E}_6, \tilde{E}_8$) llenan completamente.

Significancia y Reivindicaciones
El artículo sostiene que la cuestión combinatoria de la sobreyectividad de la proyección sirve como un detector para el invariante homológico conocido como el defecto.

• Interpretación Topológica: En el modelo del anillo, el defecto corresponde al número de cruces con signo de los arcos contra la curva central. La diagonal no llenadora representa el lugar de los arcos que no cruzan el núcleo (módulos regulares), mientras que las líneas llenas representan los arcos que cruzan el núcleo (módulos transyectivos).
• Universalidad: El resultado demuestra que, si bien el defecto es siempre la obstrucción al llenado, este solo es "visible" para las proyecciones de coordenadas en orientaciones específicas (como la orientación fuente-sumidero de $\tilde{A}_n$). En otros tipos, la obstrucción existe pero no está aislada por una única diferencia de coordenadas.
• Problemas Abiertos: El artículo establece explícitamente que la clasificación completa de los pares no llenadores para todos los tipos afines sigue siendo un problema abierto, particularmente para pares con coeficiente $\geq 2$ más allá del rango computado. Se conjetura que el no llenado ocurre precisamente cuando el "alcance regular" de la banda excede el "alcance transyectivo", pero no se proporciona una fórmula general para estos alcances basada en los rangos de los tubos.

El trabajo no propone nuevas aplicaciones o propuestas experimentales, sino que refina la comprensión de la estructura geométrica y homológica de los álgebra de clústeres a través del lente de las proyecciones de coordenadas.