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

Sintesi Tecnica: Sulla Generazione Efficace delle Immagini Dirette di Fasci Pluricanonici in Caratteristica Mista

Enunciato del Problema
Il lavoro affronta il problema di stabilire risultati di generazione globale efficace per le immagini dirette di fasci pluricanonici in caratteristica mista. Nello specifico, cerca un analogo in caratteristica mista di due risultati principali:

1. Caratteristica Zero: Il teorema di Popa e Schnell [PS14], che dimostra che per un morfismo suriettivo $f: X \to Y$ tra varietà proiettive non singolari su $\mathbb{C}$, l'immagine diretta $f_* \omega_X^{\otimes m} \otimes L^{\otimes l}$ è globalmente generata per $l \geq m(\dim Y + 1)$, dove $L$ è un fascio di linee ampio su $Y$.
2. Caratteristica Positiva: Il teorema di Ejiri [Eji24], che stabilisce un risultato simile sotto l'ipotesi che $m$ sia sufficientemente grande e il divisore canonico sia relativamente ampio, notando che il limite in caratteristica zero fallisce in caratteristica positiva senza ipotesi aggiuntive (ad esempio, a causa di controesempi di Moret-Bailly).

La sfida centrale in caratteristica mista è l'assenza di un morfismo di Frobenius diretto e la complessità delle singolarità, che richiedono l'adattamento di tecniche dall'algebra commutativa e dalla teoria degli ideali di test.

Metodologia
L'autore impiega un quadro basato sugli ideali di test $+$ e sulle chiusure integrali assolute, sviluppati recentemente da Hacon, Lamarche e Schwede [HLS24] e da Bhatt et al. [BMP+23]. La metodologia coinvolge:

1. Immagini Dirette $+$-Stabili Relative: Il lavoro generalizza la definizione dell'ideale di test $+$-stabile $\tau_+(\mathcal{O}_X, \Delta)$ al contesto relativo. Definisce un sottom fascio $B^0 f_*(\tau_+(\omega_X, \Delta) \otimes M) \subset f_*(\omega_X \otimes M)$, denominato immagine diretta $+$-stabile. Questo funge da analogo in caratteristica mista dell'immagine diretta stabile per Frobenius $S^0$ utilizzata in caratteristica positiva.
2. Teoremi di Annullamento: Le dimostrazioni si basano pesantemente sul teorema di annullamento di Bhatt [BMP+23] per la coomologia sulla chiusura integrale assoluta $X^+$, che sostituisce il ruolo dell'annullamento di Kodaira in caratteristica zero e dell'annullamento di Serre in caratteristica positiva.
3. Trucco del Prodotto Fibra: Per stabilire risultati di positività debole, l'autore utilizza il trucco del prodotto fibra di Viehweg, costruendo prodotti fibra $X^{(l)} = X \times_Y \cdots \times_Y X$ e analizzando il comportamento dei fasci pluricanonici sotto queste costruzioni.
4. Condizioni sulle Singolarità: I risultati impongono condizioni specifiche sulle singolarità della varietà sorgente $X$. In caratteristica mista, queste condizioni coinvolgono la BCM-regolarità (regolarità di Big Cohen-Macaulay) per punti di caratteristica residua $p$ e condizioni Kawamata Log Terminal (KLT) per punti di caratteristica residua 0.

Contributi e Risultati Chiave

• Teorema A (Teorema Principale): Questo è il risultato primario, che fornisce un teorema di generazione globale efficace per le immagini dirette di fasci pluricanonici in caratteristica mista.

  • Impostazione: Sia $f: X \to Y$ una suriezione tra schemi proiettivi piatti integrali su un DVR completo $(R, \mathfrak{m}_R)$ di caratteristica mista $(0, p)$. Sia $\Delta$ un divisore $\mathbb{Q}$-effettivo tale che $K_X + \Delta$ sia $\mathbb{Q}$-Cartier.
  • Ipotesi: La restrizione $(K_X + \Delta)|_U$ è $f|_U$-ampia e la coppia soddisfa condizioni specifiche sulle singolarità (BCM-regolarità in caratteristica $p$, KLT in caratteristica 0) su un insieme aperto $U \subset X$.
  • Conclusione: Per multipli sufficientemente grandi $m$ dell'indice di $K_X + \Delta$, e per $l \geq m(n+1)$ (dove $n = \dim Y_{\mathfrak{m}_R}$), il fascio $f_* \mathcal{O}_X(m(K_X + \Delta)) \otimes L^{\otimes l}$ è globalmente generato su $V = f(U)$.
  • Significato: Questo unifica ed estende i risultati di Popa-Schnell e Ejiri al contesto della caratteristica mista.

• Teorema C (Lemma Chiave): Un teorema di generazione globale per l'immagine diretta $+$-stabile $B^0 f_*(\tau_+(\omega_X, B) \otimes M)$. Questo risultato generalizza [HLS24, Teorema B] al contesto relativo ed è il motore tecnico che guida il Teorema A. Afferma che se $-B$ è semiampio e grande su un insieme aperto, l'immagine diretta $+$-stabile twistata è globalmente generata.

• Teorema B (Positività Debole): Come applicazione, il lavoro stabilisce un'affermazione di positività debole per il fascio canonico relativo. Sotto ipotesi di regolarità e condizioni di singolarità lievi, si dimostra che $K_{X/Y} + \Delta$ è debolmente positivo su $U$. Questo è un analogo in caratteristica mista del teorema di positività debole di Viehweg.

• Corollari sulla Generazione Globale:

  • Il lavoro deriva che $f_* \mathcal{O}_X(m(K_{X/Y} + \Delta)) \otimes \omega_Y \otimes L^{\otimes (n+1)}$ è globalmente generato, analogamente al teorema di Fujino in caratteristica zero e a quello di Ejiri in caratteristica positiva.
  • Fornisce condizioni sotto le quali $f_* \omega_X \otimes L^{\otimes l}$ è globalmente generata per $m=1$, a condizione che le singolarità di $X$ soddisfino condizioni specifiche (ad esempio, singolarità di somma finita o BCM-regolarità).

• Positività dei Divisori Anticanonici: Il lavoro dimostra che la discesa regolare della positività del divisore anticanonico vale in caratteristica mista (Proposizione 6.8). Nello specifico, se $-K_X - f^*N$ è nef (o ampio), allora anche $-K_Y - N$ è nef (o ampio).

Significato e Affermazioni
Il lavoro afferma di fornire i primi risultati di generazione globale efficace per le immagini dirette di fasci pluricanonici in caratteristica mista, colmando un vuoto tra le teorie in caratteristica zero e in caratteristica positiva.

• Dimostra che la macchina degli ideali di test $+$ e delle chiusure integrali assolute è abbastanza robusta da gestire contesti relativi e aritmetica in caratteristica mista.
• I risultati sono presentati come analoghi in caratteristica mista di teoremi consolidati di Popa, Schnell, Ejiri e Fujino, piuttosto che come fenomeni interamente nuovi, sebbene le condizioni sulle singolarità (BCM-regolarità) siano specifiche al contesto della caratteristica mista.
• L'autore nota che, sebbene il risultato di positività debole (Teorema B) sia più debole della piena positività debole del fascio immagine diretta stesso, è sufficiente per molte applicazioni, inclusa la dimostrazione della generazione globale dell'immagine diretta twistata e la discesa della positività anticanonica.

Il lavoro non afferma di risolvere la congettura generale di libertà di Fujita in caratteristica mista, ma si concentra sul caso specifico delle immagini dirette di fasci pluricanonici, affidandosi a sviluppi recenti nell'algebra commutativa (in particolare il lavoro di Bhatt, Ma, Schwede e altri) per superare la mancanza di teoremi di annullamento disponibili in caratteristica zero.