[論文レビュー] Small values of Lusternik-Schnirelmann and systolic categories for manifolds

Alexander Dranishnikov, Mikhail G. Katz+1 more|ArXiv.org|Jun 12, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 36被引用数 6

ひとこと要約

この論文は、Lusternik-Schnirelmann (LS) コホロロジー次元が2の閉じた連結多様体はすべて自由な基本群を持つことを証明し、1992年にゴメス＝ララニャガとゴンザレス＝アグーニャが提起した予想を裏付ける。証明はコホモロジー的技法、カテゴリ重み、局所係数系の構造を用い、サイスティック次元およびアーベル・ジャコビ写像と自己自己リンククラスによる下界評価への応用を含む。

ABSTRACT

We prove that manifolds of Lusternik-Schnirelmann category 2 necessarily have free fundamental group. We thus settle a 1992 conjecture of Gomez-Larranaga and Gonzalez-Acuna, by generalizing their result in dimension 3, to all higher dimensions. We examine its ramifications in systolic topology, and provide a sufficient condition for ensuring a lower bound of 3 for systolic category.

研究の動機と目的

• 1992年の予想、すなわちLS次元2の閉じた多様体はすべて自由な基本群を持つという予想を解決すること。
• 特にコホモロジー的および幾何的不変量を通じて、4次元多様体におけるLS次元とサイスティック次元の関係を確立すること。
• アーベル・ジャコビ写像におけるファイバーの自己自己リンククラスを用いて、サイスティック次元が3以上であるための十分条件を提供すること。
• 指定されたLS次元と次元をもつ多様体の基本群として実現可能な基本群を特徴づけること。
• LS次元の境界に関するコホモロジー次元、カップ長、サイスティック不変量の関係を明確にすること。

提案手法

• LS次元2の空間の構造を分析するために、カテゴリ重み理論および局所係数を用いたコホモロジーを用いる。
• アーベル・ジャコビ写像におけるファイバーの自己自己リンククラスと、コホモロジーにおけるマッセイ積 $\langle\alpha, \alpha, \beta\rangle \cup \beta$ の双対性を用いる。
• レスコップのカスン＝ウォーカー不変量の一般化を用いて、$H_{n-3}(M)$ における非自明な自己自己リンクを検出する。
• 最大の自由アーベル被覆 $\overline{M}$ を含む引き戻し図式を構成し、$\overline{M}$ におけるファイバーのホモロジー類と $M$ におけるリンクを関連付ける。
• 非自明なファイバー類が $\overline{M}$ で非消失することから、非自明な自己自己リンクが導かれ、それによって $\operatorname{cat_{sys}}(M) \geq 3$ が得られることを証明する。
• 幾何的データからサイスティック次元の下界を得るために、グロモフのサイスティック不等式を分割 $n = 1 + 1 + (n-2)$ に適用する。

実験結果

リサーチクエスチョン

• RQ1 LS次元2で $n \geq 3$ の閉じた $n$-次元多様体は、すべて自由な基本群を持つのか？
• RQ2 4次元多様体のサイスティック次元は、そのLS次元によって上から抑えられるか？
• RQ3 アーベル・ジャコビ写像におけるファイバーの自己自己リンククラスが $\operatorname{cat_{sys}}(M) \geq 3$ を示すための条件は何か？
• RQ4 与えられた有限生成群 $\pi$ に対して、$\pi_1(M) = \pi$ かつ $\operatorname{cat_{LS}}(M) = n$ を満たす閉じた多様体 $M$ が存在するのはいつか？
• RQ5 すべての $n$-次元多様体について、$n > 4$、自由な基本群、$H_2$ が torsion-free であるとき、不等式 $\operatorname{cat_{LS}}(M) \leq n-2$ が成り立つか？

主な発見

• LS次元2の閉じた連結多様体はすべて自由な基本群を持つ。これにより、1992年のゴメス＝ララニャガとゴンザレス＝アグーニャの予想が証明された。
• アーベル・ジャコビ写像の典型的なファイバーの自己自己リンククラスが $H_{n-3}(M)$ で非自明であれば、$\operatorname{cat_{sys}}(M) \geq 3$ である。
• 任意の有限生成群 $\pi$ および整数 $k,l \geq 0$ に対して、$\pi_1(M) = \pi$、$\dim M = 5 + 2k + l$、$\operatorname{cat_{LS}}(M) = 3 + k$ を満たす閉じた多様体 $M$ が存在する。
• 任意の閉じた向き付け可能な4次元多様体は $\operatorname{cat_{sys}}(M) \leq \operatorname{cat_{LS}}(M)$ を満たす。これにより、サイスティック次元とLS次元の比較が確立された。
• 最大の自由アーベル被覆 $\overline{M}$ におけるファイバー類の非消失は、$M$ における自己自己リンククラスの非消失を意味し、それによって $\operatorname{cat_{sys}}(M) \geq 3$ が導かれる。
• 自己自己リンククラスは、符号を除いて、コホモロジー類 $\langle\alpha, \alpha, \beta\rangle \cup \beta \in H^3(M)$ に双対であり、幾何的リンクとマッセイ積を結びつける。