[論文レビュー] The Lusternik-Schnirelmann Category of Sp(3)

Lucía Fernández Suárez, Antonio Gómez‐Tato+2 more|ArXiv.org|Nov 26, 2001

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用数 7

ひとこと要約

この論文は、錐分解、ホップ＝ガネア不変量、安定ホモトピー論を用いた新しいホモトピー論的アプローチにより、シンプレクティック群 Sp(3) のルステニク＝シュナイレルマン次元が正確に 5 であることを確立している。この結果は、Sp(3) に対してガネアの予想を確認し、その次元が錐長および安定弱次元に等しいことを示している。

ABSTRACT

We show that the Lusternik-Schnirelmann category of the symplectic group Sp(3) is 5. This L-S category coincides with the cone length and the stable weak category.

研究の動機と目的

• シンプレクティック群 Sp(3) のルステニク＝シュナイレルマン次元の正確な値を特定すること。
• Sp(2) に用いられたホモトピー論的技法を、より高いランクのシンプレクティック群へ拡張すること。
• Sp(3) の次元がその錐長および安定弱次元に等しいことを確立すること。
• 削除された対角写像の安定クラスと一致することを示すことにより、Sp(3) に対してガネアの予想を検証すること。

提案手法

• 次元 11, 10, 14, 18, 21 の細胞を付加するスケルタルフィルトレーションを用いて、Sp(3) の二つの錐分解を構成する。
• 安定範囲における削除された対角写像のホモトピー類を分析するために、ホップ＝ガネア不変量を用いる。
• 特に Sp(3) に対して、H-空間における付加写像の安定自明性を応用してホモトピー計算を簡略化する。
• ファットワッジおよびスマッシュ積構成を用いて、対角写像と弱次元を関連付ける。
• Sp(3) がコンパクト多様体かつ H-空間であることから、付加写像が安定自明であることを導く。
• スモッシュ積商の 22-スケルトンを通る合成写像を分析して、重要な写像の自明性を示す。

実験結果

リサーチクエスチョン

• RQ1 Sp(3) のルステニク＝シュナイレルマン次元の正確な値は何か？
• RQ2 Sp(3) の次元は、その錐長および弱次元とどのように比較できるか？
• RQ3 Sp(2) に用いられた手法を、Sp(3) の次元を計算するために一般化できるか？
• RQ4 Sp(3) は、次元と削除された対角写像の安定クラスの一致を示すガネアの予想を満たすか？
• RQ5 高次のホップ＝ガネア不変量は、Sp(3) の次元を検出するために果たす役割は何か？

主な発見

• Sp(3) のルステニク＝シュナイレルマン次元は正確に 5 である。
• Sp(3) の錐長も 5 であり、次元が有限個の錐付加の列によって実現されることを確認した。
• Sp(3) の弱次元は少なくとも 5 であり、上界と一致する下界を与えた。
• 削除された対角写像 $ar{ abla}_5$ は安定カテゴリーにおける検出クラスであり、Sp(3) に対してガネアの予想を確認した。
• Sp(3) の CW 構造における付加写像は安定自明である。これは H-空間構造の結果である。
• 合成写像 $S^{21} \to C^{\wedge 5}/S^{15}$ は自明であり、弱次元の下界を示すために不可欠な役割を果たした。