Symplectic and projective small covers over products of polygons

Sintesi Tecnica: Coperture Simplesse e Proiettive su Prodotti di Poligoni

Enunciato del Problema
Il lavoro indaga l'esistenza di strutture simplettiche, kähleriane e proiettive su coperture piccole (small covers) su prodotti di poligoni. Una copertura piccola $M(P, \lambda)$ è una $n$-varietà liscia chiusa dotata di un'azione localmente standard di un gruppo abeliano elementare di rango $n$, dove lo spazio delle orbite è un poliedro semplice $P$. Sebbene le coperture piccole siano analoghi reali delle varietà quasitoriche, le condizioni affinché ammettano strutture simplettiche o complesse sono altamente restrittive.

Il lavoro precedente di Ishida ha stabilito che, per le varietà di Bott reali (coperture piccole su cubi), le condizioni di essere coomologicamente simplettiche, simplettiche e kähleriane sono equivalenti. Questo lavoro mira a generalizzare tali risultati sostituendo i fattori quadrati del cubo con poligoni arbitrari $P = P_{m_1} \times \cdots \times P_{m_n}$. La domanda centrale è: sotto quali condizioni combinatorie sulla mappa caratteristica $\lambda$ la copertura piccola risultante ammette un modello proiettivo liscio, e come si relaziona la topologia della copertura con la teoria di Hodge di tale modello?

Metodologia
L'autore impiega una combinazione di topologia combinatoria, coomologia equivariante e geometria complessa:

1. Varietà Moment-Angolo Reali: Lo studio utilizza il fatto che la varietà moment-angolo reale $\mathcal{R}Z_P$ di un prodotto di poligoni è un prodotto di superfici chiuse ($\Sigma_{g(m_i)}$). Le coperture piccole sono realizzate come quozienti liberi di questi prodotti per un gruppo abeliano elementare finito $G = \ker \lambda$.
2. Compatibilità dei Fattori: Viene introdotta una nuova classe di coperture piccole, denominata "compatibile con i fattori". Questa condizione impone vincoli sulla mappa caratteristica $\lambda$ rispetto ai fattori poligonali. Nello specifico, richiede che per fattori non quadrati, l'azione quoziente preservi l'orientazione del fattore superficie corrispondente, e per fattori quadrati, i pesi siano accoppiati in modo compatibile con una struttura di toro complesso.
3. Costruzione di Modelli Proiettivi: Per le coperture piccole compatibili con i fattori, l'autore costruisce una varietà proiettiva liscia $X$ come quoziente libero finito di un prodotto di curve proiettive lisce $Y = C_1 \times \cdots \times C_n$ per il gruppo $G$. Ciò si basa sulla mediazione delle metriche per indurre strutture complesse $G$-invarianti sui fattori superficie.
4. Teoria di Hodge e Cohomologia: Il lavoro calcola il polinomio di Hodge del modello proiettivo $X$ utilizzando invarianti caratteristici dell'azione $G$. Successivamente, mette in relazione tali invarianti con l'anello di coomologia graduata mod 2 della copertura piccola sottostante $M$.
5. Riduzione Algebrico-Lineare: La struttura della matrice caratteristica è analizzata utilizzando forme triangolari a blocchi e lemmi di algebra lineare riguardanti trasversali e minori principali su $\mathbb{Z}_2$.

Contributi e Risultati Chiave

1. Esistenza di Modelli Proiettivi (Teorema 3.4):
   Il risultato principale stabilisce che ogni copertura piccola compatibile con i fattori su un prodotto di poligoni ammette un modello proiettivo liscio. Nello specifico, se $M$ è compatibile con i fattori, esiste una varietà proiettiva liscia $X$ diffeomorfa a $M$. Di conseguenza, ogni tale $M$ ammette strutture kähleriane, simplettiche e coomologicamente simplettiche. Ciò generalizza i risultati di Ishida sulle varietà di Bott reali al contesto poligonale.

2. Ostacoli alla Simpletticità (Sezione 4):
   Il lavoro fornisce ostacoli elementari all'esistenza di strutture simplettiche:

   • Se un qualsiasi fattore poligonale è un triangolo ($m_i=3$), nessuna copertura piccola sul prodotto è coomologicamente simplettica.
   • Se tutti i fattori poligonali hanno un numero dispari di lati, nessuna copertura piccola sul prodotto è orientabile e, pertanto, non può essere simplettica.

3. Rigidità Teorico-Hodgeana (Teorema 5.7):
   Un contributo significativo è la dimostrazione che l'anello di coomologia graduata mod 2 $H^*(M; \mathbb{Z}_2)$ determina il diamante di Hodge del modello proiettivo associato $X$.

   • I numeri di Betti razionali di $M$ sono determinati dal suo anello di coomologia mod 2 (tramite la successione spettrale di Bockstein e la natura senza torsione della coomologia intera delle unioni di poliedri associate).
   • Per i modelli compatibili con i fattori, i numeri di Betti razionali determinano l'intero polinomio di Hodge e quindi il diamante di Hodge.
   • Il lavoro chiarisce che questo è un risultato di rigidità per le informazioni teorico-Hodgeane portate dai modelli proiettivi, non necessariamente una dichiarazione di rigidità completa per il diffeomorfismo delle coperture piccole stesse.

4. Struttura di Fascio Equivariante Iterata (Corollario 6.6):
   Il lavoro dimostra che la matrice caratteristica di una copertura piccola compatibile con i fattori può essere trasformata, tramite l'equivalenza di Davis–Januszkiewicz, in una forma triangolare inferiore a blocchi. Questo risultato strutturale implica che ogni copertura piccola compatibile con i fattori ammette una struttura di fascio equivariante iterata. Le fibre successive sono coperture piccole orientabili su poligoni (nello specifico, superfici chiuse orientabili). Ciò funge da analogo di tipo superficie per la struttura di fascio iterato delle torri di Bott reali generalizzate.

Significato e Affermazioni
Il lavoro posiziona la compatibilità con i fattori come una condizione "naturalmente geometrica" che cattura una porzione sostanziale dello spettro simplettico per le coperture piccole su prodotti di poligoni. Sebbene una completa inversa (che ogni copertura piccola simplettica sia compatibile con i fattori) non sia dimostrata in dimensioni superiori a quattro, l'autore nota che non sono attualmente noti controesempi.

Il lavoro colma il divario tra la topologia combinatoria delle coperture piccole e la geometria complessa delle varietà proiettive. Dimostrando che l'anello di coomologia mod 2 codifica il diamante di Hodge del modello proiettivo, il lavoro suggerisce che l'anello di coomologia graduata mod 2 porti informazioni geometriche significative oltre il semplice tipo di diffeomorfismo. Ciò estende la portata dei problemi di rigidità coomologica dal caso di Bott reale a una classe più ampia di coperture piccole su prodotti di poligoni.

I risultati sono presentati come stabilenti condizioni sufficienti per l'esistenza di forti strutture geometriche e rivelando profonde connessioni tra i dati combinatori del poliedro, la topologia algebrica della varietà e la teoria di Hodge del suo modello complesso.