[논문 리뷰] Topology of polyhedral products over simplicial multiwedges

Ivan Limonchenko|arXiv (Cornell University)|2017. 11. 01.

Homotopy and Cohomology in Algebraic Topology참고 문헌 34인용 수 3

한 줄 요약

이 논문은 단순 복합체의 다중와이드 구조와 코homology에서의 고차 마시 프로덕트 간의 연결을 통해 그래프-아소시아헤드라 위의 일반화된 몰먼트-젤로우 맨포ลด의 유리형 형식성에 대한 조합 기준을 수립한다. 이는 몰먼트-젤로우 맨포ลด $π_P^J$ 가 형식적일 조건을 특정하며, 그 관련 그래프 $̳$ 가 선분, 오각형, 육각형의 서로소 합집합일 때이고, 이러한 형식적 맨포ลด의 미분형질을 구구합 또는 홀수 차원의 구들의 곱의 형태로 분류한다.

ABSTRACT

We prove that certain conditions on multigraded Betti numbers of a simplicial complex $K$ imply existence of a higher Massey product in cohomology of a moment-angle-complex $\mathcal Z_K$, which contains a unique element (a strictly defined product). Using the simplicial multiwedge construction, we find a family $\mathcal{F}$ of polyhedral products being smooth closed manifolds such that for any $l,r\geq 2$ there exists an $l$-connected manifold $M\in\mathcal F$ with a nontrivial strictly defined $r$-fold Massey product in $H^{*}(M)$. As an application to homological algebra, we determine a wide class of triangulated spheres $K$ such that a nontrivial higher Massey product of any order may exist in Koszul homology of their Stanley--Reisner rings. As an application to rational homotopy theory, we establish a combinatorial criterion for a simple graph $Γ$ to provide a (rationally) formal generalized moment-angle manifold $\mathcal Z_{P}^{J}=(D^{2j_{i}},S^{2j_{i}-1})^{\partial P^*}$, $J=(j_{1},\ldots,j_m)$ over a graph-associahedron $P=P_Γ$ and compute all the diffeomorphism types of formal moment-angle manifolds over graph-associahedra.

연구 동기 및 목표

• 그래프-아소시아헤드라 $P=P_\Gamma$ 위의 일반화된 몰먼트-젤로우 맨포ลด $π_P^J$ 에 대한 유리형 형식성에 대한 조합 기준을 규명하는 것.
• 그래프-아소시아헤드라 위의 형식적 몰먼트-젤로우 맨포ลด의 모든 미분형질을 분류하는 것.
• 다각형 제품과 스탠리-라이즈너 링의 코homology에서 고차 마시 프로덕트가 존재할 조건을 설정하는 것.
• 단순 복합체 $K$ 의 다중중량 베텨 수와 $H^*(\mathcal{Z}_K)$ 내의 엄밀히 정의된 고차 마시 프로덕트 존재성 간의 관계를 연결하는 것.
• 단순 복합체의 다중와이드 구조를 확장하여 임의의 연결성과 비자명한 $r$-중 마시 프로덕트를 가진 매끄러운 닫힌 맨포ลด를 구성하는 것.

제안 방법

• 단순 복합체의 다중와이드 구조를 이용해 매끄럽고 닫힌 맨포ลด가 되는 다각형 제품의 가족을 생성하는 것.
• 단순 복합체의 조인 구조를 유지하는 다중와이드 연산을 적용하여 결과 맨포ลด의 위상에 대한 제어를 가능하게 하는 것.
• 복합체 $K$ 의 다중중량 베텰 수와 $H^*(\mathcal{Z}_K)$ 내 비자명한 고차 마시 프로덕트 존재성 간의 연결 고리를 확립하는 것.
• 다각형 구형체의 경우 $\mathcal{Z}_{P(J)}$ 가 $\mathcal{Z}_{I^1(J)}$, $\mathcal{Z}_{P_5(J)}$, $\mathcal{Z}_{P_6(J)}$ 의 곱과 미분형질을 갖는다는 사실을 이용해 형식성을 분석하는 것.
• 다각형과 다각형의 곱 위의 몰먼트-젤로우 맨포ลด 위상 이론의 기존 결과를 활용하여 미분형질을 분류하는 것.
• 정점 잘라내기 ($\operatorname{vc}^k(P)$) 가 그래프 이론적 및 단순 복합체 불변량을 통해 형식성과 마시 프로덕트 구조에 미치는 영향을 분석하는 것.

실험 결과

연구 질문

• RQ1 그래프-아소시아헤드라 $P=P_\Gamma$ 위의 일반화된 몰먼트-젤로우 맨포ลด $\mathcal{Z}_P^J$ 가 언제 유리형 형식적일까?
• RQ2 그래프-아소시아헤드라 위의 형식적 몰먼트-젤로우 맨포ลด의 미분형질은 무엇인가?
• RQ3 단순 복합체 $K$ 가 어떤 조건을 만족할 경우, 몰먼트-젤로우 복합체 $\mathcal{Z}_K$ 가 비자명한 엄밀히 정의된 고차 마시 프로덕트를 가질 수 있는가?
• RQ4 단순 복합체의 다중와이드 구조는 어떤 방식으로 연결성과 비자명한 마시 프로덕트를 갖는 매끄러운 닫힌 맨포ลด를 생성하는가?
• RQ5 $K_P$ 의 1-스켈레톤과 $H^*(\mathcal{Z}_P)$ 내 비자명한 삼중 마시 프로덕트 존재성 간의 관계는 무엇인가?

주요 결과

• 그래프-아소시아헤드라 $P=P_\Gamma$ 위의 몰먼트-젤로우 맨포ลด $\mathcal{Z}_P^J$ 는 $\Gamma$ 가 선분, 오각형, 육각형의 서로소 합집합일 때이고, 그때만 유리형 형식적이다.
• 형식적 몰먼트-젤로우 맨포ลด $\mathcal{Z}_P^J$ 의 미분형질은 구의 곱 또는 홀수 차원의 구들의 곱의 연결합이며, 구체적으로 $\mathcal{Z}_{I^1(J)} = S^{2|J|-1}$, $\mathcal{Z}_{P_5(J)}$ 는 $S^3 \times S^4$ 들의 연결합이며, $\mathcal{Z}_{P_6(J)}$ 는 $S^3 \times S^5$ 들과 $S^4 \times S^4$ 들의 연결합이다.
• 모든 $l, r \geq 2$ 에 대해, 단순 복합체의 다중와이드를 통해 생성된 다각형 제품의 가족 $\mathcal{F}$ 내에 $l$-연결된 매끄러운 닫힌 맨포ลด $M$ 이 존재하며, $H^*(M)$ 에서 비자명한 엄밀히 정의된 $r$-중 마시 프로덕트가 존재한다.
• 비자명한 삼중 마시 프로덕트의 존재는 $H^*(\mathcal{Z}_P)$ 내에서 $K_P$ 의 1-스켈레톤(그래프)에만 의존하며, 정점 잘라내기 $\operatorname{vc}^k(P)$ 에서도 유지된다.
• 단순 복합체의 다중와이드 구조는 복합체의 조인 구조를 유지하므로, 더 단순한 구성요소들 위의 몰먼트-젤로우 맨포ลด의 곱으로서 $\mathcal{Z}_{K(J)}$ 를 구성할 수 있다.
• 일반화된 몰먼트-젤로우 맨포ลด에 대해, 형식성, 비자명한 마시 프로덕트의 부재, 그리고 다각형의 조합적 유형(선분, 오각형, 육각형의 곱) 간의 동치관계가 확인되었다.