[論文レビュー] 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

ひとこと要約

この論文は、co-grouplike 空間 Γ に対して Γ-Fox 群と Γ-Whitehead 積を導入することで、Fox トーラスホモトピー群と Whitehead 積を一般化し、一般化された Whitehead 積の Jacobi 恒等式を統一的に扱う。Γ-Whitehead 積が Γ-Fox 群における交換子へ写像されることを証明し、co-commutativity 条件の下で、Rutter や Hilton の結果を統一的枠組みで拡張する、より良い新しい Jacobi 恒等式を確立する。

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.

研究の動機と目的

• co-grouplike 空間 Γ を用いて、古典的枠組みを一般化し、Fox トーラスホモトピー群を Γ-Fox 群に一般化すること。
• Rutter や Hilton の既存の一般化された Whitehead 積の Jacobi 恒等式を統一的かつ一般化すること。
• ホモトピー的 co-commutativity 条件の下で、Γ-Whitehead 積のための新しい、より良い Jacobi 恒等式を確立すること。
• Γ-Whitehead 積が Γ-Fox 群における交換子に対応することを示し、以前の結果を一般化すること。
• Γ-Fox 群およびその co-乗法的集合に対して、split exact sequence と随伴同型を用いたコhomological フレームワークを提供すること。

提案手法

• n 階の Γ-Fox 群を $\tau^\Gamma_W(X) = [\Gamma \wedge (W \sqcup *), X]$ として定義し、co-grouplike Γ を用いて古典的 Fox 群をスパイングに一般化する。
• 随伴同型 $[\Gamma \wedge W, X] \cong [W, X^\Gamma_*]$ を用いて、Γ-Fox 群を基点付き写像空間に関連付ける。
• split cofibration $A \sqcup * \to (A \times B) \sqcup * \to (A \times B)/A$ に Barrett-Puppe 序列を適用し、$\tau^\Gamma_{A \times B}(X)$ の split exact sequence を導出する。
• 一般化された Whitehead 積と同様に、$\Sigma$ を $\Gamma$ に置き換えて、Γ-Whitehead 積 $[\alpha, \beta]_\Gamma \in [\Gamma(A \wedge B), X]$ を定義する。
• Γ-Whitehead 積 $[\alpha, \beta]_\Gamma$ の $\tau^\Gamma_{A \times B}(X)$ における像が、$\alpha$ と $\beta$ の像の交換子に一致することを証明し、[13] の定理 3.1 を一般化する。
• Γ-写像が Γ-Whitehead 積に与える作用を用いて、定理 4.5 で新しい Jacobi 恒等式を導出する。ここでは群作用とねじれ付き共役を統合する。

実験結果

リサーチクエスチョン

• RQ1 Fox トーラスホモトピー群は、co-grouplike 空間 Γ を用いてどのように一般化可能か。また、その結果得られる Γ-Fox 群の構造的性質は何か。
• RQ2 Γ-Whitehead 積を用いて、一般化された Whitehead 積の Jacobi 恒等式を統一的かつ拡張的に扱えるか。
• RQ3 Γ-Whitehead 積と Γ-Fox 群における交換子との関係は何か。
• RQ4 Γ-Whitehead 積の Jacobi 恒等式が、Rutter や Hilton の既知の恒等式をどのように簡略化または一般化するか。条件は何か。
• RQ5 co-乗法的集合 $\mathcal{C}(F_n)$ と split exact sequence は、Γ-Fox 群の構造にどのように寄与するか。

主な発見

• Γ-Fox 群 $\tau^\Gamma_W(X)$ は、$[\Gamma W, X] \rtimes [\Gamma, X]$ に同型であり、Fox 空間の split exact sequence を一般化する。
• Γ-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 型の基点付き空間に対して有効である。
• ΓA、ΓB、ΓC がホモトピー的 co-commutative co-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 恒等式を一般化し、改善しており、特に、co-乗法と co-commutativity 条件を統一的枠組みで統合している。