[논문 리뷰] On $k$-stellated and $k$-stacked spheres

Bhaskar Bagchi, Basudeb Datta|NOT FOUND REPOSITORY (Indian Institute of Science Bangalore)|2012. 08. 07.

Topological and Geometric Data Analysis인용 수 4

한 줄 요약

이 논문은 $k$-stellated sphere $\Sigma_k(d)$의 클래스를 도입하고 $k$-stacked homology sphere $\mathcal{S}_k(d)$와 비교하여, $d \geq 2k-1$일 때 $\Sigma_k(d) \subseteq \mathcal{S}_k(d)$임을 보이며, 등호는 $k=1$일 때에만 성립한다. $k$-stacked $d$-manifold과 boundary를 가진 $k$-stacked $d$-sphere 사이에 자연스러운 전단사 사상이 존재하며, 체 $\mathbb{F}$ 위에서 $k$-stacked이고 $(k+1)$-neighborly인 sphere는 $\mathbb{F}$-tight임과 동시에 $k$-stacked임을 동시에 만족한다.

ABSTRACT

We introduce the class $Σ_k(d)$ of $k$-stellated (combinatorial) spheres of dimension $d$ ($0 \leq k \leq d + 1$) and compare and contrast it with the class ${\cal S}_k(d)$ ($0 \leq k \leq d$) of $k$-stacked homology $d$-spheres. We have $Σ_1(d) = {\cal S}_1(d)$, and $Σ_k(d) \subseteq {\cal S}_k(d)$ for $d \geq 2k - 1$. However, for each $k \geq 2$ there are $k$-stacked spheres which are not $k$-stellated. The existence of $k$-stellated spheres which are not $k$-stacked remains an open question. We also consider the class ${\cal W}_k(d)$ (and ${\cal K}_k(d)$) of simplicial complexes all whose vertex-links belong to $Σ_k(d - 1)$ (respectively, ${\cal S}_k(d - 1)$). Thus, ${\cal W}_k(d) \subseteq {\cal K}_k(d)$ for $d \geq 2k$, while ${\cal W}_1(d) = {\cal K}_1(d)$. Let $\bar{\cal K}_k(d)$ denote the class of $d$-dimensional complexes all whose vertex-links are $k$-stacked balls. We show that for $d\geq 2k + 2$, there is a natural bijection $M \mapsto \bar{M}$ from ${\cal K}_k(d)$ onto $\bar{\cal K}_k(d + 1)$ which is the inverse to the boundary map $\partial \colon \bar{\cal K}_k(d + 1) o {\cal K}_k(d)$.

연구 동기 및 목표

• 클래스 $\Sigma_k(d)$의 $k$-stellated 조합적 $d$-sphere를 정의하고, $k$-stacked homology $d$-sphere의 클래스 $\mathcal{S}_k(d)$와 비교한다.
• 특히 경계 및 링크 구성에 의해 $k$-stellated sphere와 $k$-shelled ball 사이의 관계를 조사한다.
• $k$-stacked sphere가 $\mathbb{F}$-tight가 되는 조건을 명확히 하며, 특히 $(k+1)$-neighborly triangulation의 맥락에서 분석한다.
• $d = 2k$일 때 $k$-stacked sphere $M(k,d)$의 자동형군을 탐구하고, 알려진 군 외에 추가 대칭성이 존재하는지 확인한다.

제안 방법

• $k$-stellated $d$-sphere를 인덱스 $<k$인 bistellar move를 통해 표준 $d$-sphere에서 유도된 것으로 정의한다.
• $k$-stacked homology $d$-sphere를 모든 codimension-$k-1$ face가 경계 위에 있는 $k$-stacked $(d+1)$-ball의 경계로 정의한다.
• $k$-stacked homology ball에서 모든 missing face의 차원이 $\leq k$임을 이용하여 $k$-stacked sphere의 구조적 제약 조건을 도출한다.
• $\mathcal{W}_k(d)$를 정점 링크가 $\Sigma_k(d-1)$에 속하는 단순 복합체의 집합으로, $\mathcal{K}_k(d)$를 정점 링크가 $\mathcal{S}_k(d-1)$에 속하는 단순 복합체의 집합으로 정의하고, $d \geq 2k$일 때 $\mathcal{W}_k(d) \subseteq \mathcal{K}_k(d)$임을 증명한다.
• $\mathcal{K}_k(d)$에서 $\overline{\mathcal{K}}_k(d+1)$로 가는 자연스러운 전단사 사상 $M \mapsto \overline{M}$을 확립하며, 그 역은 경계 사상으로 주어진다.
• $\overline{M}(k,d)$가 $k$-shelled $(d+1)$-ball임을 고려하여 $M(k,d) = \partial \overline{M}(k,d)$의 알려진 구성법을 사용하여, $d \geq 2k$일 때 $M(k,d) \in \mathcal{W}_k(d)$임을 보인다.

실험 결과

연구 질문

• RQ1 모든 $k \geq 2$에 대해 $k$-stacked이지만 $k$-stellated이 아닌 sphere가 존재하는가? 그리고 그들의 구조적 차이는 무엇인가?
• RQ2 $d \leq 2k-2$일 때, $k$-stellated이지만 $k$-stacked이 아닌 sphere가 존재하는가? 이는 이러한 클래스들의 계층 구조에 어떤 함의를 갖는가?
• RQ3 $d \geq 2k+2$일 때, $\mathcal{K}_k(d)$에서 $\overline{\mathcal{K}}_k(d+1)$로 가는 사상 $M \mapsto \overline{M}$이 자연스러운 전단사 사상인지, 그리고 $\overline{M}$이 $M$로부터 유일하게 재구성 가능한가?
• RQ4 $d \geq 2k+1$일 때, $M(k,d)$의 모든 자동형사상이 $\overline{M}(k,d)$로 확장 가능한가? 그리고 $M(k,d)$의 전체 자동형군은 무엇인가?
• RQ5 $d = 2k$일 때, 순서가 $16(k+1)$인 군 $G = \langle D, E, R, A \rangle$가 $M(k,2k)$의 전체 자동형군인지? 그리고 $A$가 $\overline{M}(k,2k)$로 확장 가능한가?

주요 결과

• $d \geq 2k-1$일 때, 모든 $k$-stellated $d$-sphere는 $k$-stacked이다. 즉, $\Sigma_k(d) \subseteq \mathcal{S}_k(d)$이지만, $k \geq 2$일 땐 역방향 포함관계는 성립하지 않는다.
• $d \geq 2k+2$일 때, $\mathcal{K}_k(d)$에서 $\overline{\mathcal{K}}_k(d+1)$로 가는 자연스러운 전단사 사상 $M \mapsto \overline{M}$이 존재하며, 그 역은 경계 사상으로 주어진다.
• $d \geq 2k+1$일 때, $\overline{M}(k,d)$의 정점 링크는 $M(k,d)$의 해당 정점 링크를 경계로 하는 유일한 $k$-stacked ball이므로, $\overline{M}(k,d)$는 $M(k,d)$에 의해 유일하게 결정된다.
• $d \geq 2k+1$일 때, $M(k,d)$의 자동형군의 순서는 $4d+8$이며, $D$, $E$, $R$에 의해 생성된다. 또한 $M(k,d)$의 모든 자동형사상은 $\overline{M}(k,d)$로 확장 가능하다.
• $d = 2k$일 때, $M(k,2k)$의 대칭 $A$는 자동형사상이지만 $\overline{M}(k,2k)$의 자동형사상은 아니다. 순서가 $16(k+1)$인 군 $G = \langle D, E, R, A \rangle$는 $M(k,2k)$의 전체 자동형군으로 추측된다.
• $\mathbb{F}$-orientable이고 $(k+1)$-neighborly인 $\mathcal{W}_k(2k+1)$의 원소는 $\mathbb{F}$-tight임과 동시에 $k$-stacked임을 동시에 만족한다. 이는 이전의 tightness 결과를 보완한다.