[論文レビュー] Algebraic cobordism of bundles on varieties

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

Homotopy and Cohomology in Algebraic Topology被引用数 3

ひとこと要約

本稿では、双対点関係を用いて、複素数体上の多様体上のベクトル束の代数的コボルドィズムの幾何的表現を確立し、複素数体上の多様体上の束のコボルドィズム群が、射影空間の積上の分解束からなる有理数基底をもつことを証明する。主な結果は、標準的代数的コボルドィズムからのスカラー拡張によって、束の代数的コボルドィズムの完全な理論が得られることを示しており、Spec(ℂ) 上のコボルドィズム環の完全かつ明示的な記述が得られる。

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.

研究の動機と目的

• 双対点関係を用いて、多様体上のベクトル束の代数的コボルドィズムの幾何的表現を構築すること。
• 複素数体上の多様体上の束のコボルドィズム群に対して明示的な有理数基底を構成すること。
• 束の代数的コボルドィズムの完全な理論が、標準的代数的コボルドィズムからのスカラー拡張であることを証明すること。
• チャーン作用素と射影束分解を用いて、束のコボルドィズム環の構造的理解を確立すること。

提案手法

• 射影直線 ℙ¹ への準同型の退化により、横断的二重ファイバーを持つ双対点コボルドィズム関係を定義する。
• 滑らかな多様体 X 上の束の同型類の群完備化の商として、コボルドィズム群 ω*,r(X) を構成する。
• 射影束分解と特異点の解消を用いて、ω*,r(X) の構造を分析する。
• チャーン作用素 Cψ を用いて、ω* (X) ⊗ ω*,r(k) 上のペアリングを定義し、対角成分が 1 である三角行列性を用いて、単射性を証明する。
• 既知の ω*(k) の ℚ 上の基底を活用し、写像 γX を通じて ω*,r(X) が ω*(X) ⊗ ω*,r(k) に同型であることを示す。
• γX の全射性と単射性を独立に証明し、同型を確立し、主要定理の証明を完了する。

実験結果

リサーチクエスチョン

• RQ1 複素数体上での多様体上のベクトル束の代数的コボルドィズム環の構造はいかなるものか？
• RQ2 束のコボルドィズム群に対して、有理数基底を明示的に構成できるか？
• RQ3 多様体 X 上の束の代数的コボルドィズム理論は、ω*(X) ⊗ ω*,r(k) に同型であるか？
• RQ4 チャーン作用素は、束のコボルドィズムの文脈で双対点関係とどのように作用するか？
• RQ5 射影空間の積上の分解束は、コボルドィズム群の生成に果たす役割は何か？

主な発見

• 複素数体上の多様体 X 上のランク r のベクトル束のコボルドィズム群 ω*,r(X) は、自然写像 γX を通じて ω*(X) ⊗ ω*,r(k) に同型である。
• ω*,r(k) の有理数基底は、長さが r 以下の整数分割によってインデックス付けされた、射影空間の積上の分解束の類によって与えられる。
• 基底要素は [ℙλ₁ × ⋯ × ℙλℓ] ⊗ [𝒪(1)⊕⋯⊕𝒪(1)] の形をとり、ℓ ≤ r を満たし、これは ℚ-基底をなす。
• 双対点関係は、束の代数的コボルドィズムの幾何的表現を定義し、標準理論を拡張する。
• チャーン作用素 Cψ は ω*,r(X) 上で適切に定義され、双対点関係を尊重するため、コボルドィズム構造と整合する。
• Cψ(γX(ζ)) によって定義されるペアリング ρX は、対角成分が 1 である三角行列型を示し、γX の単射性を証明する。これにより同型が成立する。