Symplectic and projective small covers over products of polygons

Technische Zusammenfassung: Symplektische und projektive kleine Überlagerungen über Polygonprodukten

Problemstellung
Der Artikel untersucht die Existenz symplektischer, Kähler- und projektiver Strukturen auf kleinen Überlagerungen über Produkten von Polygonen. Eine kleine Überlagerung $M(P, \lambda)$ ist eine geschlossene glatte $n$-Mannigfaltigkeit, die mit einer lokal standardmäßigen Wirkung einer elementar abelschen 2-Gruppe vom Rang $n$ ausgestattet ist, wobei der Orbitraum ein einfaches Polytop $P$ ist. Während kleine Überlagerungen reelle Analoga von Quasitorischen Mannigfaltigkeiten sind, sind die Bedingungen für die Zulässigkeit symplektischer oder komplexer Strukturen für sie hochgradig einschränkend.

Vorherige Arbeiten von Ishida zeigten, dass für reelle Bott-Mannigfaltigkeiten (kleine Überlagerungen über Würfeln) die Bedingungen, kohomologisch symplektisch, symplektisch und Kähler zu sein, äquivalent sind. Dieser Artikel sucht diese Ergebnisse zu verallgemeinern, indem er die quadratischen Faktoren des Würfels durch beliebige Polygone $P = P_{m_1} \times \cdots \times P_{m_n}$ ersetzt. Die zentrale Frage lautet: Unter welchen kombinatorischen Bedingungen auf die charakteristische Abbildung $\lambda$ erlaubt die resultierende kleine Überlagerung ein glattes projektives Modell, und wie hängt die Topologie der Überlagerung mit der Hodge-Theorie eines solchen Modells zusammen?

Methodik
Der Autor verwendet eine Kombination aus kombinatorischer Topologie, äquivarianter Kohomologie und komplexer Geometrie:

1. Reelle Moment-Winkel-Mannigfaltigkeiten: Die Studie nutzt die Tatsache, dass die reelle Moment-Winkel-Mannigfaltigkeit $\mathcal{R}Z_P$ eines Produkts von Polygonen ein Produkt geschlossener Flächen ($\Sigma_{g(m_i)}$) ist. Kleine Überlagerungen werden als freie Quotienten dieser Produkte durch eine endliche elementar abelsche 2-Gruppe $G = \ker \lambda$ realisiert.
2. Faktor-Kompatibilität: Eine neue Klasse kleiner Überlagerungen, bezeichnet als „faktor-kompatibel", wird eingeführt. Diese Bedingung setzt Einschränkungen für die charakteristische Abbildung $\lambda$ in Bezug auf die Polygonfaktoren. Konkret verlangt sie, dass für nicht-quadratische Faktoren die Quotientenwirkung die Orientierung des entsprechenden Flächenfaktors erhält und für quadratische Faktoren die Gewichte kompatibel mit einer komplexen Torusstruktur gepaart sind.
3. Konstruktion projektiver Modelle: Für faktor-kompatible kleine Überlagerungen konstruiert der Autor eine glatte projektive Varietät $X$ als endlichen freien Quotienten eines Produkts glatter projektiver Kurven $Y = C_1 \times \cdots \times C_n$ durch die Gruppe $G$. Dies beruht auf der Mittelung von Metriken, um $G$-invariante komplexe Strukturen auf den Flächenfaktoren zu induzieren.
4. Hodge-Theorie und Kohomologie: Der Artikel berechnet das Hodge-Polynom des projektiven Modells $X$ unter Verwendung charakters-theoretischer Invarianten der $G$-Wirkung. Anschließend werden diese Invarianten mit dem graduierten Mod-2-Kohomologiering der zugrundeliegenden kleinen Überlagerung $M$ in Beziehung gesetzt.
5. Lineare algebraische Reduktion: Die Struktur der charakteristischen Matrix wird unter Verwendung block-triangularer Formen und linear-algebraischer Lemmata bezüglich Transversalen und Hauptminoren über $\mathbb{Z}_2$ analysiert.

Hauptbeiträge und Ergebnisse

1. Existenz projektiver Modelle (Satz 3.4):
   Das primäre Ergebnis stellt fest, dass jede faktor-kompatible kleine Überlagerung über einem Produkt von Polygonen ein glattes projektives Modell zulässt. Konkret existiert, wenn $M$ faktor-kompatibel ist, eine glatte projektive Varietät $X$, die diffeomorph zu $M$ ist. Folglich erlaubt jede solche $M$ Kähler-, symplektische und kohomologisch symplektische Strukturen. Dies verallgemeinert Ishidas Ergebnisse über reelle Bott-Mannigfaltigkeiten auf die polygonale Umgebung.

2. Obstruktionen für Symplektizität (Abschnitt 4):
   Der Artikel liefert elementare Obstruktionen für die Existenz symplektischer Strukturen:

   • Wenn ein Polygonfaktor ein Dreieck ist ($m_i=3$), ist keine kleine Überlagerung über dem Produkt kohomologisch symplektisch.
   • Wenn alle Polygonfaktoren eine ungerade Anzahl von Seiten haben, ist keine kleine Überlagerung über dem Produkt orientierbar und kann somit nicht symplektisch sein.

3. Hodge-theoretische Starrheit (Satz 5.7):
   Ein wesentlicher Beitrag ist der Beweis, dass der graduierte Mod-2-Kohomologiering $H^*(M; \mathbb{Z}_2)$ den Hodge-Diamanten des zugehörigen projektiven Modells $X$ bestimmt.

   • Die rationalen Bettizahlen von $M$ werden durch seinen Mod-2-Kohomologiering bestimmt (via der Bockstein-Spektralsequenz und der torsionsfreien Natur der integralen Kohomologie der zugehörigen Polytop-Vereinigungen).
   • Für faktor-kompatible Modelle bestimmen die rationalen Bettizahlen das vollständige Hodge-Polynom und somit den Hodge-Diamanten.
   • Der Artikel klärt, dass dies ein Starrheitsresultat für die von den projektiven Modellen getragenen hodge-theoretischen Informationen ist, nicht notwendigerweise eine vollständige Diffeomorphie-Starrheitsaussage für die kleinen Überlagerungen selbst.

4. Iterierte äquivariante Bündelstruktur (Korollar 6.6):
   Der Artikel beweist, dass die charakteristische Matrix einer faktor-kompatiblen kleinen Überlagerung durch Davis–Januszkiewicz-Äquivalenz in eine block-untertrianguläre Form transformiert werden kann. Dieses strukturelle Ergebnis impliziert, dass jede faktor-kompatible kleine Überlagerung eine iterierte äquivariante Bündelstruktur zulässt. Die aufeinanderfolgenden Fasern sind orientierbare kleine Überlagerungen über Polygonen (konkret geschlossene orientierbare Flächen). Dies dient als Flächen-Analogon zur iterierten Bündelstruktur verallgemeinerter reeller Bott-Türme.

Bedeutung und Behauptungen
Der Artikel positioniert die Faktor-Kompatibilität als eine „geometrisch natürliche" Bedingung, die einen beträchtlichen Teil des symplektischen Bereichs für kleine Überlagerungen über Polygonprodukten erfasst. Während ein vollständiges Gegenstück (dass jede symplektische kleine Überlagerung faktor-kompatibel ist) in Dimensionen höher als vier nicht bewiesen wird, stellt der Autor fest, dass derzeit keine Gegenbeispiele bekannt sind.

Die Arbeit schließt die Lücke zwischen der kombinatorischen Topologie kleiner Überlagerungen und der komplexen Geometrie projektiver Varietäten. Indem gezeigt wird, dass der Mod-2-Kohomologiering den Hodge-Diamanten des projektiven Modells kodiert, legt der Artikel nahe, dass der graduierte Mod-2-Kohomologiering signifikante geometrische Informationen trägt, die über den bloßen Diffeomorphietyp hinausgehen. Dies erweitert den Umfang kohomologischer Starrheitsprobleme vom Fall der reellen Bott-Mannigfaltigkeiten auf eine breitere Klasse kleiner Überlagerungen über Polygonprodukten.

Die Ergebnisse werden als Festlegung hinreichender Bedingungen für die Existenz starker geometrischer Strukturen präsentiert und enthüllen tiefe Verbindungen zwischen den kombinatorischen Daten des Polytops, der algebraischen Topologie der Mannigfaltigkeit und der Hodge-Theorie ihres komplexen Modells.