On moduli of Fano varieties: an introduction to K-stability and K-moduli

Título: Sobre Módulos de Variedades Fano: Uma Introdução à K-estabilidade e K-módulos

Autor: Kristin Devleming
Contexto: Artigo de revisão para o "Summer Research Institute in Algebraic Geometry Bootcamp" de 2025, destinado a estudantes de pós-graduação que desejam iniciar pesquisas em problemas explícitos de K-módulos.

---

1. O Problema

O artigo aborda a construção e compreensão de espaços de módulos para variedades Fano (variedades projetivas normais onde o fibrado anticanônico $-K_X$ é amplo). Historicamente, a existência de métricas de Kähler-Einstein (KE) em variedades Fano suaves foi um problema central na geometria diferencial. A conjectura de Yau-Tian-Donaldson (YTD) estabeleceu uma ponte profunda entre a geometria diferencial e a geometria algébrica, propondo que uma variedade Fano suave admite uma métrica KE se e somente se ela é K-estável.

O problema central abordado no texto é a dificuldade de:

1. Definir e verificar a K-estabilidade de forma prática (a definição original via configurações de teste envolve infinitos parâmetros).
2. Construir espaços de módulos bem-comportados (projetivos, separados e limitados) para variedades Fano, dado que o espaço de módulos geral de variedades Fano é mal-comportado (não limitado e não separado).
3. Determinar explicitamente quais variedades Fano (especialmente com singularidades) pertencem a esses espaços de módulos.

2. Metodologia

O artigo adota uma abordagem pedagógica e técnica, combinando:

• Geometria Biracional: Utilização intensiva do Programa de Modelos Mínimos (MMP), resoluções logarítmicas e o estudo de singularidades (terminal, canônica, klt, lc).
• Invariantes Algébricos e Analíticos: Introdução e comparação de diferentes critérios de estabilidade:
  • Configurações de Teste (Test Configurations): A definição original via invariante de Futaki generalizado.
  • Invariantes $\alpha$, $\beta$ e $\delta$: Critérios mais computacionais baseados em limiares log-canônicos e volumes de divisores.
  • Teoria de Abban-Zhuang: Um método indutivo que restringe o problema de estabilidade para subvariedades de dimensão inferior (adjunção para K-estabilidade).
  • Volume Normalizado: Uma ferramenta local que conecta a geometria das singularidades à estabilidade global.
• Teoria de Invariantes Geométricos (GIT): Comparação direta entre a estabilidade de K-stability e a estabilidade de GIT para superfícies cúbicas e hipersuperfícies cúbicas.

3. Principais Contribuições e Resultados

A. Fundamentos e Singularidades

• O texto estabelece as definições de singularidades do MMP (klt, lc, etc.) e introduz o conceito de limiar log-canônico (lct).
• Demonstra que a K-semiestabilidade implica que a variedade possui singularidades logarítmicas terminais (klt), conectando estabilidade a propriedades de singularidade.

B. Critérios de Estabilidade

O artigo detalha três abordagens principais para verificar a K-estabilidade:

1. Via Configurações de Teste: Define a estabilidade através do sinal do invariante de Futaki. Apresenta o teorema de que basta testar "configurações de teste especiais" (onde a fibra central tem singularidades klt).
2. Via Invariante $\alpha$ (Tian): Apresenta o critério $\alpha(X) > \frac{n}{n+1}$ para estabilidade. Embora útil, não é uma condição "se e somente se".
3. Via Invariantes $\beta$ e $\delta$ (Valuative Criterion): Introduz o critério valuativo, que é uma condição necessária e suficiente.
   • Uma variedade $X$ é K-semiestável se e somente se $\beta_X(E) \ge 0$ (ou $\delta_X(E) \ge 1$) para todo divisor primo $E$ sobre $X$.
   • O artigo fornece exemplos explícitos de cálculo de $\beta$ para superfícies de Del Pezzo, classificando sua estabilidade (ex: superfícies de grau $\le 4$ são K-estáveis; $P^1 \times P^1$ é poliestável; $P^2$ é poliestável).

C. Teoria de Flags Admissíveis (Abban-Zhuang)

• Apresenta a teoria que permite reduzir o problema de estabilidade de uma variedade de dimensão $n$ para uma subvariedade de dimensão $n-1$.
• O teorema principal (Teorema 4.7) fornece um limite inferior para o invariante $\delta$ de $X$ em termos do $\delta$ de um divisor $E$ e do $\delta$ da restrição em $E$. Isso é crucial para provar a estabilidade de variedades tridimensionais (Fano 3-folds).

D. Módulos de K-estáveis

• O artigo resume os teoremas fundamentais que garantem a existência de bons espaços de módulos:
  • Limitação: O conjunto de variedades Fano K-semiestáveis de dimensão $n$ e volume fixo é limitado (Teorema 5.7).
  • Abertura: A condição de K-semiestabilidade é aberta em famílias Q-Gorenstein.
  • Properidade e Existência: O stack de módulos de K-semiestáveis é próprio e o espaço de módulos de K-poliestáveis é projetivo (Teorema 5.11).
• Resolve problemas de não-separação e não-limitação que ocorrem no espaço de módulos geral de variedades Fano.

E. Volume Normalizado e Princípios Local-Global

• Introduz o volume normalizado ($\widehat{vol}$) de singularidades.
• Apresenta o Teorema Local-Global (Teorema 6.5): Para uma variedade Fano K-semiestável, o volume anticanônico global é limitado pelo volume normalizado local das singularidades.
• Aplicação: Usa-se essa ferramenta para provar que certas singularidades não podem aparecer em variedades Fano K-estáveis de determinado volume, e para classificar as singularidades permitidas em superfícies cúbicas (apenas singularidades $A_1$ e $A_2$).

F. Equivalência GIT = K-estabilidade

• Demonstra que para superfícies cúbicas (e hipersuperfícies cúbicas em dimensões superiores), a estabilidade de K-estabilidade é equivalente à estabilidade de GIT (Teorema 6.11).
• Isso permite identificar o espaço de módulos K como o espaço de módulos clássico de GIT para cubicas.

4. Significado e Impacto

• Acessibilidade: O artigo serve como uma introdução robusta para estudantes, preenchendo a lacuna entre a teoria abstrata de K-estabilidade e cálculos explícitos.
• Ferramentas Computacionais: Fornece um "kit de ferramentas" (cálculo de $\beta$, $\delta$, volume normalizado, flags admissíveis) para que pesquisadores possam determinar a estabilidade de variedades específicas sem depender apenas de resultados existenciais.
• Classificação de Variedades Fano: Contribui para a classificação completa de superfícies de Del Pezzo e avança na compreensão dos espaços de módulos de Fano 3-folds.
• Conexão entre Geometrias: Reforça a profunda conexão entre a geometria diferencial (métricas KE), a geometria algébrica (MMP, singularidades) e a teoria de invariantes (GIT).

5. Conclusão e Questões Abertas

O artigo conclui destacando que, embora a teoria esteja madura para superfícies e casos gerais de Fano 3-folds (para membros gerais), ainda existem desafios significativos:

• Determinar exatamente quais membros de famílias de Fano 3-folds suaves são K-estáveis (não apenas os gerais).
• A questão aberta fundamental: "Toda hipersuperfície Fano suave de grau $\ge 3$ em $\mathbb{P}^n$ é K-estável?" (Sabe-se que o genérico é, mas a estabilidade para todos os casos permanece um problema em aberto).

Em suma, o trabalho de Devleming é um guia essencial para a era moderna da geometria algébrica, onde a K-estabilidade se tornou a ferramenta padrão para a construção de espaços de módulos para variedades Fano.