[論文レビュー] Cobordism ring of toric varieties

Amalendu Krishna, V. Uma|arXiv (Cornell University)|Nov 2, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 18被引用数 3

ひとこと要約

本稿では、VezzosiとVistoliのインスピレーションを受けて開発された分解定理を用いて、最初に滑らかなトーリック多様体の等化コホモンス環を特定し、その後[14, 定理3.4]の既知の商構成を用いて通常のコホモンス環を導出することで、滑らかなトーリック多様体の代数的コホモンス環を計算する。主な結果は、ファン構造と形式的群法則によって定まる関係を持つ、ラザールド環上の形式的級数環の商と通常のコホモンス環との明示的な同型写像が得られることである。

ABSTRACT

We describe the equivariant cobordism ring of smooth toric varieties. This equivariant description is used to compute the ordinary cobordism ring of such varieties.

研究の動機と目的

• 滑らかなトーリック多様体、つまり豊富な組合せ的構造を持つ代数的多様体のクラスの通常の代数的コホモンス環を計算すること。
• 以前はチャウ環に用いられていた等化コホモンス技法を、代数的コホモンスの文脈へと拡張すること。
• 滑らかなトーリック多様体の等化コホモンス環の構造的記述を、等化チャウ環の場合に類似した形で確立すること。
• 既知の[14, 定理3.4]の商公式を用いて、等化コホモンス環から通常のコホモンス環を導出すること。
• ファンデータと形式的群法則を用いて、生成子と関係式によるコホモンス環の明示的表現を提供すること。

提案手法

• [13]で開発された滑らかな多様体の等化コホモンス理論を用いる。これはTotaroとEdidin-Grahamの等化チャウ理論を一般化するものである。
• VezzosiとVistoliの等化K理論における技術を応用し、滑らかなトーリック多様体の等化コホモンス環の分解定理を構築する。
• 等化コホモンス環を、ラザールド環上の形式的級数環 ${\mathbb{L}}[[t_{\rho}]]$ の商として定義する。ここで、$I_\Delta$ は、1次元の鋸（ray）の非生成集合に対応する単項式によって生成されるイデアルである。
• [14, 定理3.4]を適用し、通常のコホモンス環を、等化環から、キャラクターの等化第一チャーン類によって生成されるイデアルを商取ることで表現する。
• ラザールド環上の形式的群法則 $F(u,v)$ を用いて、等化チャーン類を $\sum [n_i]_F x_i$ の形に表現する。ここで、トーラス作用はペアリング $<\chi, v_\rho>$ を通じて組み込まれる。
• 高次の単項式が次元制約により消えることから、有限提示に至るため、通常のコホモンス環と多項式の商との同型写像を確立する。

実験結果

リサーチクエスチョン

• RQ1 滑らかなトーリック多様体の等化コホモンス環は、そのファンデータを用いてどのように記述できるか？
• RQ2 滑らかなトーリック多様体の通常のコホモンス環の正確な構造は何か？また、等化コホモンス環とはどのように関係しているか？
• RQ3 ラザールド環の形式的群法則を用いて、チャーン類を通じてトーラス作用をコホモンス環に符号化できるか？
• RQ4 ファンの組合せ的データ、特に放射線の非生成集合が、コホモンス環の関係式にどのように寄与するか？
• RQ5 滑らかなトーリック多様体のコホモンス環は、構造的にチャウ環にどれほど類似しているか？形式的群法則によって導入される主な相違点は何か？

主な発見

• 滑らかなトーリック多様体 $X=X(\Delta)$ の等化コホモンス環 $\Omega^*_T(X)$ は、$\mathbb{L}[[t_\rho]]/I_\Delta$ に同型であり、ここで $I_\Delta$ は、$\Delta^0_1$ に属する非生成集合 $S$ に対する単項式 $\prod_{\rho \in S} t_\rho$ によって生成されるイデアルである。
• 通常のコホモンス環 $\Omega^*(X)$ は、$\mathbb{L}[t_\rho]/(\overline{I}_\Delta, \sum_{\rho} [\langle \chi, v_\rho \rangle]_F t_\rho)$ に同型であり、ここで $\overline{I}_\Delta$ はファンイデアルに加え、$n+1$ 乗関係 $t_\rho^{n+1}$ を含む。
• $\mathbb{P}^n$ の場合、コホモンス環は $\mathbb{L}[t_{\rho_{n+1}}]/(t_{\rho_{n+1}}^{n+1})$ に同型であり、形式的群法則とファン関係式を用いて既知の結果が回復される。
• 1つの錐に付随するトーリック多様体の場合、すべての生成子が関係式によって消えるため、コホモンス環はラザールド環 $\mathbb{L}$ に同型である。
• $T$-等化線分束 $L_\chi$ のチャーン類は $c^T_1(L_\chi) = \sum_{\rho} [\langle \chi, v_\rho \rangle]_F t_\rho$ で与えられ、形式的群法則がトーラス重みを符号化する役割を果たすことが示される。
• $\mathbb{L}[t_\rho] \to \mathbb{L}[[t_\rho]]$ の包含写像は、適切なイデアルで商取ることで同型写像に下がり、通常のコホモンス環の有限性が確認される。