Matrix Points on Varieties

Resumo Técnico: Pontos de Matrizes em Variedades

Enunciado do Problema
O artigo investiga a cohomologia de $C_n(X)$, o espaço de módulos de matrizes comutativas de ordem $n \times n$ que satisfazem as equações que definem um esquema quase-projetivo $X$ sobre um corpo $k$. Este espaço representa o funtor $S \mapsto \text{Hom}_{k\text{-alg}}(R, M_n(S))$ para um esquema afim $X = \text{Spec } R$. Embora $C_n(X)$ generalize as clássicas variedades comutativas (por exemplo, tuplas comutativas em $\mathfrak{gl}_n$ ou $GL_n$), sua cohomologia racional não havia sido computada anteriormente, mesmo para casos simples como matrizes que evitam autovalores específicos. Os autores enquadram este problema através da lente da "restrição de Weil não-comutativa", vendo a inclusão $k \hookrightarrow M_n(k)$ como um análogo não-comutativo de uma extensão de corpo separável de grau $n$.

Metodologia
Os autores empregam uma combinação de geometria algébrica, teoria de representação e combinatória:

1. Comparação Geométrica via Contraparte Semissimples:
   A estratégia central envolve a construção de uma "contraparte semissimples" $S_n(X)$, definida como o quociente $(X^n \times GL_n/T_n) / S_n$, onde $S_n$ atua diagonalmente. Aqui, $GL_n/T_n$ representa o espaço de decomposições de somas diretas ordenadas de $k^n$. Uma aplicação natural $\sigma: S_n(X) \to C_n(X)$ é definida, que envia um feixe emoldurado semissimples ao seu correspondente ponto de matriz.
   Os autores analisam as fibras das projeções naturais $p_1: S_n(X) \to \text{Sym}^n X$ e $p_2: C_n(X) \to \text{Sym}^n X$. Eles provam que, sob condições específicas (característica zero ou $X$ sendo localmente homogêneo), a aplicação $\sigma$ induz um isomorfismo nas imagens diretas derivadas do feixe constante ($R p_{2*} \mathbb{Q}_\ell \cong R p_{1*} \mathbb{Q}_\ell$). Isso se baseia em mostrar que as fibras de $p_2$ (envolvendo feixes emoldurados com suporte nilpotente) possuem cohomologia trivial sob as suposições dadas, efetivamente reduzindo a cohomologia de $C_n(X)$ para a de $S_n(X)$, que é mais tratável.

2. Computação Combinatória:
   Uma vez que a cohomologia é reduzida a $S_n(X)$, os autores utilizam a teoria de caracteres graduados do grupo simétrico $S_n$ e funções simétricas. Eles definem o mapa de caráter de Frobenius e utilizam a especialização principal de polinômios simétricos. Ao analisar a ação de $S_n$ na cohomologia de $X^n$ e na variedade de flags $GL_n/T_n$, eles derivam fórmulas explícitas para os polinômios de Poincaré.

3. Séries Geradoras e Funções Zeta:
   O artigo estabelece uma conexão entre a série geradora dos polinômios de Poincaré de $C_n(X)$ (e do stack associado $\mathcal{C}_n(X)$) e a função zeta de Betti de $X$, $\zeta^B_X(t)$. Isso é paralelo aos resultados clássicos de Macdonald sobre a cohomologia de produtos simétricos.

4. Variante Hermitiana:
   Para esquemas definidos sobre $\mathbb{R}$, os autores adaptam o arcabouço para o espaço de matrizes Hermitianas comutativas $HC_n(X)$, utilizando o grupo unitário $U_n$ e seu toro máximo $U_{T_n}$ para construir uma contraparte semissimples $HS_n(X)$.

Contribuições Principais e Resultados

• Isomorfismo Cohomológico (Teorema 1.2): Sob a suposição de que $k$ possui característica zero ou $X$ é localmente homogêneo, a aplicação $\sigma: S_n(X) \to C_n(X)$ induz um isomorfismo na cohomologia $\ell$-ádica:
  $$H^i_{\text{ét}}(C_n(X), \mathbb{Q}_\ell) \cong H^i_{\text{ét}}(S_n(X), \mathbb{Q}_\ell)$$
  Isso valida a heurística de que $C_n(X)$ se comporta cohomologicamente como a restrição de Weil de $X^n$ ao longo da "extensão não-comutativa" $k \to M_n(k)$.

• Polinômios de Poincaré Explícitos (Teorema 1.3): Os autores fornecem uma fórmula combinatória para o polinômio de Poincaré de $C_n(X)$:
  $$P_u(C_n(X)) = \phi_n(u^2) \text{sp}_{u^2}(\text{ch}_u(X^n))$$
  onde $\phi_n(q) = \prod_{i=1}^n (1-q^i)$, $\text{sp}$ denota especialização principal, e $\text{ch}_u$ é o caráter $S_n$-graduado da cohomologia de $X^n$.

• Identidade de Série Geradora (Teorema 1.4): Eles provam uma identidade de produto infinito relacionando a série geradora dos polinômios de Poincaré do stack $\mathcal{C}_n(X)$ à função zeta de Betti de $X$:
  $$1 + \sum_{n=1}^\infty P_u(\mathcal{C}_n(X)) t^n = \prod_{i=0}^\infty \zeta^B_X(u^{2i}t)$$
  Isso generaliza a fórmula de Macdonald para produtos simétricos.

• Formalidade Equivariante (Corolário 2.12): O artigo estabelece que a ação de $GL_n$ em $C_n(X)$ é equivariantemente formal. Consequentemente, a cohomologia equivariante do stack $\mathcal{C}_n(X)$ é o produto da cohomologia de $BGL_n$ e $C_n(X)$.

• Resultado Hermitiano (Teorema 1.5): Para $X$ sobre $\mathbb{R}$, a aplicação $\sigma_H: HS_n(X) \to HC_n(X)$ induz um isomorfismo na cohomologia racional, fornecendo polinômios de Poincaré para variedades reais de matrizes Hermitianas comutativas.

Significância e Alegações
O artigo afirma resolver o problema anteriormente em aberto de computar a cohomologia racional de $C_n(X)$. Ele assevera que o espaço $C_n(X)$, apesar de ser um espaço de módulos não-comutativo complexo, é cohomologicamente equivalente a um quociente semissimples mais simples $S_n(X)$ sob condições suaves. Esta equivalência permite a aplicação da teoria de funções simétricas para derivar números de Betti explícitos.

Os autores destacam que sua fórmula combinatória oferece um método de "baixa complexidade" para computar números de Betti para espaços que eram anteriormente difíceis de resolver usando métodos clássicos (por exemplo, matrizes que evitam autovalores específicos). Além disso, o trabalho conecta a geometria de pontos de matrizes à teoria de restrições de Weil e fornece uma nova perspectiva sobre a cohomologia de variedades comutativas, confirmando uma heurística derivada da geometria não-comutativa. Os resultados também se estendem ao cenário equivariante, identificando a cohomologia do stack de feixes coerentes com a de um stack de produtos simétricos.