Algebraic cobordism rings of wonderful varieties and matroids

Technische Samenvatting: Algebraïsche Cobordisme-ringen van Wonderlijke Variëteiten en Matroïden

Probleemstelling
Het artikel behandelt de berekening en het structurele begrip van de algebraïsche cobordisme-ring $\Omega^*(X)$ voor specifieke klassen van variëteiten geassocieerd met matroïden: de torische variëteit $X_M$ van de Bergman-fan van een lusloze matroïde $M$, en de wonderlijke compactificatie $W_H$ van een complexe hypervlak-opstelling $H$. Hoewel de Chow-ringen $CH^*(X_M)$ en $CH^*(W_H)$ en de K-ringen $K_0(X_M)$ en $K_0(W_H)$ uitgebreid zijn bestudeerd en rijke combinatorische structuren vertonen (waaronder het "Kähler-pakket" en uitzonderlijke integrale isomorfismen tussen Chow- en K-theorie), waren expliciete presentaties voor hun algebraïsche cobordisme-ringen $\Omega^*(X_M)$ en $\Omega^*(W_H)$ voorheen niet beschikbaar. Algebraïsche cobordisme, geconstrueerd door Levine en Morel, is de universele georiënteerde cohomologietheorie, wat de berekening ervan aanzienlijk moeilijker maakt dan die van Chow- of K-theorie, aangezien het de universele formele groepswet over de Lazard-ring $L^*$ omvat.

Methodologie
De auteurs maken gebruik van een combinatie van combinatorische algebra, de theorie van formele groepswetten en de geometrie van torische variëteiten en blow-ups.

1. Torische Variëteit Framework: De auteurs maken gebruik van de beschrijving van de algebraïsche cobordisme-ring van een gladde torische variëteit $X_\Sigma$ zoals verstrekt door Krishna en Uma. Deze presentatie omvat generatoren die corresponderen met torische divisoren en relaties afgeleid van de combinatoriek van de fan en de universele formele groepswet $F_U$.
2. Combinatorische Presentaties: Zij passen de Feichtner–Yuzvinsky-presentatie voor Chow-ringen van matroïdale torische variëteiten aan naar de setting van algebraïsche cobordisme. Dit houdt in dat een ring $\Omega^*(M)$ wordt gedefinieerd, gegenereerd door variabelen geïndexeerd door de niet-lege flats van de matroïde, modulo relaties voortvloeiend uit onvergelijkbare flats en de formele groepswet.
3. Simpliciale Presentatie: Een cruciale methodologische stap is de afleiding van een "simpliciale" presentatie voor $\Omega^*(X_M)$. Dit omvat een verandering van variabelen middels Möbius-inversie op de lattice van flats, waarbij de "simpliciale generatoren" die bekend zijn uit de Chow- en K-theorie-contexten worden opgelift naar de cobordisme-setting.
4. Vergelijkingstheorema's: De auteurs maken gebruik van vergelijkingstheorema's tussen algebraïsche cobordisme, Chow-theorie en complexe cobordisme ($MU^*$). Specifiek gebruiken zij het feit dat voor bepaalde variëteiten de natuurlijke afbeelding $\Omega^*(X) \to CH^*(X)$ de mogelijkheid biedt om $\Omega^*(X)$ te herstellen als een vrije module over $L^*$ indien $CH^*(X)$ vrij is over $\mathbb{Z}$.
5. Inbeddingsanalyse: Voor de wonderlijke variëteit $W_H$ analyseren de auteurs de canonieke inclusie $\iota: W_H \hookrightarrow X_{M_H}$. Zij bewijzen dat deze inclusie isomorfismen induceert op de relevante cohomologie-ringen door de cyclusklasse-afbeelding en de structuur van $W_H$ als een iteratieve blow-up van de projectieve ruimte te bestuderen.

Kernbijdragen en Resultaten

1. Simpliciale Presentatie voor $\Omega^*(X_M)$:
   Het primaire resultaat is een combinatorische presentatie van de algebraïsche cobordisme-ring van de torische variëteit $X_M$ geassocieerd met een lusloze matroïde $M$. De ring wordt gepresenteerd als een $L^*$-algebra gegenereerd door elementen $h_G$ (lifts van simpliciale generatoren) voor niet-lege flats $G$, onderworpen aan relaties betrokken bij de formele groepswet $F_U$:
   $$\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}$$
   Cruciaal is dat deze presentatie een isomorfisme van $L^*$-algebra's oplevert:
   $$\Omega^*(X_M) \cong CH^*(X_M) \otimes_{\mathbb{Z}} L^*$$
   Dit resultaat impliceert dat voor elke vrije georiënteerde cohomologietheorie $h^*$ geldt: $h^*(X_M) \cong \Omega^*(X_M) \otimes_{L^*} h^*(pt)$.

2. Generalisatie van het Uitzonderlijke Isomorfisme:
   De isomorfie $\Omega^*(X_M) \cong CH^*(X_M) \otimes_{\mathbb{Z}} L^*$ generaliseert het "uitzonderlijke isomorfisme" $K_0(X_M) \cong CH^*(X_M)$ dat recentelijk is vastgesteld door Berget–Eur–Spink–Tseng en Larson–Li–Payne–Proudfoot. De auteurs merken op dat deze eigenschap zeldzaam is; zij citeren Speyers voorbeeld van een gladde projectieve torische variëteit waar $CH^*(X) \not\cong K_0(X)$, wat aantoont dat de isomorfie voor matroïdale torische variëteiten een speciale structurele eigenschap is.

3. Isomorfisme voor Wonderlijke Variëteiten:
   De auteurs bewijzen dat de inclusie $\iota: W_H \hookrightarrow X_{M_H}$ een isomorfisme induceert van algebraïsche cobordisme-ringen:
   $$\iota^*: \Omega^*(X_{M_H}) \xrightarrow{\sim} \Omega^*(W_H)$$
   Verder stellen zij vast dat de natuurlijke afbeelding van algebraïsche cobordisme naar complexe cobordisme een isomorfisme induceert:
   $$\Omega^*(W_H) \xrightarrow{\sim} MU^*(W_H(\mathbb{C}))$$
   Concluderend komt de algebraïsche cobordisme-ring van de wonderlijke variëteit overeen met haar complexe cobordisme-ring en is deze isomorf met de tensorproduct van haar Chow-ring met de Lazard-ring.

4. Afhankelijkheid van de Matroïde-structuur:
   Het artikel demonstreert dat de cobordisme-klasse $[W_H \to pt]$ in $\Omega^*(pt)$ (en $MU^*(pt)$) enkel afhangt van de onderliggende matroïde $M_H$ van de hypervlak-opstelling $H$. Dit wordt aangetoond door te verifiëren dat de Chern-getallen van $W_H$, die de cobordisme-klasse bepalen, volledig bepaald worden door de combinatoriek van $M_H$ via Cheng's formule voor de totale Chern-klasse van de tangent-bundel.

Betekenis en Claims
Het artikel claimt de eerste expliciete combinatorische presentaties te bieden voor de algebraïsche cobordisme-ringen van torische variëteiten van Bergman-fans en wonderlijke variëteiten van hypervlak-opstellingen. Door de isomorfie $\Omega^*(X_M) \cong CH^*(X_M) \otimes L^*$ vast te stellen, tonen de auteurs aan dat de complexe structuur van deze ringen volledig wordt beheerst door hun Chow-ring structuur en de universele formele groepswet.

De betekenis ligt in:

• Unificatie: Het verenigt de studie van Chow-ringen, K-ringen en algebraïsche cobordisme-ringen voor matroïdale variëteiten onder één enkel kader, waarbij wordt aangetoond dat het "uitzonderlijke isomorfisme" tussen Chow- en K-theorie een schaduw is van een dieper isomorfisme dat algebraïsche cobordisme omvat.
• Computationele Toegang: Het biedt een concrete methode voor het berekenen van algebraïsche cobordisme-klassen voor deze variëteiten, die over het algemeen moeilijk te berekenen zijn.
• Matroïdale Invarianten: Het bevestigt dat diepe geometrische invarianten (zoals de cobordisme-klasse $[W_H \to pt]$ in $\Omega^*(pt)$ en $MU^*(pt)$) van de wonderlijke compactificatie zuivere combinatorische invarianten zijn van de onderliggende matroïde $M_H$, wat deze eigenschap uitbreidt van Chow- en K-theorie naar de universele georiënteerde cohomologietheorie.

De auteurs vermelden expliciet dat hoewel zij een recursieve formule voor de klasse van $M_{0,n}$ in een gerelateerde context bieden (via Ellis-Bloor), het vinden van een expliciete recursieve formule voor $[W_H \to pt]$ in termen van Lazard-ring generatoren een richting is voor toekomstig werk. Zij merken ook op dat de isomorfie $\Omega^*(X) \cong CH^*(X) \otimes L^*$ niet geldt voor alle gladde projectieve torische variëteiten, wat het bijzondere karakter van matroïdale variëteiten benadrukt.