Compactification of Reductive Group Schemes

Resumo Técnico: Compactificação de Esquemas de Grupos Redutivos

1. O Problema e o Contexto

O artigo aborda um problema fundamental na geometria algébrica: a existência de compactificações equivariantes para esquemas de grupos redutivos sobre bases gerais (esquemas $S$), e não apenas sobre corpos algebricamente fechados.

• Conjectura de Česnavičius: O trabalho visa verificar a Conjectura 1.1 de Česnavičius, que postula que todo esquema de grupo redutivo isotrópico (isotrivial) $G$ sobre um esquema de base $S$ admite uma compactificação projetiva e suavemente apresentada $\overline{G}$, contendo $G$ como um subesquema aberto denso fibra a fibra, equipada com ações à esquerda e à direita de $G$ que estendem as translações originais.
• Limitações Anteriores: Resultados anteriores existiam para toros isotrópicos, grupos adjuntos (usando métodos de Artin-Weil ou construções de Li) e corpos algebricamente fechados (compactificação "wonderful" de de Concini-Procesi). No entanto, a generalização para grupos redutivos não-adjuntos sobre bases arbitrárias permanecia em aberto.
• A Questão da Isotrópica: O autor investiga se a condição de isotropia é necessária, propondo um contraexemplo para toros não-isotrópicos.

2. Metodologia

A abordagem de Nath combina a teoria de monoides de Vinberg com técnicas de Geometria Invariante (GIT) e descent étale, adaptadas para bases gerais.

• Monoides de Vinberg: O autor desenvolve a teoria de monoides de Vinberg para esquemas de grupos redutivos sobre bases arbitrárias (Seção 2).
  • Para um grupo redutivo $G$, constrói-se um esquema de monoides redutivos $V_G$ (o monóide de Vinberg) que contém $G$ como seu grupo de unidades.
  • Existe um homomorfismo de abelianização $a: V_G \to T^+_{ad}$, onde $T^+_{ad}$ é uma compactificação torica do toro adjunto.
  • Define-se o locus não-degenerado $V^\circ_G$ como a saturação da imagem de uma seção canônica sob a ação de $G \times G$. Este locus é suave e contém $G$.
• Construção Cox-Vinberg Híbrida: Inspirado por Martens-Thaddeus, o autor utiliza uma construção híbrida.
  • Utiliza-se um leque (fan) $\Sigma$ estável sob o grupo de Weyl e o grupo de Galois (no caso de descida) para definir uma torificação.
  • Constrói-se um esquema de monoides $V_{G, \beta}$ via produto fibrado (pullback) envolvendo o monóide de Vinberg e um espaço afim torico.
• Quociente GIT: A compactificação final $\overline{G}$ é obtida como um quociente de Geometria Invariante (GIT) de $V_{G, \beta}$ por um toro $G^I_m$.
  • A linearização $\rho$ é escolhida de modo que o locus semiestável coincida com o locus não-degenerado $V^\circ_{G, \beta}$.
  • O quociente $\overline{G} = V^\circ_{G, \beta} //_\rho G^I_m$ herda as propriedades de suavidade e projetividade.
• Descida e Isotropia: Para grupos isotrópicos, o autor utiliza uma cobertura étale finita que "quebra" o grupo (splitting), realiza a construção sobre a cobertura e usa descida para obter o esquema sobre $S$.

3. Principais Resultados e Teoremas

• Teorema 1.2 (Verificação da Conjectura):
  Para qualquer esquema de grupo redutivo isotrópico $G$ sobre um esquema $S$, existe um esquema $S$-suave e projetivo $\overline{G}$ contendo $G$ como um subesquema aberto denso fibra a fibra. A ação de $G \times_S G$ estende-se a $\overline{G}$.

  • Significado: Resolve a conjectura de Česnavičius para o caso geral de grupos redutivos isotrópicos.

• Teorema 1.3 (Caso Semisimples e Adjoint):
  Se $G$ é semisimples, existem compactificações $\overline{G}$ e $\overline{G}_{ad}$ (para o grupo adjunto) tais que:

  1. Existe um morfismo equivariante $\overline{G} \to \overline{G}_{ad}$ estendendo a isogenia central.
  2. Para cada ponto geométrico $s$, a fibra $(\overline{G})_s$ é a normalização de $(\overline{G}_{ad})_s$ em $G_s$.
  3. $\overline{G}_{ad}$ coincide com a compactificação "wonderful" clássica de de Concini-Procesi sobre pontos geométricos.
  4. O bordo $\overline{G}_{ad} \setminus G_{ad}$ é a união de divisores efetivos de Cartier relativos suaves com cruzamentos normais relativos.

• Teorema 1.4 (Não-existência para Toros Não-Isotrópicos):
  O autor demonstra que a hipótese de isotropia é essencial.

  • Contraexemplo: Considera-se um toro não-isotrópico $T$ sobre uma curva cúbica nodal $S$ (construído via descida de Galois de um toro constante sobre uma cobertura infinita).
  • Resultado: Não existe nenhuma compactificação projetiva $S$-esquema $\overline{T}$ contendo $T$ como aberto denso fibra a fibra onde a ação de translação se estenda.
  • Método de Prova: Utiliza-se a linearização de feixes de linha de Brion para reduzir o problema a esquemas toricos sobre anéis de valorização discreta (DVRs), derivando uma contradição baseada na estrutura dos feixes de cones e na irreducibilidade das fibras.

4. Contribuições Chave

1. Generalização da Teoria de Vinberg: Estende a teoria de monoides de Vinberg, anteriormente restrita a corpos algebricamente fechados de característica zero, para esquemas de grupos redutivos sobre bases arbitrárias (incluindo esquemas não-específicos e não-split).
2. Unificação de Métodos: Integra a construção de Martens-Thaddeus (usando monoides de Vinberg) com a necessidade de lidar com a estrutura de Galois de grupos isotrópicos, fornecendo uma construção uniforme para todos os grupos redutivos isotrópicos.
3. Delimitação de Fronteiras: O Teorema 1.4 estabelece um limite claro para a teoria, mostrando que a isotropia não é apenas uma conveniência técnica, mas uma condição necessária para a existência de tais compactificações equivariantes.
4. Compatibilidade com Base Change: Todas as construções são mostradas para comutar com mudanças de base em $S$, garantindo robustez geométrica.

5. Significado e Impacto

Este trabalho fecha uma lacuna importante na teoria de compactificação de grupos algébricos. Ao provar a conjectura de Česnavičius, Nath fornece uma ferramenta poderosa para estudar a geometria de grupos redutivos em famílias e sobre bases singulares ou aritméticas. A construção explícita via quocientes GIT e monoides de Vinberg oferece um caminho algorítmico e geométrico para analisar o comportamento no bordo (boundary) desses grupos. Além disso, o contraexemplo para toros não-isotrópicos enriquece a compreensão das obstruções topológicas e aritméticas na teoria de toros e compactificações.

O artigo é particularmente relevante para pesquisadores em geometria algébrica, teoria de grupos algébricos e geometria aritmética, servindo como referência para a construção de espaços de módulos e compactificações em contextos gerais.