Stable Degeneration, Non-degenerate Forms, and Kaledin's Conjecture

Título: Degeneração Estável, Formas Não Degeneradas e a Conjectura de Kaledin
Autores: Chenyang Xu e Ziquan Zhuang (com um apêndice por Henri Guenancia)

Enunciado do Problema

O artigo aborda o comportamento de estruturas geométricas sob o processo de degeneração estável para singularidades kawamata log terminal (klt). Especificamente, investiga se formas diferenciais reflexivas não degeneradas são preservadas quando uma singularidade klt degenera para sua degeneração estável canônica (a variedade afim associada ao minimizador de volume normalizado).

Um foco central é a aplicação deste resultado de preservação às singularidades simpléticas. Os autores visam resolver a Conjectura de Kaledin, que postula que a completude formal de qualquer singularidade simplética é cônica (ou seja, admite uma ação de toro dilatante). Embora trabalhos anteriores de Namikawa e Odaka tenham estabelecido isso para variedades simpléticas projetivas suavizáveis usando cones tangentes métricos e teoria de deformação de Poisson, os autores buscam provar a conjectura para arbitrárias singularidades simpléticas utilizando métodos puramente algébricos baseados em K-estabilidade local.

Metodologia

Os autores empregam uma combinação de teoria de K-estabilidade local, configurações de teste e a geometria de formas diferenciais em variedades singulares.

1. Degeneração Estável e Componentes de Kollár:
   O estudo baseia-se na teoria de que toda singularidade klt admite uma única (a menos que por reescalonamento) valuação quase-monomial $v_0$ que minimiza o volume normalizado. O anel graduado associado define a degeneração estável $X_0$. Quando o minimizador é divisorial, ele corresponde a um Componente de Kollár $D$, induzindo uma configuração de teste especial.

2. Discrepância Logarítmica de Formas Diferenciais:
   Os autores introduzem uma discrepância logarítmica generalizada $A_\sigma(D)$ para uma forma reflexiva $p$-forma $\sigma$ ao longo de um divisor $D$. Isso mede a ordem de desaparecimento de $\sigma$ ao longo de $D$ quando visto como uma seção racional de $\Omega^p_Y(\log D)$.

3. Limiares de Estabilidade e Semiestabilidade:
   Uma inovação técnica fundamental é relacionar a ordem de desaparecimento de formas diferenciais ao limiar de estabilidade ($\delta$-invariante) do par log Fano $(D, \Delta_D)$ associado ao Componente de Kollár. Os autores utilizam o feixe cotangente orbifold e sua extensão canônica. Eles provam que, para um par log Fano K-semiestável, este feixe de extensão é slope semiestável (um resultado que depende de argumentos analíticos de Guenancia no apêndice). Esta semiestabilidade fornece um limite inferior para a discrepância logarítmica das formas em termos do limiar de estabilidade.

4. Aproximação por Componentes de Kollár:
   Como o minimizador de volume normalizado é frequentemente quase-monomial (de posto superior) em vez de divisorial, os autores aproximam o minimizador usando uma sequência de Componentes de Kollár. Eles demonstram que esses componentes aproximantes estão arbitrariamente próximos de serem K-semiestáveis, permitindo a transferência de resultados do caso divisorial para o caso geral.

5. Rigidez e Alegrização:
   Para provar a conjectura de Kaledin, os autores combinam a preservação da forma simplética sob degeneração com um resultado de rigidez: qualquer degeneração especial simplética de uma singularidade simplética é analiticamente trivial. Eles demonstram ainda que isomorfismos formais entre singularidades simpléticas cônicas podem ser elevados a isomorfismos algébricos ao analisar os toros maximais no grupo de automorfismo formal.

Principais Contribuições e Resultados

1. Preservação de Formas Não Degeneradas (Teorema 1.1)
O resultado primário estabelece que, se $x \in X$ é uma singularidade klt com degeneração estável $x_0 \in X_0$, e $\sigma$ é uma forma reflexiva $p$-forma não degenerada em $X$, então a especialização $\sigma_0$ em $X_0$ também é não degenerada.

• Mecanismo: Isto é provado mostrando que, para um Componente de Kollár $D$ próximo ao minimizador, a condição para a não degenerescência da especialização é equivalente à igualdade das discrepâncias logarítmicas normalizadas: $A_\sigma(D)/p = A_X(D)/n$. Esta igualdade é garantida pela K-semiestabilidade do par log Fano associado e pela semiestabilidade da extensão canônica do feixe cotangente orbifold.

2. Confirmação da Conjectura de Kaledin (Teorema 1.2 / Corolário 6.3)
O artigo prova que toda singularidade simplética é formalmente isomórfica a uma singularidade simplética cônica. Além disso, toda singularidade simplética cônica desse tipo é um cone Fano K-semiestável.

• Significância: Isto estende a conjectura de Kaledin do cenário projetivo suave global (previamente conhecido via [NO25]) para o cenário local de singularidades klt arbitrárias. Isso implica que a completude formal de qualquer singularidade simplética admite uma ação de toro dilatante canônica.

3. Estimativas de Discrepância Logarítmica (Teorema 1.5)
Os autores estabelecem uma desigualdade fundamental relacionando a discrepância logarítmica de uma forma ao limiar de estabilidade da geometria subjacente:
$$\min\{\delta(D, \Delta_D), 1\} \cdot \frac{A_X(D)}{n} \leq \frac{A_\sigma(D)}{p}$$
Esta desigualdade indica que as formas diferenciais em singularidades klt tendem a ter ordens de desaparecimento mais altas ao longo de Componentes de Kollár que estão mais próximos de serem K-estáveis.

4. Aplicações a Singularidades Específicas
A teoria é aplicada para identificar minimizadores de volume normalizado em casos onde a simetria simplifica a busca:

• Fechamentos de Órbitas Nilpotentes (Teorema 1.3): Para a normalização de um fechamento de órbita nilpotente em uma álgebra de Lie semissimples, a ação de escala $\mathbb{G}_m$ padrão fornece o minimizador de volume normalizado. Consequentemente, a base natural do cone é uma variedade Fano K-semiestável.
• Singularidades Hipertóricas (Teorema 1.4): Para singularidades hipertóricas, o minimizador de volume normalizado é induzido pela dilatação padrão do espaço ambiente $\mathbb{C}^{2N}$.

Significância e Alegações

O artigo alega fornecer uma prova puramente algébrica da conjectura de Kaledin para quaisquer singularidades simpléticas, distinta das abordagens métricas/analíticas usadas em trabalhos anteriores. Ao provar que a degeneração estável preserva formas não degeneradas, os autores unem a teoria de K-estabilidade local das singularidades com a geometria simplética desses espaços.

Os resultados sugerem que a estrutura hiperkähler "oculta" esperada em singularidades simpléticas cônicas reflete-se em sua K-semiestabilidade algébrica. Os autores observam que, embora provem a K-semiestabilidade, eles esperam que essas singularidades cônicas sejam K-poliestáveis (e, portanto, admitam métricas de cone hiperkähler), uma condição mais forte que permanece como objeto de investigação futura.

O artigo não propõe novas aplicações experimentais, mas sim solidifica a fundação teórica para a compreensão da estrutura local de singularidades simpléticas, oferecendo um framework unificado para analisar suas deformações e automorfismos.