[논문 리뷰] On Fox spaces and Jacobi identities

Marek Golasiński, Daciberg Lima Gonçalves외 1명|arXiv (Cornell University)|2006. 01. 16.

Homotopy and Cohomology in Algebraic Topology참고 문헌 26인용 수 5

한 줄 요약

이 논문은 공군적 공간 Γ에 대해 Γ-폭 토러스 호모토피 군과 Γ-화이트헤드 곱을 도입함으로써 폭 토러스 호모토피 군과 화이트헤드 곱을 일반화하며, 일반화된 화이트헤드 곱에 대한 자코비 항등식을 통합한다. Γ-화이트헤드 곱이 Γ-폭 군에서 교환자로 매핑됨을 증명하고, 공공통성 가정 하에 Γ-화이트헤드 곱에 대한 새로운 개선된 자코비 항등식을 수립하며, 루터와 힐튼의 결과를 통합된 프레임워크로 확장한다.

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.

연구 동기 및 목표

• 공군적 공간 Γ를 사용하여 폭 토러스 호모토피 군을 Γ-폭 군으로 일반화하고, 고전적 프레임워크를 확장한다.
• 기존의 일반화된 화이트헤드 곱에 대한 자코비 항등식을 Γ-화이트헤드 곱을 통해 통합하고 일반화한다.
• 호모토피 공공통성 가정 하에 Γ-화이트헤드 곱에 대한 새로운 개선된 자코비 항등식을 수립한다.
• Γ-화이트헤드 곱이 Γ-폭 군에서 교환자로 대응됨을 보여주며, 이전 결과를 일반화한다.
• Γ-폭 군과 그 공승수 집합에 대해 분할 정확한 수열과 수반 동형을 이용한 코homological 프레임워크를 제공한다.

제안 방법

• n차 Γ-폭 군을 $\tau^\Gamma_W(X) = [\Gamma \wedge (W \sqcup *), X]$로 정의하여, 공군적 Γ를 통한 스터닝을 통한 고전적 폭 군을 일반화한다.
• 수반 동형 $[\Gamma \wedge W, X] \cong [W, X^\Gamma_*]$를 사용하여 Γ-폭 군을 기점 맵의 공간과 연결한다.
• 분할 코프ibration $A \sqcup * \to (A \times B) \sqcup * \to (A \times B)/A$에 대해 Barrett-Puppe 수열을 적용하여 $\tau^\Gamma_{A \times B}(X)$에 대한 분할 정확한 수열을 유도한다.
• 화이트헤드 곱의 일반화와 유사하게 $\Sigma$를 $\Gamma$로 대체하여 $[\alpha, \beta]_\Gamma \in [\Gamma(A \wedge B), X]$로 Γ-화이트헤드 곱을 정의한다.
• Γ-화이트헤드 곱 $[\alpha, \beta]_\Gamma$의 $\tau^\Gamma_{A \times B}(X)$로의 상이 $\alpha$와 $\beta$의 상의 교환자임을 증명하며, [13]의 정리 3.1을 일반화한다.
• Γ-맵이 Γ-화이트헤드 곱에 작용하는 방식을 적용하여, 정리 4.5에서 새로운 자코비 항등식을 유도하며, 군 작용과 비틀린 콘jugation을 통합한다.

실험 결과

연구 질문

• RQ1 폭 토러스 호모토피 군은 공군적 공간 Γ를 통해 어떻게 일반화될 수 있으며, 그 결과로 얻어지는 Γ-폭 군의 구조적 성질은 무엇인가?
• RQ2 Γ-화이트헤드 곱을 통해 일반화된 화이트헤드 곱에 대한 자코비 항등식을 어떻게 통합하고 확장할 수 있는가?
• RQ3 Γ-화이트헤드 곱과 Γ-폭 군 내 교환자 사이의 관계는 무엇인가?
• RQ4 Γ-화이트헤드 곱의 자코비 항등식이 어떻게 단순화되거나, 루터와 힐튼의 알려진 항등식을 일반화하는가?
• RQ5 공승수 집합 $\mathcal{C}(F_n)$와 분할 정확한 수열은 Γ-폭 군의 구조에 어떻게 기여하는가?

주요 결과

• Γ-폭 군 $\tau^\Gamma_W(X)$는 $[\Gamma W, X] \rtimes [\Gamma, X]$와 동형이며, 폭 공간에 대한 분할 정확한 수열을 일반화한다.
• Γ-화이트헤드 곱 $[\alpha, \beta]_\Gamma$의 $\tau^\Gamma_{A \times B}(X)$로의 상은 $\alpha$와 $\beta$의 상의 교환자이며, 고전적 폭 결과를 일반화한다.
• 정리 4.5는 Γ-화이트헤드 곱에 대한 새로운 자코비 항등식을 제공한다: $ (\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 $, 이는 컴acts 생성 허수 공간에 대해 유효하다.
• 만약 $\Gamma A$, $\Gamma B$, $\Gamma C$가 호모토피 공공통성 공-스페이스이면 항등식은 $ [[\alpha, \beta]_\Gamma, \gamma]_\Gamma + (\Gamma t_{312})^*[[\gamma, \alpha]_\Gamma, \beta]_\Gamma + (\Gamma t_{231})^*[[\beta, \gamma]_\Gamma, \alpha]_\Gamma = 0 $로 단순화되며, 루터의 항등식을 일반화한다.
• 정리 4.5의 (3)항에서 군 작용 $\xi \cdot \eta$를 통합하여, $\xi$가 $[\Gamma W, X]$ 또는 $[\Gamma, X]$에 속하는지에 따라 경우를 구분함으로써 자코비 항등식에 대한 정교한 구조를 제공한다.
• 결과는 [22]의 자코비 항등식을 일반화하고 개선하였으며, 특히 통합된 프레임워크 내에서 공승수와 공공통성 조건을 통합함으로써 향상된 결과를 제공한다.