[논문 리뷰] The homology of simpicial complements and the cohomology of moment-angle complexes

Qibing Zheng, Xiangjun Wang|arXiv (Cornell University)|2011. 09. 29.

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

한 줄 요약

이 논문은 단체 복합체 $K$의 단체 보완체(simplicial complement)를 도입하고, 관련된 단항식 이상의 타일러 분해를 이용하여 $\mathrm{Tor}$ 대수 $\mathrm{Tor}_*^{\mathbf{k}[\mathbf{x}]}(\mathbf{k}(K), \mathbf{k})$를 계산하며, 그 곱 구조를 규명하는 미분가환대수 $(\overline{\Lambda}(\mathbb{P}), d)$를 구성한다. 주요 기여는 일반화된 몰먼트-젤로우 복합체 $\mathcal{Z}_K(X,A)$의 코homology에 대한 새로운 대수적 모델을 제공하는 것으로, $({X},{A}) = (S^2, S^1)$와 같은 경우에 대해 명시적인 계산을 통해 총 베티 수 216을 도출한다.

ABSTRACT

We use the Taylor resolution of a monomial ideal to compute the Tor algebra of the Stanley-Reisner ring of a simplicial complement of a simplicial complex.

연구 동기 및 목표

• 단체 복합체 $K$의 스탠리–라이즈너 면 레이어링에 관련된 $\mathrm{Tor}$ 대수 $\mathrm{Tor}_*^{\mathbf{k}[\mathbf{x}]}(\mathbf{k}(K), \mathbf{k})$를 계산하는 데 새로운 방법을 개발하는 것.
• 단체 복합체 $K$의 단체 보완체 $\mathbb{P}$를 단항식 이상의 생성자 체계로 정의하고, 그 타일러 분해를 이용해 DGA 모델을 구성하는 것.
• 그것을 $\overline{\Lambda}(\mathbb{P})$의 체인 복합체의 코homology로 실현함으로써 $\mathrm{Tor}$ 대수의 대수적 구조를 규명하는 것.
• 일반화된 몰먼트-젤로우 복합체 $\mathcal{Z}_K(X,A)$의 코homology를 단체 보완체 $\mathbb{P}$의 호모로지와 연관짓는 것. 특히 $A_i \hookrightarrow X_i$가 영호모토피일 경우에 대해.
• 특수한 경우, 예를 들어 $({X},{A}) = (D^2, S^1)$ 및 $({X},{A}) = (S^2, S^1)$에서 $\mathcal{Z}_K(X,A)$의 명시적 베티 수와 푸아앵카레 급수를 계산하는 것.

제안 방법

• 단체 보완체 $\mathbb{P} = \{\sigma_1, \dots, \sigma_s\}$는 $[m]$의 부분집합들의 열로 정의되며, 이는 제곱-free 단항식 이상 $\mathcal{I}_{\mathbb{P}}$를 생성하고, $K$는 이에 대응하는 단체 복합체이다.
• 단항식 이상 $\mathcal{I}_{\mathbb{P}}$의 타일러 분해를 이용하여, $\mathbf{k}$ 위의 미분가환대수 $(\overline{\Lambda}(\mathbb{P}), d)$를 구성하며, 이는 $\mathrm{Tor}_*^{\mathbf{k}[\mathbf{x}]}(\mathbf{k}(K), \mathbf{k})$를 그 코homology로 계산한다.
• 체인 복합체 $\overline{\Lambda}(\mathbb{P})$는 $\mathbb{P}$에 속한 단체에 대응하는 외적대수의 생성자들로부터 구성되며, 미분 $d$는 단항식들의 최소공배수를 통해 정의된다.
• 일반화된 몰먼트-젤로우 복합체 $\mathcal{Z}_K(X,A)$의 코homology는 스터핑과 $E_\omega\mathbb{P}$, 즉 $\omega \in K$에 대한 단체 보완체의 호모로지를 포함하는 분해를 통해 계산되며, 등식 $H^*(\mathcal{Z}_K(X,A), \mathbf{k}) \cong \bigoplus_{\omega \in K} \bigoplus_{\sigma} H_{*,\sigma}(\overline{\Lambda}^{*,\sigma}(E_\omega\mathbb{P}), d)$를 이용한다.
• $({X},{A}) = (S^2, S^1)$인 경우, 모든 $\omega \in K$에 대한 기여를 합산하여 코homology를 계산하며, 각 $\omega$는 $H_{*,\sigma}(\overline{\Lambda}^{*,\sigma}(E_\omega\mathbb{P}), d)$로부터 유도된 푸아앵카레 급수를 갖는 분할된 군을 기여한다.
• 이 방법은 $\overline{\Lambda}^{*,\sigma}(E_\omega\mathbb{P})$가 자유 $\mathbf{k}$-모듈로서의 성질을 활용하여, 푸아앵카레 급수 분해를 통한 명시적 베티 수 계산이 가능하다.

실험 결과

연구 질문

• RQ1 Hochster의 공식을 넘어서, $\mathrm{Tor}$ 대수 $\mathrm{Tor}_*^{\mathbf{k}[\mathbf{x}]}(\mathbf{k}(K), \mathbf{k})$의 곱을 포함한 전체 대수적 구조를 어떻게 계산할 수 있는가?
• RQ2 단체 복합체 $K$의 단체 보완체 $\mathbb{P}$가 몰먼트-젤로우 복합체의 코homology를 모델링하는 데 어떤 역할을 하는가?
• RQ3 일반화된 몰먼트-젤로우 복합체 $\mathcal{Z}_K(X,A)$의 코homology는 $\omega \in K$에 대해 단체 보완체 $E_\omega\mathbb{P}$의 호모로지로 어떻게 분해되는가?
• RQ4 $X_i$가 수축 가능하거나 $A_i$가 수축 가능하거나 $({X}_i, {A}_i) = (S^2, S^1)$일 경우, $\mathcal{Z}_K(X,A)$의 베티 수와 푸아앵카레 급수는 무엇인가?
• RQ5 $\mathcal{Z}_K(D^2, S^1)$의 코homology는 단체 보완체 $\mathbb{P}$의 호모로지로 완전히 기술될 수 있는가? 그리고 그 총 베티 수는 얼마인가?

주요 결과

• 코homology 링 $H^*(\mathcal{Z}_K(D^2, S^1), \mathbf{k})$는 외적대수 $\Lambda(\sigma_1, \sigma_2, \sigma_3)$와 동형이며, 푸아앵카레 급수는 $1 + 3x^3 + 3x^6 + x^9$이고, 총 베티 수는 8이다.
• $({X}, {A}) = (S^2, S^1)$인 경우, 코homology $H^*(\mathcal{Z}_K(S^2, S^1), \mathbf{k})$의 푸아앵카레 급수는 $1 + 6x^2 + 9x^3 + 12x^4 + 36x^5 + 35x^6 + 36x^7 + 54x^8 + 27x^9$이며, 총 베티 수는 216이다.
• $\mathcal{Z}_K(X,A)$의 코homology는 $\omega \in K$에 대한 $H_{*,\sigma}(\overline{\Lambda}^{*,\sigma}(E_\omega\mathbb{P}), d)$의 직접합과 동형이며, 각 $\omega$는 단체 보완체 $E_\omega\mathbb{P}$에 따라 달라지는 분할된 군을 기여한다.
• $\mathbb{P} = \{\{1,2\}, \{3,4\}, \{5,6\}\}$일 경우, $E_\phi\mathbb{P}$의 호모로지는 $\Lambda(\sigma_1, \sigma_2, \sigma_3)$와 동형이며, 이는 $H^*(\mathcal{Z}_K(D^2, S^1), \mathbf{k})$의 외적대수적 구조를 확인한다.
• $\omega = \{i\}$인 경우, 기여의 푸아앵카레 급수는 $x^2(1 + x + 2x^3 + 2x^4 + x^6 + x^7)$이며, $\omega = \{i,j\}$일 경우 $x^4(1 + 2x + x^2 + x^3 + 2x^4 + x^5)$이다. $\omega = \{i,j,k\}$일 경우 기여는 $x^6(1 + 3x + 3x^2 + x^3)$이다.
• 이 방법은 Hochster 공식의 새로운 증명을 제공하며, $\mathrm{Tor}$ 대수의 곱 구조를 DGA $(\overline{\Lambda}(\mathbb{P}), d)$를 통해 명시적으로 규명한다. 이는 $\mathbf{k}$ 위의 벡터 공간이며, 대수의 곱을 유지한다.