Rational singularities and $q$-birational morphism

Resumo Técnico de "Rational Singularities and q-Birational Morphisms" por Donghyeon Kim

Enunciado do Problema
O artigo aborda a generalização da noção clássica de singularidades racionais, tradicionalmente definidas para variedades normais (especificamente para o feixe estrutural $\mathcal{O}_X$), para o cenário de qualquer feixe reflexivo de posto 1 em uma variedade normal. Embora as definições padrão (por exemplo, em [Kov11] e [Kol13]) dependam de transformadas estritas de divisores e resoluções logarítmicas, o autor busca uma definição que seja mais intrínseca ao próprio feixe, utilizando duais duplos em vez de transformadas estritas. Além disso, o artigo visa quantificar a "distância" de uma singularidade em relação à racionalidade introduzindo uma hierarquia de condições ($RS_q$, $KV_q$) e uma noção dual à condição de Serre ($S_{q+1}$), denominada ($B_{q+1}$). Por fim, o trabalho investiga o comportamento dessas singularidades sob morfismos finitos e morfismos $q$-biracionais.

Metodologia
A metodologia baseia-se fortemente em maquinaria de categoria derivada, dualidade de Grothendieck e dualidade local.

1. Definição Generalizada: O autor define singularidades racionais para um feixe reflexivo $\mathcal{F}$ de posto 1 via um mapa natural $\theta_{\mathcal{F}, f}$ na categoria derivada, relacionando o pushforward derivado do dual do pullback de $\mathcal{F}$ ao Hom derivado de $\mathcal{F}$ com o complexo dualizante.
2. Duais Duplos: Em vez de usar transformadas estritas de divisores (como em [Kov11]), o artigo utiliza a operação de dual duplo ($(-)^{DD}$) para definir os feixes relevantes em uma resolução. Isso evita a necessidade de definir "pares normais".
3. Dualidade e Vanishing: As provas empregam frequentemente a dualidade local (Teorema 2.4) e a dualidade de Grothendieck (Teorema 2.5) para traduzir condições de desaparecimento (vanishing) em imagens diretas superiores ($R^i f_*$) em condições de cohomologia local ($H^i_x$).
4. Sequências Espectrais: A sequência espectral de Leray e os mapas de aresta são usados extensivamente para relacionar a cohomologia do espaço base com a resolução, particularmente no estabelecimento de teoremas de vanishing para morfismos $q$-biracionais.
5. Morfismos Finitos: A estabilidade das singularidades racionais sob morfismos étale finitos e planos é analisada usando as propriedades de decomposição (splitting) dos pullbacks e o comportamento de feixes reflexivos sob esses mapas.

Principais Contribuições e Resultados

• Definição Generalizada de Singularidades Racionais:
  O artigo introduz uma definição de singularidades racionais para qualquer feixe reflexivo $\mathcal{F}$ de posto 1 (Definição 1.2). Uma resolução $f: X' \to X$ é uma "resolução fracamente racional" se um mapa natural específico $\theta_{\mathcal{F}, f}$ é um quase-isomorfismo, o que é equivalente ao desaparecimento das imagens diretas superiores do dual duplo do pullback ($R^i f_* (f^* \mathcal{F})^{DD} = 0$ para $i \ge 1$). $\mathcal{F}$ possui "singularidades racionais" se for fracamente racional e Cohen-Macaulay (CM).

• Comparação com Noções Existentes:
  O autor esclarece que, se um par $(X, D)$ possui singularidades racionais no sentido de [Kov11], então $-D$ possui singularidades racionais no novo sentido. A nova definição é apresentada como mínima em relação aos requisitos de desaparecimento e de CM.

• Existência em Cenários Geométricos Específicos:

  • Característica 0: O Teorema 1.5 prova que qualquer divisor de Weil $\mathbb{Q}$-Cartier $D$ em um par dlt $(X, \Delta)$ possui singularidades racionais. Isso generaliza o Corolário 5.25 em [KM98] sem exigir teoria de cobertura cíclica.
  • Característica Positiva: O Teorema 1.6 estabelece que, em uma variedade fortemente $F$-regular, qualquer divisor de Weil $D$ (onde $rD$ é Cartier e $\gcd(r, p)=1$) possui singularidades racionais.

• Estabilidade sob Morfismos Finitos:
  O Teorema 1.7 afirma que, se $p: Y \to X$ é um morfismo étale finito na característica 0, e $p^* \mathcal{F}$ possui singularidades (fracamente) racionais, então $\mathcal{F}$ também possui singularidades (fracamente) racionais. Isso fornece uma resposta parcial a uma questão colocada por Kollár em [Kol13]. O Teorema 1.8 estende isso para morfismos planos finitos sob a condição de que $\mathcal{F}$ seja $(KV_{\dim X})$.

• A Noção de $(B_{q+1})$ e CM-ness:
  O artigo introduz $(B_{q+1})$ como uma condição dual à condição de Serre $(S_{q+1})$, definida pelo desaparecimento da cohomologia local em graus altos específicos ($\dim X - q < i < \dim X$). O Teorema 1.14 estabelece a equivalência entre um feixe ser $(S_{q+1})$, o desaparecimento de certas imagens diretas superiores e seu dual ser $(B_{q+1})$.

  • Corolário 1.15: Sob condições específicas ($X$ é $(R_q)$, todos os divisores de Weil são $(KV_q)$ e $(S_{q+1})$, e $q \ge \lceil (\dim X + 1)/2 \rceil$), o artigo prova que qualquer divisor de Weil em $X$ é CM, implicando que o próprio $X$ é CM.

• Morfismos $q$-Biracionais:
  O artigo utiliza a noção de morfismos $q$-biracionais (onde o lócus excepcional tem codimensão 1 e o centro tem codimensão $\ge q+1$). O Teorema 1.19 prova um teorema de vanishing: se $f: X' \to X$ é $q$-biracional e $D$ é um divisor Cartier anti-$f$-nef tal que $f_* D$ é $\mathbb{Q}$-Cartier e $(S_{q+1})$, então $R^i f_* \mathcal{O}_{X'}(D) = 0$ para $1 \le i < q$.

Significância e Alegações
O artigo alega que sua principal significância reside em fornecer um arcabouço unificado e intrínseco para singularidades racionais aplicável a feixes reflexivos de posto 1, em vez de apenas ao feixe estrutural ou divisores reduzidos. Ao utilizar duais duplos, o autor remove a dependência do conceito de "pares normais" encontrado na literatura anterior.

O trabalho demonstra que a propriedade de possuir singularidades racionais é robusta sob morfismos étale finitos na característica 0, abordando uma questão aberta no campo. Além disso, a introdução da condição $(B_{q+1})$ oferece uma nova ferramenta para analisar a propriedade Cohen-Macaulay de divisores em variedades normais, particularmente no contexto de morfismos $q$-biracionais. Os resultados generalizam teoremas conhecidos sobre variedades klt e fortemente $F$-regulares, estendendo sua aplicabilidade para quaisquer feixes reflexivos de posto 1. O autor observa que, embora as provas para a característica 0 estejam completas, a extensão dos resultados de estabilidade de morfismos finitos para a característica positiva permanece uma dificuldade aberta devido à potencial falta de decomposição (splitting) nos mapas relevantes.