Inversion of adjunction for quotient singularities III: semi-invariant case

1. Declaração do Problema e Contexto

O artigo aborda duas conjecturas centrais na geometria biracional relativas às discrepâncias logarítmicas mínimas (mld):

1. A Conjectura LSC (Semi-Continuidade Inferior): Proposta por Ambro, esta conjectura afirma que a função que mapeia um ponto fechado $x$ para sua discrepância logarítmica mínima $\text{mld}_x(X, \mathfrak{a})$ é semi-continua inferiormente.
2. A Conjectura PIA (Inversão da Adjunção): Esta conjectura relaciona a mld de um par $(X, D, \mathfrak{a})$ à mld do divisor $D$ em si, afirmando especificamente que $\text{mld}_x(X, D, \mathfrak{a}) = \text{mld}_x(D, \mathfrak{a}|_D)$ sob certas condições.

Trabalho Anterior:
Os autores provaram anteriormente essas conjecturas para quocientes de grupos lineares finitos de variedades de interseção completa definidas por equações invariantes (onde $g(f) = f$ para todo $g \in G$) em seu artigo [NS22].

A Lacuna:
Muitas singularidades importantes, particularmente singularidades terminais tridimensionais, surgem de quocientes de variedades definidas por equações semi-invariantes (onde $g(f) = \chi(g)f$ para um caractere $\chi$). O quadro anterior, restrito a invariantes, era insuficiente para lidar com esses casos. O objetivo deste artigo é estender os resultados de equações invariantes para equações semi-invariantes.

2. Metodologia

Os autores empregam a teoria dos espaços de arcos (especificamente a teoria de Denef-Loeser) para calcular discrepâncias logarítmicas mínimas. A metodologia central envolve as seguintes etapas:

A. Configuração e Definições

• Variedades: Seja $A = \mathbb{A}^N_k$ e $G \subset \text{GL}_N(k)$ um grupo finito. Seja $Y \subset A$ uma interseção completa definida por $c$ polinômios semi-invariantes $f_1, \dots, f_c$.
• Quociente: A variedade de interesse é $Y/G$.
• Semi-invariância: Um polinômio $f$ é $G$-semi-invariante se, para todo $\gamma \in G$, $\gamma(f) = \xi^{a} f$ para alguma raiz da unidade $\xi$ e inteiro $a$. Os autores definem um peso $w_\gamma(f) = a/d$ (onde $d = |G|$).

B. Modificação da Construção do Espaço de Arcos

No caso invariante ([NS22]), os autores construíram um esquema $B^{(\gamma)}$ sobre $k[t]$ para estudar o espaço de arcos do quociente. Para equações semi-invariantes, a construção padrão falha porque as equações transformadas $\lambda^*_\gamma(f_i)$ não estão necessariamente em $R[t]$.

Inovação Técnica Chave:

1. Transformação Ponderada: Os autores introduzem um homomorfismo modificado $\lambda^*_\gamma$ e definem o esquema $B^{(\gamma)}$ usando o ideal gerado por termos ponderados:
   $$\lambda^*_\gamma(f_i) t^{-w_\gamma(f_i)}$$
   Isso garante que os geradores estejam em $R[t]$, permitindo a construção de um esquema $k[t]$ bem definido.
2. Extensão para $k[t^{1/d}]$: Para lidar corretamente com o feixe de diferenciais e ideais jacobianos, os autores estendem a base de $k[t]$ para $k[t^{1/d}]$. Eles definem um esquema $B^{(\gamma)}_{1/d}$ e um feixe inversível específico $\mathcal{L}_{B^{(\gamma)}_{1/d}}$ que desempenha o papel do feixe canônico relativo.
3. Comparação de Jacobianos: Eles estabelecem relações precisas entre os ideais jacobianos dos morfismos envolvidos (especificamente $\mu_\gamma$ e $p$) e os ideais de Nash da variedade original $B$. Isso envolve calcular a ordem do jacobiano do morfismo entre espaços de arcos.

C. A Fórmula Principal

Os autores derivam uma fórmula para a discrepância logarítmica mínima na origem $x$ da variedade quociente $Y/G$:
$$\text{mld}_x(Y/G, \mathfrak{a}^\tau) = \inf_{\gamma \in G, b_1, b_2 \in \mathbb{Z}_{\ge 0}} \left\{ \text{codim}(C_{\gamma, b_1, b_2}) + \text{age}(\gamma) - w_\gamma(f) - b_2 - \tau b_1 \right\}$$
Aqui, $w_\gamma(f) = \sum w_\gamma(f_i)$ é o novo termo introduzido pela natureza semi-invariante das equações. O termo $\text{age}(\gamma)$ é a idade padrão do elemento do grupo, e $C_{\gamma, b_1, b_2}$ são locais de contato específicos no espaço de arcos do esquema modificado $B^{(\gamma)}$.

3. Contribuições e Resultados Chave

A. Teorema 1.5 (Inversão da Adjunção para Quocientes)

Este é o resultado técnico central. Estabelece uma igualdade precisa entre a mld da variedade quociente $Y/G$ e a mld do espaço ambiente $A/G$ com um feixe de ideais específico:
$$\text{mld}_y(Y, \mathfrak{a}\mathcal{O}_Y) = \text{mld}_y\left(X, (f_1^d \cdots f_c^d)^{1/d} \mathfrak{a}\right)$$
Esta fórmula reduz efetivamente o problema na variedade quociente singular $Y$ a um problema no quociente ambiente $X$, ajustado pelo produto das equações definidoras elevado à potência da ordem do grupo.

B. Teorema 1.4 (Conjectura PIA para Casos Semi-Invariantes)

Usando o resultado acima, os autores provam a conjectura PIA para quocientes de grupos lineares finitos de interseções completas definidas por equações semi-invariantes. Especificamente, se $D$ é um divisor Cartier klt em $Y$, então:
$$\text{mld}_y(Y, D, \mathfrak{a}) = \text{mld}_y(D, \mathfrak{a}|_D)$$

C. Teorema 1.2 (Conjectura LSC para Casos Semi-Invariantes)

O artigo prova que a função de discrepância logarítmica mínima é semi-continua inferiormente para variedades $Y/G$ definidas por equações semi-invariantes.

• Significado: Isso estende a validade conhecida da conjectura LSC para uma classe mais ampla de singularidades, incluindo singularidades terminais tridimensionais.

4. Significado e Impacto

1. Resolução de Singularidades Terminais 3D: A classificação de singularidades terminais tridimensionais (por Reid e Mori) mostra que elas são quocientes de pontos suaves ou pontos cDV. Estes frequentemente envolvem equações semi-invariantes. Ao provar as conjecturas LSC e PIA para este caso, os autores fornecem uma base teórica completa para o comportamento da mld na dimensão 3.
2. Generalização da Teoria de Espaços de Arcos: O artigo adapta com sucesso a teoria de Denef-Loeser de espaços de arcos para lidar com equações semi-invariantes. A introdução do peso $w_\gamma(f)$ e a extensão para esquemas $k[t^{1/d}]$ são ferramentas técnicas novas que podem ser aplicáveis a outros problemas envolvendo ações de grupo com caracteres não triviais.
3. Fundação para a Terminação de Flips: Como as conjecturas LSC e ACC implicam a terminação de flips (uma etapa crucial no Programa do Modelo Mínimo), este resultado fortalece os fundamentos teóricos do MMP no contexto de singularidades quociente.

5. Conclusão

Nakamura e Shibata generalizam com sucesso seu trabalho anterior sobre equações invariantes para o caso semi-invariante mais complexo. Ao modificar cuidadosamente a construção dos espaços de arcos e introduzir um termo de correção de peso $w_\gamma(f)$, eles provam a Inversão da Adjunção e a Semi-Continuidade Inferior das discrepâncias logarítmicas mínimas para uma ampla classe de singularidades quociente. Este trabalho é um passo crítico para uma compreensão completa das singularidades na geometria biracional de dimensões superiores, particularmente aquelas que surgem de ações de grupos finitos.