Algebraic cobordism rings of wonderful varieties and matroids

技術要約：驚異的な多様体およびマトロイドの代数コボルディズム環

問題提起
本論文は、マトロイドに関連する特定の種類の多様体、すなわちループレスなマトロイド $M$ のベルグマン・ファン（Bergman fan）のトーリック多様体 $X_M$、および複素ハイパープレーン配置 $H$ の驚威的なコンパクト化（wonderful compactification） $W_H$ の代数コボルディズム環 $\Omega^*(X)$ の計算と構造的理解を扱う。これらの多様体の Chow 環 $CH^*(X_M)$ および $CH^*(W_H)$、ならびに K-環 $K_0(X_M)$ および $K_0(W_H)$ は、すでに広範に研究されており、豊かな組合せ論的構造（「ケーラー・パッケージ」や Chow 環と K-理論の間の例外的な整数の同型など）を持つことが示されている。一方で、レヴィンとモレルによって構成された代数コボルディズムは、普遍的な有向コホモロジー論であり、ラザール環 $L^*$ 上の普遍的な形式群則を伴うため、Chow 理論や K-理論よりも計算が著しく困難であり、これらに関する $\Omega^*(X_M)$ および $\Omega^*(W_H)$ の明示的な提示はこれまで存在していなかった。

手法
著者らは、組合せ論的代数、形式群則の理論、およびトーリック多様体と吹出し（blow-up）の幾何学を組み合わせた手法を用いている。

1. トーリック多様体の枠組み: 著者らは、クリシュナとウマによる滑らかなトーリック多様体 $X_\Sigma$ の代数コボルディズム環の記述を利用している。この提示は、トーリック因子に対応する生成元と、ファンの組合せ論および普遍的な形式群則 $F_U$ から導かれる関係式からなる。
2. 組合せ論的提示: 著者らは、マトロイド的トーリック多様体の Chow 環に対する フェヒトナー–ユズヴィンスキー（Feichtner–Yuzvinsky）の提示を、代数コボルディズムの設定に適応させている。これには、非空のフラット（flat）によってインデックス付けされた変数からなる環を、比較不能なフラットおよび形式群則による関係式を用いて定義することが含まれる。
3. 単体的提示: $\Omega^*(X_M)$ の「単体的（simplicial）」な提示を導出することが、主要な手法上のステップである。これは、フラットの格子に対するメビウス反転を用いた変数変換を伴い、Chow 理論や K-理論の文脈で知られている「単体的生成元」をコボルディズムの設定へと持ち上げるものである。
4. 比較定理: 著者らは、代数コボルディズム、Chow 理論、および複素コボルディズム ($MU^*$) の間の比較定理を活用している。具体的には、$CH^*(X)$ が $\mathbb{Z}$ 上の自由加群である場合、自然な写像 $\Omega^*(X) \to CH^*(X)$ によって $\Omega^*(X)$ を $L^*$ 上の自由加群として回収できるという事実を用いている。
5. 埋め込み解析: 驚威的な多様体 $W_H$ について、著者らは標準的な包含写像 $\iota: W_H \hookrightarrow X_{M_H}$ を分析している。彼らは、サイクル類写像と、射影空間の反復的な吹出しとしての $W_H$ の構造を研究することによって、この包含が関連するコホモロジー環の間に同型を誘導することを証明している。

主要な貢献と結果

1. $\Omega^*(X_M)$ の単体的提示:
   主要な結果は、ループレスなマトロイド $M$ のトーリック多様体 $X_M$ に付随する代数コボルディズム環の組合せ論的な提示である。この環は、非空のフラット $G$ に対してインデックス付けされた要素 $h_G$（単体的生成元の持ち上げ）によって生成される $L^*$-代数として提示され、形式群則 $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}$$
   決定的なことに、この提示は $L^*$-代数としての同型を与える：
   $$\Omega^*(X_M) \cong CH^*(X_M) \otimes_{\mathbb{Z}} L^*$$
   この結果は、任意の自由な有向コホモロジー論 $h^*$ に対して、$h^*(X_M) \cong \Omega^*(X_M) \otimes_{L^*} h^*(pt)$ が成り立つことを意味する。

2. 例外的な同型の一般化:
   同型 $\Omega^*(X_M) \cong CH^*(X_M) \otimes_{\mathbb{Z}} L^*$ は、Berget–Eur–Spink–Tseng および Larson–Li–Payne–Proudfoot によって最近確立された「例外的な同型」 $K_0(X_M) \cong CH^*(X_M)$ を一般化している。著者らは、この性質が稀であることを指摘している。彼らは、Speyer による、滑らかな射影トーリック多様体において $CH^*(X) \not\cong K_0(X)$ となる例を引き合いに出し、マトロイド的トーリック多様体における同型が特殊な構造的特徴であることを示している。

3. 驚威的な多様体のための同型:
   著者らは、包含写像 $\iota: W_H \hookrightarrow X_{M_H}$ が代数コボルディズム環の同型を誘導することを証明している：
   $$\iota^*: \Omega^*(X_{M_H}) \xrightarrow{\sim} \Omega^*(W_H)$$
   さらに、代数コボルディズムから複素コボルディズムへの自然な写像が同型を誘導することを確立している：
   $$\Omega^*(W_H) \xrightarrow{\sim} MU^*(W_H(\mathbb{C}))$$
   したがって、驚威的な多様体の代数コボルディズム環は、その複素コボルディズム環と一致し、その Chow 環とラザール環のテンソル積と同型である。

4. マトロイド構造への依存性:
   本論文は、$[W_H \to pt]$ のコボルディズム類（$\Omega^*(pt)$ および $MU^*(pt)$ 内）が、ハイパープレーン配置 $H$ の基礎となるマトロイド $M_H$ にのみ依存することを実証している。これは、接束の全チェルン類に関する Cheng の公式を通じて、$W_H$ のチェルン数が $M_H$ の組合せ論によって完全に決定されることを検証することで示される。

意義と主張
本論文は、ベルグマン・ファンのトーリック多様体およびハイパープレーン配置の驚威的なコンパクト化に対する、代数コボルディズム環の最初の明示的な組合せ論的提示を提供したと主張している。$\Omega^*(X_M) \cong CH^*(X_M) \otimes_{\mathbb{Z}} L^*$ を確立することにより、著者らは、これらの多様体の複雑な構造が、その Chow 環と普遍的な形式群則によって完全に支配されていることを示している。

その意義は以下の点にある：

• 統一: Chow 環、K-環、および代数コボルディズム環の研究を、単一の枠組みの下でマトロイド的多様体に対して統一し、「Chow 理論と K-理論の間の例外的な同型」が、代数コボルディズムを含むより深い同型の影であることを示している。
• 計算へのアクセス: 一般に計算が困難なこれらの多様体の代数コボルディズム類を計算するための具体的な方法を提供する。
• マトロイド不変量: 驚威的なコンパクト化の深い幾何学的不変量（コボルディズム類 $[W_H \to pt]$ など）が、純粋に基礎となるマトロイド $M_H$ の組合せ論的不変量であることを確認し、この性質を Chow 理論や K-理論から、普遍的な有向コホモロジー論へと拡張した。

著者らは、関連する文脈（Ellis-Bloor を通じて）における $M_{0,n}$ の類の再帰的公式は提供しているものの、ラザール環の生成元を用いた $[W_H \to pt]$ の明示的な再帰的公式は今後の課題であると明記している。また、$\Omega^*(X) \cong CH^*(X) \otimes L^*$ という同型はすべての滑らかな射影トーリック多様体で成立するわけではないことも指摘しており、マトロイド的多様体の特殊性を強調している。