[论文解读] On Fox spaces and Jacobi identities

Marek Golasiński, Daciberg Lima Gonçalves+1 more|arXiv (Cornell University)|Jan 16, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 26被引用 5

一句话总结

该论文通过引入共群作用空间 Γ 的 Γ-Fox 同伦群与 Γ-Whitehead 乘积，推广了 Fox 扭子同伦群与 Whitehead 乘积，统一了广义 Whitehead 乘积的 Jacobi 恒等式。证明了 Γ-Whitehead 乘积映射到 Γ-Fox 群中的换位子，并在共交换性假设下建立了 Γ-Whitehead 乘积的新且改进的 Jacobi 恒等式，以统一框架扩展了 Rutter 与 Hilton 的结果。

ABSTRACT

In 1945, R. Fox introduced the so-called Fox torus homotopy groups in which the usual homotopy groups are embedded and their Whitehead products are expressed as commutators. A modern treatment of Fox torus homotopy groups and their generalization has been given and studied. In this note, we further explore these groups and their properties. We discuss co-multiplications on Fox spaces and a Jacobi identity for the generalized Whitehead products and the $Γ$-Whitehead products.

研究动机与目标

• 通过共群作用空间 Γ 推广 Fox 扭子同伦群至 Γ-Fox 群，扩展经典框架。
• 统一并推广现有广义 Whitehead 乘积的 Jacobi 恒等式，特别是 Rutter 与 Hilton 的结果。
• 在同伦共交换性假设下，为 Γ-Whitehead 乘积建立新的、改进的 Jacobi 恒等式。
• 证明 Γ-Whitehead 乘积对应于 Γ-Fox 群中的换位子，推广早期结果。
• 通过分裂正合序列与伴随同构，为 Γ-Fox 群及其共乘法集提供上同调框架。

提出的方法

• 将第 n 个 Γ-Fox 群定义为 $\tau^\Gamma_W(X) = [\Gamma \wedge (W \sqcup *), X]$，通过悬垂推广经典 Fox 群，适用于共群作用空间 Γ。
• 利用伴随同构 $[\Gamma \wedge W, X] \cong [W, X^\Gamma_*]$ 将 Γ-Fox 群与带基点映射空间联系起来。
• 对分裂余纤维 $A \sqcup * \to (A \times B) \sqcup * \to (A \times B)/A$ 应用 Barrett-Puppe 序列，推导出 $\tau^\Gamma_{A \times B}(X)$ 的分裂正合序列。
• 类似广义 Whitehead 乘积，将 Γ-Whitehead 乘积 $[\alpha, \beta]_\Gamma \in [\Gamma(A \wedge B), X]$ 定义为将 $\Sigma$ 替换为 $\Gamma$。
• 证明 $[\alpha, \beta]_\Gamma$ 在 $\tau^\Gamma_{A \times B}(X)$ 中的像是 $\alpha$ 与 $\beta$ 的像的换位子，推广文献 [13] 中定理 3.1。
• 通过 Γ-映射对 Γ-Whitehead 乘积的作用，推导出定理 4.5 中的新 Jacobi 恒等式，整合群作用与扭曲共轭。

实验结果

研究问题

• RQ1 如何将 Fox 扭子同伦群推广至共群作用空间 Γ？其结果 Γ-Fox 群的结构性质是什么？
• RQ2 能否通过 Γ-Whitehead 乘积统一并扩展广义 Whitehead 乘积的 Jacobi 恒等式？
• RQ3 Γ-Whitehead 乘积与 Γ-Fox 群中换位子之间的关系是什么？
• RQ4 在何种条件下，Γ-Whitehead 乘积的 Jacobi 恒等式可简化或推广 Rutter 与 Hilton 的已知恒等式？
• RQ5 共乘法集 $\mathcal{C}(F_n)$ 与分裂正合序列如何贡献于 Γ-Fox 群的结构？

主要发现

• Γ-Fox 群 $\tau^\Gamma_W(X)$ 同构于 $[\Gamma W, X] \rtimes [\Gamma, X]$，推广了 Fox 空间中的分裂正合序列。
• Γ-Whitehead 乘积 $[\alpha, \beta]_\Gamma$ 在 $\tau^\Gamma_{A \times B}(X)$ 中的像是 $\alpha$ 与 $\beta$ 的像的换位子，推广了经典 Fox 结果。
• 定理 4.5 提供了 Γ-Whitehead 乘积的新 Jacobi 恒等式：$$ (\Gamma t_{213})^*[[\bar{\beta}^{-1}, \bar{\alpha}]_\Gamma, \bar{\gamma}]^\beta_\Gamma + (\Gamma t_{321})^*[[\bar{\gamma}^{-1}, \bar{\beta}]_\Gamma, \bar{\alpha}]^\gamma_\Gamma + (\Gamma t_{132})^*[[\bar{\alpha}^{-1}, \bar{\gamma}]_\Gamma, \bar{\beta}]^\alpha_\Gamma = 1 $$，适用于紧致生成 Hausdorff 型的带基点空间。
• 当 $\Gamma A$、$\Gamma B$ 与 $\Gamma C$ 为同伦共交换的共 H-空间时，该恒等式简化为 $$ [[\alpha, \beta]_\Gamma, \gamma]_\Gamma + (\Gamma t_{312})^*[[\gamma, \alpha]_\Gamma, \beta]_\Gamma + (\Gamma t_{231})^*[[\beta, \gamma]_\Gamma, \alpha]_\Gamma = 0 $$，推广了 Rutter 的恒等式。
• 定理 4.5 中 (3) 的恒等式通过 $\xi \cdot \eta$ 的群作用引入，根据 $\xi$ 是否属于 $[\Gamma W, X]$ 或 $[\Gamma, X]$ 区分情形，为 Jacobi 恒等式提供了更精细的结构。
• 结果在统一框架下推广并改进了 [22] 中的 Jacobi 恒等式，尤其通过整合共乘法与共交换性条件。