Cell decomposition and dual boundary complexes of character varieties

Resumo Técnico de "Cell Decomposition and Dual Boundary Complexes of Character Varieties" por Tao Su

Enunciado do Problema
O artigo aborda a conjectura geométrica fraca P=W, proposta por Katzarkov, Noll, Pandit e Simpson. Esta conjectura afirma que, para um espaço de moduli de Betti $M_B$ (uma variedade de caracteres) liso de dimensão complexa $d$ sobre uma superfície de Riemann com furos, o complexo de fronteira dual $D_{\partial}M_B$ é homotopicamente equivalente a uma esfera de dimensão $(d-1)$ ($S^{d-1}$).

Embora a forma geométrica completa da conjectura P=W relacione a "fibração de Hitchin no infinito" do lado de Dolbeault a uma fibração intrínseca ao lado de Betti, a forma fraca foca especificamente na topologia do complexo de fronteira dual. Resultados anteriores estabeleceram isso para casos específicos (por exemplo, $G=SL_2(\mathbb{C})$, casos de Painlevé e certas variedades de caracteres singulares ou selvagens), mas uma prova geral para grupos de posto superior com monodromias genéricas permanecia em aberto.

Metodologia
O autor emprega uma estratégia combinando técnicas de decomposição celular com cohomologia motivica e cálculo de diagramas. A abordagem central envolve:

1. Decomposição Celular Refinada: O artigo melhora o teorema de decomposição celular de A. Mellit para variedades de caracteres. Em vez de decompor um fibrado vetorial sobre a variedade, o autor constrói uma decomposição celular direta da própria variedade de caracteres muito genérica $M_\rho$. Isso é alcançado através de:

   • Introdução de um cálculo de diagramas de matrizes (diagramas de matrizes de tranças) para relacionar variedades de caracteres a variedades de tranças.
   • Utilização da decomposição de Bruhat e mudanças de coordenadas específicas para reduzir as equações definidoras da variedade de caracteres às de variedades de tranças torcidas restritas.
   • Estabelecimento de que $M_\rho$ se decompõe em subvariedades afins localmente fechadas da forma $(\mathbb{C}^\times)^a \times A$, onde $A$ é uma variedade estavelmente isomórfica a um espaço afim $\mathbb{A}^b$.

2. Computação Indutiva de Complexos de Fronteira Duais:

   • O autor utiliza um lema de remoção/redução (Lema 3.7/3.8). Este lema afirma que, se uma variedade suave $X$ contém uma subvariedade fechada $Z$ cujo complexo de fronteira dual é contraível, então o complexo de fronteira dual de $X$ é homotopicamente equivalente ao de $X \setminus Z$.
   • Ao ordenar as células na decomposição, o autor mostra que todas as células, exceto a de dimensão máxima, possuem complexos de fronteira duais contraíveis (devido à presença de fatores de espaço afim).
   • A célula máxima é mostrada como sendo um toro algébrico aberto e denso $(\mathbb{C}^\times)^d$, cujo complexo de fronteira dual é conhecido como $S^{d-1}$.

3. Caracterização Motivica: A prova baseia-se em uma propriedade fundamental derivada do trabalho subsequente do autor [59]: se uma variedade $A$ é estavelmente isomórfica a $\mathbb{A}^b$ (para $b \ge 1$), seu complexo de fronteira dual é contraível. Isso é estabelecido via uma caracterização motivica da cohomologia integral dos complexos de fronteira duais.

Principais Contribuições e Resultados

• Teorema 0.5 (Teorema 2.10): O artigo estabelece uma forma forte da decomposição celular para variedades de caracteres $GL_n(\mathbb{C})$ "muito genéricas". Uma variedade é "muito genérica" se as monodromias locais forem especificadas por classes de conjugação semissimples genéricas, sendo pelo menos uma delas semissimples regular.

  • A decomposição é $M_\rho = \bigsqcup M_\rho(\vec{w}, p)$, onde cada estrato é isomórfico a $(\mathbb{C}^\times)^a \times A_\rho(\vec{w}, p)$.
  • Crucialmente, $A_\rho(\vec{w}, p)$ é estavelmente isomórfico a $\mathbb{A}^b$.
  • Existe um único estrato máximo (correspondente a um caminho específico no grupo de tranças) que é um toro aberto e denso $(\mathbb{C}^\times)^d$.

• Teorema 0.4 (Teorema 3.10): O resultado principal prova a conjectura geométrica fraca P=W para todas as variedades de caracteres muito genéricas.

  • Para uma $M_\rho$ muito genérica de dimensão $d$, o complexo de fronteira dual $D_{\partial}M_\rho$ é homotopicamente equivalente a $S^{d-1}$.
  • A prova procede removendo indutivamente os estratos de dimensão inferior (que possuem complexos de fronteira duais contraíveis) até que reste apenas o toro máximo.

• Conexão com o Problema de Cancelamento de Zariski: O artigo observa que as variedades $A_\rho(\vec{w}, p)$ que aparecem na decomposição são estavelmente isomórficas a espaços afins, mas não são necessariamente isomórficas a eles. O autor sugere que estas fornecem potenciais contraexemplos sistemáticos ao problema de cancelamento de Zariski em característica zero para dimensões $\ge 3$, embora isso seja apresentado como uma observação e não como um teorema resolvido.

Significância e Alegações
O artigo afirma resolver a conjectura geométrica fraca P=W para a classe de variedades de caracteres muito genéricas. Isso estende resultados anteriores que eram limitados ao posto 2 ou casos de baixa dimensão específicos.

A significância reside em:

1. Verificação Topológica: Confirma que o complexo de fronteira dual desses espaços de moduli tem o tipo de homotopia de uma esfera, apoiando a filosofia P=W geométrica mais ampla de que a topologia do espaço de moduli de Betti no infinito espelha a topologia da base de Hitchin.
2. Avanço Metodológico: Fornece uma decomposição celular auto-contida e rigorosa para a própria variedade de caracteres (não apenas um fibrado sobre ela), utilizando um novo cálculo de diagramas que conecta variedades de caracteres a variedades de tranças de forma mais direta do que abordagens anteriores.
3. Insight Motivico: O trabalho une a lacuna entre a cohomologia racional (frequentemente estudada via conjectura P=W) e a cohomologia integral do complexo de fronteira dual, utilizando a cohomologia de peso motivica para estabelecer a contração.

Limitações e Problemas Abertos
O autor afirma explicitamente que o resultado vale para variedades muito genéricas (onde pelo menos uma classe de conjugação é semissimples regular). O caso onde a variedade é apenas genérica (mas não muito genérica) permanece em aberto.

• Para o caso genérico, o artigo nota que $D_{\partial}M_B$ é conhecida por ser uma esfera de homologia racional, mas provar que é uma esfera topológica requer mostrar que a cohomologia integral é livre de torção e que o grupo fundamental é trivial.
• O autor identifica duas obstruções específicas para o caso genérico geral: (I) provar que a cohomologia integral do complexo de fronteira dual é livre de torção, e (II) provar que o grupo fundamental é trivial.
• O autor especula que uma melhoria motivica dos argumentos de degeneração usados no teorema de Hard Lefschetz curioso pode ser necessária para resolver essas questões de cohomologia integral.