[论文解读] Algebraic cobordism of bundles on varieties

Y.-P. Lee, Rahul Pandharipande|arXiv (Cornell University)|Feb 8, 2010

Homotopy and Cohomology in Algebraic Topology被引用 3

一句话总结

本文通过双点关系，建立了复代数簇上向量丛代数cobordism的几何表述，证明了复代数簇上丛的cobordism群存在一个由射影空间乘积上的分裂丛构成的有理基。主要结果表明，丛的完整代数cobordism理论是通过从标准代数cobordism进行标量扩张得到的，从而对Spec(ℂ)上的cobordism环给出了完整且显式的描述。

ABSTRACT

The double point relation defines a natural theory of algebraic cobordism for bundles on varieties. We construct a simple basis (over the rationals) of the corresponding cobordism groups over Spec(C) for all dimensions of varieties and ranks of bundles. The basis consists of split bundles over products of projective spaces. Moreover, we prove the full theory for bundles on varieties is an extension of scalars of standard algebraic cobordism.

研究动机与目标

• 通过双点关系，发展向量丛在代数簇上的代数cobordism的几何表述。
• 为复代数簇上丛的cobordism群构造一个显式的有理基。
• 证明丛的完整代数cobordism理论是通过从标准代数cobordism进行标量扩张得到的。
• 通过陈类运算与射影丛分解，建立对丛的cobordism环的结构性理解。

提出的方法

• 通过映射到ℙ¹的退化过程（具有横截双纤维）定义双点cobordism关系。
• 将cobordism群ω*,r(X)定义为光滑代数簇上X-概形上丛的同构类群的群完备化商群。
• 利用射影丛分解与奇点消解，分析ω*,r(X)的结构。
• 应用陈类运算Cψ，定义ω* (X) ⊗ ω*,r(k)上的配对，并通过主对角线上为1的三角形性证明其单射性。
• 利用已知的ω*(k)在ℚ上的基，证明ω*,r(X)通过映射γX同构于ω*(X) ⊗ ω*,r(k)。
• 独立证明γX的满射性与单射性，从而确立同构关系，完成主定理的证明。

实验结果

研究问题

• RQ1 复代数簇上向量丛的代数cobordism环具有怎样的结构？
• RQ2 能否显式构造出丛的cobordism群的有理基？
• RQ3 丛的代数cobordism理论是否同构于ω*(X) ⊗ ω*,r(k)？
• RQ4 陈类运算在丛cobordism的上下文中如何与双点关系相互作用？
• RQ5 分裂丛在射影空间乘积上的作用在生成cobordism群中起什么作用？

主要发现

• 复代数簇X上秩为r的向量丛的cobordism群ω*,r(X)通过自然映射γX同构于ω*(X) ⊗ ω*,r(k)。
• ω*,r(k)的有理基由索引为长度不超过r的整数分拆的分裂丛类构成。
• 基元素的形式为[ℙλ₁ × ⋯ × ℙλℓ] ⊗ [𝒪(1)⊕⋯⊕𝒪(1)]，其中ℓ ≤ r，构成一个ℚ-基。
• 双点关系定义了丛的代数cobordism的几何表述，扩展了标准理论。
• 陈类运算Cψ在ω*,r(X)上有良好定义，并尊重双点关系，确保与cobordism结构的相容性。
• 由Cψ(γX(ζ))定义的配对ρX是主对角线上为1的三角形形式，从而证明了γX的单射性，进而确立了同构关系。