On Fujita's conjecture for a general hyperkähler manifold in the standard series of examples

Sintesi Tecnica: Congettura di Fujita per Varietà Iperkahler

1. Il Problema e il Contesto

Il lavoro si inserisce nel contesto della Congettura di Fujita, un problema fondamentale nella geometria algebrica complessa. La congettura afferma che, data una varietà complessa compatta $X$ di dimensione $n$ e un fascio di linee ampio $L$, il fascio $K_X \otimes L^{\otimes m}$ è:

• Senza punti base (base point free) per ogni $m \geq n+1$.
• Molto ampio (very ample) per ogni $m \geq n+2$.

Sebbene la congettura sia aperta in generale, è stata dimostrata per superfici K3 (con limiti migliori, $m \geq 2$) e varietà abeliane ($m \geq 3$). L'obiettivo di questo articolo è studiare la validità e i limiti di questa congettura (o di versioni ad essa correlate riguardanti la base point freeness e la very ampleness di $L$ stesso o sue potenze) per le varietà iperkahler (o varietà a forma simplettica olomorfa irriducibile), in particolare per le due famiglie standard che esistono in ogni dimensione:

1. Tipo $K3^{[n]}$: Deformazioni dello schema di Hilbert di $n$ punti su una superficie K3, $S^{[n]}$.
2. Tipo $Kum_n$: Deformazioni delle varietà di Kummer generalizzate, $Kum_n(T)$, derivate da una superficie abeliana $T$.

L'autore si concentra sui moduli spazi polarizzati $\Sigma^n_{d,t}$ e $\Upsilon^n_{d,t}$, che parametrizzano coppie $(X, H)$ dove $X$ è una varietà iperkahler, $H$ è un fascio di linee ampio primitivo, $q(H) = 2d$ (dove $q$ è la forma di Beauville-Bogomolov-Fujiki) e $div(H) = t$ (divisibilità).

2. Metodologia

L'approccio metodologico combina tecniche di teoria dei fasci su schemi di Hilbert, teoria dei reticoli e proprietà di stabilità delle proprietà geometriche nelle famiglie.

• Fasci Tautologici su Schemi di Hilbert:
  L'autore utilizza la costruzione del fascio tautologico $F^{[n]}$ associato a un fascio $F$ su una superficie $S$, definito sullo schema di Hilbert $S^{[n]}$. Viene dimostrato che se $F$ è $(n-1)$-molto ampio su $S$, allora il fascio tautologico $F^{[n]}$ è globalmente generato su $S^{[n]}$.
  Inoltre, viene analizzato il determinante di questo fascio vettoriale: $\det(F^{[n]}) \cong L^n - \delta$, dove $L^n$ è il pullback del fascio dalla potenza simmetrica e $\delta$ è la classe del divisore eccezionale.
  Viene stabilito un legame cruciale: se $L$ è $n$-molto ampio su $S$, allora $\det(L^{[n]})$ è molto ampio su $S^{[n]}$.

• Struttura dei Reticoli e Divisibilità:
  Vengono sfruttate le strutture dei reticoli di cohomologia $H^2(X, \mathbb{Z})$ per i tipi $K3^{[n]}$ e $Kum_n$. In particolare, si utilizza la decomposizione ortogonale $H^2(X) \cong H^2(S) \oplus \mathbb{Z}\delta$ (o $H^2(T) \oplus \mathbb{Z}\delta$). Questo permette di calcolare esplicitamente la divisibilità $t$ e il quadrato $q(H)$ di un fascio di linee $H = aL + b\delta$ in termini di $a, b, d, n$.

• Proprietà di Apertura e Irreducibilità:
  Un pilastro della dimostrazione è l'uso del fatto che le proprietà di "base point free" e "very ample" sono aperte nelle famiglie piatte di varietà iperkahler. Poiché i moduli spazi $\Sigma^n_{d,t}$ e $\Upsilon^n_{d,t}$ sono lisci e le loro componenti connesse sono irriducibili (teorema di Debarre, Hassett, Tschinkel, ecc.), se si può dimostrare l'esistenza di un elemento in una componente con le proprietà desiderate, allora l'elemento generale in quella stessa componente possiede tali proprietà.

• Costruzione di Esempi Specifici:
  Per dimostrare l'esistenza di elementi con le proprietà richieste, l'autore costruisce esplicitamente esempi all'interno dei moduli spazi partendo da superfici K3 o abeliane con reticoli di Picard di rango 1, applicando i risultati di molto ampiezza noti per le superfici (Proposizioni 5.1 e 5.2) e sollevandoli alla dimensione superiore tramite i fasci tautologici.

3. Risultati Chiave e Contributi

Il risultato principale è la generalizzazione dei limiti noti per le superfici a dimensioni arbitrarie $n$, fornendo condizioni sufficienti su $d$ (il quadrato della polarizzazione) in funzione di $n$ e della divisibilità $t$.

Sia $\tau := \frac{t^2}{2(t-1)}$.

Teorema Principale (Teorema 0.1 e Teorema 5.8):
Per un elemento generale $(X, H)$ nei moduli spazi considerati (a condizione che lo spazio non sia vuoto):

1. Caso $t=1$ (Polarizzazione primitiva con divisibilità 1):

   • $H$ è senza punti base.
   • $H$ è molto ampio se $d \geq n+1$ (per tipo $K3^{[n]}$) o $d \geq n+4$ (per tipo $Kum_n$).
   • Inoltre, $H^{n+2}$ è sempre molto ampio (corollario della congettura di Fujita per queste varietà).

2. Caso $t \geq 2$ (Divisibilità arbitraria):
   L'autore fornisce limiti inferiori per $d$ che garantiscono l'esistenza di una componente connessa dove l'elemento generale ha le proprietà desiderate:

   • Senza punti base:
     • Tipo $K3^{[n]}$: $d \geq (\tau - 1)n + \tau + 1$.
     • Tipo $Kum_n$: $d \geq (\tau - 1)n + 2\tau - 1$.
   • Molto ampio:
     • Tipo $K3^{[n]}$: $d \geq (\tau - 1)n + 2\tau + 1$.
     • Tipo $Kum_n$: $d \geq (\tau - 1)n + 3\tau - 1$.

Caratterizzazione degli Spazi Non Vuoti (Proposizione 5.10):
L'articolo fornisce una condizione necessaria e sufficiente per la non vacuità dei moduli spazi $\Sigma^n_{d,t}$ e $\Upsilon^n_{d,t}$. Ad esempio, per $\Sigma^n_{d,t} \neq \emptyset$, è necessario e sufficiente che:

• $t$ divida $2(n-1)$.
• Esista un intero $b$ coprimo con $t$ tale che $d \equiv t^2 - b^2(n-1) \pmod{2t}$ (o una forma equivalente dipendente dalla struttura del reticolo).

Questa caratterizzazione permette di verificare se i limiti forniti nel teorema principale sono applicabili in casi specifici.

4. Significato e Implicazioni

• Generalizzazione della Congettura di Fujita: Il lavoro estende la comprensione della congettura di Fujita oltre le varietà di dimensione bassa e le varietà speciali (K3, Abelian), fornendo limiti espliciti per le varietà iperkahler di dimensione arbitraria.
• Ruolo della Divisibilità: Dimostra come la divisibilità $t$ della polarizzazione influenzi drasticamente i limiti necessari per garantire l'ampiezza. Il parametro $\tau$ cattura questa dipendenza, mostrando che per $t$ grandi i requisiti su $d$ crescono quadraticamente.
• Struttura dei Moduli Spazi: La connessione tra la struttura dei moduli spazi (numero di componenti connesse) e le proprietà geometriche degli elementi generali è un contributo metodologico significativo. L'autore mostra come la conoscenza della topologia dei moduli spazi (tramite i teoremi di [2] e [12]) permetta di "trasferire" proprietà da esempi costruiti ad arte all'elemento generale.
• Strumenti Tecnici: La dimostrazione che $H^{n+2}$ è molto ampio per un fascio senza punti base su una varietà iperkahler di dimensione $n$ (Lemma 5.12) offre un risultato indipendente di interesse, collegando la regolarità di Castelnuovo-Mumford alla geometria delle varietà iperkahler.

In sintesi, il paper fornisce un quadro completo e quantitativo per la base point freeness e la very ampleness delle polarizzazioni sui moduli spazi di varietà iperkahler standard, risolvendo casi aperti e fornendo strumenti per analizzare casi specifici attraverso la caratterizzazione della non vacuità.