Twisted homology jump loci, twisted Alexander polynomials, and $\Sigma$-invariants

Resumo Técnico: Locos de Salto de Homologia Torcida, Polinômios de Alexander Torcidos e Invariantes $\Sigma$

Declaração do Problema
Os invariantes de Bieri–Neumann–Strebel–Renz (BNSR), denotados por $\Sigma^q(X, \mathbb{Z})$, capturam propriedades de finitude geométrica de grupos e espaços topológicos. O cálculo desses invariantes é notoriamente difícil; descrições explícitas existem apenas para famílias limitadas de grupos (por exemplo, metabelianos, de Artin de ângulo reto e grupos de Kähler). Trabalhos anteriores de Papadima–Suciu e Suciu estabeleceram limites superiores para os invariantes $\Sigma$ usando locos de salto de homologia (variedades características) associados a sistemas locais de posto um. Esses limites utilizam a geometria tropical dos locos de salto, especificamente as variedades tropicais das variedades características. No entanto, esses limites não torcidos nem sempre são precisos; eles falham em detectar certas classes não fibradas em 3-variedades e fornecem restrições mais fracas para grupos de Kähler. O problema central abordado é se a introdução de torções não abelianas — por meio de representações lineares de posto superior — pode produzir descrições mais precisas e, potencialmente, exatas desses invariantes.

Metodologia
Os autores introduzem locos de salto de homologia torcida, $V_i(X, L_\sigma)$, que generalizam as variedades características clássicas ao considerar homologia com coeficientes em sistemas locais torcidos por uma representação $\sigma: G \to \text{GL}_r(k)$. A metodologia prossegue através de várias etapas-chave:

1. Definição de Locos de Salto Torcidos: Para um complexo CW $X$ e uma representação $\sigma$, os locos de salto torcidos são definidos como o conjunto de caracteres de posto um $\rho$ tais que a homologia torcida $H_i(X; L_\sigma \otimes L_\rho)$ é não nula.
2. Estrutura de Módulo de Novikov–Sikorav: A inovação técnica central envolve o estabelecimento de uma estrutura de módulo sobre a completude de Novikov–Sikorav $\widehat{\mathbb{Z}G_{-\chi}}$. Os autores provam que o produto tensorial completado $\widehat{K}^r$ (associado à representação torcida) carrega uma estrutura de módulo à esquerda natural sobre essa completude, desde que as entradas da matriz de $\sigma$ satisfaçam um limite inferior uniforme em suas valorações e o determinante tenha valoração zero.
3. Geometria Tropical: Os autores empregam geometria tropical para analisar os locos de salto. Eles definem a variedade tropical $\text{Trop}_{k,\upsilon}(V)$ dos locos de salto torcidos em relação a uma valoração $\upsilon$. Uma vantagem crucial da abordagem tropical é sua capacidade de detectar componentes transladados de dimensão positiva dos locos de salto que não passam pela origem, os quais o cone tangente exponencial (usado em limites não torcidos anteriores) não consegue capturar.
4. Argumento de Sequência Espectral: Usando um argumento de sequência espectral de Künneth adaptado ao cenário de Novikov, os autores relacionam o desaparecimento da homologia com coeficientes na completude de Novikov à tropicalização dos locos de salto torcidos.

Contribuições e Resultados Principais

• Teorema 1.1 (Limite Tropical): O artigo estabelece um novo limite superior para os invariantes BNSR:
  $$\Sigma^q(X, \mathbb{Z}) \subseteq S(\text{Trop}_{k,\upsilon}(V_{\leq q}(X, L_\sigma)))^c$$
  onde o limite é derivado da tropicalização dos locos de salto torcidos associados a uma representação $\sigma$. Este resultado generaliza e afina os limites não torcidos anteriores, permitindo que o sistema local varie sobre representações de qualquer posto.

• Precisão para 3-Variedades (Teorema 1.5): Para 3-variedades compactas, conexas e orientáveis $M$ com bordo toroidal ou vazio, os autores provam que o fecho da união dos limites tropicais torcidos sobre todas as representações de imagem finita $\sigma$ recupera exatamente o invariante BNS $\Sigma^1(\pi_1(M))$:
  $$\Sigma^1(G) = S\left( \bigcup_{\sigma} \text{Trop}_{\mathbb{C}}(V_1(M, L_\sigma \otimes \mathbb{C})) \right)^c$$
  Este resultado baseia-se em um teorema de Friedl–Vidussi, que garante que toda classe não fibrada é detectada por um polinômio de Alexander torcido para alguma representação de imagem finita. Os autores observam que o limite não torcido falha em recuperar $\Sigma^1$ exatamente, pois é suficiente apenas para classes fibradas.

• Grupos de Kähler (Corolário 1.3 e Teorema 1.4):

  • O artigo fortalece a descrição de $\Sigma^1(G)$ para grupos de Kähler. Ele mostra que a tropicalização dos locos de salto torcidos está contida na união das imagens dos mapas de cohomologia induzidos por fibrados de orbifolds hiperbólicos.
  • Teorema 1.4 fornece um novo obstáculo à kähleridade: para qualquer variedade de Kähler compacta $X$ e qualquer representação $\sigma$, o primeiro polinômio de Alexander torcido $\Delta_\sigma(X)$ deve ser ou $0$ ou $1$. Isso é estritamente mais forte que o resultado não torcido (onde $\Delta(G)=1$ não garante kähleridade), conforme demonstrado por exemplos onde $\Delta(G)=1$ mas $\Delta_\sigma(G) \neq 1$ para uma representação de imagem finita adequada.

• Integralidade e Corpos (Corolário 1.2): Para representações sobre $\mathbb{Z}$, a variedade tropical $\text{Trop}_{\mathbb{Z}}(J_{\leq q}(X, L_\sigma))$ codifica tropicalizações sobre todos os corpos simultaneamente, fornecendo um limite unificado.

Significado
O artigo afirma que os locos de salto de homologia torcida fornecem um quadro natural e poderoso para refinar a compreensão dos invariantes BNSR. O significado principal reside na precisão dos limites torcidos em contextos geométricos específicos onde os limites não torcidos falham. Especificamente:

1. Para 3-variedades, o limite tropical torcido é mostrado como preciso, recuperando exatamente as faces fibradas da bola da norma de Thurston, um resultado inatingível sem torção.
2. Para grupos de Kähler, a abordagem torcida produz obstáculos mais fortes à realizabilidade geométrica. A dicotomia $\Delta_\sigma(X) \in \{0, 1\}$ serve como um teste mais sensível para kähleridade do que o polinômio de Alexander clássico.
3. O trabalho conecta invariantes não abelianos (polinômios de Alexander torcidos) com geometria tropical e propriedades de finitude de grupos, sugerindo que sistemas locais de posto superior são essenciais para uma caracterização completa dos invariantes $\Sigma$ em configurações gerais.

Os autores concluem levantando a questão de se essa precisão se estende a outros espaços (por exemplo, grupos de Artin de ângulo reto, nilvariedades) e graus $q \geq 1$, observando que, para alguns grupos, a representação trivial já é suficiente, enquanto, para outros, representações integrais de imagem infinita podem oferecer melhorias adicionais.