On the effective generation of direct images of pluricanonical bundles in mixed characteristic

Resumo Técnico: Sobre a Geração Efetiva de Imagens Diretas de Fibrados Pluricanônicos em Característica Mista

Declaração do Problema
O artigo aborda o problema de estabelecer resultados de geração global efetiva para imagens diretas de fibrados pluricanônicos em característica mista. Especificamente, busca um análogo em característica mista de dois resultados principais:

1. Característica Zero: O teorema de Popa e Schnell [PS14], que prova que, para um morfismo sobrejetor $f: X \to Y$ entre variedades projetivas não singulares sobre $\mathbb{C}$, a imagem direta $f_* \omega_X^{\otimes m} \otimes L^{\otimes l}$ é gerada globalmente para $l \geq m(\dim Y + 1)$, onde $L$ é um fibrado de linha amplo em $Y$.
2. Característica Positiva: O teorema de Ejiri [Eji24], que estabelece um resultado similar sob a hipótese de que $m$ é suficientemente grande e o divisor canônico é relativamente amplo, observando que o limite em característica zero falha em característica positiva sem hipóteses adicionais (por exemplo, devido a contraexemplos de Moret-Bailly).

O desafio central em característica mista é a ausência de um morfismo de Frobenius direto e a complexidade das singularidades, exigindo a adaptação de técnicas da álgebra comutativa e da teoria de ideais de teste.

Metodologia
O autor emprega um quadro baseado em ideais $+$-de-teste e fechamentos integrais absolutos, desenvolvidos recentemente por Hacon, Lamarche e Schwede [HLS24] e Bhatt et al. [BMP+23]. A metodologia envolve:

1. Imagens Diretas $+$-Estáveis Relativas: O artigo generaliza a definição do ideal $+$-de-teste $\tau_+(\mathcal{O}_X, \Delta)$ para o cenário relativo. Define um subfeixe $B^0 f_*(\tau_+(\omega_X, \Delta) \otimes M) \subset f_*(\omega_X \otimes M)$, denominado imagem direta $+$-estável. Isso serve como um análogo em característica mista da imagem direta estável sob Frobenius $S^0$ usada em característica positiva.
2. Teoremas de Anulação: As provas dependem fortemente do teorema de anulação de Bhatt [BMP+23] para a cohomologia no fechamento integral absoluto $X^+$, que substitui o papel da anulação de Kodaira em característica zero e da anulação de Serre em característica positiva.
3. Truque do Produto Fibra: Para estabelecer resultados de positividade fraca, o autor utiliza o truque do produto fibra de Viehweg, construindo produtos fibra $X^{(l)} = X \times_Y \cdots \times_Y X$ e analisando o comportamento dos fibrados pluricanônicos sob essas construções.
4. Condições de Singularidade: Os resultados impõem condições específicas sobre as singularidades da variedade fonte $X$. Em característica mista, essas condições envolvem BCM-regularidade (regularidade de Big Cohen-Macaulay) para pontos de característica de resíduo $p$ e condições Kawamata Log Terminal (KLT) para pontos de característica de resíduo 0.

Contribuições e Resultados Principais

• Teorema A (Teorema Principal): Este é o resultado primário, fornecendo um teorema de geração global efetiva para imagens diretas de fibrados pluricanônicos em característica mista.

  • Configuração: Seja $f: X \to Y$ uma sobrejeção entre esquemas projetivos planos integrais sobre um DVR completo $(R, \mathfrak{m}_R)$ de característica mista $(0, p)$. Seja $\Delta$ um divisor $\mathbb{Q}$-efetivo tal que $K_X + \Delta$ seja $\mathbb{Q}$-Cartier.
  • Hipóteses: A restrição $(K_X + \Delta)|_U$ é $f|_U$-ampla, e o par satisfaz condições específicas de singularidade (BCM-regularidade em char $p$, KLT em char 0) sobre um conjunto aberto $U \subset X$.
  • Conclusão: Para múltiplos suficientemente grandes $m$ do índice de $K_X + \Delta$, e para $l \geq m(n+1)$ (onde $n = \dim Y_{\mathfrak{m}_R}$), o feixe $f_* \mathcal{O}_X(m(K_X + \Delta)) \otimes L^{\otimes l}$ é gerado globalmente sobre $V = f(U)$.
  • Significado: Isso unifica e estende os resultados de Popa-Schnell e Ejiri para o cenário de característica mista.

• Teorema C (Lema Chave): Um teorema de geração global para a imagem direta $+$-estável $B^0 f_*(\tau_+(\omega_X, B) \otimes M)$. Este resultado generaliza [HLS24, Teorema B] para o cenário relativo e é o motor técnico que impulsiona o Teorema A. Afirma que, se $-B$ for semi-amplo e grande sobre um conjunto aberto, a imagem direta $+$-estável torcida é gerada globalmente.

• Teorema B (Positividade Fraca): Como aplicação, o artigo estabelece uma afirmação de positividade fraca para o feixe canônico relativo. Sob hipóteses de suavidade e condições leves de singularidade, mostra-se que $K_{X/Y} + \Delta$ é fracamente positivo sobre $U$. Este é um análogo em característica mista do teorema de positividade fraca de Viehweg.

• Corolários sobre Geração Global:

  • O artigo deriva que $f_* \mathcal{O}_X(m(K_{X/Y} + \Delta)) \otimes \omega_Y \otimes L^{\otimes (n+1)}$ é gerado globalmente, análogo ao teorema de Fujino em característica zero e ao de Ejiri em característica positiva.
  • Fornece condições sob as quais $f_* \omega_X \otimes L^{\otimes l}$ é gerado globalmente para $m=1$, dependendo de as singularidades de $X$ satisfazerem condições específicas (por exemplo, singularidades de soma finita ou BCM-regularidade).

• Positividade de Divisores Anticanônicos: O artigo prova que a descida suave da positividade do divisor anticanônico vale em característica mista (Proposição 6.8). Especificamente, se $-K_X - f^*N$ for nef (ou amplo), então $-K_Y - N$ também é nef (ou amplo).

Significado e Alegações
O artigo alega fornecer os primeiros resultados de geração global efetiva para imagens diretas de fibrados pluricanônicos em característica mista, preenchendo uma lacuna entre as teorias de característica zero e característica positiva.

• Demonstra que a maquinaria de ideais $+$-de-teste e fechamentos integrais absolutos é robusta o suficiente para lidar com cenários relativos e aritmética em característica mista.
• Os resultados são apresentados como análogos em característica mista de teoremas estabelecidos por Popa, Schnell, Ejiri e Fujino, e não como fenômenos inteiramente novos, embora as condições sobre as singularidades (BCM-regularidade) sejam específicas ao contexto de característica mista.
• O autor observa que, embora o resultado de positividade fraca (Teorema B) seja mais fraco que a positividade fraca completa do próprio feixe de imagem direta, ele é suficiente para muitas aplicações, incluindo a prova da geração global da imagem direta torcida e a descida da positividade anticanônica.

O artigo não alega resolver a conjectura geral de liberdade de Fujita em característica mista, mas foca no caso específico de imagens diretas de fibrados pluricanônicos, recorrendo a desenvolvimentos recentes na álgebra comutativa (especificamente o trabalho de Bhatt, Ma, Schwede e outros) para superar a falta de teoremas de anulação disponíveis em característica zero.