Group actions on relative cluster categories and Higgs categories

Resumen Técnico: Acciones de Grupos en Categorías de Clúster Relativas y Categorías de Higgs

Enunciado del Problema
Las álgebras de clúster, introducidas por Fomin y Zelevinsky, proporcionan un marco combinatorio para estudiar bases canónicas y positividad total. Si bien las álgebras de clúster asociadas a cuásicos acíclicos han sido modeladas con éxito mediante categorías de clúster (Buan–Marsh–Reineke–Reiten–Todorov) y generalizadas a cuásicos con potencial (Derksen–Weyman–Zelevinsky; Amiot; Plamondon), persiste una brecha significativa en el modelado categórico de las álgebras de clúster antisimetrizables. Estas álgebras, que incluyen aquellas asociadas a grupos de Lie de tipos $B, C, F,$ y $G$, y aquellas con coeficientes principales en casos no simplemente laciados, no pueden construirse directamente a partir de cuásicos antisimétricos.

Trabajos anteriores de Demonet abordaron esto construyendo álgebras de clúster antisimetrizables mediante acciones de grupos sobre categorías de clúster de cuásicos acíclicos. Sin embargo, la teoría de Fomin–Zelevinsky se extiende a semillas más generales definidas por matrices antisimetrizables, lo que a menudo requiere el contexto de cuásicos de hielo con potenciales y categorías de clúster relativas para manejar los coeficientes. El problema abordado en este artículo es la generalización de los resultados de Demonet al contexto de cuásicos de hielo con potenciales, específicamente construyendo categorías de clúster relativas $G$-equivariantes y categorías de Higgs $G$-equivariantes para categorificar álgebras de clúster antisimetrizables con coeficientes.

Metodología
El artículo emplea una combinación de técnicas de álgebras diferenciales graduadas (dg), acciones de grupos y teoría de representaciones. La metodología procede a través de las siguientes etapas:

1. Completaciones Calabi–Yau Equivariantes:
   El autor considera un grupo finito $G$ actuando sobre un morfismo dg $f: B \to A$ entre álgebras dg suaves. Mediante el uso de clases de homología de Hochschild $\xi \in HH_{n-2}(f)^G$, el artículo construye completaciones relativas $n$-Calabi–Yau deformadas. Se demuestra que si $\xi$ se eleva a la homología cíclica negativa, el morfismo inducido entre álgebras dg de grupos sesgados, $\tilde{f} * G: \Pi_{n-1}(B, \xi_B) * G \to \Pi_n(A, B, \xi) * G$, posee una estructura canónica izquierda $(n+1)$-Calabi–Yau.

2. Construcción de Categorías Equivariantes:
   Para un cuásico de hielo con potencial $(Q, F, W)$ y una acción $G$ que satisface condiciones de estabilidad específicas (Suposición 1), el artículo construye el álgebra dg de Ginzburg relativa $\Gamma_n(Q, F, W)$. El autor establece que el álgebra de grupo sesgado $\Gamma_n(Q, F, W) * G$ es derivadamente Morita equivalente al álgebra de Ginzburg $\Gamma_n(Q_G, F_G, W_G)$ asociada a un nuevo cuásico de hielo con potencial $(Q_G, F_G, W_G)$. Este nuevo cuásico se construye mediante representantes de órbitas y representaciones irreducibles de estabilizadores.

3. Definición de Categorías Equivariantes:

   • Categoría de clúster relativa $G$-equivariante: Definida como la completación idempotente del cociente de Verdier $\text{per}(\Gamma * G) / \text{pvd}(\Gamma * G)$. El artículo demuestra que esto es equivalente triangular a la categoría equivariante $C(\Gamma)^G$ y a la categoría de clúster relativa $C(\Gamma_G)$ del cuásico cociente.
   • Categoría de Higgs $G$-equivariante: Definida como una subcategoría plena específica de la categoría de clúster equivariante, caracterizada por condiciones de anulación de Hom contra desplazamientos de objetos proyectivo-inyectivos. Se demuestra que esta categoría es una categoría extriangulada de Frobenius.

4. Carácter de Clúster y Categorificación:
   El artículo construye un carácter de clúster para la categoría de Higgs. Mediante el uso de mutaciones de órbita en el conjunto de objetos de tilting de clúster $G$-estables y un mapa de proyección sobre polinomios de Laurent, el autor vincula la combinatoria de la categoría equivariante con un álgebra de clúster antisimetrizable con coeficientes.

Contribuciones y Resultados Clave

• Generalización del Trabajo de Demonet: El artículo extiende con éxito la construcción de Demonet de álgebras de clúster antisimetrizables desde cuásicos acíclicos al contexto más amplio de cuásicos de hielo con potenciales. Esto permite la inclusión de coeficientes y potenciales no triviales.
• Equivalencia de Categorías: Un resultado central (Teorema 5.9) establece una equivalencia de categorías extrianguladas de Frobenius entre la categoría de Higgs $G$-equivariante $H(\Gamma_G)$ y la categoría equivariante $H(\Gamma)^G$. Esto confirma que la estructura categórica se preserva bajo la acción del grupo y el paso al álgebra de grupo sesgado.
• Mutaciones de Órbita: El artículo define mutaciones de órbita para objetos de tilting de clúster $G$-estables. Demuestra (Proposición 6.18) que la matriz de intercambio del objeto mutado corresponde a la mutación de Fomin–Zelevinsky de la matriz antisimetrizable asociada.
• Categorificación de Coeficientes Principales: El artículo proporciona una categorificación aditiva para álgebras de clúster con coeficientes principales en el caso no simplemente laciado (Tipos $B, C, F, G$). Esto se logra aplicando la teoría a cuásicos de hielo específicos donde el potencial es no degenerado y la acción del grupo es admisible.
• Ejemplos Específicos:
  • Tipo $B_2/C_2$: Se proporciona un ejemplo donde una acción de $\mathbb{Z}/2\mathbb{Z}$ sobre un cuásico de hielo específico produce la matriz de intercambio inicial de un álgebra de clúster de tipo $B_2$ (o $C_2$) con coeficientes principales.
  • Subgrupos Unipotentes de Grupos de Lie: El artículo conecta la construcción con las álgebras de funciones $\mathbb{C}[N]$ de subgrupos unipotentes maximales de grupos de Lie simples en el caso no simplemente laciado, recuperando resultados estudiados previamente por Demonet pero dentro del marco de la categoría de Higgs relativa.
  • Superficies con Puntos: El artículo relaciona la construcción con álgebras de clúster que surgen de superficies con puntos, mostrando cómo la categoría equivariante de una superficie punteada se relaciona con la categoría de Higgs de una superficie sin puntos mediante una acción de $\mathbb{Z}/2\mathbb{Z}$.

Significado y Afirmaciones
El artículo afirma proporcionar un marco categórico unificado para álgebras de clúster antisimetrizables con coeficientes. Al generalizar la construcción de la categoría de clúster relativa para incluir acciones de grupos, el autor demuestra que estas álgebras pueden modelarse utilizando categorías extrianguladas de Frobenius (categorías de Higgs) en lugar de solo categorías exactas.

El significado radica en la capacidad de manejar tipos no simplemente laciados y coeficientes principales simultáneamente. El artículo señala que, aunque Azzurra Ciliberti proporcionó recientemente una categorificación para los tipos $B$ y $C$ con coeficientes principales utilizando cuásicos simétricos, este trabajo ofrece un enfoque distinto mediante acciones de grupos sobre cuásicos de hielo con potenciales, lo que acomoda naturalmente el contexto relativo y generaliza los resultados anteriores de Demonet sobre cuásicos acíclicos. La construcción se basa en la suposición de que la característica del cuerpo base no divide el orden del grupo ($\text{char}(k) \nmid \text{Card}(G)$), asegurando la validez de las construcciones de álgebras de grupo sesgado y la separabilidad de los mónadas asociados.