[論文レビュー] Classification of Q-trivial Bott manifolds

Suyoung Choi, Mikiya Masuda|arXiv (Cornell University)|Dec 27, 2009

Topological and Geometric Data Analysis参考文献 3被引用数 5

ひとこと要約

この論文は、(ℂℙ¹)ⁿの有理コホモロジーと同型なものを有する複素多様体であるℚ-自明なボット多様体を、その整数コホモロジーリングによって完全に決定されることを示すことにより分類する。次元2nにおけるその微分同相型の数はnの整数分割の数に等しく、任意のℚ-自明なボット多様体間のコホモロジーリング同型は微分同相によって引き起こされることを証明し、このクラスにおける強いコホモロジー的剛性を確立する。

ABSTRACT

A Bott manifold is a closed smooth manifold obtained as the total space of an iterated $\C P^1$-bundle starting with a point, where each $\C P^1$-bundle is the projectivization of a Whitney sum of two complex line bundles. A \emph{$\Q$-trivial Bott manifold} of dimension $2n$ is a Bott manifold whose cohomology ring is isomorphic to that of $(\CP^1)^n$ with $\Q$-coefficients. We find all diffeomorphism types of $\Q$-trivial Bott manifolds and show that they are distinguished by their cohomology rings with $\Z$-coefficients. As a consequence, we see that the number of diffeomorphism classes in $\Q$-trivial Bott manifolds of dimension $2n$ is equal to the number of partitions of $n$. We even show that any cohomology ring isomorphism between two $\Q$-trivial Bott manifolds is induced by a diffeomorphism.

研究の動機と目的

• ℚ-自明なボット多様体のすべての微分同相型を分類すること。ここで、ℚ-自明なボット多様体とは、(ℂℙ¹)ⁿの有理コホモロジーと同型な複素多様体である。
• 整数コホモロジーリングがそのような多様体の微分同相型を完全に決定することを確立すること。
• 任意のℚ-自明なボット多様体間のコホモロジーリング同型が微分同相によって引き起こされることを証明し、強いコホモロジー的剛性予想を支持すること。
• 次元2nにおけるℚ-自明なボット多様体の微分同相型の数がnの整数分割の数に等しいことを示すこと。

提案手法

• 著者たちは、ボットタワーを点上のℂℙ¹-バンドルの反復構成として用い、各バンドルが2つの複素ラインバンドルのホイットニー和の射影化から生じることを用いる。
• 彼らは、トートロジカルラインバンドルのチャーン類と、射影バンドル構成から生じるコホモロジーリングの関係を用いて、ボット多様体のコホモロジーリングを分析する。
• 彼らは、有理コホモロジーリングが(ℂℙ¹)ⁿと一致するもの、すなわち「ℚ-自明」であるものに限定して分類を行い、バンドルデータを符号化する行列の構造に注目する。
• 彼らは、ℚ-自明なボット多様体の整数コホモロジーリングの自己同型が微分同相によって引き起こされることを、帰納法と、コホモロジーゲネレーターを置換する明示的構成による微分同相の構成を用いて証明する。
• 彼らは、ボット多様体のコホモロジーリングが、トートロジカルラインバンドルの1番目のチャーン類によって生成され、これらの類が特定の2次関係を満たすことに注目する。
• 彼らは、2つのℚ-自明なボット多様体間の任意のコホモロジーリング同型が、コホモロジーゲネレーターの置換対称性を用いて、平方零の原始的要素への作用を分析することで、微分同相によって引き起こされることを確立する。

実験結果

リサーチクエスチョン

• RQ1 次元2nにおけるℚ-自明なボット多様体の完全な微分同相型は何か？
• RQ2 整数コホモロジーリングは、ℚ-自明なボット多様体の微分同相型を区別するのに十分か？
• RQ3 任意のℚ-自明なボット多様体間のコホモロジーリング同型は、微分同相によって引き起こされるか？
• RQ4 次元2nにおけるℚ-自明なボット多様体の異なる微分同相型はいくつ存在するか？
• RQ5 ℚ-自明なボット多様体のコホモロジーリングの自己同型は、多様体の微分同相によって引き起こされるか？

主な発見

• 次元2nにおけるℚ-自明なボット多様体の微分同相型の数は、nの整数分割の数に等しい。
• ℚ-自門なボット多様体の微分同相型は、その整数コホモロジーリング（次数付き環として）によって完全に決定される。
• 2つのℚ-自明なボット多様体間の任意のコホモロジーリング同型は、微分同相によって引き起こされる。このことにより、このクラスにおける強いコホモロジー的剛性が確立される。
• ℚ-自門なボット多様体の整数コホモロジーリングの自己同型群は、多様体の微分同相群と同型である。
• ℚ-自門なボット多様体のコホモロジーリングは、2次の元n個によって生成され、特定の2次関係を満たす。その構造は整数行列によって符号化される。
• 分類は、関連する行列が標準形の置換に限られることを示すことによって達成され、その結果、分割数に一致する。