[논문 리뷰] The topology of the moment-angle manifolds--On a conjecture of S. Gitler ans S. Lopez

Liman Chen, Feifei Fan외 1명|arXiv (Cornell University)|2014. 06. 26.

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

한 줄 요약

이 논문은 간단한 다면체에 대해 정점 컷 사슬을 가한 후 모멘트-각도 다양체의 위상수학적 성질에 관한 Gitler와 López의 추측을 증명한다. 이는 정점 컷 다면체의 모멘트-각도 다양체가 구의 곱의 연결합과 미분형태가 같음을 보이며, 원래 다양체에 대한 수술 연산을 통해 위상적 변화를 명시적으로 기술한다.

ABSTRACT

Let $P$ be a simple polytope of dimension $n$ with $m$ facets and $P_{v}$ be a polytope obtained from $P$ by cutting off one vertex $v$. Let $Z=Z(P)$ and $Z_{v}=Z(P_{v})$ be the corresponding moment-angle manifolds. In \cite{[GL]} S.Gitler and S.López conjectured that: $Z_{v}$ is diffeomorphic to $\partial[(Z-int(D^{n+m})) imes D^{2}]\sharp \mathop{\sharp} \limits_{j=1}^{m-n} \binom{m-n}{j} (S^{j+2} imes S^{m+n-j-1})$, and they have proved the conjecture in the case $m<3n$. In this paper we prove the conjecture in general case.

연구 동기 및 목표

• 간단한 다면체에서 정점을 제거할 경우 모멘트-각도 다양체의 위상적 변화에 관해 오랫동안 남아있던 Gitler와 López의 추측을 해결하는 것.
• 그러한 수술 연산 이후 모멘트-각도 다양체의 미분형태에 대한 완전한 기술을 제공하는 것.
• 다면체에 대한 조합적 수술이 모멘트-각도 다양체에 위상적 연산으로 어떻게 번역되는지에 대한 이해를 일반화하는 것.
• 특히 연결합과 구의 번들의 구조와 관련하여 모멘트-각도 다양체를 연구하는 데 있어 수술 기반의 프레임워크를 확장하는 것.

제안 방법

• 단순 복합체를 통한 모멘트-각도 복합체 구성 사용: $\mathcal{Z}_K$ 는 단체 위에서 디스크와 토러스의 곱의 합집합으로 정의된다.
• 정점 컷 다면체 $\mathcal{Z}(P_v)$ 의 모멘트-각도 다양체와 $\partial[(\mathcal{Z}-D^{n+m})\times D^2]$ 를 포함하는 수술 유도 다양체 사이의 미분형태를 확립한다.
• 코드림이 $m-n$ 인 경우에 대해 귀납법을 적용하여 $\partial[(S^{m+n}-T^{m-n}\times D^{2n})\times D^2]$ 가 $S^{j+2} \times S^{m+n-j-1}$ 항들의 연결합과 미분형태가 됨을 증명한다.
• Gitler와 López의 보조정리 1을 활용하여 경계 수술을 분해하고, 다양체의 연결합을 구의 곱과 연결한다.
• 구에 토러스를 정규로 매립하여 모멘트-각도 다양체에서 튜브근방을 제거하는 것을 모델링한다.
• $(D^2, S^1)$ 대신 $(D^{k+1}, S^k)$ 를 사용하여 일반화된 모멘트-각도 다양체로 결과를 확장하여 유사한 미분형태 공식을 도출한다.

실험 결과

연구 질문

• RQ1 정점이 단순 다면체에서 제거될 경우 모멘트-각도 다양체의 정확한 위상적 변화는 무엇인가?
• RQ2 정점을 잘라내는 수술이 결과로 얻어진 모멘트-각도 다양체의 미분형태에 어떤 영향을 미치는가?
• RQ3 이전에 알려진 경우 $m < 3n$ 이외의 일반적인 경우에도 $\mathcal{Z}(P_v)$ 의 미분형태에 대한 추측된 공식을 완전히 증명할 수 있는가?
• RQ4 이러한 수술의 위상적 결과를 묘사하는 데 있어 연결합 형태의 구의 곱은 어떤 역할을 하는가?
• RQ5 이 프레임워크는 고차원의 디스크-토러스 쌍으로 일반화될 수 있는가?

주요 결과

• Gitler와 López의 추측은 완전히 증명되었다: $\mathcal{Z}_v$ 는 $\partial[(\mathcal{Z}-D^{n+m})\times D^2]\#\mathop{\#}_{j=1}^{m-n}\binom{m-n}{j}(S^{j+2}\times S^{m+n-j-1})$ 와 미분형태가 같다.
• 결과는 이전에 알려진 경우 $m < 3n$ 을 초월하여 일반적으로 성립한다.
• $\partial[(S^{m+n}-T^{m-n}\times D^{2n})\times D^2]$ 는 $j=1$ 에서 $m-n$ 까지의 $S^{j+2} \times S^{m+n-j-1}$ 항들의 연결합과 미분형태가 됨을 보였다. 계수는 $\binom{m-n}{j}$ 이다.
• 귀납적 증명은 $T^{m-n}$ 이 $S^{m+n}$ 에 정규로 매립되어 있으며, Gitler와 López의 보조정리 1을 이용해 연결합의 경계 수술을 다루는 데 의존한다.
• 일반화된 모멘트-각도 다양체 $\mathcal{Z}_{P_v,k}$ 는 $\partial[(\mathcal{Z}_{P,k}-D^{n+km})\times D^{k+1}]\#\mathop{\#}_{j=1}^{m-n}\binom{m-n}{j}(S^{k(j+1)+1}\times S^{k(m-j)+n-1})$ 와 미분형태가 같음을 보였다.
• 이러한 방법과 결과는 $(D^2, S^1)$ 대신 $(D^{k+1}, S^k)$ 를 사용하여 고차원 모멘트-각도 복합체의 유사한 일반화에 적용 가능하다.