Complete subvarieties in the projectivized strata of meromorphic differentials

Technische Zusammenfassung: Vollständige Untervarietäten in den projektivierten Strata meromorpher Differenziale

Problemstellung
Die vorliegende Arbeit untersucht die Frage, ob projektivierte Strata streng meromorpher Differenziale, bezeichnet als $P\Omega M_g(\mu)$, positive-dimensionale vollständige algebraische Untervarietäten enthalten. Hierbei stellt $\mu$ eine Tupel von ganzen Zahlen dar, deren Summe $2g-2$ ergibt und die die Ordnungen von Nullstellen und Pole festlegt. Während bekannt ist, dass Strata holomorpher Differenziale (wo $\mu$ nicht-negative Einträge besitzt) keine solchen Untervarietäten enthalten, und dass auch die unprojektivierten Strata streng meromorpher Differenziale diese nicht besitzen (bewiesen durch algebrageometrische Methoden unter Verwendung von Divisorklassen), fehlte bisher ein flach-geometrischer Beweis für den projektivierten streng meromorphen Fall. Die Autoren zielen darauf ab, diese Lücke zu schließen, indem sie eine spezifische analytische Funktion auf diesen Strata konstruieren.

Methodik
Die Autoren verwenden einen flach-geometrischen Ansatz unter Nutzung der durch meromorphe Differenziale induzierten Translationsoberflächenstrukturen. Der Kern der Methodik besteht in der Konstruktion einer global definierten, streng plurisubharmonischen Funktion auf den projektivierten Strata $P\Omega M_g(\mu)$. Dies wird durch die Kombination zweier distinkter Funktionen erreicht:

1. Die Längenfunktion ($\ell^{-2}$): Eingeführt von Mondello, misst diese Funktion die Gesamtlänge einer Basis kurzer Sattelverbindungen (saddle connections). Konkret ist $\ell^{-2}_B = \sum_{\gamma \in B} |P_\gamma|^{-2}$ für eine Basis $B$ der relativen Homologie, wobei $P_\gamma$ die Periode entlang der Sattelverbindung $\gamma$ ist. Die globale Funktion $\ell^{-2}$ ist das Supremum über alle solchen Basen.
2. Die Polgrößenfunktion ($S$): Eine in dieser Arbeit neu eingeführte Funktion. In der flachen Struktur eines streng meromorphen Differentials zerlegt sich die Fläche in einen „Kern“ (eine endliche Flächeninhalts-konvexe Hülle von Nullstellen) und „Polbereiche“ (unendliche Flächeninhalts-Regionen um jeden Pol). Der Rand dieser Polbereiche besteht aus „peripheren Sattelverbindungen“. Die Funktion $S(\omega)$ ist definiert als das maximale Modul der Summe der Perioden über alle Teilmengen dieser Rand-Sattelverbindungen:
   $$S(\omega) := \max_{E \subset D_\omega} \left| \sum_{\gamma \in E} P_\gamma \right|$$
   wobei $D_\omega$ die Vereinigung der Randkanten aller Polbereiche ist.

Die Autoren analysieren die Deformationseigenschaften dieser Funktionen. Sie stellen fest, dass während $S$ homogen vom Grad 1 und $\ell^{-2}$ homogen vom Grad -2 ist, ihre Kombination $2 \log S + \log \ell^{-2}$ auf dem projektivierten Stratum wohldefiniert ist (da die Skalierung von $\omega$ mit $\lambda \in \mathbb{C}^*$ den Wert unverändert lässt).

Wesentliche Beiträge und Ergebnisse

• Konstruktion einer streng plurisubharmonischen Funktion: Das primäre Resultat (Theorem 1.3) beweist, dass die Funktion $F = 2 \log S + \log \ell^{-2}$ streng plurisubharmonisch auf jedem projektivierten Stratum $P\Omega M_g(\mu)$ streng meromorpher Differenziale ist.

  • Der Beweis stützt sich darauf, dass $\log \ell^{-2}$ streng plurisubharmonisch auf Submannigfaltigkeiten ist, die transversal zu den Strahlen des Stratums liegen (ein Resultat, das von Mondello adaptiert wurde).
  • Entscheidend ist, dass die Autoren beweisen, dass $\log S$ plurisubharmonisch ist. Dies wird dadurch erreicht, dass das Maximum, welches $S$ definiert, stets durch „kohärente Homologieklassen“ erreicht wird. Dies sind spezifische Summen peripherer Sattelverbindungen, die als kohärente Klassen unter kleinen Deformationen bestehen bleiben, wodurch $S$ lokal als das Maximum einer endlichen Anzahl holomorpher Modulfunktionen ausgedrückt werden kann.

• Nichtexistenz vollständiger Untervarietäten: Als direkte Konsequenz (Korollar 1.4) folgern die Autoren, dass keine positive-dimensionale vollständige Untervarietät innerhalb von $P\Omega M_g(\mu)$ existiert. Das Argument folgt aus dem Maximumprinzip: Eine nicht-konstante plurisubharmonische Funktion kann nicht auf einer vollständigen Varietät existieren. Da $F$ streng plurisubharmonisch ist, wäre seine Beschränkung auf jede positive-dimensionale Untervarietät nicht-konstant, was zu einem Widerspruch führt, falls diese Untervarietät vollständig wäre.

• Erweiterung auf $k$-Differenziale: Das Resultat wird auf Strata von $k$-Differentialen mit Polen der Ordnung mindestens $k$ erweitert (Korollar 1.5). Dies wird dadurch gerechtfertigt, dass solche Differenziale via eines kanonischen zyklischen Covers zu der $k$-ten Potenz eines streng meromorphen Differential-Einfach-Differentials angehoben werden können und somit die Nichtexistenz-Eigenschaft erben.

Bedeutung und Ansprüche
Das Paper beansprucht, den ersten flach-geometrischen Beweis dafür zu liefern, dass projektivierte Strata streng meromorpher Differenziale keine positive-dimensionalen vollständigen Untervarietäten enthalten. Vorherige Beweise für den meromorphen Fall stützten sich auf die Positivität von Divisorklassen im algebrageometrischen Setting.

Die Autoren heben hervor, dass die konstruierte Polgrößenfunktion $S$ und ihre plurisubharmonische Natur eine „analytische Inkarnation“ der Positivität von $\psi$-Klassen (assoziiert mit dem $S^1$-Bundle an den Polen) darstellen, die in früheren algebrageometrischen Beweisen verwendet wurden. Sie merken an, dass dieses Zusammenspiel zwischen metrischer Geometrie (flache Strukturen) und kohomologischen Klassen ($\psi$-Klassen) Techniken verwendet, wie sie auch von Kontsevich und Mirzakhani im Kontext von Wittens Vermutung eingesetzt wurden. Die Arbeit zielt darauf ab, die Lücke zwischen affinen geometrischen Perspektiven und Modulitheorie zu schließen und bietet ein neues Werkzeug zur Untersuchung der Geometrie von Differentialstrata.