[論文レビュー] The classification of highly connected manifolds in dimensions 7 and 15

Diarmuid Crowley|ArXiv.org|Mar 24, 2002

Geometric and Algebraic Topology参考文献 36被引用数 15

ひとこと要約

本稿は、二次的リンク関数と補助不変量を用いてウィルケンスの不変量を精緻化することで、微分同相型、位相同相型、ホモトピー同値型について、高次連結な7次元および15次元多様体を完全に分類する。この研究は、リンク形式と接空間の不変量が一致する場合でも微分同相型を区別できる新しい不変量 $\bar{s}_1$ を導入することにより、長年の分類の穴を埋める。

ABSTRACT

Let P be a closed smooth (4j-2)-connected 8j-manifold. We complete Wilkens' classification of the manifolds P for j = 1,2 and give an alternative proof to Wall's classification of the manifolds for j > 2. The Hopf-invariant-one dimensions (j=1,2) are characteristed by the fact that the quadratic linking functions which classify may be inhomogeneous. Hence we also extend the classification of (homogeneous) quadratic linking forms on finite abelian groups (due to Nikulin) to the inhomogeneous case.

研究の動機と目的

• ウィルケンスの研究後に残っていた $\mathbb{Z}/2$- torsion の障害により未解決であった、高次連結7次元および15次元多様体の分類を解消すること。
• リンク形式の二次的精緻化、特に二次的リンク関数 $q_{m,n}$ を導入することで、ウィルケンスの分類枠組みを拡張すること。
• 主な不変量（リンク形式と $\beta$）が同型である場合でも微分同相型を区別できる新しい補助不変量 $\bar{s}_1$ を定義し、その計算を行うこと。
• 2- torsion が存在する状況において、2つの多様体が微分同相型、位相同相型、またはホモトピー同値型であるための明確な算術的条件を確立すること。
• [MTW] における主張、すなわちすべての接空間的に同値な2連結7次元多様体は位相同相であるという主張に対して反例を提示し、分類に $\bar{s}_1$ が必要であることを示すこと。

提案手法

• ハンドル体の分類にウォールの三重対 $(H, \lambda, \alpha)$ を用い、$H$ を中間ホモロジー群、$\lambda$ を交差形式、$\alpha$ を安定自明性への主観の障害とする。
• 境界多様体 $P = \partial L$ に対してウィルケンスの不変量 $(G, b, \beta)$ を適用し、$G = H^{4j}(P; \mathbb{Z})$、$b$ を torsion 上のリンク形式、$\beta$ を安定接束の自明性への障害とする。
• 二次的リンク関数 $q_{m,n}: \mathbb{Z}/n \to \mathbb{Q}/\mathbb{Z}$ を $je \mapsto \frac{1}{2n}(j^2 + 2mj) \mod \mathbb{Z}$ で定義し、双線形リンク形式 $b_{m,n}$ を精緻化する。
• 補助不変量 $\bar{s}_1(P_{m,n}) = \frac{1}{8n}((n+2m)^2 - n\epsilon(n))$ を定義し、$\epsilon(n) = n/|n|$ とする。この不変量はウィルケンスの三重に加え、微分同相型の区別を可能にする。
• 三重の安定同値と surgery 精密列を用い、多様体 $P$ の分類をハンドル体 $L$ の分類に関連付ける。
• 微分同相型、位相同相型、ホモトピー同値型のための算術的条件を、それぞれ $224n$、$8n$、$(n,12)$ を法とする合同式を用いて導出する。このとき $m$、$n$、および $\alpha^2 \equiv \pm\epsilon \mod n$ の根 $\alpha$ を含む。

実験結果

リサーチクエスチョン

• RQ1 高次連結7次元および15次元多様体が微分同相型、位相同相型、ホモトピー同値型について完全に分類される条件は何か？
• RQ2 リンク形式が分解不可能で $2$- torsion が存在する場合、ウィルケンスの分類における $\mathbb{Z}/2$- 不定性はどのように解消できるか？
• RQ3 ウィルケンスの三重が同型である多様体の微分同相型を区別するためには、どのような追加不変量が必要か？
• RQ4 [MTW] における主張、すなわちすべての接空間的に同値な2連結7次元多様体は位相同相であるという主張は、検証可能か、あるいは反証可能か？
• RQ5 2つの多様体 $P_{m,n}$ と $P_{m',n'}$ が微分同相型、位相同相型、またはホモトピー同値型であるための明確な算術的条件は何か？

主な発見

• 二次的リンク関数 $q_{m,n}$ は $n \neq 0$ のとき、$P_{m,n}$ の位相的分類を決定する。この関数は $je \mapsto \frac{1}{2n}(j^2 + 2mj) \mod \mathbb{Z}$ で定義される。
• 不変量 $\bar{s}_1(P_{m,n}) = \frac{1}{8n}((n+2m)^2 - n\epsilon(n))$ は $n \neq 0$ のとき、$P_{m,n}$ の微分同相型分類を決定する。
• 多様体 $P_{1,8}$ と $P_{5,8}$ は接空間的にホモトピー同値（$\beta$ と $b$ が同じ）だが、位相同相ではない。なぜなら $\bar{s}_1(P_{1,8}) = 9/16 \neq 1/16 = \bar{s}_1(P_{5,8})$ であるから。
• 分類定理（定理6.12）は、それぞれ $224n$、$8n$、$(n,12)$ を法とする合同式を含む、微分同相型、位相同相型、ホモトピー同値型の明確な算術的条件を与える。
• 8の倍数の位数をもつ任意の有限アーベル群に対して、$(b, \beta)$ が同型だが $\bar{s}_1$ が異なる2つの2連結7次元多様体のペアが存在する。これは、接空間的に同値でも位相同相ではないことを示している。
• [MTW] の定理5.10に対する反例は、接空間的ホモトピー同値性の存在が位相同相性を保証しないことを示し、分類には $\bar{s}_1$ が不可欠であることを示している。