[論文レビュー] Characteristic classes of smooth fibrations

Tadeusz Januszkiewicz, Jarek Kędra|ArXiv.org|Sep 22, 2002

Geometric and Algebraic Topology参考文献 13被引用数 12

ひとこと要約

本稿は、普遍被覆に沿った垂直バンドルのポントリャーギン類やチエーン類のファイバー積分を用いて、滑らか（ハミルトニアン）なファイブレーションの特徴類を構成する。トーリック多様体に対して明示的な公式を提示し、分類空間のコホロロジー次元の推定値を導出し、局所化技術を通じて genus の乗法性と関連づける。

ABSTRACT

We construct characteristic classes of smooth (Hamiltonian) fibrations as as fiber integrals of products of Pontriagin (or Chern) classes of vertical vector bundles over the total space of the universal fibration. We give explicit formulae of these fiber integrals for toric manifolds and get estimates of the dimension of the cohomology groups of classifying spaces.

研究の動機と目的

• 垂直バンドルの特徴類のファイバー積分を用いて、滑らかなファイブレーションの特徴類を定義すること。
• シンプレクティックトーリック多様体、特に有理的ルールド面や複素射影バンドルを含む、それらのクラスを明示的に計算すること。
• 構造群の分類空間のコホロロジー群の次元推定値を導出すること。
• ハミルトニアンファイブレーションの文脈において、$\chi_y$-genus などの genus の乗法性を調査すること。
• 特徴類の構成における等長構造および複素構造の役割を探索すること。

提案手法

• 普遍ファイブレーションの全空間上でファイバー積分を用いて、垂直バンドルのポントリャーギン類やチエーン類の積から特徴類を構成する。
• 円作用の局所化公式を適用し、トーリックまたはシンプレクティック構造を持つファイブレーション上で $\chi_y$-genus などの genus を計算する。
• デルツァント多面体の面環と等長コホモロジー理論を用いて、トーリック多様体上の特徴類を計算する。
• J-適合複素構造の空間の可縮性を活用し、等長的拡張を用いて関連バンドルへ複素構造を上昇させる。
• ファイバー積分の自然性を応用し、引き戻しファイブレーションの特徴類を普遍ファイブレーションのそれと関連付ける。
• コスニオフスキー＝ルシュティグの局所化公式を用いて、ファイブレーションの $\chi_y$-genus を固定点成分の和として表現する。

実験結果

リサーチクエスチョン

• RQ1 ファイバー積分による垂直バンドル類の積から、滑らかなファイブレーションの特徴類を体系的にどのように構成できるか？
• RQ2 シンプレクティックトーリック多様体上での特徴類に対して、どのような明示的公式を導出できるか？
• RQ3 ハミルトニアンファイブレーションにおいて、$\chi_y$-genus がどの程度厳密に乗法的か？
• RQ4 genus の乗法的性質は、分類空間のコホロロジーにどのような制約をもたらすか？
• RQ5 G-不変な複素構造の合同な集合の存在が、特徴類の構成に果たす役割は何か？

主な発見

• 有理的ルールド面および $\mathbb{CP}^2 \sharp 2\overline{\mathbb{CP}}^2$ に対して、ポントリャーギン類およびチエーン類のファイバー積分の明示的公式が導出され、低次元のシンプレクティックトーリックファイブレーションにおける特徴類の計算が可能になった。
• 基になる空間が $\mathbb{CP}^k$ である場合、円作用を伴うファイブレーションにおいて、固定点成分を含む局所化公式を用いて $\chi_y$-genus が厳密に乗法的であることが示された。
• 任意のコンパクトなリー群 $G$ に対して、Todd genus と signature が $G$-厳密に乗法的であることが証明され、既知の結果がより広い対称性群へ拡張された。
• 特徴類へのファイバー積分写像の像を分析することにより、分類空間のコホロロジー群の次元推定値が得られた。
• Todd genus が $Symp$-厳密に乗法的でない反例が提示され、特定の曲面バンドルにおいて signature が乗法性の欠陥を測定することが分かった。