Irreducible Characteristic Cycles for Orbit Closures of a Symmetric Subgroup

Título: Ciclos Característicos Irredutíveis para Fechamentos de Órbitas de um Subgrupo Simétrico

Autores: William Graham, Minyoung Jeon e Scott Joseph Larson.

---

1. Problema e Contexto

O artigo investiga a geometria de fechamentos de órbitas de um subgrupo simétrico $K$ agindo na variedade de bandeiras $X = G/B$ de um grupo algébrico reductivo $G$. O foco específico é o caso onde $G = GL(n)$e$K = GL(p) \times GL(q)$ (com $p+q=n$), definido sobre os números complexos.

O problema central gira em torno do Ciclo Característico ($CC$) do complexo de cohomologia de interseção ($IC_Y$) associado a uma subvariedade fechada irredutível $Y$ (neste caso, o fechamento de uma órbita $K$).

• O ciclo característico $CC_Y$ é um ciclo lagrangiano no fibrado cotangente $T^*X$.
• Diz-se que $CC_Y$ é irredutível (ou trivial) se for igual à classe do fecho do fibrado conormal da locus não singular de $Y$.
• A irredutibilidade do ciclo característico é uma propriedade geométrica profunda que simplifica a estrutura da cohomologia de interseção e tem implicações na teoria de representações de grupos de Lie reais (especificamente $U(p,q)$) e em loci de degenerescência.

O objetivo do artigo é provar que, para uma família específica de fechamentos de órbitas $K$, o ciclo característico é irredutível e, consequentemente, calcular suas classes de Chern-Mather equivariantes.

---

2. Metodologia

Os autores utilizam uma abordagem que combina geometria algébrica, teoria de representações e topologia equivariante. A metodologia pode ser dividida nos seguintes pilares:

1. Resoluções "Small" (Pequenas):
   Os autores utilizam resoluções de singularidades $\mu: Z \to Y$ construídas a partir de ações de monoides sobre o conjunto de órbitas $K$. Essas resoluções são do tipo "Bott-Samelson" generalizadas. O trabalho de Larson ([24]) é citado para caracterizar quando essas resoluções são "small" (pequenas), o que significa que a dimensão das fibras sobre o locus singular é suficientemente pequena para preservar a cohomologia de interseção.

2. Análise das Fibras:
   Um passo crucial é provar que as fibras da resolução $\mu$ são suaves e fortemente reduzidas (strongly reduced).

   • Suavidade: As fibras são isomórficas a produtos de cópias de $\mathbb{P}^1$.
   • Redução Forte: Para todo ponto na fibra, o núcleo da diferencial da aplicação coincide com o espaço tangente da fibra.

3. Teorema Geral de Irredutibilidade:
   Os autores provam um teorema geral (Teorema 2.2) que estabelece: se uma variedade $Y$ admite uma resolução de singularidades $\mu: Z \to Y$ que é "small" e cujas fibras são suaves e fortemente reduzidas, então o ciclo característico $CC(IC_Y)$ é irredutível.

4. Cálculo de Classes de Chern-Mather via Localização:
   Utilizando o resultado de Jones, que relaciona a classe de Chern-Mather equivariante $c^T_M(Y)$ com o empurrão (pushforward) da classe de Chern total da resolução ($c^T(TZ)$), os autores calculam essas classes.

   • Eles descrevem os pontos fixos pelo toro $T$ e os espaços tangentes na resolução.
   • Aplicam o teorema de localização em homologia de Borel-Moore equivariante para obter fórmulas explícitas para as classes.

5. Realização como Espaços de Configuração:
   Para verificar resultados e entender a geometria das fibras, os autores realizam as resoluções como espaços de configuração de flags, permitindo uma visualização combinatória e geométrica direta.

---

3. Contribuições Chave e Resultados Principais

A. Prova de Irredutibilidade (Teorema 6.3)

O resultado central é a prova de que, para uma família específica de fechamentos de órbitas $K$ em $GL(n)$ (obtidos a partir de uma órbita suave $X_{v_0}$ e ação de reflexões simples comutativas $I$), o ciclo característico é irredutível.

• Isso adiciona esses fechamentos de órbitas à curta lista de variedades singulares conhecidas com ciclos característicos irredutíveis (anteriormente limitada a certas variedades de Schubert em Grassmannianas).
• O resultado é alcançado demonstrando que as fibras da resolução são produtos de $\mathbb{P}^1$ e satisfazem a condição de "redução forte".

B. Fórmula para Classes de Chern-Mather Equivariantes

Devido à irredutibilidade do ciclo e à natureza "small" da resolução, a classe de Chern-Mather equivariante $c^T_M(X_v)$ é dada pelo empurrão da classe de Chern total da resolução:
$$c^T_M(X_v) = \mu_* (c^T(TZ_v) \cap [Z_v]^T)$$
Os autores fornecem um algoritmo para calcular essa classe usando localização, expressando-a na base de Schubert da homologia de Borel-Moore equivariante.

C. Conjectura de Positividade (Conjectura 1.1)

Os autores propõem a seguinte conjectura:

Quando a classe de Chern-Mather $c^T_M(Y)$ de um fechamento de órbita $K$ é expressa na base de Schubert $[Y_w]^T$, cada coeficiente é uma soma de monômios em raízes simples positivas de $G$ (restritas a $T$) com coeficientes inteiros não negativos.

• Verificação: Eles verificam essa conjectura em um exemplo concreto ($G=GL(4), K=GL(2)\times GL(2)$), onde o cálculo explícito mostra que todos os coeficientes são polinômios com coeficientes inteiros positivos nas raízes simples.

D. Estrutura das Fibras e Pontos Fixos

• Teorema 6.2: Estabelece que as fibras da resolução sobre pontos genéricos são suaves e isomórficas a $(\mathbb{P}^1)^k$, onde $k$ depende da interseção entre o conjunto de reflexões $I$ e o $\tau$-invariante do ponto.
• Descrição Combinatória: Utilizam a parametrização de órbitas por "clãs" (clans) para descrever explicitamente os pontos fixos e as fibras, generalizando resultados anteriores sobre espaços mistos.

---

4. Significado e Impacto

1. Teoria de Representações: A irredutibilidade do ciclo característico está intimamente ligada à estrutura dos caracteres de representações de séries discretas e séries principais para o grupo real $U(p,q)$. Saber que o ciclo é irredutível simplifica a análise de multiplicidades e a decomposição de representações.
2. Geometria Algébrica: O trabalho expande o conhecimento sobre a geometria de variedades singulares. A prova de que certas variedades singulares têm ciclos característicos irredutíveis é um resultado não trivial, pois muitos exemplos de variedades de Schubert em bandeiras completas têm ciclos redutíveis.
3. Combinatória e Positividade: A conjectura de positividade para classes de Chern-Mather equivariantes é análoga a resultados famosos para classes fundamentais (como o teorema de positivity de Knutson-Tao). Confirmar isso em exemplos sugere uma estrutura profunda e positiva na cohomologia de variedades de órbitas, o que é altamente desejável em combinatória algébrica.
4. Ferramentas Gerais: Os resultados sobre fibras suaves e fortemente reduzidas, bem como as descrições de espaços tangentes em espaços mistos, são apresentados com um grau de generalidade que pode ser aplicado ao estudo de outras resoluções de fechamentos de órbitas em diferentes contextos de grupos reductivos.

Em resumo, o artigo fornece uma ponte rigorosa entre a geometria das resoluções de singularidades, a teoria de ciclos característicos e a combinatória de classes de Chern, oferecendo novas ferramentas e resultados concretos para o estudo de variedades de órbitas em grupos de Lie.