[论文解读] 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

一句话总结

本文通过一种新颖的同伦论方法，结合锥分解、Hopf-Ganea不变量与稳定同伦理论，确立了辛群 Sp(3) 的Lusternik-Schnirelmann范畴恰好为5。该结果证实了Ganea对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)的Lusternik-Schnirelmann范畴的确切值。
• 将用于Sp(2)的同伦论方法扩展至更高秩的辛群。
• 确立Sp(3)的范畴等于其锥长度与稳定弱范畴。
• 通过证明范畴与约化对角映射的稳定类相等，验证Ganea对Sp(3)的猜想。

提出的方法

• 利用骨架过滤并附着维度为11、10、14、18与21的胞腔，构建Sp(3)的两种锥分解。
• 利用Hopf-Ganea不变量分析稳定范围内约化对角映射的同伦类。
• 应用H-空间中附着映射的稳定平凡性，特别是针对Sp(3)，以简化同伦计算。
• 利用加权楔积与 smash 积构造，将对角映射与弱范畴联系起来。
• 利用Sp(3)是紧致流形且为H-空间的事实，推导出附着映射是稳定平凡的。
• 通过分析到smash积商空间22-骨架的复合映射，证明关键映射的平凡性。

实验结果

研究问题

• RQ1 Sp(3)的Lusternik-Schnirelmann范畴的确切值是多少？
• RQ2 Sp(3)的范畴与其锥长度和弱范畴相比如何？
• RQ3 用于Sp(2)的方法能否推广以计算Sp(3)的范畴？
• RQ4 Sp(3)是否满足Ganea关于范畴与约化对角映射的稳定类相等的猜想？
• RQ5 高阶Hopf-Ganea不变量在检测Sp(3)范畴中起什么作用？

主要发现

• Sp(3)的Lusternik-Schnirelmann范畴恰好为5。
• Sp(3)的锥长度也为5，证实其范畴可通过有限个锥附着实现。
• Sp(3)的弱范畴至少为5，提供了与上界一致的下界。
• 约化对角映射$ar{ abla}_5$是稳定范畴中的检测类，证实了Ganea对Sp(3)的猜想。
• Sp(3)的CW结构中附着映射是稳定平凡的，这是其H-空间结构的推论。
• 复合映射$S^{21} \to C^{\wedge 5}/S^{15}$是平凡的，这对证明弱范畴的上界至关重要。