[论文解读] Characteristic classes of smooth fibrations

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

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

一句话总结

本文通过在普遍纤维丛上对垂直丛的庞特里亚金类或陈类进行纤维积分，构造了光滑（哈密顿）纤维丛的特征类。给出了环面流形上的显式公式，并通过局部化技术建立了与亏格乘法性的联系，推导出分类空间上上同调维数的估计。

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.

研究动机与目标

• 通过垂直丛的特征类的纤维积分，定义光滑纤维丛的特征类。
• 显式计算这些类在辛环面簇（包括有理 ruled 曲面和复射影丛）上的值。
• 推导结构群分类空间上同调群维数的估计。
• 研究如 $\chi_y$-亏格等亏格在哈密顿纤维丛背景下的乘法性。
• 探讨等变结构与复结构在特征类构造中的作用。

提出的方法

• 通过在普遍纤维丛的全空间上进行纤维积分，从垂直丛的庞特里亚金类或陈类的乘积构造特征类。
• 应用圆作用的局部化公式，计算具有环面或辛结构的纤维丛上的亏格（如 $\chi_y$-亏格）。
• 利用等变上同调理论及 Delzant 多面体的面环，计算环面流形上的特征类。
• 利用 $J$-适应复结构空间的可缩性，通过等变延拓将复结构提升到相关丛上。
• 应用纤维积分的自然性，将拉回纤维丛的特征类与普遍纤维丛的特征类关联起来。
• 使用 Kosniowski-Lusztig 局部化公式，将纤维丛的 $\chi_y$-亏格表示为不动点分支的和。

实验结果

研究问题

• RQ1 如何系统地从垂直丛类的纤维积分构造光滑纤维丛的特征类？
• RQ2 在辛环面流形上，特征类的显式公式可以如何推导？
• RQ3 对于哈密顿纤维丛，$\chi_y$-亏格在多大程度上是严格乘法的？
• RQ4 亏格的乘法性特征如何约束分类空间的上同调？
• RQ5 存在 $G$-不变的复结构可缩集在特征类构造中起什么作用？

主要发现

• 为有理 ruled 曲面和 $\mathbb{CP}^2 \sharp 2\overline{\mathbb{CP}}^2$ 推导出庞特里亚金类与陈类的纤维积分的显式公式，使得低维辛环面纤维丛的特征类得以计算。
• 通过涉及不动点分支的局部化公式，证明当底空间为 $\mathbb{CP}^k$ 时，$\chi_y$-亏格在具有圆作用的纤维丛上是严格乘法的。
• 证明了 Todd 亏格与示性数对任意紧致李群 $G$ 均为 $G$-严格乘法，将已知结果推广至更广泛的对称群。
• 通过分析特征类上纤维积分映射的像，提供了分类空间上同调群维数的估计。
• 给出一个反例，表明 Todd 亏格并非 $Symp$-严格乘法，且示性数度量了某些曲面丛在乘法性上的缺陷。