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

Resumo Técnico: Projeções de Coordenadas de c-Vetores de Álgebras de Clusters do Anel

Enunciado do Problema
Este artigo investiga as projeções de coordenadas do conjunto de $c$-vetores, $C(Q)$, associado a uma álgebra de cluster acíclica $A(Q)$. Pela coerência de sinal e pelo trabalho de Nájera Chávez, $C(Q)$ corresponde ao conjunto de raízes de Schur reais com sinal da quiver subjacente $Q$. Para um par de vértices $(v, w)$, o estudo foca na projeção $\pi_{vw}: C(Q) \to \mathbb{Z}^2$, examinando especificamente o comportamento da imagem quando a diferença de coordenadas $c_v - c_w$ é limitada.

As questões centrais são:

1. Existência de Banda: Para quais pares $(v, w)$ a diferença $c_v - c_w$ é limitada sobre $C(Q)$?
2. Preenchimento de Projeção: Quando a diferença é limitada, a projeção $\pi_{vw}(C(Q))$ sobrejeta sobre toda a "banda" de linhas de rede definida por $|x - y| \leq b_{vw}$, ou existem lacunas?

Metodologia
O autor utiliza a teoria de representação de álgebras hereditárias tênues e a combinatória de sistemas de raízes afins. As principais ferramentas metodológicas incluem:

• Decomposição de Sistemas de Raízes: Utilização da classificação de raízes em tipos afins em raízes reais da forma $\alpha + m\delta$ (onde $\delta$ é a raiz nula) e distinção entre componentes pré-projetivas, regulares e pré-injetivas.
• A Forma do Defeito: Análise do defeito de Auslander–Reiten $\partial$, uma forma linear que separa módulos transjetivos (pré-projetivos e pré-injetivos) de módulos regulares. O artigo estabelece uma ligação direta entre o defeito e as diferenças de coordenadas.
• Raízes Transjetivas vs. Regulares: Aproveitamento do fato de que raízes transjetivas geram famílias infinitas via deslocamentos $\delta$ (preenchendo linhas), enquanto raízes regulares formam um conjunto finito.
• Verificação Computacional: Para tipos excepcionais específicos, o artigo utiliza métodos computacionais independentes (geração via teoria de raízes através de transformações de Coxeter e mutação de sementes) para classificar pares de não-preenchimento.

Principais Contribuições e Resultados

1. Dicotomia de Existência de Banda (Teorema 1.1)
O artigo estabelece um critério uniforme para limitação em todos os tipos acíclicos. Para uma quiver afim com raiz nula $\delta$, a diferença $c_v - c_w$ é limitada se, e somente se, $\delta_v = \delta_w$. Neste caso, o limite $b_{vw}$ é determinado pelo máximo da diferença sobre o sistema de raízes finito subjacente. Se $\delta_v \neq \delta_w$, a diferença é ilimitada devido à natureza infinita dos componentes transjetivos.

2. O Caso do Anel ($\tilde{A}_n$) e Orientação Fonte-Sumidouro
Para a álgebra de cluster do anel (tipo $\tilde{A}_n$) com uma orientação fonte-sumidouro (única fonte $s$, único sumidouro $t$), o artigo fornece uma resolução completa da questão do preenchimento (Teorema 1.2):

• Toda diferença de coordenadas é limitada por 1.
• Para qualquer par $(v, w) \neq (s, t)$, a projeção preenche toda a banda $\{|c_v - c_w| \leq 1\}$.
• Para o par fonte-sumidouro $(s, t)$, a projeção preenche as linhas fora da diagonal ($c_s - c_t = \pm 1$), mas falha em preencher a diagonal ($c_s = c_t$). A diagonal contém apenas o conjunto finito de raízes de Schur reais regulares.

3. O Defeito como a Obstrução Universal
O artigo identifica o defeito de Auslander–Reiten como a obstrução intrínseca ao preenchimento.

• Uma linha de banda é preenchida se, e somente se, contém uma raiz transjetiva.
• A diagonal falha em preencher se, e somente se, o defeito $\partial$ coincide com a diferença de coordenadas $x_v - x_w$.
• No tipo $\tilde{A}_n$, o defeito é exatamente $x_s - x_t$, explicando a diagonal única de não-preenchimento para o par fonte-sumidouro.
• Em outros tipos afins (ex: $\tilde{D}_4$), o defeito não é uma diferença de coordenadas; consequentemente, todas as projeções de coordenadas preenchem suas bandas, embora o defeito permaneça um invariante não trivial.

4. Classificação de Pares de Não-Preenchimento em Coeficientes Superiores
O estudo estende-se além do coeficiente 1 (onde $\delta_v = \delta_w = 1$) para pares com coeficientes superiores.

• Coeficiente 1: O Teorema 8.7 prova que o único par de não-preenchimento em qualquer tipo afim com coeficiente 1 é o par fonte-sumidouro de $\tilde{A}_n$.
• Coeficiente $\geq 2$: O não-preenchimento pode ocorrer na "fronteira" da banda (linhas onde $|c_v - c_w| > 1$) se as raízes regulares estenderem a banda além do alcance das raízes transjetivas.
• Classificação Computacional: Uma classificação assistida por computador para os tipos $\tilde{A}_{p,q}, \tilde{D}_n, \tilde{E}_6, \tilde{E}_7, \tilde{E}_8$ revela que:
  • Os únicos pares de não-preenchimento são as diagonais fonte-sumidouro em $\tilde{A}_{p,q}$.
  • Existe exatamente um par fora da diagonal de não-preenchimento no tipo $\tilde{E}_7$ (vértices com coeficiente 2), onde as raízes regulares alcançam a diferença $\pm 2$ enquanto as raízes transjetivas são limitadas a $\pm 1$.
  • Todos os outros tipos testados ($\tilde{D}_n, \tilde{E}_6, \tilde{E}_8$) preenchem completamente.

Significância e Alegações
O artigo alega que a questão combinatória da surjetividade da projeção serve como um detector para o invariante homológico conhecido como defeito.

• Interpretação Topológica: No modelo do anel, o defeito corresponde ao número de cruzamentos assinalados de arcos contra a curva central. A diagonal de não-preenchimento representa o locus de arcos que não cruzam a curva central (módulos regulares), enquanto as linhas preenchidas representam arcos que cruzam a curva central (módulos transjetivos).
• Universalidade: O resultado demonstra que, embora o defeito seja sempre a obstrução ao preenchimento, ele é apenas "visível" às projeções de coordenadas em orientações específicas (como a orientação fonte-sumidouro de $\tilde{A}_n$). Em outros tipos, a obstrução existe, mas não é isolada por uma única diferença de coordenadas.
• Problemas Abertos: O artigo afirma explicitamente que uma classificação completa de pares de não-preenchimento para todos os tipos afins permanece aberta, particularmente para pares com coeficiente $\geq 2$ além do intervalo computado. Conjectura-se que o não-preenchimento ocorre precisamente quando o "alcance regular" da banda excede o "alcance transjetivo", mas uma fórmula geral para esses alcances baseada nos ranks dos tubos não é fornecida.

O trabalho não propõe novas aplicações ou propostas experimentais, mas sim refina a compreensão da estrutura geométrica e homológica das álgebras de clusters através das projeções de coordenadas.