[논문 리뷰] Discrete Morse theory for moment-angle complexes of pairs (D^n,S^{n-1})

Vladimir Grujić, Volkmar Welker|arXiv (Cornell University)|2012. 12. 10.

Topological and Geometric Data Analysis참고 문헌 20인용 수 7

한 줄 요약

이 논문은 단순체 K의 앨리오크산 듀얼 K^\circ가 정점 분해 가능할 때, n-구면 모멘트-앵글 복합체 ${\mathcal{Z}}_K(D^n, S^{n-1})$ 에 이산 모어스 이론을 적용한다. 이러한 복합체는 구들의 와이드 합과 호모토피 유형을 가지며, 이는 이전의 이동 가능한 복합체에 대한 결과를 일반화하고, 유도된 부분복합체의 축약된 호모로지에 기반한 호모토피 분해를 제공한다. 핵심 기여는 M \not\in K 인 경우 K_M의 베티 수를 통해 표현된 호모토피 동치이다. 결과는 높은 수의 스터핑과 함께 확장되며, 단순체의 스켈레톤과 1-스켈레톤이 순환적인 플래그 복합체에 응용된다.

ABSTRACT

For a finite simplicial complex K and a CW-pair (X,A), there is an associated CW-complex Z_K(X,A), known as a polyhedral product. We apply discrete Morse theory to a particular CW-structure on the n-sphere moment-angle complexes Z_K(D^{n}, S^{n-1}). For the class of simplicial complexes with vertex-decomposable duals, we show that the associated n-sphere moment-angle complexes have the homotopy type of wedges of spheres. As a corollary we show that a sufficiently high suspension of any restriction of a simplicial complex with vertex-decomposable dual is homotopy equivalent to a wedge of spheres.

연구 동기 및 목표

• 모멘트-앵글 복합체의 호모토피 유형 결과를 이동 가능한 단순체에서 더 넓은 범주인 정점 분해 가능한 앨리오크산 듀얼을 가진 복합체로 확장한다.
• 이산 모어스 이론을 사용하여 ${\mathcal{Z}}_K(D^n, S^{n-1})$ 와 구들의 와이드 합 사이의 호모토피 동치를 확립한다.
• Golod 링과 자명한 코homology 곱에 대한 기존 결과를 고차원 모멘트-앵글 복합체로 일반화한다.
• M \not\in K 인 경우 유도된 부분복합체 $K_M$ 의 축약된 호모로지에 기반한 호모토피 분해 공식을 제공한다.
• 이전의 스터핑과 구들의 와이드 합 결과를 n-구면 모멘트-앵글 복합체의 경우로 확장한다.

제안 방법

• n-구면 모멘트-앵글 복합체 ${\mathcal{Z}}_K(D^n, S^{n-1})$ 에 특정한 CW-구조에 대해 이산 모어스 이론을 적용한다.
• 앨리오크산 듀얼 $K^\circ$ 의 정점 분해 가능성을 이용하여 모멘트-앵글 복합체에 이산 모어스 매칭을 구성한다.
• 모어스 매칭의 임계 셀을 활용하여 복합체의 호모토피 유형이 구들의 와이드 합임을 규명한다.
• 각 $M \not\in K$ 에 대해 $\widetilde{H}_{i - (n-1)\#M - 1}(K_M, \mathbb{K})$ 의 축약된 호모로지 군을 사용하여 호모토피 동치 공식을 유도한다. 여기서 $K_M$ 은 $K$ 를 $M$ 에 제한한 것이다.
• 정점 수에 대한 귀납법과 $K^\circ$ 의 셰딩 정점의 구조를 활용하여 모어스 매칭이 적절히 감소함을 증명한다.
• 스터핑과 호모토피 함자에 대한 기존 결과를 적용하여 결과를 안정 범주로 확장한다.

실험 결과

연구 질문

• RQ1 단순체 $K$ 에 어떤 조건이 성립할 때, $n$-구면 모멘트-앵글 복합체 ${\mathcal{Z}}_K(D^n, S^{n-1})$ 는 구들의 와이드 합과 호모토피 동치가 되는가?
• RQ2 앨리오크산 듀얼 $K^\circ$ 의 정점 분해 가능성은 ${\mathcal{Z}}_K(D^n, S^{n-1})$ 의 호모토피 유형에 어떤 영향을 미치는가?
• RQ3 모멘트-앵글 복합체 ${\mathcal{Z}}_K(D^n, S^{n-1})$ 의 호모토피 분해는 $M \not\in K$ 인 유도된 부분복합체 $K_M$ 의 축약된 호모로지로 표현될 수 있는가?
• RQ4 결과는 모멘트-앵글 복합체의 스터핑으로까지 확장되는가? 만약 그렇다면, 호모토피 유형은 어떻게 변화하는가?
• RQ5 Stanley-Reisner 링의 Golod 성질과 $n > 2$ 인 경우의 구들의 와이드 합 호모토피 유형 사이의 관계는 무엇인가?

주요 결과

• 앨리오크산 듀얼 $K^\circ$ 가 정점 분해 가능하고, 모든 $i \in [m]$ 에 대해 $\{i\} \in K$ 이면, $n$-구면 모멘트-앵글 복합체 ${\mathcal{Z}}_K(D^n, S^{n-1})$ 는 구들의 와이드 합과 호모토피 유형을 가진다.
• 호모토피 동치는 임의의 체 $\mathbb{K}$ 에 대해 $\displaystyle{\mathcal{Z}}_K(D^n, S^{n-1}) \simeq \bigvee_{i \geq 0} \bigvee_{\substack{M \not\in K \\ M \subseteq [m]}} \dim_{\mathbb{K}} \widetilde{H}_{i - (n-1)\#M - 1}(K_M, \mathbb{K}) \cdot S^i$ 로 명시적으로 주어진다.
• 이 결과는 [15] 에서 연구된 이동 가능한 단순체의 경우를 일반화한다. 이동 가능한 복합체는 정점 분해 가능한 앨리오크산 듀얼을 가지기 때문이다.
• m-정점 단순체의 $k$-스켈레톤에 대해서는 모멘트-앵글 복합체가 $\bigvee_{j=1}^{m-k} \binom{m}{k+j} \binom{k+j-j}{k} S^{nk + j(n-1)}$ 와 호모토피 동치이며, 이는 [14] 및 [15] 에서 알려진 결과와 일치한다.
• 모멘트-앵글 복합체 ${\mathcal{Z}}_K(D^n, S^{n-1})$ 의 이중 스터핑은 구들의 와이드 합과 호모토피 동치이며, [1] 의 결과를 n-구면 경우로 확장한다.
• 1-스켈레톤이 순환적인 플래그 복합체 $K$ 에 대해서도 결과가 적용되며, 이러한 복합체는 정점 분해 가능한 앨리오크산 듀얼을 가지므로 ${\mathcal{Z}}_K(D^n, S^{n-1})$ 는 구들의 와이드 합이 된다.