[논문 리뷰] Embeddings of moment-angle manifolds and sequences of Massey products

Victor Matveevich Buchstaber, Ivan Limonchenko|arXiv (Cornell University)|2018. 08. 27.

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

한 줄 요약

이 논문은 단순 다면체에서의 면 통합을 통해 모멘트-각도 다양체와 복합체를 연결하는 교환적인 5각형 다이어그램을 수립하며, 단순 다면체가 플래그일 필요충분조건으로, 유도된 모멘트-각도 다양체 통합이 재구성 가능할 때임을 증명한다. 이는 코homology의 분할 전성 사상으로 이어진다. 주요 응용으로는 순서가 무한히 증가하는 고차 Massey 곱의 무한한 가족을 구성하며, $\mathcal{Z}_{P^n}$에서 비자명한 $k$-중 Massey 곱이 존재하면, $l > n$인 모든 $\mathcal{Z}_{P^l}$에서도 존재함을 보여준다. 이 구성은 플래그 다면체에 대한 새로운 면 컷 연산에 기반하며, 조합적으로 다른 순서에서 강하게 연결된 Massey 곱을 생성한다.

ABSTRACT

We show that for any face $F$ of a simple polytope $P$ the canonical equivariant homeomorphisms $h_P:\,\mathcal Z_P o\mathcal Z_{K_P}$ and $h_F:\,\mathcal Z_F o\mathcal Z_{K_F}$ are linked in a pentagonal commutative diagram with the maps of moment-angle manifolds and moment-angle-complexes, induced by a face embedding $i_{F,P}:\,F o P$ and a simplicial embedding $Φ_{F,P}:\,K_F o K_{F,P} o K_P$, where $K_{F,P}$ is the full subcomplex of $K_P$ on the same vertex set as $Φ_{F,P}(K_F)$. We introduce the explicit constructions of the maps $i_{F,P}$, $Φ_{F,P}$ and show that a polytope $P$ is flag if and only if the induced embedding $\hat{i}_{F,P}:\,\mathcal Z_{F} o\mathcal Z_P$ of moment-angle manifolds has a retraction and thus induces a split ring epimorphism in cohomology for any face $F\subset P$. As the applications of these results we obtain the sequences $\{P^n\}$ of flag simple polytopes such that there exists a nontrivial $k$-fold Massey product in $H^*(\mathcal Z_{P^n})$ with $k o\infty$ as $n o\infty$ and, moreover, the existence of a nontrivial $k$-fold Massey product in $H^*(\mathcal Z_{P^n})$ implies existence of a nontrivial $k$-fold Massey product in $H^*(\mathcal Z_{P^l})$ for any $l>n$.

연구 동기 및 목표

• 모멘트-각도 다양체와 복합체를 면과 단체 통합을 통해 연결하는 표준적인 교환적인 5각형 다이어그램 수립.
• 유도된 모멘트-각도 다양체 통합에 대한 재구성의 존재를 통해 플래그 다면체 특성화.
• 순서가 무한히 증가하는 비자명한 $k$-중 Massey 곱을 가진 플래그 다면체의 무한한 가족 구성, 여기서 $k \to \infty$는 $n \to \infty$일 때 성립.
• 비자명한 $k$-중 Massey 곱이 $H^*(\mathcal{Z}_{P^n})$에 존재하면, 모든 $l > n$에 대해 $H^*(\mathcal{Z}_{P^l})$에도 존재함을 보여줌.
• 플래그 다면체에 대한 새로운 면 컷 연산 $\operatorname{fc}$ 도입으로, 강하게 연결된 Massey 곱을 가진 조합적으로 다른 순서를 생성함.

제안 방법

• 모멘트-각도 다양체와 모멘트-각도 복합체를 연결하는 표준적인 $\operatorname{G}$-동형사상 $h_P: \mathcal{Z}_P \to \mathcal{Z}_{K_P}$ 및 $h_F: \mathcal{Z}_F \to \mathcal{Z}_{K_F}$ 정의.
• 면 통합 $i_{F,P}: F \to P$에 의해 유도된 단체 통합 $\Phi_{F,P}: K_F \to K_P$ 구축하고, 이미지 정점 집합 위의 전체 부분복합체 $K_{F,P} \subset K_P$ 정의.
• 사상 $\hat{i}_{F,P}: \mathcal{Z}_F \to \mathcal{Z}_P$ 및 $\hat{\Phi}_{F,P}: \mathcal{Z}_{K_F} \to \mathcal{Z}_{K_{F,P}}$가 $h_F$, $h_P$, 그리고 재구성 사상 $r: \mathcal{Z}_{K_P} \to \mathcal{Z}_{K_{F,P}}$와 함께 교환적인 5각형을 형성함을 증명.
• 다면체 $P$가 플래그일 필요충분조건으로, $\Phi_{F,P}$가 $K_F \cong K_{F,P}$를 유도함을 보이며, 이는 $\hat{i}_{F,P}$에 대한 재구성의 존재를 암시함.
• 플래그 기저 다면체 $F^r$에서 시작하여 $P^{n+1} = \operatorname{fc}(P^n)$로 재귀적으로 정의되는 $\operatorname{fc}(P) = \operatorname{fc}^1(P)$의 면 컷 연산 $\operatorname{fc}$ 도입.
• 재구성에 의한 코homology의 분할 성질을 이용해, 더 작은 다면체에서 더 큰 다면체로 비자명한 Massey 곱을 전파함.

실험 결과

연구 질문

• RQ1 모멘트-각도 다양체의 유도된 통합 $\hat{i}_{F,P}: \mathcal{Z}_F \to \mathcal{Z}_P$가 재구성을 가질 조건은 무엇인가?
• RQ2 단순 다면체 $P$의 조합론적 성질은 $\mathcal{Z}_P$의 코homology적 구조, 특히 Massey 곱과 어떻게 관련이 있는가?
• RQ3 비자명한 Massey 곱의 순서가 무한히 증가하는 플래그 다면체의 무한한 가족을 구성할 수 있는가?
• RQ4 강하게 연결된 Massey 곱을 가진 조합적으로 다른 순서의 플래그 다면체 시퀀스를 생성할 수 있는가? 특히, 이전 항목에서의 고차 곱이 이후 항목에 존재함을 보장할 수 있는가?
• RQ5 면 컷 연산 $\operatorname{fc}$는 이러한 시퀀스를 생성하고 코homology적 성질을 유지하는 데 어떤 역할을 하는가?

주요 결과

• 단순 다면체 $P$는 유도된 모멘트-각도 다양체 통합 $\hat{i}_{F,P}: \mathcal{Z}_F \to \mathcal{Z}_P$가 재구성을 가질 때, 그리고 그로 인해 코homology에서 분할 링 전성 사상이 유도될 때 플래그일 필요충분조건을 만족한다.
• 면 컷 연산 $\operatorname{fc}$는 플래그 다면체의 시퀀스 $\{P^n\}$을 생성하며, 여기서 $Q^n$은 $Q^{n+1}$의 면이 되며, $Q^n$은 [10]에서 소개된 다면체이다.
• 시퀀스 $\{Q^n\}$에 대해 모든 $n \geq 2$에 대해 $H^*(\mathcal{Z}_{Q^n})$에 비자명한 $n$-중 Massey 곱이 존재하며, 각 $\alpha_i$의 차수는 3이다.
• 비자명한 $k$-중 Massey 곱이 $H^*(\mathcal{Z}_{P^n})$에 존재하면, 모든 $l > n$에 대해 $H^*(\mathcal{Z}_{P^l})$에도 비자명한 $k$-중 Massey 곱이 존재함을 보이며, 이는 강하게 연결된 Massey 곱을 확립한다.
• 이진 수열을 사용하여 다른 성장 패턴을 정의함으로써, 조합적으로 다른 순서의 플래그 다면체의 무한한 가족 $\mathcal{S} = \{\mathcal{P}_\alpha \mid \alpha \in I\}$를 구성하며, 이는 강하게 연결된 Massey 곱을 가짐.
• 모든 $k \geq 1$ 및 $r \geq 2$에 대해, $N = N(k,r)$이 존재하여, $H^*(\mathcal{Z}_{P_k^n})$에 모든 $2 \leq l \leq r$ 및 $n \geq N$에 대해 비자명한 $l$-중 Massey 곱이 존재함을 보이며, 이는 비가소적 플래그 다면체의 무한한 가족 $\{\mathcal{P}_k\}$를 구성한다.