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

Abbas Bahri, Martin Bendersky외 2명|arXiv (Cornell University)|2010. 01. 19.

Advanced Combinatorial Mathematics참고 문헌 4인용 수 12

한 줄 요약

이 논문은 일반화된 모멘트-각도 복합체의 코homology 링에서 cup-곱의 구조를 그들의 스펙트럼의 안정적 분해를 이용하여 수립한다. 분해 정리와 샌드위치 및 대각선 사상과 같은 자연스러운 사상들을 활용하여, 스펙트럼 쌍과 기저 위에 원추를 쌓은 복합체를 포함한 여러 경우에 대해 명시적인 링 구조를 도출하며, Davis-Januszkiewicz, Buchstaber-Panov 및 기타 연구자들의 이전 결과를 일반화한다.

ABSTRACT

Given a family of based CW-pairs $(\underline{X},\underline{A})=\{(X;A)\}^m_{i=1}$ together with an abstract simplicial complex $K$ with $m$ vertices, there is an associated based CW-complex $Z(K;(\underline{X},\underline{A}))$ known as a generalized moment-angle complex. The decomposition theorem of \cite{bbcg}, \cite{bbcg2} splits the suspension of $Z(K; (\underline{X}, \underline{A}))$ into a bouquet of spaces determined by the full sub-complexes of $K$. Thatdecomposition theorem is used here to describe the ring structure for the cohomology of Z(K; (\underline{X}, \underline{A})). Explicit computations are made for families of suspension pairs and for the cases where $X_i$ is the cone on $A_i$. These results complement and generalize those of Davis-Januszkiewicz, Franz, Hochster as well as Panov, and Baskakov-Buchstaber-Panov. Under conditions stated below, these theorems also apply for generalized cohomology theories.

연구 동기 및 목표

• 일반화된 모멘트-각도 복합체의 코homology 링에서 cup-곱의 구조를 규명하는 것.
• Davis-Januszkiewicz, Buchstaber-Panov 및 Franz의 기존 결과를 일반화하고 확장하는 것.
• 일반화된 모멘트-각도 복합체의 코homology 링을 계산하기 위한 통합된 프레임워크를 제공하는 것, 특히 한 번의 스펙트럼 이후의 안정적 분할과 대각선 사상들을 사용하여.
• 지정된 조건 하에서 일반화된 코homology 이론으로 결과를 확장하는 것.
• 스펙트럼 쌍과 기저 위에 원추를 쌓은 복합체 (X_i = CX_i, A_i = X_i)의 가족에 대해 명시적인 계산을 수립하는 것.

제안 방법

• 이전 연구 [1,2]에서 얻은 분해 정리를 활용하여, 일반화된 모멘트-각도 복합체의 스펙트럼을 K의 전체 부분복합체로 인덱싱된 공간들의 부스러기로 분해한다.
• 안정적 분할을 적용하여 안정화 이후의 대각선 사상을 분석함으로써 cup-곱의 구조를 규명한다.
• 곱과 스마시 곱 사이의 자연스러운 샌드위치 사상으로 Z(K; (X×W, A×C))와 Z(K; (X,A)) 및 Z(K; (W,C))의 곱 사이의 관계를 규명한다.
• 일반화된 모멘트-각도 복합체와 스마시 곱 사이의 호메오멀피즘 γ를 도입하며, 특히 γ: Ẑ(K; (CX,X)) ≅ Ẑ(K; (D¹,S⁰)) ∧ X̂[m]로 정의되어 구조 분석이 가능하게 한다.
• 대각선 사상 Δ̂IJ,L과 샌드위치 사상 간의 호모토피 교환 다이어그램을 사용하여 부분복합체의 코homology와 그 곱의 코homology 사이의 관계를 규명한다.
• 스마시 곱의 인자 순서를 일관되게 유지하기 위해 자연스러운 교환 사상 τ를 적용하여 유도된 링 구조의 일관성을 확보한다.

실험 결과

연구 질문

• RQ1 일반화된 모멘트-각도 복합체의 코homology 링에서 cup-곱의 구조는 안정적 호모토피 이론을 통해 어떻게 묘사될 수 있는가?
• RQ2 스펙트럼과 분해를 통해 Z(K; (X,A))의 코homology 링과 그 부분복합체 Z(K_I; (X,A)_I)의 코homology 링 사이의 정확한 관계는 무엇인가?
• RQ3 이러한 결과는 정수 코homology를 초월하여 일반화된 코homology 이론으로 얼마나 일반화될 수 있는가?
• RQ4 특수한 경우, 예를 들어 (X_i, A_i) = (D¹, S⁰) 또는 (X_i, A_i) = (CX_i, X_i)일 때 cup-곱의 구조는 어떻게 행동하는가?
• RQ5 Z(K; (X,A))의 스펙트럼에서의 대각선 사상은 코homology에서 전체 cup-곱의 구조를 재구성하는 데 사용될 수 있는가?

주요 결과

• 일반화된 모멘트-각도 복합체 Z(K; (X,A))의 코homology 링은 그 스펙트럼의 안정적 분해에 의해 완전히 결정되며, 이는 K의 전체 부분복합체로 인덱싱된 공간들의 와이어드로 분해된다.
• (X_i, A_i) = (D¹, S⁰)인 경우, 일반화된 모멘트-각도 복합체 Ẑ(K; (D¹,S⁰))는 자연스럽게 스마시 곱 Ẑ(K; (D¹,S⁰)) ∧ X̂[m]과 호메오멀피어블하며, 이로 인해 cup-곱의 구조를 명시적으로 계산할 수 있다.
• γ: Ẑ(K; (CX,X)) → Ẑ(K; (D¹,S⁰)) ∧ X̂[m] 사상은 호메오멀피즘으로서, 스마시 곱을 통한 코homology 링의 구조적 실현을 제공한다.
• Δ̂IJ,L과 γ를 포함하는 호모토피 교환 다이어그램은 cup-곱의 구조가 분해를 존중하고 부분복합체 포함관계와 호환됨을 보장한다.
• 이러한 결과는 Davis-Januszkiewicz, Buchstaber-Panov, Franz 및 Hochster의 기존 결과를 일반화하고 복원하며, 특히 Stanley-Reisner 링과 토릭 다양체에 대해 성립한다.
• 적절한 조건 하에서 이 프레임워크는 정수 코homology를 초월하여 일반화된 코homology 이론에도 적용 가능하다.