[논문 리뷰] The polyhedral product functor: a method of computation for moment-angle complexes, arrangements and related spaces

Abbas Bahri, Martin Bendersky외 2명|ArXiv.org|2007. 11. 29.

Advanced Combinatorial Mathematics참고 문헌 16인용 수 49

한 줄 요약

이 논문은 단체 복합체에 관련된 일반화된 몰먼트-앵글 복합체—다각형 제품 함자와 관련된 함수—의 스펙트럼에 대한 기하적 분해를 제안한다. 이는 모든 코homology 이론에 대해 동치 분해를 암시하는 안정적 분할을 가능하게 한다. 주요 기여는 스탠리-라이스너 링 분해를 확장하고 포터 및 가네아의 호모토피 이론 결과를 일반화하는 자연스러운 기하적 분할을 제공하는 것이다.

ABSTRACT

This article gives a natural decomposition of the suspension of generalized moment-angle complexes or {\it partial product spaces} which arise as {\it polyhedral product functors} described below. In the special case of the complements of certain subspace arrangements, the geometrical decomposition implies the homological decomposition in Goresky-MacPherson \cite{goresky.macpherson}, Hochster\cite{hochster}, Baskakov \cite{baskakov}, Panov \cite{panov}, and Buchstaber-Panov \cite{buchstaber.panov}. Since the splitting is geometric, an analogous homological decomposition for a generalized moment-angle complex applies for any homology theory. This decomposition gives an additive decomposition for the Stanley-Reisner ring of a finite simplicial complex and generalizations of certain homotopy theoretic results of Porter \cite{porter} and Ganea \cite{ganea}. The spirit of the work here follows that of Denham-Suciu in \cite{denham.suciu}.

연구 동기 및 목표

• 일반화된 몰먼트-앵글 복합체—단체 복합체에 의해 색인화된 다각형 제품 함자—의 스펙트럼에 대한 기하적 분해를 수립하는 것.
• 이 기하적 분할이 고레스키-맥퍼슨, 호치스터 등이 제안한 동치 분해의 개념을 모든 호모로지 이론에 대해 유효하게 함을 보여주는 것.
• 다각형 제품 함자를 통해 스탠리-라이스너 링의 덧셈 분해를 더 넓은 위상수학적 및 대수적 맥락으로 확장하는 것.
• 루프 공간과 조인을 포함하는 피브레이션을 통해 고전적인 군론적 결과, 특히 쿠로시의 정리와 연결하는 것.
• 포터와 가네아의 호모토피 이론 결과를 몰먼트-앵글 복합체와 부분공간 배열의 맥락으로 일반화하는 것.

제안 방법

• 모든 단체 $ \sigma \in K $ 에 대해 코초점 $ D(\sigma) $ 를 정의함으로써 일반화된 몰먼트-앵글 복합체 $ Z(K; (∑X, ∑A)) $ 를 코초점으로 정의한다. 여기서 $ D(\sigma) $ 는 $ i \in \sigma $ 이면 $ X_i $, 아니면 $ A_i $ 를 곱한 것으로 구성된다.
• 각 단체 $ \sigma \in K $ 에 대해 $ Y_i = X_i $ (만약 $ i \in \sigma $) 또는 $ A_i $ (그 외) 라고 정의된 공간의 곱인 $ \prod_{i=1}^m Y_i $ 를 할당하는 다각형 제품 함자 $ D: K \to CW_* $ 를 구성한다.
• 스펙트럼의 안정적 분할을 가능하게 하는 기하적 분해를 사용하여 $ Z(K; (∑X, ∑A)) $ 의 스펙트럼이 $ \Omega X * \Omega Y $ 의 조인 구조와 화이트헤드 곱셈 지도를 통해 안정적 분할을 갖는다는 것을 증명한다.
• 포함사상 $ X \vee Y \to X \times Y $ 의 호모토피 피브어는 $ \Omega X * \Omega Y $ 와 호모토피 동치이며, 이는 구들의 와이드의 스펙트럼임을 보여준다.
• 덴햄-수쿠이 피브레이션과 가네아 형식의 구성법을 사용하여 $ \pi_1(A \amalg B) \to \pi_1(A \times B) $ 의 사상의 핵이 자유군임을 연결함으로써 쿠로시의 정리와 연관시킨다.
• 다이어그램에 나타나는 $ Z(K; (∑X_*, ∑A_*)) $ 에서의 사상 $ h $ 가 위상동형임을 보여, 다각형 제품 함자의 기하적 실현이 호환 가능한 포함을 갖는 코초점임을 증명한다.

실험 결과

연구 질문

• RQ1 일반화된 몰먼트-앵글 복합체의 스펙트럼은 모든 호모로지 이론에 대해 동치 분해를 유도하는 기하적 분할을 가질 수 있는가?
• RQ2 다각형 제품 함자의 구조는 스탠리-라이스너 링과 그 덧셈 분해와 어떻게 관련이 있는가?
• RQ3 포함사상 $ X \vee Y \to X \times Y $ 의 호모토피 피브어의 위상적 의미는 무엇이며, 군론적 결과와 어떻게 연결되는가?
• RQ4 몰먼트-앵글 복합체의 기하적 분할은 포터와 가네아의 호모토피 이론 결과를 어떻게 일반화하는가?
• RQ5 다각형 제품 함자로부터 유도되는 피브레이션은 쿠로시의 자유곱에 대한 고전적 정리를 복원하는 데 어떻게 활용될 수 있는가?

주요 결과

• 일반화된 몰먼트-앵글 복합체 $ Z(K; (∑X, ∑A)) $ 의 스펙트럼은 모든 호모로지 이론에 대해 유효한 동치 분해를 암시하는 기하적 분할을 갖는다.
• 이 분해는 고레스키-맥퍼슨, 호치스터, 바스카코프, 파노프, 부크스타버-파노프의 동치 분해 결과를 통합된 프레임워크 안에서 복원하고 일반화한다.
• 유한 단체 복합체의 스탠리-라이스너 링은 다각형 제품 함자를 통해 유도된 덧셈 분해를 가지며, 이는 코homology를 넘어서 다른 대수적 불변량으로까지 확장된다.
• 포함사상 $ X \vee Y \to X \times Y $ 의 호모토피 피브어는 $ \Omega X * \Omega Y $ 와 호모토피 동치이며, 이는 구들의 와이드의 스펙트럼임을 보여주며, 이 구조가 분할의 기초가 된다.
• 다이어그램에 나타나는 $ Z(K; (∑X_*, ∑A_*)) $ 에서의 사상 $ h $ 는 위상동형이며, 이는 다각형 제품 함자가 호환 가능한 포함을 갖는 코초점으로서 기하적으로 실현됨을 확인한다.
• $ \pi_1(A \amalg B) \to \pi_1(A \times B) $ 의 자연스러운 사상의 핵은 자유군이며, 화이트헤드 곱셈 지도를 통해 이 핵이 실현되며, 이는 쿠로시의 정리에 대한 위상수학적 증명을 제공한다.