[論文レビュー] Cohomological rigidity of real Bott manifolds

Yoshinobu Kamishima, Mikiya Masuda|Osaka City University (Osaka City University)|Jul 26, 2008

Advanced Combinatorial Mathematics参考文献 11被引用数 7

ひとこと要約

この論文は、2つの実ボット多様体が微分同相であるための必要十分条件を、係数が ℤ/2 であるコホモロジー環の同型であることを示すことで、実ボット多様体のコホモロジー的剛性を確立する。証明は、行列不変量を用いた基本群の解析と、平坦多様体に関するビーバーバッハの定理の応用に依拠しており、また、実トーリック多様体の中で、実ボット多様体を特徴付けるのは、アーベル2群の作用に関して不変な平坦リーマン計量であることも示している。

ABSTRACT

A real Bott manifold is the total space of iterated RP^1 bundles starting with a point, where each RP^1 bundle is projectivization of a Whitney sum of two real line bundles. We prove that two real Bott manifolds are diffeomorphic if their cohomology rings with Z/2 coefficients are isomorphic. A real Bott manifold is a real toric manifold and admits a flat riemannian metric invariant under the natural action of an elementary abelian 2-group. We also prove that the converse is true, namely a real toric manifold which admits a flat riemannian metric invariant under the action of an elementary abelian 2-group is a real Bott manifold.

研究の動機と目的

• ℤ/2 係数のコホモロジー環を用いた実ボット多様体のコホモロジー的剛性問題を解決すること。
• 平坦リーマン計量と群作用を用いて、実トーリック多様体の中で実ボット多様体を特徴付けること。
• コホモロジー環の同型と基本群の同型、およびビーバーバッハの定理を用いて、微分同相性を結びつけること。
• 次元4までの実ボット多様体を分類し、立方体上のスモールカバーと関連付けること。

提案手法

• 実ボットタワーの射影バンドル構成を用いて、Stiefel-Whitney類を用いて ℤ/2 係数のコホモロジー環を記述すること。
• 各実ボット多様体を、タワー内のラインバンドルのホイットニー和のデータを符号化する行列として表現すること。
• コホモロジー環の同型に関する必要十分条件を、行列の同値類の観点から導出すること。
• 群拡張理論を用いて、コホモロジー環の同型から実ボット多様体の基本群間の単準同型を構成すること。
• 群コホモロジーの解析とホッホシールド＝セルレのスペクトル系列を用いて、この単準同型が同型であることを証明すること。
• ビーバーバッハの定理を適用し、同型な基本群が平坦多様体では微分同相性を意味することを結論づけること。

実験結果

リサーチクエスチョン

• RQ1 2つの実ボット多様体が、係数が ℤ/2 であるコホモロジー環が同型ならば、微分同相であるか？
• RQ2 どの実トーリック多様体が、ランク n の初等アーベル2群の作用に関して不変な平坦リーマン計量を持つか？
• RQ3 係数が ℤ/2 であるコホモロジー環は、実ボット多様体を微分同相型で分類できるか？
• RQ4 次元4までの実ボット多様体の微分同相型クラスはいくつ存在するか？
• RQ5 n次元立方体上のすべてのスモールカバーは、実ボット多様体に位相的に同相か？

主な発見

• 2つの実ボット多様体が微分同相であるための必要十分条件は、係数が ℤ/2 であるコホモロジー環が、次数付き環として同型であることである。
• 実ボット多様体の基本群は、係数が ℤ/2 であるコホモロジー環によって完全に決定される。
• ランク n の初等アーベル2群の作用に関して不変な平坦リーマン計量を持つ実トーリック多様体は、必然的に実ボット多様体である。
• 次元4における実ボット多様体の微分同相型クラスはちょうど12個存在する。
• n次元立方体上のスモールカバーは、n次元の実ボット多様体に位相的に同相であり、次元4における同相型クラスの数は12個である。
• 群 (ℤ/2)^n が ℤ に非自明に作用するとき、係数が ℤ/2 である2次コホモロジー群 H² は (ℤ/2)^{n-1} に同型であり、これは基本群の同型を示す証明において重要な役割を果たす。