[논문 리뷰] Whitehead products in moment-angle complexes

Kouyemon Iriye, Daisuke Kishimoto|arXiv (Cornell University)|2018. 06. 29.

Homotopy and Cohomology in Algebraic Topology참고 문헌 9인용 수 4

한 줄 요약

이 논문은 다면체 복합체의 넓은 범주, 특히 이중 셸러블 및 완전히 메워질 수 있는 복합체를 포함하여, 호모토피 피반사 $ \mathcal{Z}_K \to DJ_K \to (\mathbb{C}P^\infty)^m$ 에서의 섬유 포함 $\chi_K: \mathcal{Z}_K \to DJ_K$ 가 반복된 고차 Whitehead 곱의 와이드(wedge)로 식별됨을 증명한다. 본 결과는 Grbić와 Theriault의 이전 작업을 일반화하고 수정하며, 다각형 제품과 호모토피 콜리미트를 기반으로 한 새로운 접근 방식을 사용한다.

ABSTRACT

In toric topology, to a simplicial complex $K$ with $m$ vertices, one associates two spaces, the moment-angle complex $\mathcal{Z}_K$ and the Davis-Januszkiewicz space $DJ_K$. These spaces are connected by a homotopy fibration $\mathcal{Z}_K o DJ_K o(\mathbb{C}P^\infty)^m$. In this paper, we show that the map $\mathcal{Z}_K o DJ_K$ is identified with a wedge of iterated (higher) Whitehead products for a certain class of simplicial complexes $K$ including dual shellable complexes. We will prove the result in a more general setting of polyhedral products.

연구 동기 및 목표

• Grbić와 Theriault의 결과를 일반화하고 수정하는 것: 특정 단순 복합체에 대해 $\widetilde{w}: \mathcal{Z}_K \to DJ_K$ 가 반복된 고차 Whitehead 곱의 와이드임을 보이는 것.
• 이 식별을 더 큰 단순 복합체의 범주로 확장하는 것, 특히 이중 셸러블 및 완전히 메워질 수 있는 복합체를 포함하여.
• 이전 접근 방식에서 비판을 받았던 유리 호모토피 이론에 기반한 추론의 잠재적 결함을 피하기 위해 더 엄밀하고 간단한 증명을 제공하는 것.
• 다각형 제품의 더 넓은 맥락에서 결과를 수립하여 $\mathcal{Z}_K$ 와 $DJ_K$ 의 체계적인 호모토피 분석을 가능하게 하는 것.

제안 방법

• 저자들은 다각형 제품의 프레임워크를 사용하여 $\mathcal{Z}_K$ 와 $DJ_K$ 의 구성 방식을 일반화함으로써, 더 유연하고 강력한 호모토피 분석을 가능하게 한다.
• 기하적 실현이 수축 가능해지도록 하는 최소 비면들의 집합의 존재를 조건으로 하는 '완전히 메워질 수 있는' 단순 복합체의 개념을 도입한다.
• 핵심 기술 도구는 적절한 부분순서집합의 뉴런을 통한 호모토피 콜리미트와 $\mathcal{Z}_K$ 의 호모토피 콜리미트 분해를 포함하는 호모토피 교환 다이어그램이다.
• 정점 수에 대한 귀납법을 사용하며, 부분집합의 '수축 순서'를 통해 문제를 더 단순한 경우로 귀납적으로 줄인다.
• 고차 Whitehead 곱의 자연성과 호모토피 콜리미트와 모멘트-각도 복합체 $\mathcal{Z}_M(\underline{X})$ 사이의 호모토피 동치 $\epsilon_M^{-1}$ 을 적용한다.
• 포인트가 있는 공간의 범주에서의 호모토피 동치와 다이어그램 추론을 통해 $\widetilde{w}$ 가 반복된 Whitehead 곱으로 식별됨을 증명한다.

실험 결과

연구 질문

• RQ1 단순 복합체 $K$ 가 어떤 조건을 만족할 경우, 섬유 포함 $\mathcal{Z}_K \to DJ_K$ 가 반복된 고차 Whitehead 곱의 와이드와 호모토피적일 수 있는가?
• RQ2 Grbić와 Theriault의 결과가 방향성 MF-복합체에 적용되던 것을 더 큰 단순 복합체의 범주로 일반화하고, 더 단순하고 엄밀한 증명으로 확장할 수 있는가?
• RQ3 경계가 단체인 경우를 초월하여 $\mathcal{Z}_K$ 와 $DJ_K$ 의 호모토피적 특성화가 Whitehead 곱을 통해 가능할 수 있는가?
• RQ4 메워질 수 있음 또는 완전히 메워질 수 있음의 개념은 $\mathcal{Z}_K$ 의 호모토피 유형과 $\widetilde{w}$ 의 구조와 어떻게 관련되어 있는가?
• RQ5 Whitehead 곱으로서의 $\widetilde{w}$ 의 식별은 일반적인 다각형 제품 설정으로까지 확장될 수 있는가?

주요 결과

• 모든 완전히 메워질 수 있는 단순 복합체 $K$ 에 대해 섬유 포함 $\widetilde{w}: \mathcal{Z}_K \to DJ_K$ 는 반복된 고차 Whitehead 곱의 와이드로 식별되며, 이는 이전 결과를 일반화한다.
• 완전히 메워질 수 있는 복합체 $K$ 에 대해, 복합사슬 $S^{|\sigma|+|I|-1} \to \mathcal{Z}_K \xrightarrow{\widetilde{w}} DJ_K$ 는 부호를 제외하고 반복된 Whitehead 곱 $[[\cdots[\widetilde{w}_{\sigma}, \widetilde{a}_{i_1}], \cdots], \widetilde{a}_{i_k}]$ 와 호모토피적일 수 있다. 여기서 $i_1 < \cdots < i_k$ 는 $I - \sigma$ 의 수축 순서이다.
• 증명은 부분집합의 부분순서 집합의 뉴런을 통한 $\mathcal{Z}_K$ 의 새로운 호모토피 콜리미트 분해에 기반하며, 이를 통해 문제를 더 단순한 경우로 귀납적으로 줄일 수 있다.
• 저자들은 반복된 Whitehead 곱의 구조를 유지하는 호모토피 동치 $\epsilon_M^{-1}: W_M(\underline{X}) \to \mathcal{Z}_M(\underline{X})$ 를 수립한다.
• 결과는 다각형 제품의 일반적 맥락에서 성립하며, $\widetilde{w}$ 가 Whitehead 곱으로 식별됨이 모멘트-각도 복합체의 호모토피 유형에 내재되어 있음을 보여준다.
• Grbić와 Theriault의 이전 작업에서 잠재적인 결함이 있었던 것을 보완하기 위해, 유리 호모토피 이론에 기반한 추론 대신 엄밀한 호모토피 동치와 다이어그램 추론을 사용한다.