Symplectic and projective small covers over products of polygons

Technische Samenvatting: Symplectische en Projectieve Kleine Overdekkingen over Producten van Polygonen

Probleemstelling
Het artikel onderzoekt het bestaan van symplectische, Kähler- en projectieve structuren op kleine overdekkingen over producten van polygonen. Een kleine overdekking $M(P, \lambda)$ is een gesloten gladde $n$-variëteit uitgerust met een lokaal standaard actie van een elementaire abelse 2-groep van rang $n$, waarbij de orbiteruimte een eenvoudig polytoop $P$ is. Hoewel kleine overdekkingen reële analoga zijn van quasitorische variëteiten, zijn de voorwaarden om symplectische of complexe structuren toe te staan, uiterst restrictief.

Vorig werk van Ishida stelde vast dat voor reële Bott-variëteiten (kleine overdekkingen over kubussen) de voorwaarden om cohomologisch symplectisch, symplectisch en Kähler te zijn, equivalent zijn. Dit artikel tracht deze resultaten te generaliseren door de vierkante factoren van de kubus te vervangen door willekeurige polygonen $P = P_{m_1} \times \cdots \times P_{m_n}$. De centrale vraag is: onder welke combinatorische voorwaarden op de karakteristieke afbeelding $\lambda$ staat de resulterende kleine overdekking een glad projectief model toe, en hoe verhoudt de topologie van de overdekking zich tot de Hodge-theorie van zo'n model?

Methodologie
De auteur hanteert een combinatie van combinatorische topologie, equivariante cohomologie en complexe meetkunde:

1. Reële Moment-hoekvariëteiten: Het onderzoek maakt gebruik van het feit dat de reële moment-hoekvariëteit $\mathcal{R}Z_P$ van een product van polygonen een product is van gesloten oppervlakken ($\Sigma_{g(m_i)}$). Kleine overdekkingen worden gerealiseerd als vrije quotiënten van deze producten door een eindige elementaire abelse 2-groep $G = \ker \lambda$.
2. Factor-compatibiliteit: Een nieuwe klasse van kleine overdekkingen, genaamd "factor-compatibel", wordt geïntroduceerd. Deze voorwaarde legt beperkingen op de karakteristieke afbeelding $\lambda$ ten opzichte van de polygonale factoren. Specifiek vereist deze dat voor niet-vierkante factoren de quotiëntactie de oriëntatie van het corresponderende oppervlaktefactor behoudt, en voor vierkante factoren de gewichten op een compatibele manier worden gepaard met een complexe torusstructuur.
3. Constructie van Projectieve Modellen: Voor factor-compatibele kleine overdekkingen construeert de auteur een glad projectief variëteit $X$ als een eindig vrij quotiënt van een product van gladde projectieve krommen $Y = C_1 \times \cdots \times C_n$ door de groep $G$. Dit berust op het middelen van metrieken om $G$-invariante complexe structuren op de oppervlaktefactoren te induceren.
4. Hodge-theorie en Cohomologie: Het artikel berekent het Hodge-polynoom van het projectieve model $X$ met behulp van karakter-theoretische invarianten van de $G$-actie. Vervolgens worden deze invarianten gerelateerd aan de gegradueerde mod 2 cohomologiering van de onderliggende kleine overdekking $M$.
5. Lineair-algebraïsche Reductie: De structuur van de karakteristieke matrix wordt geanalyseerd met behulp van blok-triangular vormen en lineair-algebraïsche lemma's betreffende transversalen en principale minoranten over $\mathbb{Z}_2$.

Belangrijkste Bijdragen en Resultaten

1. Bestaan van Projectieve Modellen (Stelling 3.4):
   Het primaire resultaat stelt vast dat elke factor-compatibele kleine overdekking over een product van polygonen een glad projectief model toestaat. Specifiek: als $M$ factor-compatibel is, bestaat er een glad projectief variëteit $X$ dat diffeomorf is met $M$. Bijgevolg staat elke dergelijke $M$ Kähler-, symplectische en cohomologisch symplectische structuren toe. Dit generaliseert Ishida's resultaten over reële Bott-variëteiten naar de polygonale setting.

2. Obstakels voor Symplectische Structuur (Sectie 4):
   Het artikel levert elementaire obstakels voor het bestaan van symplectische structuren:

   • Als een veelhoekfactor een driehoek is ($m_i=3$), staat geen enkele kleine overdekking over het product een cohomologisch symplectische structuur toe.
   • Als alle veelhoekfactoren een oneven aantal zijden hebben, staat geen enkele kleine overdekking over het product een oriënteerbare structuur toe, en kan derhalve niet symplectisch zijn.

3. Hodge-theoretische Rigideit (Stelling 5.7):
   Een significante bijdrage is het bewijs dat de gegradueerde mod 2 cohomologiering $H^*(M; \mathbb{Z}_2)$ de Hodge-diamant van het bijbehorende projectieve model $X$ bepaalt.

   • De rationale Betti-getallen van $M$ worden bepaald door zijn mod 2 cohomologiering (via de Bockstein-spectrale rij en de torsievrije aard van de integrale cohomologie van de geassocieerde vereniging van polytopen).
   • Voor factor-compatibele modellen bepalen de rationale Betti-getallen het volledige Hodge-polynoom en bijgevolg de Hodge-diamant.
   • Het artikel verduidelijkt dat dit een rigideitresultaat is voor Hodge-theoretische informatie die door de projectieve modellen wordt gedragen, niet noodzakelijk een volledige diffeomorfisme-rigideitsuitspraak voor de kleine overdekkingen zelf.

4. Geïtereerde Equivariante Bundelstructuur (Corollarium 6.6):
   Het artikel bewijst dat de karakteristieke matrix van een factor-compatibele kleine overdekking, via Davis–Januszkiewicz-equivalentie, kan worden getransformeerd naar een blok-ondertriangular vorm. Deze structurele uitkomst impliceert dat elke factor-compatibele kleine overdekking een geïtereerde equivariante bundelstructuur toestaat. De opeenvolgende vezels zijn oriënteerbare kleine overdekkingen over polygonen (specifiek, gesloten oriënteerbare oppervlakken). Dit dient als een oppervlakte-type analogie voor de geïtereerde bundelstructuur van gegeneraliseerde reële Bott-torens.

Betekenis en Claims
Het artikel positioneert factor-compatibiliteit als een "geometrisch natuurlijke" voorwaarde die een substantieel deel van het symplectische bereik voor kleine overdekkingen over producten van polygonen omvat. Hoewel een volledige converse (dat elke symplectische kleine overdekking factor-compatibel is) niet wordt bewezen in dimensies hoger dan vier, merkt de auteur op dat er momenteel geen tegenvoorbeelden bekend zijn.

Het werk overbrugt de kloof tussen de combinatorische topologie van kleine overdekkingen en de complexe meetkunde van projectieve variëteiten. Door aan te tonen dat de mod 2 cohomologiering de Hodge-diamant van het projectieve model codeert, suggereert het artikel dat de gegradueerde mod 2 cohomologiering aanzienlijke geometrische informatie draagt die verder gaat dan alleen het diffeomorfisme-type. Dit breidt het toepassingsgebied van cohomologische rigideitsproblemen uit van het reële Bott-geval naar een bredere klasse van kleine overdekkingen over producten van polygonen.

De resultaten worden gepresenteerd als het vaststellen van voldoende voorwaarden voor het bestaan van sterke geometrische structuren en het onthullen van diepe verbindingen tussen de combinatorische data van het polytoop, de algebraïsche topologie van de variëteit en de Hodge-theorie van zijn complexe model.