Algebraic cobordism rings of wonderful varieties and matroids

Technische Zusammenfassung: Algebraische Cobordismusringe von wunderbaren Varietäten und Matroiden

Problemstellung
Die Arbeit befasst sich mit der Berechnung und dem strukturellen Verständnis des algebraischen Cobordismusrings $\Omega^*(X)$ für spezifische Klassen von Varietäten, die mit Matroiden assoziiert sind: der torischen Varietät $X_M$ des Bergman-Fans einer kreisfreien Matroide $M$ sowie der wunderbaren Kompaktifizierung $W_H$ einer komplexen Hyperplane-Anordnung $H$. Während die Chow-Ringe $CH^*(X_M)$ und $CH^*(W_H)$ sowie die K-Ringe $K_0(X_M)$ und $K_0(W_H)$ bereits intensiv untersucht wurden und als reich an kombinatorischen Strukturen (einschließlich des „Kähler-Pakets“ und außergewöhnlicher integraler Isomorphismen zwischen Chow- und K-Theorie) gelten, waren explizite Präsentationen für ihre algebraischen Cobordismusringe $\Omega^*(X_M)$ und $\Omega^*(W_H)$ bisher nicht verfügbar. Der algebraische Cobordismus, konstruiert von Levine und Morel, ist die universelle orientierte Kohomologietheorie, was seine Berechnung signifikant schwieriger macht als die von Chow- oder K-Theorie, da er die universelle formale Gruppengesetzmäßigkeit über der Lazard-Ring $L^*$ involviert.

Methodik
Die Autoren verwenden eine Kombination aus kombinatorischer Algebra, der Theorie formaler Gruppengesetzmäßigkeiten sowie der Geometrie torischer Varietäten und Blow-ups.

1. Torische Varietäten-Framework: Die Autoren nutzen die Beschreibung des algebraischen Cobordismusrings einer glatten torischen Varietät $X_\Sigma$, wie sie von Krishna und Uma bereitgestellt wurde. Diese Präsentation umfasst Generatoren, die zu torischen Divisoren korrespondieren, sowie Relationen, die aus der Kombinatorik des Fans und der universellen formalen Gruppengesetzmäßigkeit $F_U$ abgeleitet werden.
2. Kombinatorische Präsentationen: Sie passen die Feichtner–Yuzvinsky-Präsentation für Chow-Ringe von matroidalen torischen Varietäten an den Kontext des algebraischen Cobordismus an. Dies beinhaltet die Definition eines Rings $\Omega^*(M)$, der durch Variablen generiert wird, die durch die nicht-leeren Flats der Matroide indiziert sind, modulo Relationen, die aus inkomparablen Flats und der formalen Gruppengesetzmäßigkeit resultieren.
3. Simpliziale Präsentation: Ein wesentlicher methodischer Schritt ist die Ableitung einer „simplizialen“ Präsentation für $\Omega^*(X_M)$. Dies geschieht durch eine Variablenänderung mittels Möbius-Inversion auf dem Verband der Flats, wobei die „simplizialen Generatoren“, die im Kontext von Chow- und K-Theorie bekannt sind, in den Cobordismus-Kontext gehoben werden.
4. Vergleichssätze: Die Autoren nutzen Vergleichssätze zwischen algebraischem Cobordismus, Chow-Theorie und komplexem Cobordismus ($MU^*$). Insbesondere nutzen sie die Tatsache, dass für bestimmte Varietäten die natürliche Abbildung $\Omega^*(X) \to CH^*(X)$ die Rekonstruktion von $\Omega^*(X)$ als freier Modul über $L^*$ ermöglicht, sofern $CH^*(X)$ frei über $\mathbb{Z}$ ist.
5. Einbettungsanalyse: Für die wunderbare Varietät $W_H$ analysieren die Autoren die kanonische Inklusion $\iota: W_H \hookrightarrow X_{M_H}$. Sie beweisen, dass diese Inklusion Isomorphismen auf den relevanten Kohomologieringen induziert, indem sie die Zyklusklasse-Abbildung und die Struktur von $W_H$ als iterierten Blow-up des projektiven Raums untersuchen.

Zentrale Beiträge und Ergebnisse

1. Simpliziale Präsentation für $\Omega^*(X_M)$:
   Das primäre Ergebnis ist eine kombinatorische Präsentation des algebraischen Cobordismusrings der torischen Varietät $X_M$, die mit einer kreisfreien Matroide $M$ assoziiert ist. Der Ring wird als $L^*$-Algebra präsentiert, die durch Elemente $h_G$ (Lifts simplizialer Generatoren) für nicht-leere Flats $G$ generiert wird, unterliegt Relationen, die die formale Gruppengesetzmäßigkeit $F_U$ betreffen:
   $$\Omega^*(X_M) \cong \frac{L^*[h_G : G \neq \emptyset]}{\langle (h_G - h_{G \vee H})(h_H - h_{G \vee H}) \rangle + \langle h_G : \text{rank}(G)=1 \rangle}$$
   Entscheidend ist, dass diese Präsentation einen Isomorphismus von $L^*$-Algebren liefert:
   $$\Omega^*(X_M) \cong CH^*(X_M) \otimes_{\mathbb{Z}} L^*$$
   Dieses Ergebnis impliziert, dass für jede freie orientierte Kohomologietheorie $h^*$ gilt: $h^*(X_M) \cong \Omega^*(X_M) \otimes_{L^*} h^*(pt)$.

2. Generalisierung des außergewöhnlichen Isomorphismus:
   Der Isomorphismus $\Omega^*(X_M) \cong CH^*(X_M) \otimes_{\mathbb{Z}} L^*$ generalisiert den kürzlich von Berget–Eur–Spink–Tseng und Larson–Li–Payne–Proudfoot etablierten „außergewöhnlichen Isomorphismus“ $K_0(X_M) \cong CH^*(X_M)$. Die Autoren merken an, dass diese Eigenschaft selten ist; sie zitieren Speyers Beispiel einer glatten projektiven torischen Varietät, bei der $CH^*(X) \not\cong K_0(X)$, um zu zeigen, dass der Isomorphismus für matroidale torische Varietäten ein spezielles strukturelles Merkmal ist.

3. Isomorphismus für wunderbare Varietäten:
   Die Autoren beweisen, dass die Inklusion $\iota: W_H \hookrightarrow X_{M_H}$ einen Isomorphismus der algebraischen Cobordismusringe induziert:
   $$\iota^*: \Omega^*(X_{M_H}) \xrightarrow{\sim} \Omega^*(W_H)$$
   Des Weiteren etablieren sie, dass die natürliche Abbildung vom algebraischen Cobordismus zum komplexen Cobordismus einen Isomorphismus induziert:
   $$\Omega^*(W_H) \xrightarrow{\sim} MU^*(W_H(\mathbb{C}))$$
   Folglich entspricht der algebraische Cobordismusring der wunderbaren Varietät ihrem komplexen Cobordismusring und ist isomorph zum Tensorprodukt ihres Chow-Rings mit dem Lazard-Ring.

4. Abhängigkeit von der Matroidenstruktur:
   Die Arbeit zeigt, dass die Cobordismusklasse $[W_H \to pt]$ in $\Omega^*(pt)$ (und $MU^*(pt)$) nur von der zugrunde liegenden Matroide $M_H$ der Hyperplane-Anordnung $H$ abhängt. Dies wird durch die Verifizierung gezeigt, dass die Chern-Zahlen von $W_H$, welche die Cobordismusklasse bestimmen, durch die Kombinatorik von $M_H$ via Chengs Formel für die totale Chern-Klasse des Tangentialbündels vollständig bestimmt werden.

Bedeutung und Ansprüche
Die Arbeit beansprucht, die ersten expliziten kombinatorischen Präsentationen für die algebraischen Cobordismusringe von torischen Varietäten von Bergman-Fans und wunderbaren Varietäten von Hyperplane-Anordnungen bereitzustellen. Durch die Etablierung des Isomorphismus $\Omega^*(X_M) \cong CH^*(X_M) \otimes_{\mathbb{Z}} L^*$ zeigen die Autoren, dass die komplexe Struktur dieser Ringe vollständig durch ihre Chow-Ring-Struktur und die universelle formale Gruppengesetzmäßigkeit gesteuert wird.

Die Bedeutung liegt in:

• Vereinheitlichung: Sie vereinheitlicht die Untersuchung von Chow-Ringen, K-Ringen und algebraischen Cobordismusringen für matroidale Varietäten unter einem einzigen Rahmen und zeigt, dass der „außergewöhnliche Isomorphismus“ zwischen Chow- und K-Theorie ein Schatten eines tieferen Isomorphismus involvierend des algebraischen Cobordismus ist.
• Komputationaler Zugang: Sie bietet eine konkrete Methode zur Berechnung algebraischer Cobordismusklassen für diese Varietäten, die im Allgemeinen schwer zu berechnen sind.
• Matroidale Invarianten: Sie bestätigt, dass tiefe geometrische Invarianten (wie die Cobordismusklasse $[W_H \to pt]$ in $\Omega^*(pt)$) rein kombinatorische Invarianten der zugrunde liegenden Matroide $M_H$ sind, was diese Eigenschaft von Chow- und K-Theorie auf die universelle orientierte Kohomologietheorie ausweitet.

Die Autoren stellen explizit fest, dass sie zwar eine rekursive Formel für die Klasse von $M_{0,n}$ in einem verwandten Kontext (via Ellis-Bloor) liefern, die explizite rekursive Formel für $[W_H \to pt]$ in Abhängigkeit von den Lazard-Ring-Generatoren jedoch eine Richtung für zukünftige Arbeiten bleibt. Sie merken auch an, dass der Isomorphismus $\Omega^*(X) \cong CH^*(X) \otimes L^*$ nicht für alle glatten projektiven torischen Varietäten gilt, was die besondere Natur matroidaler Varietäten hervorhebt.