On maximality of involutions of hyper-Kähler manifolds and punctual Hilbert schemes of surfaces

1. Il Problema di Ricerca

Il paper si inserisce nel contesto della topologia algebrica e della geometria reale, focalizzandosi sulla disuguaglianza di Smith. Per una varietà complessa $X$ dotata di un'involuzione $\sigma$ (olomorfa o anti-olomorfa), la disuguaglianza di Smith afferma che la somma dei numeri di Betti con coefficienti in $\mathbb{F}_2$ del luogo fisso $X^\sigma$ non supera la somma dei numeri di Betti di $X$:
$$b_*(X^\sigma, \mathbb{F}_2) \leq b_*(X, \mathbb{F}_2)$$
L'involuzione è detta massimale (o la coppia $(X, \sigma)$ è un $M$-varietà) se vale l'uguaglianza.

Il lavoro indaga due problemi principali:

1. Schemi di Hilbert: Data una superficie complessa liscia $S$ con un'involuzione $\sigma$, quando l'involuzione indotta naturalmente sullo schema di Hilbert di $n$ punti $S^{[n]}$ è massimale?
2. Varietà Iper-Kähler: Le varietà iper-Kähler compatte (in particolare quelle di tipo $K3^{[n]}$) ammettono involuzioni massimali? Questo include involuzioni anti-olomorfe (strutture reali, brane ABA/AAB), involuzioni olomorfe anti-simplessiche (brane BAA) e involuzioni olomorfe simplessiche (brane BBB/trianalitiche).

2. Metodologia

Gli autori combinano strumenti avanzati di topologia algebrica, teoria dei reticoli e geometria delle varietà iper-Kähler:

• Teoria di Smith e Spettri di Kalinin: Utilizzano la sequenza esatta di Smith-Gysin e la spettro di Kalinin per analizzare le involuzioni senza punti fissi. Un differenziale non nullo in questo spettro fornisce un'ostacolo alla massimalità.
• Cohomologia Integrale degli Schemi di Hilbert: Sfruttano la base integrale per la coomologia degli schemi di Hilbert $S^{[n]}$ costruita da Li, Qin e Wang, basata sugli operatori di Nakajima. Questo permette di tracciare esplicitamente l'azione dell'involuzione sui gruppi di coomologia in grado 2 e 4.
• Teoria dei Reti e Azione di Monodromia: Per le varietà iper-Kähler di tipo $K3^{[n]}$, utilizzano la teoria dei reticoli (forma quadratica di Beauville-Bogomolov-Fujiki) e l'azione del gruppo di monodromia (risultati di Markman). Analizzano come le involuzioni agiscono sui sottoreticoli invarianti e anti-invarianti e sulla discriminante del reticolo.
• Rotazione Iper-Kähler: Sfruttano la libertà di ruotare la struttura complessa per trasformare involuzioni anti-olomorfe in involuzioni olomorfe anti-simplessiche, permettendo di trattare casi diversi con gli stessi strumenti coomologici.
• Condizioni di Massimalità Cohomologica: Utilizzano il carattere di Comessatti e la degenerazione della successione spettrale di Leray-Serre come criteri equivalenti alla massimalità.

3. Risultati Chiave e Contributi

A. Schemi di Hilbert di Superfici (Teoremi 1.8 e 1.9)

Per una superficie proiettiva liscia $S$ con $H^1(S, \mathbb{F}_2) = 0$, gli autori forniscono condizioni necessarie e sufficienti per la massimalità dell'involuzione indotta su $S^{[n]}$ ($n \geq 2$):

1. Caso Anti-Olomorfo (Struttura Reale): $S^{[n]}$ è massimale se e solo se $S$ è massimale e il suo luogo reale è connesso (equivalentemente, $\sigma$ agisce come $-\text{id}$ su $H^2(S, \mathbb{Z})$).
2. Caso Olomorfo: $S^{[n]}$ è massimale se e solo se $\sigma$ è massimale su $S$ e agisce trivialmente su $H^2(S, \mathbb{Z})$.

Implicazione sorprendente: Se l'involuzione indotta su $S^{[n]}$ è massimale per un certo $n \geq 2$, lo è per tutti gli $n \geq 2$.

B. Non-esistenza su Varietà Iper-Kähler di Tipo $K3^{[n]}$ (Teoremi 1.4, 1.5, 1.6)

Il risultato principale e più inaspettato del lavoro è la dimostrazione della non-esistenza di involuzioni massimali su varietà iper-Kähler compatte di tipo $K3^{[n]}$ per $n \geq 2$:

• Teorema 1.4: Non esistono involuzioni olomorfe anti-simplessiche massimali (brane BAA).
• Corollario 1.5: Non esistono strutture reali massimali (brane ABA/AAB) su tali varietà.
• Teorema 1.6: Non esistono involuzioni olomorfe simplessiche non banali massimali (brane BBB).

Questo risolve negativamente una domanda aperta sollevata da Fu, generalizzando risultati precedenti che riguardavano solo il caso $n=2$ (il quadrato di Hilbert).

Meccanismo della prova:
Gli autori dimostrano che per qualsiasi involuzione $\sigma$ su una varietà $X$ di tipo $K3^{[n]}$, l'azione su $H^4(X, \mathbb{Z})$ (o su un sottoreticolo specifico) non può essere banale modulo 2. In particolare, costruiscono elementi nella coomologia di grado 4 la cui azione di $\sigma$ genera un carattere di Comessatti non nullo ($\lambda \geq 1$), violando la condizione necessaria per la massimalità (che richiede $\lambda=0$). La prova si basa sulla classificazione dei sottoreticoli invarianti del reticolo di Beauville-Bogomolov e sull'azione della monodromia.

C. Casi di Superfici con Involuzione Libera (Sezione 5)

Gli autori dimostrano che se una superficie $S$ ammette un'involuzione libera (senza punti fissi), allora l'involuzione indotta su $S^{[n]}$ non è mai massimale. Questo viene provato analizzando casi specifici come quadriche, superfici di Hirzebruch e "fake quadriche" utilizzando la spettro di Kalinin.

4. Significato e Impatto

1. Limiti della Geometria Reale Compatta: Il lavoro stabilisce un confine netto tra le superfici (dove esistono esempi massimali e le loro potenze di Hilbert possono esserlo) e le varietà iper-Kähler di dimensione superiore ($\geq 4$). Mentre le superfici K3 reali massimali esistono, le loro "potenze simmetriche" (o schemi di Hilbert) non ereditano la massimalità se $n \geq 2$.
2. Ottimalità della Disuguaglianza di Smith: I risultati suggeriscono che la disuguaglianza di Smith è molto lontana dall'essere ottimale per le involuzioni simplessiche su varietà iper-Kähler. Anche se non massimali, gli autori forniscono stime più precise sui numeri di Betti dei luoghi fissi, mostrando che sono significativamente più piccoli del limite superiore teorico.
3. Connessione con la Teoria delle Brane: I risultati hanno implicazioni dirette nella teoria delle stringhe e nella fisica matematica (dualità di Kapustin-Witten), indicando che certi tipi di brane massimali non possono esistere su queste varietà compatte specifiche.
4. Strumenti Computazionali: Il paper fornisce un metodo robusto per calcolare l'azione delle involuzioni sulla coomologia degli schemi di Hilbert tramite operatori di Nakajima e basi integrali, un approccio che può essere applicato ad altri problemi di enumerazione e topologia.

In sintesi, il paper risolve completamente il problema della massimalità per gli schemi di Hilbert di superfici con $H^1=0$ e dimostra un teorema di non-esistenza fondamentale per le varietà iper-Kähler di tipo $K3^{[n]}$, chiudendo un capitolo importante nella geometria reale delle varietà di alta dimensione.