Truncated Grassmannians, blow-ups along Schubert varieties and collineations

Resumo Técnico: Grassmannianos Truncados, Blow-ups ao Longo de Variedades de Schubert e Colineações

1. Problema e Contexto

O artigo aborda a geometria algébrica das variedades de bandeira generalizadas, especificamente focando na descrição geométrica e estrutural dos blow-ups (estragos) de variedades de Grassmann (e, mais geralmente, variedades de bandeira) ao longo de variedades de Schubert.

• O Desafio: Embora existam resultados parciais sobre blow-ups de variedades de bandeira ao longo de subvariedades de Schubert (muitas vezes no caso suave), uma descrição unificada e explícita para o caso geral, especialmente envolvendo a simetria de grupos unipotentes abelianos, é limitada.
• Objetivo Específico: O autor busca descrever o blow-up de uma variedade de Grassmann $Gr_d(V)$ ao longo de uma variedade de Schubert específica $S_r$ (definida por condições de interseção com um subespaço fixo) utilizando uma nova classe de variedades chamadas Grassmannianos Truncados. Além disso, o trabalho visa conectar essas construções com espaços de colineações parciais e generalizá-las para o contexto de grupos de Lie simples.

2. Metodologia

A abordagem de Feigin combina teoria de representações de álgebras de Lie, geometria algébrica e teoria de módulos de Demazure. Os principais pilares metodológicos são:

1. Grassmannianos Truncados ($X_r$):

   • O autor define o Grassmanniano truncado $X_r$ como o fecho da órbita de um grupo unipotente abeliano $\exp(\mathfrak{a}_d)$ agindo em uma projeção truncada do espaço de representações $\Lambda^d V$.
   • O espaço $\Lambda^d V$ é decomposto por um "grau" (número de índices maiores que $d$). O espaço truncado $(\Lambda^d V)_r$ é o quociente de $\Lambda^d V$ pelo subespaço gerado por vetores de grau maior que $r$.
   • $X_r$ é a variedade projetiva gerada pelo fecho da órbita do vetor cíclico truncado $[w_r]$. Note-se que $X_1$ é um espaço projetivo e $X_d$ é o Grassmanniano clássico.

2. Módulos de Demazure e Schubert:

   • Utiliza-se a correspondência entre variedades de Schubert e módulos de Demazure. A variedade de Schubert $S_r$ é identificada como o fecho da órbita de um vetor de peso extremo específico.
   • Define-se módulos truncados $L_{\sigma}(\lambda)$ como quocientes de módulos de peso máximo irreducíveis por módulos de Demazure.

3. Construção de Blow-ups via Orbitas:

   • Em vez de usar a definição clássica de blow-up via feixe ideal, o autor caracteriza o blow-up $Bl_{S_r} Gr_d(V)$ como o fecho da órbita de um ponto específico em um produto de variedades (o Grassmanniano original e o Grassmanniano truncado).
   • Isso permite uma descrição explícita da imersão fechada do blow-up no produto $Gr_d(V) \times X_{r-1}$.

4. Colineações Parciais (Partial Collineations):

   • Para analisar as fibras do mapa de projeção do blow-up de volta para o Grassmanniano, o autor recorre à teoria das colineações parciais (espaços de mapas de posto máximo entre espaços vetoriais e seus produtos exteriores).

3. Resultados Principais

A. Teorema A: Isomorfismo do Blow-up
O resultado central para Grassmannianos afirma que o blow-up de $Gr_d(V)$ ao longo da variedade de Schubert $S_r$ (onde $\dim(U \cap V_{n-d}) \ge r$) é isomorfo ao fecho do gráfico da aplicação birracional $X_{r-1} \dashrightarrow Gr_d(V)$.

• Mais precisamente, $Bl_{S_r} Gr_d(V)$ admite uma imersão fechada em $Gr_d(V) \times X_{r-1}$, sendo a imagem o fecho da órbita do ponto $V_d \times [w_{r-1}]$ sob a ação do grupo unipotente $\exp(\mathfrak{a}_d)$.

B. Descrição das Fibras e Colineações (Teorema B)
O autor descreve as fibras do mapa de projeção $\pi: Bl_{S_r} Gr_d(V) \to Gr_d(V)$.

• Para um subespaço $U \in Gr_d(V)$, a fibra $\pi^{-1}(U)$ é isomorfa a uma variedade de colineação parcial que depende de $m = \dim(U \cap V_{n-d})$.
• Especificamente, a fibra é isomorfa a $Col_{m-r+1}(U \cap V_{n-d}, V_d / pr(U))$, onde $Col$ denota o espaço de colineações parciais.
• O "blow-up completo" (misturando todas as variedades de Schubert $S_2, \dots, S_d$) é suave e serve como uma dessingularização para todos os outros blow-ups parciais.

C. Generalização para Variedades de Bandeira (Teorema C)
O resultado é generalizado para variedades de bandeira completas $G/B$ de um grupo de Lie simples $G$.

• Seja $S_\sigma$ uma variedade de Schubert associada a um elemento do grupo de Weyl $\sigma$.
• O blow-up $Bl_{S_\sigma}(G/B)$ é isomorfo ao fecho da órbita $B^-$ do ponto $[v(\lambda)] \times [v_\sigma(\lambda)]$ no produto $G/B \times X_{\sigma(\lambda)}$, onde $X_{\sigma(\lambda)}$ é a variedade de bandeira truncada associada ao módulo quociente $L(\lambda)/D(\sigma\lambda)$.

D. Resolução de Feixes Ideais
O artigo fornece uma resolução explícita (tipo Koszul generalizada) para o feixe ideal $\mathcal{I}_{S_r}$ da variedade de Schubert, utilizando a cohomologia de feixes vetoriais sobre o Grassmanniano e o teorema de Borel-Weil-Bott. Isso valida a construção do blow-up via projeção de Proj.

4. Contribuições Chave

1. Nova Classe de Variedades: Introdução e estudo sistemático dos Grassmannianos Truncados ($X_r$) como objetos geométricos fundamentais que interpolam entre o espaço projetivo e o Grassmanniano clássico.
2. Descrição Geométrica Unificada: Estabelecimento de uma ligação direta e explícita entre blow-ups de Schubert e órbitas de grupos unipotentes em produtos de variedades truncadas.
3. Conexão com Colineações: Identificação das fibras desses blow-ups como espaços de colineações parciais, generalizando resultados conhecidos sobre compactificações de Kausz e espaços de mapas.
4. Dessingularização Explícita: Demonstração de que o blow-up misto completo é suave, fornecendo uma dessingularização natural para variedades singulares relacionadas a Schubert.
5. Generalização de Lie: Extensão da construção do caso de Grassmannianos para o contexto geral de grupos de Lie simples e variedades de bandeira, utilizando módulos de Demazure truncados.

5. Significado e Impacto

Este trabalho oferece uma ferramenta poderosa para a compreensão da geometria das variedades de Schubert e seus blow-ups. Ao traduzir problemas de blow-up (que são localmente complexos) em problemas de órbitas de grupos em espaços projetivos truncados (que são globalmente definidos e simétricos), o autor simplifica a análise estrutural.

A conexão com as colineações parciais é particularmente significativa, pois liga a teoria de Schubert a problemas clássicos de geometria projetiva e teoria de invariantes. Além disso, a construção de uma dessingularização suave para o caso misto resolve questões sobre a regularidade de tais espaços, que são frequentemente singulares. O trabalho abre caminho para futuras investigações sobre a cohomologia, a estrutura de anéis de coordenadas e aplicações em teoria de representação e física matemática (como em teorias de gauge e modelos integráveis relacionados a Grassmannianos).