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

Mikiya Masuda|ArXiv.org|Sep 12, 2008

Advanced Combinatorial Mathematics参考文献 5被引用数 9

ひとこと要約

本稿では、2つの実ボット多様体がアフィン微分同相であるための必要十分条件を、それらの係数 ℤ/2 におけるコホモロジー環が順序付き環として同型であることであると証明することによって、実ボット多様体を分類する。本稿では、微分同相型に関して実ボット多様体を分類するための上三角 (0,1)-行列に対する3つの行列演算を導入し、任意の順序付き環同型がアフィン微分同相から生じることを示し、積因子への分解の一意性を含めた完全な代数的分類を確立する。

ABSTRACT

A real Bott manifold is the total space of a sequence of $\R P^1$ bundles starting with a point, where each $\R P^1$ bundle is projectivization of a Whitney sum of two real line bundles. A real Bott manifold is a real toric manifold which admits a flat riemannian metric. An upper triangular $(0,1)$ matrix with zero diagonal entries uniquely determines such a sequence of $\R P^1$ bundles but different matrices may produce diffeomorphic real Bott manifolds. In this paper we determine when two such matrices produce diffeomorphic real Bott manifolds. The argument also proves that any graded ring isomorphism between the cohomology rings of real Bott manifolds with $\Z/2$ coefficients is induced by an affine diffeomorphism between the real Bott manifolds. In particular, this implies the main theorem of \cite{ka-ma08} which asserts that two real Bott manifolds are diffeomorphic if and only of their cohomology rings with $\Z/2$ coefficients are isomorphic as graded rings. We also prove that the decomposition of a real Bott manifold into a product of indecomposable real Bott manifolds is unique up to permutations of the indecomposable factors.

研究の動機と目的

• 実ボット多様体が微分同相である条件を、係数 ℤ/2 におけるコホモロジー環の構造を分析することによって特定すること。
• 上三角 (0,1)-行列（対角成分が0）を用いた、実ボット多様体の完全な代数的分類を確立すること。
• 実ボット多様体のコホモロジー環間の任意の順序付き環同型が、アフィン微分同相から生じることを証明すること。
• 実ボット多様体が分解可能な因子の積として表されるとき、その分解が順列を除いて一意的であることの証明。
• 実ボット多様体におけるキャンセレーション性質の検証：S¹ × M ≅ S¹ × M′ ならば M ≅ M′ が成り立つこと。

提案手法

• 各実ボット多様体 M(A) を、ℝP¹ バンドルの系列を符号化する、対角成分が0の上三角 (0,1)-行列 A で表現する。
• 微分同相型を保つ3つの行列演算（行・列の置換、行演算、対角正規化）を導入する。
• コホモロジー環の乗法的構造を用いて H¹(M; ℤ/2) における固有要素と固有部分空間を定義し、環同型の分析を行う。
• クライン対と商環の概念を用いてコホモロジー環を分解し、分解可能な成分のテンソル積間の同型を分析する。
• 実ボット多様体のコホモロジー環間の任意の順序付き環同型が、多様体間のアフィン微分同相に引き上げられることを証明する。
• 帰納法と構造的分解を用いて、実ボット多様体が分解可能な因子の積として表されるとき、その分解が順列を除いて一意的であることを示す。

実験結果

リサーチクエスチョン

• RQ1 対角成分が0の上三角 (0,1)-行列が2つの微分同相な実ボット多様体を定義するのはいつか？
• RQ2 実ボット多様体のコホモロジー環間の任意の順序付き環同型が、アフィン微分同相から生じるか？
• RQ3 実ボット多様体が分解可能な因子の積として表されるとき、その分解は因子の順列を除いて一意的か？
• RQ4 実ボット多様体においてキャンセレーション性質が成り立つか：S¹ × M ≅ S¹ × M′ ならば M ≅ M′ が成り立つか？
• RQ5 実ボット多様体の分類を一般の実トーリック多様体へ拡張できるか？

主な発見

• 2つの実ボット多様体がアフィン微分同相であるための必要十分条件は、それらの係数 ℤ/2 におけるコホモロジー環が順序付き環として同型であることである。
• 2つの実ボット多様体のコホモロジー環間の任意の順序付き環同型は、多様体間のアフィン微分同相から生じる。
• 実ボット多様体が分解可能な因子の積として表されるとき、その分解は因子の順列を除いて一意的である。
• キャンセレーション性質が成り立つ：S¹ × M と S¹ × M′ が微分同相ならば、M と M′ は微分同相である。
• 対角成分が0の上三角 (0,1)-行列の集合に対して定義される3つの行列演算は、実ボット多様体の微分同相型を完全に分類する。
• 特に固有要素とクライン対を用いたコホモロジー環の構造は、実ボット多様体の完全な不変量を提供する。