Algebraic cobordism rings of wonderful varieties and matroids

Sintesi Tecnica: Anelli di Cobordismo Algebrico di Varietà Meravigliose e Matroidi

Enunciato del Problema
Il saggio affronta la computazione e la comprensione strutturale dell'anello di cobordismo algebrico $\Omega^*(X)$ per classi specifiche di varietà associate a matroidi: la varietà torica $X_M$ del fan di Bergman di un matroide privo di loop $M$, e la compattificazione meravigliosa $W_H$ di un arrangiamento di iperpiani complessi $H$. Sebbene gli anelli di Chow $CH^*(X_M)$ e $CH^*(W_H)$ e gli anelli K $K_0(X_M)$ e $K_0(W_H)$ siano stati ampiamente studiati e si sia dimostrato possedere ricche strutture combinatorie (inclusi il "pacchetto Kähler" e eccezionali isomorfismi integrali tra anelli di Chow e K), presentazioni esplicite per i loro anelli di cobordismo algebrico $\Omega^*(X_M)$ e $\Omega^*(W_H)$ erano precedentemente non disponibili. Il cobordismo algebrico, costruito da Levine e Morel, è la teoria dell'cohomologia orientata universale, il che rende la sua computazione significativamente più difficile rispetto alla teoria di Chow o alla K-teoria, poiché implica la legge del gruppo formale universale sul ring di Lazard $L^*$.

Metodologia
Gli autori utilizzano una combinazione di algebra combinatoria, la teoria delle leggi del gruppo formale e la geometria delle varietà toriche e dei blow-up.

1. Framework della Varietà Torica: Gli autori utilizzano la descrizione dell'anello di cobordismo algebrico di una varietà torica regolare $X_\Sigma$ fornita da Krishna e Uma. Questa presentazione coinvolge generatori corrispondenti ai divisori torici e relazioni derivate dalla combinatoria del fan e dalla legge del gruppo formale universale $F_U$.
2. Presentazioni Combinatorie: Essi adattano la presentazione di Feichtner–Yuzvinsky per gli anelli di Chow delle varietà toriche matroidali al contesto del cobordismo algebrico. Ciò comporta la definizione di un ring $\Omega^*(M)$ generato da variabili indicizzate dai non-vuoti flat del matroide, modulo relazioni derivanti da flat incomparabili e dalla legge del gruppo formale.
3. Presentazione Simpliciale: Un passaggio metodologico chiave è la derivazione di una presentazione "simpliciale" per $\Omega^*(X_M)$. Questo comporta un cambio di variabili utilizzando l'inversione di Möbius sul reticolo dei flat, elevando i "generatori simpliciali" noti dal contesto della teoria di Chow e della K-teoria al contesto del cobordismo.
4. Teoremi di Confronto: Gli autori sfruttano i teoremi di confronto tra il cobordismo algebrico, la teoria di Chow e il cobordismo complesso ($MU^*$). Nello specifico, utilizzano il fatto che per certe varietà, la mappa naturale $\Omega^*(X) \to CH^*(X)$ permette di recuperare $\Omega^*(X)$ come modulo libero su $L^*$ se $CH^*(X)$ è libero su $\mathbb{Z}$.
5. Analisi dell'Embedding: Per la varietà meravigliosa $W_H$, gli autori analizzano l'inclusione canonica $\iota: W_H \hookrightarrow X_{M_H}$. Essi dimostrano che questa inclusione induce isomorfismi sulle cohomologie rilevanti studiando la mappa di classe di ciclo e la struttura di $W_H$ come blow-up iterato di uno spazio proiettivo.

Contributi Chiave e Risultati

1. Presentazione Simpliciale per $\Omega^*(X_M)$:
   Il risultato primario è una presentazione combinatoria dell'anello di cobordismo algebrico della varietà torica $X_M$ associata a un matroide privo di loop $M$. Il ring è presentato come un $L^*$-algebra generato da elementi $h_G$ (lift dei generatori simpliciali) per i non-vuoti flat $G$, soggetti a relazioni che coinvolgono la legge del gruppo formale $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}$$
   Crucialmente, questa presentazione produce un isomorfismo di $L^*$-algebre:
   $$\Omega^*(X_M) \cong CH^*(X_M) \otimes_{\mathbb{Z}} L^*$$
   Questo risultato implica che per qualsiasi teoria dell'cohomologia orientata libera $h^*$, $h^*(X_M) \cong \Omega^*(X_M) \otimes_{L^*} h^*(pt)$.

2. Generalizzazione dell'Isomorfismo Eccezionale:
   L'isomorfismo $\Omega^*(X_M) \cong CH^*(X_M) \otimes_{\mathbb{Z}} L^*$ generalizza l' "isomorfismo eccezionale" $K_0(X_M) \cong CH^*(X_M)$ recentemente stabilito da Berget–Eur–Spink–Tseng e Larson–Li–Payne–Proudfoot. Gli autori notano che questa proprietà è rara; citano l'esempio di Speyer di una varietà torica regolare proiettiva dove $CH^*(X) \not\cong K_0(X)$, dimostrando che l'isomorfismo per le varietà toriche matroidali è una caratteristica strutturale speciale.

3. Isomorfismo per le Varietà Meravigliose:
   Gli autori dimostrano che l'inclusione $\iota: W_H \hookrightarrow X_{M_H}$ induce un isomorfismo degli anelli di cobordismo algebrico:
   $$\iota^*: \Omega^*(X_{M_H}) \xrightarrow{\sim} \Omega^*(W_H)$$
   Inoltre, stabiliscono che la mappa naturale dal cobordismo algebrico al cobordismo complesso induce un isomorfismo:
   $$\Omega^*(W_H) \xrightarrow{\sim} MU^*(W_H(\mathbb{C}))$$
   Di conseguenza, l'anello di cobordismo algebrico della varietà meravigliosa coincide con il suo anello di cobordismo complesso ed è isomorfo al prodotto tensoriale del suo anello di Chow con l'anello di Lazard.

4. Dipendenza dalla Struttura del Matroide:
   Il saggio dimostra che la classe di cobordismo $[W_H \to pt]$ in $\Omega^*(pt)$ (e $MU^*(pt)$) dipende solo dal matroide sottostante $M_H$ dell'arrangiamento di iperpiani $H$. Ciò è dimostrato verificando che i numeri di Chern di $W_H$, che determinano la classe di cobordismo, sono determinati interamente dalla combinatoria di $M_H$ tramite la formula di Cheng per la classe di Chern totale del fibrato tangente.

Significatività e Rivendicazioni
Il saggio sostiene di fornire le prime presentazioni combinatorie esplicite per gli anelli di cobordismo algebrico delle varietà toriche dei fan di Bergman e delle varietà meravigliose degli arrangiamenti di iperpiani. Stabilendo l'isomorfismo $\Omega^*(X_M) \cong CH^*(X_M) \otimes_{\mathbb{Z}} L^*$, gli autori mostrano che la struttura complessa di questi anelli è interamente governata dalla struttura del loro anello di Chow e dalla legge del gruppo formale universale.

La significatività risiede nel:

• Unificazione: Unifica lo studio degli anelli di Chow, degli anelli K e degli anelli di cobordismo algebrico per le varietà matroidali sotto un unico framework, mostrando che l' "isomorfismo eccezionale" tra la teoria di Chow e la K-teoria è un'ombra di un isomorfismo più profondo che coinvolge il cobordismo algebrico.
• Accessibilità Computazionale: Fornisce un metodo concreto per calcolare le classi di cobordismo algebrico per queste varietà, che sono generalmente difficili da calcolare.
• Invarianti dei Matroidi: Conferma che i profondi invarianti geometrici (come la classe di cobordismo in $\Omega^*(pt)$) della compattificazione meravigliosa sono invarianti puramente combinatori del matroide sottostante, estendendo questa proprietà dalla teoria di Chow e dalla K-teoria alla teoria universale dell'cohomologia orientata.

Gli autori dichiarano esplicitamente che, sebbene forniscano una formula ricorsiva per la classe di $M_{0,n}$ in un contesto correlato (tramite Ellis-Bloor), la formula ricorsiva esplicita per $[W_H \to pt]$ in termini di generatori dell'anello di Lazard rimane una direzione per il lavoro futuro. Notano anche che l'isomorfismo $\Omega^*(X) \cong CH^*(X) \otimes L^*$ non vale per tutte le varietà toriche regolari proiettive, evidenziando la natura speciale delle varietà matroidali.