Some remarks on L-equivalence for cubic fourfolds and hyper-Kähler manifolds

1. Il Problema e il Contesto

Il paper si inserisce nel campo della geometria algebrica complessa, focalizzandosi sulla relazione tra diverse nozioni di equivalenza per varietà algebriche, in particolare cubiche quadriche (cubic fourfolds) e varietà iper-Kähler.

Il problema centrale ruota attorno alla L-equivalenza (L-equivalence) e alla sua connessione con l'equivalenza derivata (D-equivalence).

• L-equivalenza: Due varietà $X$ e $Y$ sono L-equivalenti se esiste un intero positivo $r$ tale che $\mathbb{L}^r \cdot ([X] - [Y]) = 0$ nell'anello di Grothendieck delle varietà $K_0(\text{Var}_k)$, dove $\mathbb{L} = [\mathbb{A}^1]$ è il motivo di Lefschetz.
• D-equivalenza: Due varietà sono D-equivalenti se le loro categorie derivate limitate di fasci coerenti sono equivalenti ($D^b(X) \cong D^b(Y)$).

La congettura di Kuznetsov-Shinder (e successivamente di Ito-Miura-Okawa-Ueda) suggerisce che varietà semplicemente connesse D-equivalenti dovrebbero essere anche L-equivalenti. La direzione opposta, formulata come Congettura di Meinsma per le varietà iper-Kähler proiettive, afferma che se due varietà iper-Kähler sono L-equivalenti, allora dovrebbero essere anche D-equivalenti.

L'obiettivo del lavoro è testare questa congettura nel caso delle cubiche quadriche e delle varietà iper-Kähler associate, utilizzando strumenti di teoria dei reticoli e strutture di Hodge.

2. Metodologia

Gli autori adottano un approccio basato sulla teoria di Hodge e sulla teoria dei reticoli, sfruttando le implicazioni della L-equivalenza sulle strutture coomologiche.

• Strumenti di Hodge e Lattice: Si utilizzano i risultati di Efimov e Meinsma che collegano la L-equivalenza all'uguaglianza delle classi nel gruppo di Grothendieck delle strutture di Hodge integrali polarizzabili. In particolare, si analizzano i sottogruppi trascendenti ($T(X)$) e le loro proprietà (discriminante, endomorfismi di Hodge).
• Teoremi di Torelli: Si fa ampio uso dei teoremi di Torelli per le cubiche quadriche e per le varietà iper-Kähler, che permettono di ricostruire la varietà (o la sua birazionalità) a partire dall'isometria delle strutture di Hodge sui loro reticoli di coomologia.
• Decomposizioni Semi-ortogonali: Per le cubiche quadriche, si utilizza la decomposizione di Kuznetsov della categoria derivata $D^b(Y) = \langle \mathcal{A}_Y, \mathcal{O}_Y, \mathcal{O}_Y(1), \mathcal{O}_Y(2) \rangle$, dove $\mathcal{A}_Y$ è la "componente di Kuznetsov". L'equivalenza di Fourier-Mukai (FM) tra cubiche è definita come un'equivalenza tra le componenti $\mathcal{A}_Y$ e $\mathcal{A}_{Y'}$.
• Costruzioni Geometriche: Si analizzano varietà iper-Kähler costruite a partire da cubiche quadriche (varietà delle rette $F(Y)$, varietà LSV $J(Y)$, spazi di moduli su $\mathcal{A}_Y$) e da superfici K3 (schemi di Hilbert, spazi di moduli di fasci).

3. Contributi Chiave e Risultati Principali

A. Cubiche Quadriche (Cubic Fourfolds)

Il primo contributo riguarda la relazione tra L-equivalenza e isomorfismo per le cubiche quadriche.

1. Caso Generale (Teorema 1.3):
   Se $Y$ è una cubica quadrica "molto generale" (very general, ovvero non contenuta in nessun divisore di Hassett $C_d$) e $Y'$ è L-equivalente a $Y$, allora $Y \cong Y'$ (e quindi sono D-equivalenti).

   • Dimostrazione: Si mostra che la L-equivalenza implica l'uguaglianza dei discriminanti dei reticoli trascendenti. Sotto l'ipotesi di "generalità", si ha $\text{End}(T(Y)) = \mathbb{Z}$ e il rango del reticolo trascendente è 22. Questo permette di costruire un'isometria di Hodge tra i reticoli trascendenti, che si estende all'intero reticolo di coomologia $H^4(Y, \mathbb{Z})$ preservando la classe del piano. Per il teorema di Torelli, ne segue l'isomorfismo.

2. Caso Speciale (Osservazione 1.4):
   Esistono cubiche quadriche speciali (contenenti superfici specifiche, es. superficie di Veronese) che sono L-equivalenti ma non isomorfe.

   • Esempio: Si citano esempi di Fan e Lai in $C_{20}$. Due cubiche $Y, Y'$ legate da una trasformazione di Cremona sono L-equivalenti (poiché differiscono per classi di varietà isomorfe) e sono partner di Fourier-Mukai, ma non sono isomorfe.

3. Partner di Fourier-Mukai (Teorema 1.5 e Congettura 1.6):
   Per cubiche molto generali in certi divisori di Hassett $C_d$ (con $d \not\equiv 0 \pmod 9$), se $Y$ e $Y'$ sono L-equivalenti, allora sono partner di Fourier-Mukai (ovvero $\mathcal{A}_Y \cong \mathcal{A}_{Y'}$).

   • Gli autori formulano la Congettura 1.6: Se due cubiche quadriche sono L-equivalenti, allora sono partner di Fourier-Mukai.

B. Varietà Iper-Kähler

Il lavoro fornisce evidenze a supporto della Congettura di Meinsma per diverse classi di varietà iper-Kähler proiettive.

1. Varietà LSV (Proposizione 4.5):
   Se $X$ e $X'$ sono varietà di tipo OG10 birazionali alle varietà LSV associate a cubiche $Y$ e $Y'$, e sono L-equivalenti, allora $Y \cong Y'$ e $X$ è birazionale a $X'$.

2. Spazi di Moduli sulla Componente di Kuznetsov (Proposizione 4.10):
   Se $M_v(\sigma)$ e $M_w(\sigma')$ sono spazi di moduli di oggetti stabili nella componente di Kuznetsov di cubiche $Y$ e $Y'$ (con vettori di Mukai primitivi o di tipo O'Grady con lo stesso quadrato), e sono L-equivalenti, allora $Y \cong Y'$ e gli spazi di moduli sono birazionali. Se sono di tipo $K3^{[n]}$, sono anche D-equivalenti.

3. Varietà da Superfici K3 (Proposizioni 4.13 e 4.14):

   • Per varietà di tipo OG10 con condizioni specifiche sul reticolo di Néron-Severi e discriminante trascendente, la L-equivalenza implica birazionalità e D-equivalenza.
   • Per varietà di tipo $K3^{[n]}$ (birazionali a schemi di Hilbert di una superficie K3 $S$), sotto ipotesi di generalità sul reticolo trascendente e condizioni sul discriminante, la L-equivalenza implica la D-equivalenza.

4. Significato e Implicazioni

Questo lavoro è significativo per diversi motivi:

• Validazione della Congettura di Meinsma: Fornisce una serie di casi concreti (cubiche molto generali, varietà LSV, spazi di moduli su K3) in cui la L-equivalenza implica effettivamente la D-equivalenza (o una forma forte di equivalenza come la birazionalità o l'equivalenza FM), supportando l'ipotesi che per le varietà iper-Kähler proiettive queste nozioni siano strettamente correlate.
• Distinzione tra Casi Generali e Speciali: Dimostra chiaramente che la L-equivalenza non implica sempre l'isomorfismo per le cubiche quadriche, ma solo per quelle "molto generali". Questo evidenzia il ruolo cruciale della posizione nel moduli space (divisori di Hassett) nel determinare la rigidità della varietà rispetto all'equivalenza motivica.
• Strumenti Tecnici: Il paper rafforza il legame tra la teoria dei reticoli (in particolare le proprietà dei gruppi di discriminante e le isometrie di Hodge) e la geometria algebrica complessa, offrendo un metodo sistematico per studiare l'equivalenza derivata attraverso l'anello di Grothendieck.
• Nuove Congetture: Introduce la congettura che la L-equivalenza per cubiche quadriche implichi l'essere partner di Fourier-Mukai, generalizzando il risultato noto per le superfici K3.

In sintesi, gli autori dimostrano che, sebbene la L-equivalenza sia una condizione motivica debole, essa agisce come un potente invariante geometrico per varietà con strutture di Hodge rigide (come le cubiche molto generali e le varietà iper-Kähler), spesso forzando l'equivalenza derivata o la birazionalità, a meno di casi speciali ben caratterizzati.