[論文レビュー] Topological classification of generalized Bott towers

Suyoung Choi, Mikiya Masuda+1 more|arXiv (Cornell University)|Jul 28, 2008

Advanced Combinatorial Mathematics参考文献 6被引用数 6

ひとこと要約

この論文は、一般化されたボットタワー（複素線束のホイットニー和の反復射影化）が、それらの整数係数コホモロジー環がそのような積と同型である場合に限り、複素射影空間の積と微分同相であることを確立している。主な結果は、一般化されたボットタワーにおけるコホモロジー的剛性を証明する：同型なコホモロジー環は微分同相を意味する。これは、トーリック多様体に対するより広範なコホモロジー的剛性問題を支持する。

ABSTRACT

If $B$ is a toric manifold and $E$ is a Whitney sum of complex line bundles over $B$, then the projectivization $P(E)$ of $E$ is again a toric manifold. Starting with $B$ as a point and repeating this construction, we obtain a sequence of complex projective bundles which we call a generalized Bott tower. We prove that if the top manifold in the tower has the same cohomology ring as a product of complex projective spaces, then every fibration in the tower is trivial so that the top manifold is diffeomorphic to the product of complex projective spaces. This gives a supporting evidence to what we call cohomological rigidity problem for toric manifolds "Are toric manifolds diffeomorphic (or homeomorphic) if their cohomology rings are isomorphic?" We provide two more results which support the cohomological rigidity problem.

研究の動機と目的

• トーリック多様体の同型なコホモロジー環が微分同相であるかどうかを調査し、トーリック多様体に対するコホモロジー的剛性問題を扱う。
• 一般化されたボットタワーのコホモロジー環構造が、そのファイブレーションが自明であることを強制するかどうかを特定する。これにより、複素射影空間の積への微分同相が得られる。
• 2段階および3段階のボット多様体において、コホモロジー的剛性予想を証明することで、その予想に対する支援的証拠を提供する。
• 特に、ポントリャーギン類とスティーフェル＝ホイットニー類を用いて、コホモロジー同型のもとでの微分同相型の区別に果たす特徴類の役割を分析する。
• コホモロジー環の同型が特徴類を保存する条件を確立し、微分同相型分類を可能にする。

提案手法

• 点上の複素線束のホイットニー和の反復射影化によって一般化されたボットタワーを構成する。
• 一般化されたボットタワーのコホモロジー環は、アーベル群として複素射影空間の積のそれと同型であるが、必ずしも次数付き環として同型ではないことを利用する。
• コホモロジー環が複素射影空間の積のそれと次数付き環として同型であるならば、タワー内のすべてのファイブレーションが自明であることを証明する。
• ある補題を適用する。この補題は、複素射影空間の積上での複素線束のホイットニー和が、その全チーン類が自明であるならば、自明であることを示す。
• 特に3段階ボット多様体において、ポントリャーギン類とスティーフェル＝ホイットニー類を用いて微分同相型を区別する。
• 全平方作用素とウー類を用いて、Z/2係数のコホモロジー環の間の環同型が、ある生成条件のもとでスティーフェル＝ホイットニー類を保存することを示す。

実験結果

リサーチクエスチョン

• RQ1 一般化されたボットタワーが複素射影空間の積と微分同相である条件は何か？
• RQ2 コホモロジー環（次数付き環として）の同型が、一般化されたボットタワーにおいて微分同相を意味するか？
• RQ3 2段階および3段階のボット多様体において、トーリック多様体に対するコホモロジー的剛性問題を肯定的に示せるか？
• RQ4 ポントリャーギン類やスティーフェル＝ホイットニー類といった特徴類が、トーリック多様体の微分同相型をどの程度決定づけるか？
• RQ5 コホモロジー環の環同型が、スティーフェル＝ホイットニー類などの特徴類を保存する条件は何か？

主な発見

• 一般化されたボットタワー $B_m$ のコホモロジー環が $\textstyle\bigtimes_{i=1}^m \bbC P^{n_i}$ のそれと次数付き環として同型であるならば、タワー内のすべてのファイブレーションが自明であり、$B_m$ は $\textstyle\bigtimes_{i=1}^m \bbC P^{n_i}$ と微分同相である。
• 2段階の一般化されたボット多様体では、微分同相型がコホモロジー環によって完全に決定される。すなわち、それらが微分同相であるための必要十分条件は、コホモロジー環が同型であることである。
• 3段階のボット多様体に対しても同様に成り立つ：微分同相型はコホモロジー環の同型と同値である。
• 複素射影空間の積上での複素線束のホイットニー和の全チーン類が自明であることは、そのバンドルが自明であることと同値である。これは独立に価値のある結果である。
• コホモロジー環が単一の次数の元によって生成される場合、任意の環同型はスティーフェル＝ホイットニー類を保存する。これは微分同相型の分類を支援する。
• 特に $H^*(B_3; \bbQ)$ が $H^*((\bbC P^1)^3; \bbQ)$ と同型でない場合、コホモロジー環の同型のもとでポントリャーギン類 $p_1$ は保存され、$p_1$ が一致する場合には微分同相が保証される。