Log Calabi-Yau compactifications of $SL(2,\mathbb{C})$ character varieties

Resumo Técnico: Compactificações de Calabi–Yau Log das Variedades de Caracteres de SL(2, C)

Enunciado do Problema
O artigo aborda uma conjectura do folclore que prevê que as variedades de caracteres de superfícies admitem compactificações de Calabi–Yau log com singularidades relativamente brandas. Especificamente, os autores investigam as variedades de caracteres $SL(2, \mathbb{C})$ de superfícies compactas orientadas ($Ch_{g}^{SL(2, \mathbb{C})}$) e as variedades de caracteres relativas de $SL(2, \mathbb{C})$ de superfícies com furos ($Ch_{g,n}^{SL(2, \mathbb{C}), t}$).

O problema central é estabelecer a existência de uma compactificação $(Y, D)$ para essas variedades afins tal que:

1. $Y$ é uma variedade projetiva normal e $D$ é um divisor Weil efetivo reduzido com $Y \setminus D$ isomorfo à variedade de caracteres.
2. O par $(Y, D)$ é log Calabi–Yau, o que significa que a classe do divisor canônico log é trivial ($K_Y + D \sim 0$).
3. As singularidades do par são "brandas", especificamente satisfazendo as condições de canônico log (lc) ou divisorial log terminal (dlt).

Embora a conjectura seja conhecida para casos toricos (ex: $GL(1, \mathbb{C})$) e casos específicos não abelianos de baixa dimensão (ex: $(g,n)=(0,4)$ e $(1,1)$), faltava uma prova geral para qualquer gênero $g$ e contagem de furos $n$ no cenário $SL(2, \mathbb{C})$.

Metodologia
A abordagem dos autores baseia-se em uma estratégia de duas etapas combinando geometria algébrica geral com construções combinatórias específicas:

1. Compactificações Baseadas em Filtrações: O artigo utiliza compactificações projetivas de variedades afins construídas a partir de filtrações de suas álgebras de funções regulares. Especificamente, eles analisam as compactificações construídas recentemente por Kutteri–Tehrani–Frohman (para o caso compacto) e Tehrani–Frohman (para o caso com furos). Essas construções definem a compactificação como o Proj de uma álgebra de Rees associada a uma filtração específica.

2. Critério Geral de Log Calabi–Yau (Teorema C): Os autores estabelecem uma condição suficiente geral (Teorema C/Teorema 3.7) para que uma compactificação originada de uma filtração seja canônica log e log Calabi–Yau. Os critérios exigem:

   • A variedade afim subjacente ser normal.
   • A função do tipo grau da filtração ser um "subgrau".
   • A álgebra graduada associada ser isomórfica à álgebra de um complexo de cones $\Omega$.
   • O complexo de cones $\Omega$ ter um nível de conjunto homeomorfo a uma esfera.

3. Argumento de Degeneração: Para provar o critério geral, os autores constroem uma degeneração canônica de um parâmetro da compactificação $(Y, D)$. Mostra-se que a fibra central dessa degeneração é um "vértice compactificado", que é uma variedade torica estável associada a um complexo poliédrico. Ao verificar que esta fibra central é semi-canônica log e log Calabi–Yau, e usando teoria de deformação (especificamente propriedades de esquemas de Cohen–Macaulay e pares semi-canônicos log), eles deduzem que a fibra geral (a compactificação original) compartilha essas propriedades.

Principais Contribuições e Resultados

• Teorema A (Resultado Principal): Os autores provam a Conjectura 1.1 para $G = SL(2, \mathbb{C})$.

  • Caso Compacto: Para cada inteiro $g \ge 0$, a variedade de caracteres $SL(2, \mathbb{C})$, $Ch_{g}^{SL(2, \mathbb{C})}$, admite uma compactificação log Calabi–Yau dlt (divisorial log terminal).
  • Caso com Furos: Para cada $g \ge 0, n > 0$ e $t \in \mathbb{C}^n$, a variedade de caracteres relativa $Ch_{g,n}^{SL(2, \mathbb{C}), t}$ admite uma compactificação log Calabi–Yau canônica log. Além disso, se os traços de fronteira $t$ forem "Kostov genéricos" (uma condição que garante a suavidade da variedade), a compactificação é dlt.

• Teorema B (Propriedades Geométricas): Os autores verificam que as compactificações específicas construídas por Kutteri–Tehrani–Frohman e Tehrani–Frohman satisfazem os requisitos geométricos. Eles mostram que para qualquer decomposição de calças (caso compacto) ou triangulação ideal (caso com furos), a compactificação resultante é canônica log e log Calabi–Yau.

• Teorema C (Critério Geral): Um novo resultado independente fornecendo condições suficientes para que filtrações produzam compactificações log Calabi–Yau. Este teorema conecta a estrutura combinatória da álgebra graduada associada (via complexos de cones) à geometria biracional da compactificação resultante.

Significância e Alegações
O artigo afirma fornecer os primeiros exemplos de compactificações log Calabi–Yau para variedades de caracteres $SL(2, \mathbb{C})$ onde $g \ge 2$ no caso compacto, e além dos casos elementares $(0,4)$ e $(1,1)$ no cenário com furos.

A significância do trabalho é enquadrada em vários contextos:

• Programa do Modelo Mínimo (MMP): Ele avança a compreensão das variedades de caracteres como objetos dentro do MMP, especificamente em relação à existência de compactificações com singularidades controladas.
• Complexos Duais e a Conjectura P=W: A existência dessas compactificações é um pré-requisito para investigar a conjectura geométrica P=W, que prevê que o complexo dual de tal compactificação é homeomorfo a uma esfera e identifica-se com a esfera no infinito na base da fibração de Hitchin.
• Forma de Volume de Goldman: Os autores observam que a existência de uma compactificação log Calabi–Yau implica a existência de uma forma de volume algébrica única com polos de primeira ordem ao longo da fronteira. Eles sugerem (como uma direção para trabalhos futuros) que esta forma provavelmente coincide com a forma de volume de Goldman, o que potencialmente implica que as variedades de caracteres admitem compactificações log simpléticas.

Os autores declaram explicitamente que seus resultados dependem das construções específicas de Kutteri–Tehrani–Frohman e Tehrani–Frohman, aplicando seu critério geral a esses casos para resolver a conjectura para $SL(2, \mathbb{C})$. Eles não alegam ter construído novas compactificações, mas sim provado as propriedades de singularidade das existentes.