Group actions on relative cluster categories and Higgs categories

Resumo Técnico: Ações de Grupos em Categorias de Clusters Relativas e Categorias de Higgs

Enunciação do Problema
As álgebras de clusters, introduzidas por Fomin e Zelevinsky, fornecem uma estrutura combinatória para o estudo de bases canônicas e positividade total. Embora as álgebras de clusters associadas a quivers acíclicos tenham sido modeladas com sucesso via categorias de clusters (Buan–Marsh–Reineke–Reiten–Todorov) e generalizadas para quivers com potencial (Derksen–Weyman–Zelevinsky; Amiot; Plamondon), permanece uma lacuna significativa na modelagem categórica de álgebras de clusters anti-simetrizáveis. Estas álgebras, que incluem aquelas associadas a grupos de Lie dos tipos $B, C, F,$ e $G$, e aquelas com coeficientes principais em casos não simplesmente ligados, não podem ser construídas diretamente a partir de quivers anti-simétricos.

Trabalhos anteriores de Demonet abordaram isso construindo álgebras de clusters anti-simetrizáveis via ações de grupos em categorias de clusters de quivers acíclicos. No entanto, a teoria de Fomin–Zelevinsky estende-se a sementes mais gerais definidas por matrizes anti-simetrizáveis, exigindo frequentemente o contexto de quivers de gelo com potenciais e categorias de clusters relativas para lidar com coeficientes. O problema abordado neste artigo é a generalização dos resultados de Demonet para o cenário de quivers de gelo com potenciais, especificamente construindo categorias de clusters relativas $G$-equivariantes e categorias de Higgs $G$-equivariantes para categorificar álgebras de clusters anti-simetrizáveis com coeficientes.

Metodologia
O artigo emprega uma combinação de técnicas de álgebras diferencialmente graduadas (dg), ações de grupos e teoria de representações. A metodologia procede através das seguintes etapas:

1. Completamentos Calabi–Yau Equivariantes:
   O autor considera um grupo finito $G$ atuando sobre um morfismo dg $f: B \to A$ entre álgebras dg suaves. Ao utilizar classes de homologia de Hochschild $\xi \in HH_{n-2}(f)^G$, o artigo constrói completamentos relativos $n$-Calabi–Yau deformados. Demonstra-se que, se $\xi$ se levanta para homologia cíclica negativa, o morfismo induzido entre álgebras dg de grupos torcidos, $\tilde{f} * G: \Pi_{n-1}(B, \xi_B) * G \to \Pi_n(A, B, \xi) * G$, possui uma estrutura canônica $(n+1)$-Calabi–Yau à esquerda.

2. Construção de Categorias Equivariantes:
   Para um quiver de gelo com potencial $(Q, F, W)$ e uma ação $G$ satisfazendo condições específicas de estabilidade (Hipótese 1), o artigo constrói a álgebra dg de Ginzburg relativa $\Gamma_n(Q, F, W)$. O autor estabelece que a álgebra de grupo torcido $\Gamma_n(Q, F, W) * G$ é derivada Morita equivalente à álgebra de Ginzburg $\Gamma_n(Q_G, F_G, W_G)$ associada a um novo quiver de gelo com potencial $(Q_G, F_G, W_G)$. Este novo quiver é construído via representantes de órbitas e representações irredutíveis de estabilizadores.

3. Definição de Categorias Equivariantes:

   • Categoria de clusters relativa $G$-equivariante: Definida como a completamento idempotente do quociente de Verdier $\text{per}(\Gamma * G) / \text{pvd}(\Gamma * G)$. O artigo prova que esta é triângulo-equivalente à categoria equivariante $C(\Gamma)^G$ e à categoria de clusters relativa $C(\Gamma_G)$ do quiver quociente.
   • Categoria de Higgs $G$-equivariante: Definida como uma subcategoria plena específica da categoria de clusters equivariante, caracterizada por condições de Hom nulas contra deslocamentos de objetos projetivo-injetivos. Esta categoria é mostrada ser uma categoria extriangular de Frobenius.

4. Característica de Cluster e Categorificação:
   O artigo constrói uma característica de cluster para a categoria de Higgs. Ao utilizar mutações de órbita no conjunto de objetos de tilting-cluster $G$-estáveis e um mapa de projeção sobre polinômios de Laurent, o autor liga a combinatória da categoria equivariante a uma álgebra de clusters anti-simetrizável com coeficientes.

Contribuições e Resultados Chave

• Generalização do Trabalho de Demonet: O artigo estende com sucesso a construção de Demonet de álgebras de clusters anti-simetrizáveis de quivers acíclicos para o contexto mais amplo de quivers de gelo com potenciais. Isso permite a inclusão de coeficientes e potenciais não triviais.
• Equivalência de Categorias: Um resultado central (Teorema 5.9) estabelece uma equivalência de categorias extriangulares de Frobenius entre a categoria de Higgs $G$-equivariante $H(\Gamma_G)$ e a categoria equivariante $H(\Gamma)^G$. Isso confirma que a estrutura categórica é preservada sob a ação do grupo e a passagem para a álgebra de grupo torcido.
• Mutação de Órbita: O artigo define mutações de órbita para objetos de tilting-cluster $G$-estáveis. Prova-se (Proposição 6.18) que a matriz de troca do objeto mutado corresponde à mutação de Fomin–Zelevinsky da matriz anti-simetrizável associada.
• Categorificação de Coeficientes Principais: O artigo fornece uma categorificação aditiva para álgebras de clusters com coeficientes principais no caso não simplesmente ligado (Tipos $B, C, F, G$). Isso é alcançado aplicando a teoria a quivers de gelo específicos onde o potencial é não degenerado e a ação do grupo é admissível.
• Exemplos Específicos:
  • Tipo $B_2/C_2$: Um exemplo é fornecido onde uma ação de $\mathbb{Z}/2\mathbb{Z}$ em um quiver de gelo específico produz a matriz de troca inicial de uma álgebra de clusters do tipo $B_2$ (ou $C_2$) com coeficientes principais.
  • Subgrupos Unipotentes de Grupos de Lie: O artigo conecta a construção às álgebras de funções $\mathbb{C}[N]$ de subgrupos unipotentes maximais de grupos de Lie simples no caso não simplesmente ligado, recuperando resultados anteriormente estudados por Demonet, mas dentro do quadro da categoria de Higgs relativa.
  • Superfícies com Puncturas: O artigo relaciona a construção a álgebras de clusters originadas de superfícies com puncturas, mostrando como a categoria equivariante de uma superfície puncturada se relaciona com a categoria de Higgs de uma superfície não puncturada via uma ação de $\mathbb{Z}/2\mathbb{Z}$.

Significado e Afirmações
O artigo afirma fornecer um quadro categórico unificado para álgebras de clusters anti-simetrizáveis com coeficientes. Ao generalizar a construção da categoria de clusters relativa para incluir ações de grupos, o autor demonstra que essas álgebras podem ser modeladas usando categorias extriangulares de Frobenius (categorias de Higgs) e não apenas categorias exatas.

O significado reside na capacidade de lidar simultaneamente com tipos não simplesmente ligados e coeficientes principais. O artigo observa que, embora Azzurra Ciliberti tenha fornecido recentemente uma categorificação para os tipos $B$ e $C$ com coeficientes principais usando quivers simétricos, este trabalho oferece uma abordagem distinta via ações de grupos em quivers de gelo com potenciais, que acomoda naturalmente o contexto relativo e generaliza os resultados anteriores de Demonet sobre quivers acíclicos. A construção depende da hipótese de que a característica do corpo base não divide a ordem do grupo ($\text{char}(k) \nmid \text{Card}(G)$), garantindo a validade das construções de álgebras de grupo torcido e a separabilidade dos monads associados.