Chow quotients of ${\mathbb C}^*$-actions on convex varieties

Resumo Técnico: Quocientes de Chow de Ações C∗ em Variedades Convexas

1. Problema e Contexto

O artigo aborda a construção e a análise geométrica de quocientes de Chow ($CX$) de variedades projetivas suaves $X$ sob a ação de um toro unidimensional ($\mathbb{C}^*$).

• Contexto: Os quocientes de Chow, introduzidos por Kapranov, são uma ferramenta fundamental na Geometria Algébrica moderna para construir novos espaços de módulos e variedades, especialmente em contraste com a Teoria Geométrica de Invariantes (GIT) clássica de Mumford.
• Objetivo Específico: O foco do trabalho é estudar o caso em que $X$ é uma variedade convexa de número de Picard igual a 1, dotada de uma ação de $\mathbb{C}^*$ equalizada (sem subgrupos de isotropia finitos não triviais).
• Motivação: Exemplos notáveis de tais quocientes incluem espaços de módulos de curvas estáveis ($M_{0,n}$), espaços de colineações completas, quadricas completas e formas skew-completas. O objetivo é fornecer uma descrição unificada da geometria desses quocientes, calculando seus cones de Nef e Mori, bem como seu divisor anticanônico, sob hipóteses gerais que englobam os exemplos clássicos.

2. Metodologia

Os autores utilizam uma combinação de teoria de ações de toros, geometria biracional e propriedades de variedades convexas.

• Definições Chave:
  • Variedade Convexa: Uma variedade projetiva suave onde o fibrado tangente é nef sobre curvas racionais. Isso inclui variedades Fano com fibrado tangente nef.
  • Ação Equalizada: Uma ação onde os subgrupos de isotropia são triviais, implicando que o fecho de qualquer órbita 1-dimensional é uma curva racional suave.
  • Decomposição de Bia lynicki-Birula: Utilizada para analisar as células positivas e negativas em torno das componentes de pontos fixos ($Y_j$).
• Estrutura de Quocientes Parciais: O artigo explora a relação entre o quociente de Chow $CX$ e os quocientes de GIT parciais ($GX_{i,j}$) e as "podas" (prunings) $X_{i,j}$ da variedade original. O quociente de Chow é descrito como um limite inverso normalizado de uma sequência de quocientes de GIT.
• Análise de Deformações: Os autores estudam as deformações de ciclos racionais invariantes. A convexidade de $X$ é crucial para garantir que as deformações de ciclos no quociente de Chow correspondam a deformações invariantes no espaço original.
• Construção de Curvas Primal: São construídas curvas especiais em $CX$ (chamadas curvas primais, $\Gamma_i$) que geram o cone de Mori, baseadas em famílias de ciclos invariantes que conectam componentes de pontos fixos adjacentes.

3. Contribuições Principais e Resultados

O artigo estabelece resultados estruturais profundos sobre a geometria de $CX$:

A. Suavidade e Estrutura do Divisor de Fronteira

• Teorema 1.1: Sob as hipóteses de convexidade e ação equalizada, o quociente de Chow $CX$ é suave.
• Divisor de Fronteira: O subesquema de $CX$ que parametriza ciclos redutíveis (singularidades) forma um divisor com cruzamentos normais simples (SNC).
• Componentes: Este divisor é a união de $r-1$ componentes irredutíveis suaves ($E_1, \dots, E_{r-1}$), onde $r$ é a criticidade da ação. Cada componente $E_i$ corresponde a ciclos que possuem um ponto singular na componente de ponto fixo $Y_i$.

B. Geometria Biracional e Blow-ups

• Teorema 3.15: O artigo generaliza resultados anteriores mostrando que todos os mapas entre os "quocientes de Chow parciais" ($CX_{i,j}$) são blow-ups com centros suaves. Isso confirma que a estrutura global de $CX$ é construída através de uma sequência controlada de blow-ups a partir de quocientes de GIT geométricos.

C. Cones de Nef e Mori

• Teorema 1.2 e Teorema 4.10: Os autores determinam completamente os cones de Nef e Mori de $CX$.
  • O cone de Nef é gerado pelas classes de divisores $L_{i,i}$, que são pullbacks de fibrados de linha amplos nos quocientes de GIT extremos.
  • O cone de Mori (cone de curvas efetivas) é gerado pelas classes das curvas primais $\Gamma_i$.
  • A matriz de interseção entre os divisores de fronteira $E_i$ e as curvas primais $\Gamma_j$ é calculada explicitamente (matriz tridiagonal com entradas $-1, 2, -1$), provando que os cones são simpliciais.

D. Divisor Anticanônico

• Teorema 5.3: Os autores derivam uma fórmula explícita para o divisor anticanônico $-K_{CX}$ em termos dos geradores do cone de Nef ($L_i$) e de invariantes da ação ($u^\pm_j$, relacionados aos ranks dos fibrados normais das componentes fixas).
• Aplicação: Esta fórmula permite determinar se $CX$ é uma variedade Fano (quando $-K_{CX}$ é amplo), nef mas não amplo, ou não nef.
  • Exemplos: O artigo demonstra que os quocientes de Chow de certas Grassmannianas (como espaços de colineações completas) são variedades Fano, enquanto outros exemplos (como certos quocientes de Grassmannianas ortogonais) podem não ser nef.

4. Significado e Impacto

• Unificação Geométrica: O trabalho fornece uma estrutura unificada para entender variedades de módulos clássicas (como espaços de quadricas completas e formas skew) não apenas como sequências de blow-ups de espaços projetivos, mas como quocientes de Chow de variedades homogêneas racionais.
• Generalização: Os resultados se aplicam a uma classe ampla de variedades (variedades convexas de número de Picard 1), indo além dos exemplos específicos conhecidos anteriormente.
• Ferramentas Computacionais: A determinação explícita dos cones de Nef e Mori e da classe anticanônica oferece ferramentas poderosas para classificar a biracionalidade e a estabilidade de tais variedades, conectando a teoria de invariantes com a geometria biracional moderna (espaços de sonho de Mori).
• Novos Exemplos: O artigo sugere que muitos outros quocientes de Chow de variedades homogêneas racionais, ainda não totalmente compreendidos, compartilham essas propriedades geométricas, abrindo caminho para futuras investigações.

Em suma, o artigo estabelece que, sob condições de convexidade e equalização, a geometria do quociente de Chow é excepcionalmente bem-comportada (suave, com estrutura de divisor SNC e cones simpliciais), permitindo uma descrição completa de sua geometria biracional e propriedades de Fano.