A counterexample to the PIA conjecture for minimal log discrepancies

1. Formulação do Problema

O artigo aborda a Conjectura PIA (Inversão Precisa da Adjunção), uma hipótese fundamental na geometria birracional concernente aos Desvios Logarítmicos Mínimos (mld).

• Contexto: O desvio logarítmico mínimo é um invariante numérico que mede a severidade das singularidades. A conjectura PIA postula uma igualdade precisa entre o mld de um par $(X, D + \Delta)$ em um ponto $x$ sobre um divisor Cartier normal $D$, e o mld do par restrito $(D, \Delta|_D)$ no mesmo ponto.
• A Conjectura: Especificamente, a Conjectura 1.3 afirma que, para um par logarítmico $(X, \mathfrak{a})$ e um divisor primo Cartier normal $D$ não contido no co-suporte de $\mathfrak{a}$:
  $$\text{mld}_x(X, \mathfrak{a} \mathcal{O}_X(-D)) = \text{mld}_x(D, \mathfrak{a} \mathcal{O}_D)$$
• Status Conhecido: A desigualdade "$\leq$" é conhecida por valer sempre. A conjectura afirma a desigualdade reversa "$\geq$". Ela foi provada em vários casos:
  • $\dim X = 2$ (Shokurov).
  • $X$ é suave (Ein, Mustață, Yasuda).
  • $X$ é uma interseção completa local (Ein, Mustață).
  • $\dim X = 3$ (provado neste artigo).
  • $X$ possui singularidades quociente e $D$ é klt (logarítmico terminal de Kawamata) em $x$ (Nakamura, Shibata).
• A Lacuna: A conjectura permanecia aberta para dimensões superiores ($\dim X \geq 4$) e, crucialmente, para casos onde o próprio divisor $D$ possui singularidades não-klt.

2. Metodologia

Os autores empregam uma combinação de teoria de singularidades quociente, ações de grupos e teoria de espaços de arcos para construir um contraexemplo.

A. Construção do Contraexemplo

Os autores definem uma família específica de variedades usando ações de grupos cíclicos:

• Configuração: Seja $k$ um corpo algebricamente fechado de característica zero. Seja $\xi$ uma raiz cúbica primitiva da unidade.
• Espaço: Considere $A^{n+3}_k = \text{Spec}(k[x_1, \dots, x_{n+3}])$.
• Ação de Grupo: Defina um grupo cíclico $G = \langle \gamma \rangle \cong \mathbb{Z}/3\mathbb{Z}$ atuando no espaço via a matriz diagonal $\gamma = \text{diag}(1, \xi, \xi^2, \xi, \dots, \xi)$.
• Variedades Quociente:
  • $A_n = A^{n+3}_k / G$.
  • $B_n$ é a hipersuperfície definida por $f = x_1^3 + x_2^3 + x_3^3 = 0$ dentro de $A^{n+3}_k$, e $\bar{B}_n = B_n / G$ é sua imagem no quociente.
• Alvo: O par $(\bar{A}_n, \bar{B}_n)$ na origem $x_0$.

B. O Conceito de Ações "Virtualmente Livres"

Uma contribuição teórica majoritária é a introdução de ações de grupo "virtualmente livres" para explicar por que o mld se comporta de maneira inesperada nesta construção.

• Definição: Uma ação $G$ em uma variedade normal $X$ é virtualmente livre se, para qualquer morfismo próprio birracional $G$-equivariante $Y \to X$ vindo de uma variedade normal $Y$, a ação em $Y$ é livre em codimensão um.
• Propriedades:
  • Ela situa-se estritamente entre "livre" e "livre em codimensão um".
  • Proposição 3.5: Se uma ação $G$ é virtualmente livre, o desvio logarítmico mínimo é preservado sob o quociente: $\text{mld}_x(X, \mathfrak{a}) = \text{mld}_{x'}(X/G, \mathfrak{a})$.
  • Teorema 3.10: Se $X$ é klt, "virtualmente livre" é equivalente a "livre". Isso explica por que contraexemplos não podem ser construídos usando variedades klt (pois a ação teria que ser livre, preservando o comportamento padrão).

C. Cálculo do mld

Os autores calculam o mld para o exemplo construído:

1. Para o espaço ambiente: Usando a fórmula da idade para singularidades quociente, eles determinam $\text{mld}_{x_0}(\bar{A}_n) = 2 + n/3$.
2. Para o divisor: Eles provam que a ação em $B_n$ é virtualmente livre (Lema 4.1). Consequentemente, $\text{mld}_{x_0}(\bar{B}_n) = \text{mld}_{x_0}(B_n)$. Como $B_n$ é um produto de uma singularidade de superfície e um espaço afim, $\text{mld}_{x_0}(B_n) = n$.
3. A Discrepância:
   • $\text{mld}_{x_0}(\bar{A}_n, \bar{B}_n) \leq \text{mld}_{x_0}(\bar{A}_n) - 1 = 1 + n/3$.
   • $\text{mld}_{x_0}(\bar{B}_n) = n$.
   • Para $n \geq 2$, $n > 1 + n/3$. Assim, $\text{mld}_{x_0}(\bar{A}_n, \bar{B}_n) < \text{mld}_{x_0}(\bar{B}_n)$, violando a conjectura PIA.

3. Contribuições Principais

1. Refutação da Conjectura PIA: O artigo fornece o primeiro contraexemplo à conjectura PIA para $\dim X \geq 5$.

   • Resultado: Para $n \geq 2$, a igualdade falha para o par $(\bar{A}_n, \bar{B}_n)$.
   • Significado: Isso demonstra que a conjectura PIA não vale geralmente para variedades com singularidades quociente se o divisor $D$ não for klt.

2. Introdução de Ações "Virtualmente Livres":

   • Este novo conceito explica o fenômeno onde $\text{mld}(X/G) = \text{mld}(X)$ mesmo quando a ação do grupo não é livre.
   • Ele preenche a lacuna entre ações livres (onde o mld é preservado) e ações não-livres (onde o mld geralmente diminui).

3. Contraexemplo à Conjectura LSC para Famílias:

   • Os autores usam uma construção similar para refutar a Conjectura LSC (Semi-Continuidade Inferior) para Famílias (Conjectura 5.3).
   • Eles constroem uma família plana onde o mld da fibra especial ($t=0$) é estritamente menor que o mld das fibras gerais ($t \neq 0$), violando a semi-continuidade inferior.
   • Condição Crucial: Essa falha ocorre especificamente quando as fibras não são klt.

4. Prova da PIA em Dimensão 3:

   • Os autores fornecem uma prova de que a conjectura PIA vale para $\dim X = 3$ (Proposição 6.1), preenchendo uma lacuna na literatura.

4. Resumo dos Resultados

Dimensão	Status da Conjectura PIA	Condição
$\dim X = 2$	Verdadeiro	Geral (Shokurov)
$\dim X = 3$	Verdadeiro	Geral (Provado neste artigo)
$\dim X = 4$	Aberto	Questão 6.2
$\dim X \geq 5$	Falso	Contraexemplo fornecido (Teorema 1.5)
Geral	Verdadeiro	Se $D$ é klt em $x$ (Nakamura-Shibata)
Geral	Falso	Se $D$ não é klt (Contraexemplo)

Valores Específicos do Contraexemplo (para $n \geq 2$):

• $\text{mld}_{x_0}(\bar{A}_n, \bar{B}_n) \leq 1 + \frac{n}{3}$
• $\text{mld}_{x_0}(\bar{B}_n) = n$
• Como $n > 1 + n/3$, a conjectura falha.

5. Significado

• Refinamento de Conjecturas: O artigo força uma reavaliação da conjectura PIA. Sugere que a conjectura requer a suposição adicional de que o divisor $D$ seja klt no ponto de interesse. Sem essa suposição, a igualdade "precisa" falha.
• Teoria de Singularidades: Destaca o comportamento patológico dos desvios logarítmicos mínimos na presença de singularidades não-klt e ações de grupo não-livres.
• Famílias e Deformação: O contraexemplo à conjectura LSC para famílias esclarece os limites da invariância por deformação para singularidades. Mostra que, enquanto singularidades terminais/canônicas se deformam bem, o comportamento do mld em famílias com fibras não-klt é instável.
• Direções Futuras: O artigo deixa o caso de dimensão 4 em aberto e levanta questões sobre se a conjectura pode ser salva restringindo-se a divisores klt (Questão 6.4).

Em conclusão, Nakamura e Shibata alteraram fundamentalmente a compreensão da conjectura PIA ao demonstrar sua falha em dimensões superiores para divisores não-klt, introduzir o conceito de ações "virtualmente livres" para explicar a geometria subjacente e fornecer uma prova rigorosa para o caso de dimensão 3.