[论文解读] 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 启发的分解定理，确定光滑 toric 代数簇的等变 cobordism 环，然后通过商构造推导出普通 cobordism 环，计算了光滑 toric 代数簇的代数 cobordism 环。关键结果是普通 cobordism 环与一个关于 Lazard 环的幂级数环的商环之间存在显式同构，关系由扇形结构和形式群律决定。

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.

研究动机与目标

• 计算一类具有丰富组合结构的代数簇——光滑 toric 代数簇的普通代数 cobordism 环。
• 将此前用于 Chow 环的等变 cobordism 技术扩展至代数 cobordism 的设定。
• 建立光滑 toric 代数簇的等变 cobordism 环的结构描述，类比于等变 Chow 环的情形。
• 利用 [14, 定理 3.4] 中已知的商公式，从等变 cobordism 环推导出普通 cobordism 环。
• 基于扇形数据与形式群律，以生成元与关系的形式提供 cobordism 环的显式表示。

提出的方法

• 使用 [13] 中发展的光滑簇的等变 cobordism 理论，该理论推广了 Totaro 与 Edidin-Graham 的等变 Chow 理论。
• 借鉴 Vezzosi 与 Vistoli 在等变 K-理论中的技术，为光滑 toric 代数簇的等变 cobordism 环构造一个分解定理。
• 将等变 cobordism 环定义为 Lazard 环上幂级数环 ${\mathbb{L}}[[t_{\rho}]]$ 的商环，模以由非生成集合的一维锥对应单项式生成的理想 $I_\Delta$。
• 应用 [14, 定理 3.4]，将普通 cobordism 环表示为等变环关于由特征的等变第一陈类生成的理想之商。
• 利用 Lazard 环上的形式群律 $F(u,v)$，将等变陈类表达为 $\sum [n_i]_F x_i$，通过配对 $<\chi, v_\rho>$ 纳入 torus 作用。
• 通过证明高次单项式因维数约束而消失，建立普通 cobordism 环与多项式商环之间的同构，从而得到有限表示。

实验结果

研究问题

• RQ1 如何基于其扇形数据描述光滑 toric 代数簇的等变 cobordism 环？
• RQ2 光滑 toric 代数簇的普通 cobordism 环的精确结构是什么？它与等变 cobordism 环有何关系？
• RQ3 Lazard 环的形式群律能否用于通过陈类在 cobordism 环中编码 torus 作用？
• RQ4 扇形的组合数据——特别是射线的非生成集合——如何决定 cobordism 环中的关系？
• RQ5 光滑 toric 代数簇的 cobordism 环在结构上在多大程度上类似于 Chow 环？形式群律引入的关键差异是什么？

主要发现

• 光滑 toric 代数簇 $X=X(\Delta)$ 的等变 cobordism 环 $\Omega^*_T(X)$ 同构于 $\mathbb{L}[[t_\rho]]/I_\Delta$，其中 $I_\Delta$ 是由非生成射线子集 $S \in \Delta^0_1$ 对应的单项式 $\prod_{\rho \in S} t_\rho$ 生成的理想。
• 普通 cobordism 环 $\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$，cobordism 环同构于 $\mathbb{L}[t_{\rho_{n+1}}]/(t_{\rho_{n+1}}^{n+1})$，通过形式群律与扇形关系恢复了已知结果。
• 对于单锥对应的 toric 代数簇，cobordism 环同构于 Lazard 环 $\mathbb{L}$，因为所有生成元均被关系消去。
• T-等变线丛 $L_\chi$ 的陈类为 $c^T_1(L_\chi) = \sum_{\rho} [\langle \chi, v_\rho \rangle]_F t_\rho$，表明形式群律在编码 torus 权重中的作用。
• 包含映射 $\mathbb{L}[t_\rho] \to \mathbb{L}[[t_\rho]]$ 在模以适当理想后下降为同构，确认了普通 cobordism 环的有限性。