[논문 리뷰] $B$-rigidity of ideal almost Pogorelov polytopes

Николай Юрьевич Ероховец|arXiv (Cornell University)|2020. 05. 15.

Commutative Algebra and Its Applications참고 문헌 25인용 수 4

한 줄 요약

이 논문은 허브리드 3차원 공간 $\mathbb{L}^3$ 내의 오른쪽 모서리가 있는 이상적 다면체의 모든 이상적 꼭짓점을 잘라내어 얻어진 이상적 거의 Pogorelov 다면체가 $B$-강성임을 증명한다. 즉, 그들의 모멘트-젤로우 복합체의 코homology 링이 그들의 조합적 유형을 유일하게 결정함을 의미한다. 이 결과는 세 가지 가닥의 다양체인 모멘트-젤로우 복합체, 표준 쿼드토릭 다양체, 그리고 이들 다면체 위의 작은 커버에 대해 코homological 강성을 확립한다. 이들 모두는 선형 모델에서의 풀백으로 구성된다.

ABSTRACT

Toric topology assigns to each $n$-dimensional combinatorial simple convex polytope $P$ with $m$ facets an $(m+n)$-dimensional moment-angle manifold $\mathcal{Z}_P$ with an action of a compact torus $T^m$ such that $\mathcal{Z}_P/T^m$ is a convex polytope of combinatorial type $P$. A simple $n$-polytope is called $B$-rigid, if any isomorphism of graded rings $H^*(\mathcal{Z}_P,\mathbb Z)= H^*(\mathcal{Z}_Q,\mathbb Z)$ for a simple $n$-polytope $Q$ implies that $P$ and $Q$ are combinatorially equivalent. An ideal almost Pogorelov polytope is a combinatorial $3$-polytope obtained by cutting off all the ideal vertices of an ideal right-angled polytope in the Lobachevsky (hyperbolic) space $\mathbb L^3$. These polytopes are exactly the polytopes obtained from any, not necessarily simple, convex $3$-polytopes by cutting off all the vertices followed by cutting off all the "old" edges. The boundary of the dual polytope is the barycentric subdivision of the boundary of the old polytope (and also of its dual polytope). We prove that any ideal almost Pogorelov polytope is $B$-rigid. This produces three cohomologically rigid families of manifolds over ideal almost Pogorelov manifolds: moment-angle manifolds, canonical $6$-dimensional quasitoric manifolds and canonical $3$-dimensional small covers, which are "pullbacks from the linear model".

연구 동기 및 목표

• 이상적 오른쪽 모서리 다면체가 허브리드 3차원 공간 $\mathbb{L}^3$ 내에서 유도되는 새로운 3차원 단순 다면체의 클래스에 대해 $B$-강성을 확립하는 것.
• 모멘트-젤로우 복합체 $Χ_P$ 의 정수 코homology 링이 다면체 $P$ 의 조합적 유형을 결정하는지 조사하는 것.
• 이상적 거의 Pogorelov 다면체가 $B$-강성임을 증명하여 알려진 $B$-강성 다면체의 가닥을 확장하는 것.
• 표준 쿼드토릭 다양체와 이들 다면체 위의 작은 커버가 기저 다면체로부터 코homological 강성을 상속받는지 보여주는 것.

제안 방법

• 이상적 거의 Pogorelov 다면체를 정의하여, 허브리드 3차원 공간 $\mathbb{L}^3$ 내의 이상적 오른쪽 모서리 다면체의 모든 이상적 꼭짓점과 모서리를 잘라내어 얻어진 조합적 3차원 다면체로, 특정한 면의 구조를 가짐을 나타낸다.
• 원래 다면체의 경계의 바리센터릭 분할을 사용하여 이상적 거의 Pogorelov 다면체의 딸림을 특성화한다.
• 모멘트-젤로우 복합체 $\mathcal{Z}_P$ 를 $T^m$-다양체로 구성하여 $\mathcal{Z}_P / T^m \cong P$ 를 만족시키며, 그 정수 코homology 링을 분석한다.
• 다면체 $P$ 의 면들을 3색으로 칠하여 $\mathbb{Z}_2^3$-작용을 정의하고, 이에 의해 이중 덮개 $\boldsymbol{R}(P)$ 가 구성되며, 이는 유한 체적을 가진 두 허브리드 다양체로 분해된다.
• 색칠에 의해 유도된 호모모르피즘 $\varphi: G(Q) \to \mathbb{Z}_2^2$ 의 핵을 사용하여, $\mathbb{L}^3 / \mathrm{Ker}\,\varphi$ 의 몫으로서 허브리드 다양체 $\widehat{\boldsymbol{R}_i}$ 를 구성한다. 이는 $\boldsymbol{R}(P)$ 의 일부와 위상적으로 동형이다.
• 코homology 링의 동형 $H^*(\mathcal{Z}_P, \mathbb{Z}) \cong H^*(\mathcal{Z}_Q, \mathbb{Z})$ 가 $P$ 와 $Q$ 의 조합적 동치를 이끌어내어 $B$-강성을 증명한다.

실험 결과

연구 질문

• RQ1 이상적 거의 Pogorelov 다면체는 $B$-강성인가? 즉, 그들의 모멘트-젤로우 복합체 코homology 링이 조합적 유형을 결정하는가?
• RQ2 모멘트-젤로우 복합체의 코homological 강성은 허브리드 3차원 공간 내 이상적 오른쪽 모서리 다면체에서 유도된 다면체로 확장될 수 있는가?
• RQ3 표준 쿼드토릭 다양체와 이상적 거의 Pogorelov 다면체 위의 작은 커버는 기저 다면체로부터 코homological 강성을 상속받는가?
• RQ4 $\mathbb{L}^3 / \mathrm{Ker}\,\varphi$ 의 몫 다양체의 허브리드 구조는 모멘트-젤로우 복합체의 위상적 구조와 호환되는가?
• RQ5 원래 다면체의 경계의 바리센터릭 분할은 이상적 거의 Pogorelov 다면체의 구조와 어떻게 관련되는가?

주요 결과

• 모든 이상적 거의 Pogorelov 다면체는 $B$-강성이다. 즉, $H^*(\mathcal{Z}_P, \mathbb{Z}) \cong H^*(\mathcal{Z}_Q, \mathbb{Z})$ 가 그라디드 링으로서 동형이면, $P$ 와 $Q$ 는 조합적으로 동치이다.
• 이상적 거의 Pogorelov 다면체 위의 모멘트-젤로우 복합체 $\mathcal{Z}_P$ 는 그 코homology 링이 다면체의 조합적 유형을 유일하게 결정함을 가진다.
• 이상적 거의 Pogorelov 다면체 위의 표준 6차원 쿼드토릭 다양체는 코homologically rigid하며, 기저 다면체로부터 $B$-강성을 상속받는다.
• 이들 다면체 위의 3차원 표준 소머크버는 역시 코homologically rigid하다. 이는 선형 모델에서의 풀백으로 유도되기 때문이다.
• $\boldsymbol{R}(P)$ 는 유한 체적을 가진 두 허브리드 다양체의 이중으로 구성되며, 각각 $\mathbb{L}^3 / \mathrm{Ker}\,\varphi$ 와 위상적으로 동형이므로, 이 시스템의 위상적 강성을 뒷받침한다.
• $\boldsymbol{R}(P)$ 에 대한 $\mathbb{Z}_2^3$-작용은 면의 3색칠에 의해 유도되며, 각 사각형 면을 평탄한 2-토러스로 표현하고, 전체 구조는 코homological 동치에 대해 유지된다.