[論文レビュー] Cohomology rings of certain seven dimensional manifolds

Christine Escher, Shari K. Ultman|ArXiv.org|Oct 11, 2008

Commutative Algebra and Its Applications参考文献 13被引用数 3

ひとこと要約

本稿では、$S^3 \times S^3$-作用をもつ7次元単連結共型1多様体の4つの族の整係数コホモロジー環を、二重ディスクバンドル構造とコホモロジーの長完全系列を用いて計算する。主な結果は、$N_{(p_-,q_-)(p_+,q_+)}$ および $O_{(p,q:m)}$ 族の多様体が、明示的な生成子と関係式をもつ型 $E_r$ のコホモロジー環を持つこと、一方 $L$ および $M$ 族は、エッシエンブルク空間や $S^4$ 上の $S^3$-バンドルといった既知の多様体と同型な環を持つことが示され、これらの環は位相的不変量を介して微分同相型を区別する。

ABSTRACT

We calculate the cohomology rings of a collection of seven dimensional manifolds supporting an S^3 x S^3-action with one dimensional orbit space. These manifolds are of interest to differential geometers studying non-negative and positive sectional curvature. From this collection, we identify several families of manifolds for which there exist well-known topological invariants distinguishing homeomorphism and diffeomorphism types.

研究の動機と目的

• 7次元単連結共型1多様体の4つの族の整係数コホモロジー環を特定すること。
• これらの族内での微分同相型を区別する位相的不変量を同定すること。
• 既存のコホモロジー群の結果を拡張し、特に環構造が未だ不明であった $N$ および $O$ 族の完全な環構造を計算すること。
• 特定の多様体が型 $E_r$ のコホモロジー環を持つことを確立し、微分同相型分類に用いることができる位相的不変量の利用を可能にすること。

提案手法

• 多様体を $M = D(G/K_-) \cup_{\text{id}} D(G/K_+)$ と二重ディスクバンドル構造でモデル化し、$G = S^3 \times S^3$ とする。
• 対 $(M, G/K_\pm)$ におけるコホモロジーの長完全系列を用いて、コホモロジー群および生成子間の関係を計算する。
• 制限準同型の像の性質と像への上への性質に基づき、コホモロジー環が型 $E_r$ である条件を確認するため、補題2.2を用いる。
• 同型性群 $H \subseteq K_- \subseteq G$ および $H \subseteq K_+ \subseteq G$ を分析し、$G/K_\pm$ および $G/H$ の構造（球面またはレンズ空間）を特定する。
• 生成子を $H^2$, $H^4$, $H^5$, $H^7$ にとり、$xy$ のような積が $H^7$ を生成することにより環構造を計算する。
• パラメータの制約（例：$p_\pm, q_\pm$ の偶奇、$m=1$ または $m=2$）に基づいて場合分けを行い、異なるコホモロジー群構造に対応する。

実験結果

リサーチクエスチョン

• RQ1 7次元多様体の族 $N_{(p_-,q_-)(p_+,q_+)}$ の整係数コホモロジー環構造は何か？
• RQ2 $m=1$ と $m=2$ の場合における $O_{(p,q:m)}$ 族のコホモロジー環はどのように異なり、その環型は何か？
• RQ3 $L_{(p_-,q_-)(p_+,q_+)}$ 族のコホモロジー環は、$p_+$ が奇数または偶数の場合に完全に記述可能か？
• RQ4 これらの族のコホモロジー環は、微分同相型を区別する位相的不変量を支持するか？
• RQ5 先行研究の示唆に徴するように、$M_{(p_-,q_-)(p_+,q_+)}$ 族のコホモロジー環は $S^4$ 上の $S^3$-バンドルのそれと同型か？

主な発見

• 族 $N_{(p_-,q_-)(p_+,q_+)}$ のコホモロジー環は、エッシエンブルク空間のそれと同型であり、$H^2(N) = \mathbb{Z} \cdot x$, $H^5(N) = \mathbb{Z} \cdot y$, $xy$ が $H^7(N) \cong \mathbb{Z}$ を生成する。ここで $r = |p_+^2 q_-^2 - p_-^2 q_+^2|$ は奇数である。
• 族 $O_{(p,q:m)}$ のコホモロジー環は、$r = |p^2 - q^2|$ に対して型 $E_r$ であり、$H^2(O) = \mathbb{Z} \cdot x$, $H^5(O) = \mathbb{Z} \cdot y$, $xy$ が $H^7(O) \cong \mathbb{Z}$ を生成する。ただし $|p|$ と $|q|$ が同時に1でないことが条件。
• $L$ 族で $p_+$ が奇数のとき、$H^4(L) \cong \mathbb{Z}_r$ で $r = \frac{1}{4}|p_+^2 q_-^2 - p_-^2 q_+^2|$ であり、環は型 $E_r$ で $r$ は偶数。
• $L$ 族で $p_+$ が偶数のとき、$H^3(L) \cong \mathbb{Z}_2$, $H^5(L) \cong \mathbb{Z} \oplus \mathbb{Z}_2$, $H^4(L) \cong \mathbb{Z}_r$ で $r = |p_+^2 q_-^2 - p_-^2 q_+^2|$ は奇数であり、環構造は $x^2$ が $H^4(L)$ を生成し、$xy$ が $H^7(L)$ を生成することにより決定される。
• $M_{(p_-,q_-)(p_+,q_+)}$ 族では、コホモロジー環は $S^4$ 上の $S^3$-バンドルのそれと同型であり、$H^4(M) \cong \mathbb{Z}_r$ で $r = \frac{1}{8}|p_+^2 q_-^2 - p_-^2 q_+^2|$ であり、$y$ と $z$ がそれぞれ $H^4(M)$ と $H^7(M)$ を生成する。
• すべての族においてコホモロジー環は型 $E_r$ であり、$r$ が奇数のとき、環構造は [KS] に示されるような位相的手段で計算可能な微分同相型不変量を支持する。