Hessenberg varieties of codimension one in the flag variety

Resumo Técnico: Variedades de Hessenberg de Codimensão Um na Variedade de Bandeira

1. Problema e Contexto

O artigo investiga as propriedades geométricas e topológicas das variedades de Hessenberg no contexto do tipo $A$ (grupo linear geral $GL_n(\mathbb{C})$).

• Definição: Dado um elemento $x$ na álgebra de Lie $\mathfrak{g} = \mathfrak{gl}_n(\mathbb{C})$ e um subespaço $H \subseteq \mathfrak{g}$ invariante sob o subgrupo de Borel $B$, a variedade de Hessenberg $B(x, H)$ é o conjunto de cosets $gB$ na variedade de bandeiras $G/B$ tais que $g^{-1}xg \in H$.
• Foco Específico: Os autores concentram-se no caso onde $H$ é o subespaço invariante maximal próprio, denotado por $H(m_{max})$, onde o vetor de Hessenberg é $m_{max} = (n-1, n, \dots, n)$. Sob a condição de que $x$ não é escalar, essas variedades têm codimensão um na variedade de bandeiras.
• Motivação: O trabalho estende pesquisas anteriores (especificamente [EPS21]) que buscavam entender a relação precisa entre variedades de Hessenberg e variedades de Schubert, tentando determinar quando uma variedade de Schubert de codimensão um é isomorfa a uma variedade de Hessenberg.

2. Metodologia

Os autores empregam uma combinação de técnicas de geometria algébrica, teoria de representações e combinatória, destacando-se o uso de uma ferramenta inovadora:

1. Heurística da Contagem de Pontos (Point Count Heuristic):

   • O principal resultado técnico (Teorema 1) estabelece que o polinômio de Poincaré de uma variedade de Hessenberg complexa pode ser calculado contando os pontos da variedade correspondente definida sobre um corpo finito $\mathbb{F}_p$.
   • Mecanismo: Utilizando a pavimentação afim de Tymoczko, os autores mostram que, para uma matriz $x$ em uma forma específica (HFPJF - Highest Form and Permuted Jordan Form) e um primo $p$ suficientemente grande, o número de pontos na variedade sobre $\mathbb{F}_p$ é igual ao polinômio de Poincaré avaliado em $q = p^{1/2}$.
   • Isso permite transformar problemas topológicos complexos (cálculo de números de Betti) em problemas de contagem combinatória elementar sobre corpos finitos.

2. Análise de Patches Afins (Affine Patches):

   • Para estudar a singularidade e a estrutura esquemática, os autores analisam vizinhanças abertas (patches) isomórficas a hipersuperfícies afins em espaços vetoriais.
   • Eles utilizam o critério de Jacobiano e a análise de determinantes para identificar pontos singulares e verificar se o esquema é reduzido.

3. Combinatória de Permutações e Ordem de Bruhat:

   • O uso de critérios de tabela (Tableau Criterion) e a ordem de Bruhat para caracterizar variedades de Schubert e seus locais singulares.

3. Principais Contribuições e Resultados

A. Fórmula para o Polinômio de Poincaré (Teorema 3)
Os autores derivam uma fórmula explícita e unificada para o polinômio de Poincaré de $B(x, H(m_{max}))$ para qualquer $x \in \mathfrak{g}$.

• Se $x$ tem $\ell$ autovalores distintos $\lambda_1, \dots, \lambda_\ell$ com multiplicidades $d_1, \dots, d_\ell$, o polinômio é dado por:
  $$\text{Poin}(B(x, H(m_{max})); q) = [n-2]_{q^2}! \left( [n]_{q^2}[n-2]_{q^2} + q^{2n-4} \sum_{j=1}^\ell [d_j]_{q^2} \right)$$
• Esta fórmula é significativamente mais simples do que as abordagens anteriores que exigiam a análise de múltiplos casos.

B. Caracterização da Redutibilidade (Teorema 4)
O artigo caracteriza exatamente quando a variedade $B(x, H(m_{max}))$ é redutível:

• A variedade é redutível se e somente se existe $\lambda \in \mathbb{C}$ tal que $x - \lambda I_n$ tem rank 1 (posto 1).
• Isso implica que a variedade é redutível se $x$ é nilpotente com decomposição de Jordan correspondente à partição $(2, 1^{n-2})$ ou se $x$ é semissimples e conjugado a uma matriz diagonal com dois autovalores distintos (um com multiplicidade $n-1$ e outro com multiplicidade 1).

C. Estrutura do Loco Singular (Teorema 5)

• O loco singular de $B(x, H(m_{max}))$ está contido em uma variedade de Hessenberg específica definida pelo vetor $H((1, n-1, \dots, n))$.
• Resultado Chave: Se $x$ é nilpotente, essa contenção é uma igualdade. Ou seja, o loco singular é exatamente a variedade de Hessenberg associada a esse vetor específico.

D. Reduzibilidade do Esquema (Teorema 6)

• Para $n \ge 3$, a variedade de Hessenberg $B(x, H(m_{max}))$ é sempre um esquema reduzido, independentemente de $x$.
• A prova envolve a demonstração de que o determinante que define a hipersuperfície local gera um ideal radical. O caso $n=2$ é uma exceção (não reduzido para $x$ nilpotente).

E. Relação com Variedades de Schubert (Corolário 7)

• O trabalho resolve uma questão aberta sobre quais variedades de Schubert de codimensão um são isomorfas a variedades de Hessenberg.
• As variedades de Schubert $X_{s_i w_0}$ (onde $w_0$ é o elemento mais longo e $s_i$ são reflexões simples) são isomorfas a uma variedade de Hessenberg se e somente se $i \in \{1, n-1\}$.
• Para $i \in \{2, n-2\}$, não existe isomorfismo. A prova compara os polinômios de Poincaré e, crucialmente, os locais singulares (usando o Teorema 5 e resultados de Lakshmibai-Sandhya/Manivel), mostrando que eles não coincidem.

4. Significado e Impacto

1. Unificação e Simplificação: A "Heurística da Contagem de Pontos" oferece um método poderoso e unificado para calcular invariantes topológicos (números de Betti) de variedades de Hessenberg, evitando a complexidade de fórmulas de Betti existentes que dependem de muitos casos.
2. Geometria das Singularidades: A identificação precisa do loco singular para o caso nilpotente fornece uma compreensão mais profunda da geometria dessas variedades, conectando-as a outras classes de variedades de Hessenberg.
3. Classificação de Isomorfismos: O resultado sobre a não-isomorfia entre certas variedades de Schubert e Hessenberg (Corolário 7) fecha uma lacuna na classificação de variedades de codimensão um, esclarecendo que a estrutura de Hessenberg é mais restritiva do que se pensava para certos índices de reflexões simples.
4. Generalidade: Embora focado em codimensão um, a ferramenta principal (Teorema 1) aplica-se a variedades de Hessenberg de qualquer codimensão, sugerindo utilidade futura em outros contextos da geometria algébrica.

Em suma, o artigo fornece uma descrição completa e rigorosa das variedades de Hessenberg de codimensão um, resolvendo problemas de topologia, geometria e classificação através de uma síntese elegante de métodos aritméticos (contagem sobre corpos finitos) e geométricos (análise de patches).