[논문 리뷰] On the cohomology of moment-angle complexes associated to Gorenstein* complexes

Feifei Fan, Xiangjun Wang|arXiv (Cornell University)|2015. 08. 01.

Advanced Combinatorial Mathematics참고 문헌 20인용 수 11

한 줄 요약

이 논문은 앨리케산더 쌍대성과 Gorenstein 링의 피카르 데오리에 기반하여 Gorenstein* 복합체의 위상수학적 특성화를 수립하고, 연결합과 스타르 서브디비전과 같은 조합적 연산에 대해 모멘트-젤로우 복합체에 대한 명시적인 코homological 공식을 유도한다. 주요 기여는 단순형 2-구면체에 대응하는 모멘트-젤로우 복합체의 코homology 링에 대한 분해 정리로, 이는 유일한 분해를 증명하고 코homological rigidity의 탐지 가능성을 보장한다.

ABSTRACT

The main goal of this article is to study the cohomology rings and their applications of moment-angle complexes associated to Gorenstein* complexes, especially, the applications in combinatorial commutative algebra and combinatorics. First, we give a topological characterization of Gorenstein* complexes in terms of Alexander duality (as an application we give a topological proof of Stanley's Theorem). Next we give some cohomological transformation formulae of $\mathcal {Z}_{K}$, which are induced by some combinatorial operations on the Gorenstein* complex $K$, such as the connected sum operation and stellar subdivisions. We also prove that $\mathcal {Z}_{K}$ is a prime manifold whenever $K$ is a flag $2$-sphere by proving the indecomposability of their cohomology rings. Then we use these results to give the unique decomposition of the cohomology rings of moment-angle manifolds associated to simplicial $2$-spheres, and explain how to use it to detect the cohomological rigidity problem of these moment-angle manifolds.

연구 동기 및 목표

• 앨리케산더 쌍대성과 Gorenstein 링에서의 피카르 데오리에 기반한 스탠퍼드의 정리에 대한 위상수학적 증명을 제공한다.
• 연결합과 스타르 서브디비전 연산에 대해 모멘트-젤로우 복합체의 명시적인 코homological 변환 공식을 도출한다.
• K가 플래그 2-구면체일 경우 $\mathcal{Z}_K$의 코homology 링의 불가분성을 입증함으로써 $\mathcal{Z}_K$가 프라임 다양체임을 시사한다.
• 단순형 2-구면체 위의 모멘트-젤로우 다양체의 코homology 링에 대한 유일한 분해를 증명하고, 이를 코homological rigidity 문제에 적용한다.
• $\mathcal{Z}_{K_1 \# K_2}$의 코homology 링을 $\mathcal{Z}_{K_1}$, $\mathcal{Z}_{K_2}$ 및 연결합으로부터 유도된 새로운 다양체 $M$의 코homology 링으로 기술한다.

제안 방법

• 완전한 부분복합체 간의 앨리케산더 쌍대성을 활용하여 Gorenstein* 복합체의 위상수학적 특성화를 수행한다.
• Gorenstein 링 내의 피카르 데오리에를 적용하여 스탠퍼드의 정리에 대한 위상수학적 증명을 수립한다.
• $\mathcal{Z}_{K_1}$ 및 $\mathcal{Z}_{K_2}$의 감소된 코homology 링에 대한 이동 연산 $G^k$를 통해 순서형 링 $\mathcal{R}(K_1, K_2; \mathbf{k})$를 구성한다.
• 상위 차원 코homology 클래스를 식별하는 관계로 생성되는 이상 $\mathcal{I}(K_1, K_2; \mathbf{k})$를 정의한다. 이 관계는 $\mathcal{Z}_{K_1}$, $\mathcal{Z}_{K_2}$ 및 새로운 다양체 $M$의 코homology 링에 속한다.
• $K = K_1 \# K_2$에 대해 $\widetilde{H}^*(\mathcal{Z}_K; \mathbf{k}) \cong \mathcal{R}(K_1, K_2; \mathbf{k}) / \mathcal{I}(K_1, K_2; \mathbf{k})$의 명시적 공식을 유도하며, 이는 구들의 곱의 합을 포함한다.
• 다양체에 대한 고즈알레스 아쿠냐 연산 $\mathcal{G}^k$를 활용하여 $\mathcal{Z}_{K_1 \# K_2}$의 위상적 실현을 추측한다.

실험 결과

연구 질문

• RQ1 앨리케산더 쌍대성을 통해 Gorenstein* 복합체를 위상수학적으로 특성화할 수 있는가?
• RQ2 Gorenstein* 복합체의 연결합에 따라 모멘트-젤로우 복합체의 코homology 링은 어떻게 변하는가?
• RQ3 K가 플래그 2-구면체일 경우 $\mathcal{Z}_K$의 코homology 링은 어떤 구조를 갖는가?
• RQ4 단순형 2-구면체 K에 대응하는 $\mathcal{Z}_K$의 코homology 링은 유일하게 분해될 수 있는가?
• RQ5 코homology 링의 유일한 분해는 어떻게 모멘트-젤로우 다양체의 코homological rigidity 탐지에 활용될 수 있는가?

주요 결과

• 단순형 복합체 $K$는 완전한 부분복합체 간의 앨리케산더 쌍대성을 만족할 때이고, 그때에만 일반화된 호모로지 2-구면체이다.
• 논문은 피카르 데오리에와 모멘트-젤로우 복합체 이론을 활용하여 스탠퍼드의 정리에 대한 위상수학적 증명을 제공한다.
• $K = K_1 \# K_2$에 대해 $\mathcal{Z}_K$의 감소된 코homology 링은 $\mathcal{R}(K_1, K_2; \mathbf{k}) / \mathcal{I}(K_1, K_2; \mathbf{k})$와 동형이며, 여기서 $\mathcal{R}$은 이동된 코homology 링과 형태 $\sharp \lambda(i)(S^{i+1} \times S^{m_1 + m_2 - i - 1})$를 가진 다양체 $M$을 포함한다.
• K가 플래그 2-구면체일 경우 $\mathcal{Z}_K$의 코homology 링은 불가분적이며, 이는 $\mathcal{Z}_K$가 프라임 다양체임을 시사한다.
• 단순형 2-구면체에 대응하는 모멘트-젤로우 다양체의 코homology 링은 유일한 분해를 가지며, 이를 통해 코homological rigidity를 탐지할 수 있다.
• 저자들은 토퍼션 프리인 유한 랭크의 링 $R \cong Q$가 불가분 인자로 분해될 경우, 비자명한 곱셈을 가진 불가분 인자의 수와 동형 유형이 동일하며, 분해는 순열 및 동형에 대해 유일함을 증명한다.