A characterization of virtually free actions via arc spaces and its application to the lower semi-continuity conjecture

Resumo Técnico: Uma Caracterização de Ações Virtualmente Livres via Espaços de Arcos e Sua Aplicação à Conjectura da Semi-Continuidade Inferior

Enunciado do Problema
O artigo aborda duas conjecturas centrais em geometria biracional relativas às discrepâncias log mínimas (mld): a Conjectura da Semi-Continuidade Inferior (LSC) e a Conjectura da Inversão Precisa de Adjunção (PIA). Embora estas conjecturas tenham sido estabelecidas para várias classes de singularidades, incluindo singularidades de quociente e singularidades de hiperquociente sob a suposição de que as variedades sejam kawamata log terminais (klt), uma lacuna significativa permanece para configurações não-klt.

Trabalhos anteriores dos autores (em [NS22, NS25]) provaram a conjectura LSC para singularidades de hiperquociente desde que a variedade seja klt. No entanto, um contraexemplo para a conjectura PIA foi previamente identificado para singularidades de hiperquociente que são log canônicas, mas não klt. Esta falha da conjectura PIA no cenário não-klt obstruiu a estratégia de redução padrão utilizada para provar a conjectura LSC, levando à suspeita de que a conjectura LSC também poderia falhar para singularidades de hiperquociente não-klt. O objetivo principal é descobrir o mecanismo por trás do contraexemplo da PIA, esclarecer o papel da condição klt e determinar se a conjectura LSC se mantém incondicionalmente para singularidades de hiperquociente.

Metodologia
Os autores empregam a teoria dos espaços de arcos, originalmente desenvolvida por Denef e Loeser, para analisar a geometria de variedades de quociente. A inovação metodológica central envolve a introdução e caracterização de ações virtualmente livres e suas versões localizadas via espaços de arcos.

1. Ações Virtualmente Livres: O artigo utiliza o conceito de uma ação "virtualmente livre", onde uma ação de grupo é livre em codimensão um após qualquer modificação biracional equivariante própria. Esta noção serve como um intermediário entre ações livres e ações livres em codimensão um.
2. Caracterização por Espaços de Arcos: Os autores introduzem um novo esquema $k[t]$, denotado por $X[\gamma]$, construído como o quociente de $X \times \text{Spec } k[t^{1/d'}]$ pelo grupo cíclico $\langle \gamma \rangle$. Eles estabelecem uma correspondência entre a propriedade "virtualmente livre" de uma ação em um ponto e a "finura" (thinness) de subconjuntos específicos no espaço de arcos da variedade de quociente.
   • Especificamente, eles provam que a ação de um elemento $\gamma$ não é virtualmente livre em um ponto $x$ se, e somente se, o espaço de arcos local associado a $\gamma$ não é um conjunto fino no espaço de arcos total do quociente.
3. Comparação de Esquemas: O artigo estabelece uma ponte entre a construção clássica $X(\gamma)$ (usada por Denef e Loeser, que é algebricamente tratável para o cálculo de divisores canônicos) e a nova construção funcional $X[\gamma]$ (que é compatível com resoluções). Ao demonstrar uma bijeção natural entre seus espaços de arcos, os autores combinam as vantagens algébricas de $X(\gamma)$ com a funcionalidade geométrica de $X[\gamma]$.

Principais Contribuições e Resultados

• Caracterização da Falha da PIA: O artigo fornece uma condição necessária e suficiente para que a conjectura PIA se sustente para quaisquer singularidades de hiperquociente (Teorema 1.6). A conjectura é válida se, e somente se, o valor mínimo da discrepância log mínima, tomado sobre o conjunto de elementos $\gamma$ cuja ação não é virtualmente livre, for atingido por um elemento $\gamma$ que também não é virtualmente livre no divisor $D$. Esta caracterização explica precisamente o mecanismo do contraexemplo conhecido: o mínimo é atingido por um elemento que é virtualmente livre no espaço ambiente, mas não no divisor, ou vice-versa, quebrando a igualdade.
• Refinamento de Fórmulas de mld: Os autores refinam a fórmula para a discrepância log mínima de uma variedade de quociente. Eles mostram que o mínimo sobre todos os elementos do grupo $G$ pode ser restrito ao subconjunto $NVF(X, x)$ (elementos cuja ação não é virtualmente livre em $x$). Este é um enunciado mais forte do que resultados anteriores que consideravam o mínimo sobre todo o grupo $G$.
• Prova Incondicional da Conjectura LSC: Contrariamente à expectativa pessimista de que singularidades de hiperquociente não-klt poderiam servir como contraexemplos para a conjectura LSC, os autores provam que a conjectura LSC se mantém incondicionalmente para quaisquer singularidades de hiperquociente (Teorema 1.3).
  • A prova contorna a necessidade da conjectura PIA como ferramenta de redução. Em vez disso, utiliza a caracterização localizada de ações virtualmente livres e a semi-continuidade do conjunto de elementos não-virtualmente-livres para expressar a mld como um mínimo finito de funções semi-contínuas inferiores.

Significância
O artigo afirma resolver um obstáculo crítico no estudo das singularidades em geometria biracional. Ao caracterizar ações virtualmente livres via espaços de arcos, os autores esclarecem o papel fundamental da condição klt na conjectura PIA, demonstrando que a conjectura falha especificamente quando a propriedade "virtualmente livre" colapsa de uma forma que afeta o cálculo da discrepância log mínima.

Mais significativamente, o trabalho remove a restritiva suposição klt da conjectura LSC para singularidades de hiperquociente. Isso estabelece a semi-continuidade inferior das discrepâncias log mínimas para uma ampla classe de singularidades (quocientes de grupos finitos de interseções completas) sem exigir que a variedade seja klt. Este resultado é alcançado não pela extensão da conjectura PIA, mas pelo desenvolvimento de uma nova abordagem que analisa diretamente os espaços de arcos das variedades de quociente, contornando assim as limitações expostas pelos contraexemplos da PIA.