[논문 리뷰] Higher Whitehead products in toric topology

Jelena Grbić, Stephen Theriault|arXiv (Cornell University)|2010. 11. 09.

Topological and Geometric Data Analysis참고 문헌 19인용 수 10

한 줄 요약

이 논문은 토릭 토폴로지에서 맵 $χ_K: \mathcal{Z}_K \to DJ_K$ 의 호모토피 계수를 특정함으로써, 이 맵이 높은 차수 및 반복된 화이트헤드 곱의 와이드 합임을 보여줌. 각 삼등분 복합체 $K$ 의 누락된 면은 $\Omega DJ_K$ 에서 비자명한 호모토피 불변량을 가지며, 그 조인트의 푸르비우스 이미지가 $H_*(\Omega DJ_K; \mathbb{Q})$ 에서 비영이 되는 높은 화이트헤드 곱에 대응함. 핵심 기여는 $\mathcal{Z}_K \simeq \bigvee S^n$ 인 호모토피 동치를 통해 맵의 구조가 화이트헤드 곱을 통해 완전히 기술됨.

ABSTRACT

In this paper we study the relationship between the moment-angle complex Z_k and the Davis-Januskiewicz space DJ(K) for a class of complexes K named missing-face complexes. If K has n vertices we consider the homotopy fibration sequence Z_k --> DJ(K) --> M where M is a product of n copies of infinite complex projective space. We observe that for such K, Z_k is homotopy equivalent to a wedge of spheres, and then show that under this equivalence the map Z_k --> DJ(K) is homotopic to a wedge sum of higher Whitehead products and iterated Whitehead products.

연구 동기 및 목표

• 확대 연구된 $\mathcal{Z}_K$ 와 $DJ_K$ 를 고려할지라도 거의 탐색되지 않은 맵 $\widetilde{w}: \mathcal{Z}_K \to DJ_K$ 를 분석함으로써 토릭 토폴로지 분야의 핵심적 간극을 메우기 위해.
• 삼등분 복합체 $K$ 의 일군에 대해 맵 $\widetilde{w}$ 의 정확한 호모토피 이론적 기술을 수립하기 위해.
• 맵 $\widetilde{w}$ 가 높은 차수 및 반복된 화이트헤드 곱의 와이드 합으로 실현됨을 보여주며, $K$ 의 각 누락된 면이 비자명한 그러한 곱에 대응함을 위해.
• 푸르비우스 이미지를 추적할 수 있는 $\Omega DJ_K$ 의 유리수 모델을 구축하여, $\mathcal{Z}_K$ 의 호모토피 유형과 맵 $\widetilde{w}$ 의 구조를 명시적으로 계산할 수 있도록 하기 위해.

제안 방법

• 저자들은 다면체 곱 구조를 사용하여 $\mathcal{Z}_K(\underline{X})$ 와 $DJ_K(\underline{X})$ 를 정의하고, 호모토피 피브레이션 $\mathcal{Z}_K(\underline{X}) \to DJ_K(\underline{X}) \to \prod_{i=1}^n X_i$ 에 끼워넣는다.
• 각 $X_i = S^{m_i+1}$ 인 경우로 특수화하여, $\Omega DJ_K(\underline{S})$ 와 $\Omega DJ_K$ 의 유리수 호몰로지와 함께 푸르비우스 이미지를 유지하면서 계산한다.
• 핵심 기법은 루프 공간의 대수적 구조, 특히 이상 $I$ 와 $b_i$, $u_j$ 가 생성하는 리 대수의 구조를 포함하는 새로운 유리수 모델을 $\Omega DJ_K$ 에 대해 구성하는 것.
• 제임스 분해를 적용하여 반복된 조인의 루프 공간을 구를 구조의 와이드 합으로 분해함으로써, $\mathcal{Z}_K$ 의 와이드 합성분과 일치시킴.
• 그러나 맵 $\widetilde{w}$ 는 높은 차수 화이트헤드 곱 $\widetilde{w}_i$ 와 반복 화이트헤드 곱 $[\widetilde{w}_i, \tilde{a}_j]$ 의 조인트의 와이드 합임을 보임.
• 식별은 대수적 원소 $[u_i, a_j]$ 가 이상 $I$ 에 속해 있음을 검증함으로써 이루어지며, 이는 해당 화이트헤드 곱이 비자명하고 실제로 호모토피 클래스에 대응함을 보장함.

실험 결과

연구 질문

• RQ1 맵 $\widetilde{w}: \mathcal{Z}_K \to DJ_K$ 는 호모토피 불변량의 관점에서 어떻게 명시적으로 기술될 수 있는가?
• RQ2 $K$ 의 누락된 면과 $\Omega DJ_K$ 내에서 높은 화이트헤드 곱의 구조 간의 관계는 무엇인가?
• RQ3 $\Omega DJ_K$ 에 대해 푸르비우스 이미지를 추적할 수 있고, $\mathcal{Z}_K$ 의 명시적 계산을 가능하게 하는 유리수 모델을 구축할 수 있는가?
• RQ4 차원이 1을 초과하는 누락된 면으로부터 반복 화이트헤드 곱이 얼마나 많이 발생하는가?
• RQ5 왜 차원 1인 누락된 면 $(3,4)$ 에 대해 독립된 화이트헤드 곱의 집합 $\widetilde{W}_{(3,4)}$ 는 공백이며, 이는 이상 $I$ 와 어떻게 관련되는가?

주요 결과

• 삼등분 복합체 $K$ 가 누락된 면을 가진 경우, 모멘트-앵글 복합체 $\mathcal{Z}_K$ 는 구들의 와이드 합과 호모토피 동치임: 첫 번째 예에서 $\mathcal{Z}_K \simeq S^3 \vee 2S^5 \vee 2S^6$, 두 번째 예에서 $\mathcal{Z}_K \simeq S^3 \vee 2S^7 \vee 2S^8$.
• 맵 $\widetilde{w}: \mathcal{Z}_K \to DJ_K$ 는 높은 차수 화이트헤드 곱 $\widetilde{w}_1$, $\widetilde{w}_2$, $\widetilde{w}_3$ 와 반복 화이트헤드 곱 $[\widetilde{w}_2, \tilde{a}_4]$, $[\widetilde{w}_3, \tilde{a}_3]$ 의 조인트의 와이드 합으로 실현됨.
• $K$ 의 차원이 1 초과인 각 누락된 면은 $H_*(\Omega DJ_K; \mathbb{Q})$ 에서 비영인 푸르비우스 이미지를 가지는 비자명한 높은 화이트헤드 곱에 대응함.
• 차원 1인 누락된 면 $(3,4)$ 에 대해 집합 $\widetilde{W}_{(3,4)}$ 는 공백이며, 이는 해당 화이트헤드 곱 $[\widetilde{w}_1, \tilde{a}_3]$ 과 $[\widetilde{w}_1, \tilde{a}_4]$ 가 이상 $I$ 에 속하는 원소로 매핑되어 호모토피에서 자명해지기 때문임.
• $\Omega DJ_K$ 의 유리수 호몰로지 는 $b_i$ 와 $u_j$ 가 생성하는 리 대수의 유일한 포함 대수이며, $I+J$ 에서의 관계를 모듈로 함. 여기서 $u_j$ 는 높은 화이트헤드 곱의 조인트의 푸르비우스 이미지임.
• $\mathcal{Z}_K$ 의 와이드 분해는 [GT2] 와 [GT1] 에서 알려진 결과와 일치하며, 독립된 계산을 통한 일관성 확인됨.