A note on the Nielsen realization problem for Enriques manifolds

Panoramica del Problema

Il Problema di Realizzazione di Nielsen chiede se un gruppo finito $G$ di classi di mappatura (mapping classes) di una varietà complessa possa essere "realizzato" come un gruppo di diffeomorfismi che preservano la struttura complessa e una metrica specifica (in questo caso, una metrica di Einstein). Equivalentemente, la domanda è se $G$ fissi un punto nello spazio di Teichmüller della varietà.

Mentre il problema è stato risolto per le curve complesse (Kerckhoff, 1983) e recentemente affrontato per le superfici K3 e le varietà iper-Kähler (Farb-Looijenga, 2024; Billi, 2025), questo articolo si concentra sulle varietà di Enriques di dimensione superiore. Una varietà di Enriques $Y$ è una varietà complessa il cui rivestimento universale $X$ è una varietà iper-Kähler. Il gruppo fondamentale $\pi_1(Y)$ è ciclico di ordine $d$ (chiamato indice della varietà), e $Y = X/D$ dove $D \cong \pi_1(Y)$ agisce liberamente su $X$.

L'obiettivo principale è stabilire criteri numerici per determinare quali gruppi finiti di classi di mappatura su $Y$ possono essere realizzati come isometrie di una metrica di Einstein, sfruttando le recenti sviluppi nella teoria di Birman-Hilden per le varietà iper-Kähler.

Metodologia e Strumenti Teorici

L'autore combina risultati recenti sulla teoria di Birman-Hilden per varietà iper-Kähler (Raman, 2025) con criteri di realizzazione coomologica per varietà iper-Kähler (Billi, 2025). La metodologia si articola nei seguenti punti:

1. Teoria di Birman-Hilden: Per una varietà di Enriques $Y$ con rivestimento universale $X$, esiste un morfismo indotto tra il gruppo delle classi di mappatura simmetriche di $X$ (che commutano con l'azione di $D$) e il gruppo delle classi di mappatura di $Y$:
   $$\tilde{p}: SMod_D(X) \to Mod(Y)$$
   che induce un isomorfismo $SMod_D(X)/D \cong Mod(Y)$. Questo permette di studiare la realizzazione su $Y$ analizzando il sollevamento $\tilde{G}$ di un sottogruppo $G \leq Mod(Y)$ a $SMod_D(X)$.

2. Invarianti Rettilinei e Azione sulla Cohomologia: Si considera l'azione del gruppo di mappatura sulla coomologia $H^2(X, \mathbb{Z})$, che porta a una rappresentazione $\rho_X: Mod(X) \to O^+(\Lambda_X)$, dove $\Lambda_X$ è il reticolo di Beauville-Bogomolov-Fujiki.

   • Un gruppo finito $\tilde{G}$ fissa un punto nello spazio di Teichmüller delle metriche di Einstein se e solo se fissa un sottospazio positivo 3-dimensionale $P$ in $\Lambda_X \otimes \mathbb{R}$.
   • Si definisce $L_{\tilde{G}}$ come l'intersezione ortogonale alla somma delle sottorappresentazioni irriducibili isomorfe a quelle in $P$.

3. Condizioni di Realizzabilità: La realizzabilità è legata all'assenza di "ostacoli" nel reticolo coomologico, in particolare all'intersezione tra $L_{\tilde{G}}$ e l'insieme $\Delta_C$ delle forme negative indivisibili rappresentate da curve razionali irriducibili per una data componente $C$ dello spazio di Teichmüller.

Risultati Principali

Il lavoro presenta due risultati fondamentali:

1. Criterio Numerico di Realizzazione (Teorema 0.1)

Sia $Y$ una varietà di Enriques con rivestimento $X$ e gruppo fondamentale $D$. Sia $G \leq Mod(Y)$ un sottogruppo finito e $\tilde{G}$ il suo sollevamento in $SMod_D(X)$.
Il gruppo $G$ è realizzabile come gruppo di isometrie per una metrica di Einstein su $Y$ se e solo se:

• $\tilde{G}$ fissa una componente connessa $C$ dello spazio di Teichmüller delle metriche di Einstein su $X$ ($TEin(X)$).
• Il reticolo $L_{\tilde{G}}^\perp$ contiene la rappresentazione banale.
• L'intersezione $L_{\tilde{G}} \cap \Delta_C$ è vuota (nessuna classe di curve razionali "ostacolo" è fissata dal gruppo).

Inoltre, se la condizione è soddisfatta, la metrica di Einstein può essere scelta come Kähler-Einstein.

2. Non-Realizzabilità e Estensioni Centrali (Proposizione 0.2)

L'autore dimostra che l'estensione centrale data dalla teoria di Birman-Hilden non è sempre scindibile (split).

• Esistono varietà di Enriques $Y$ tali che l'estensione $1 \to D \to SMod_D(X) \to Mod(Y) \to 1$ non ammette una sezione.
• In questi casi, il gruppo di coomologia $H^2(Mod(Y), D)$ è non nullo.
• Questo fornisce una risposta negativa parziale alla domanda se l'estensione sia sempre un prodotto diretto, mostrando che per certi indici composti (es. $d=4$), la struttura del gruppo di mappatura è più complessa di quanto previsto.

Applicazioni ed Esempi

L'autore applica il criterio numerico a esempi noti di varietà di Enriques:

• Casi Realizzabili:

  • Per varietà derivate da superfici K3 ($X = S^{[n]}$), qualsiasi gruppo finito contenuto nel sottogruppo di congruenza modulo 2 ($\Gamma^+_2(M)$) è realizzabile.
  • Per varietà derivate da superfici abeliane ($X = K_n(A)$), certi gruppi ciclici generati da traslazioni sono realizzabili e agiscono trivialmente sul reticolo coomologico torsion-free.

• Casi Non Realizzabili:

  • Vengono costruiti sottogruppi di $Mod(Y)$ che non possono essere realizzati come isometrie. Un esempio chiave è l'involuzione che agisce come $(-1)$ sul generatore di un certo reticolo $[-(n-1)]$. Questo elemento appartiene al gruppo di monodromia, ma la sua realizzazione fallisce perché il reticolo associato $L_{\tilde{G}}$ interseca l'insieme delle classi di curve razionali ($\Delta_C$).
  • Vengono identificati riflessioni nel reticolo che sono classi di mappatura non realizzabili, analoghe (ma non identiche) alle twist di Dehn nel caso delle superfici.

Significato e Contributi

1. Generalizzazione del Problema di Nielsen: Il lavoro estende la comprensione del problema di realizzazione di Nielsen dalle superfici (K3, Enriques classici) a varietà di dimensione superiore, fornendo il primo criterio esplicito per le varietà di Enriques di dimensione $>2$.
2. Collegamento tra Geometria e Teoria dei Reti: Stabilisce un ponte rigoroso tra la dinamica delle classi di mappatura e la struttura aritmetica dei reticoli di coomologia (teoria di Nikulin, forme quadratiche).
3. Struttura dei Gruppi di Mappatura: La dimostrazione che l'estensione di Birman-Hilden può essere non scindibile per le varietà di Enriques di indice composto è un risultato inaspettato che arricchisce la teoria dei gruppi di mappatura in dimensione superiore, suggerendo che la struttura di $Mod(Y)$ non è semplicemente un prodotto diretto di $Mod(X)$e$\pi_1(Y)$.
4. Strumenti Computazionali: Fornisce un metodo pratico (il criterio numerico) per verificare la realizzabilità di gruppi specifici in esempi costruttivi, permettendo di distinguere chiaramente tra classi di mappatura realizzabili e non.

In sintesi, l'articolo risolve parzialmente il problema di realizzazione per le varietà di Enriques di dimensione superiore, fornendo sia condizioni sufficienti e necessarie basate su invarianti coomologici, sia controesempi strutturali riguardanti la scindibilità delle estensioni di gruppo.