[論文レビュー] On $k$-stellated and $k$-stacked spheres

Bhaskar Bagchi, Basudeb Datta|NOT FOUND REPOSITORY (Indian Institute of Science Bangalore)|Aug 7, 2012

Topological and Geometric Data Analysis被引用数 4

ひとこと要約

本稿では、$k$-stellated球面 $\Sigma_k(d)$ のクラスを導入し、$k$-stacked同相ホモロジー球面 $\mathcal{S}_k(d)$ と比較する。$d \geq 2k-1$ のとき $\Sigma_k(d) \subseteq \mathcal{S}_k(d)$ が成り立ち、等号は $k=1$ のみである。境界を持つ $k$-stacked $d$-多様体と $k$-stacked $d$-球面との間には自然な全単射が存在し、体 $\mathbb{F}$ 上の $(k+1)$-neighborly な $k$-stacked球面は、$\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$-球面を定義し、$k$-stacked 同相ホモロジー $d$-球面のクラス $\mathcal{S}_k(d)$ と比較すること。
• 特に境界やリンクの構成を通じて、$k$-stellated 球面と $k$-shelled 球体との関係を調査すること。
• $k$-stacked 球面が $\mathbb{F}$-tight であるための条件を明らかにすること、特に $(k+1)$-neighborly な三角形分割の文脈において。
• $k$-stacked 球面 $M(k,d)$ の自己同型群を調査すること、特に $d = 2k$ の場合に、既知の群を超える追加の対称性が存在するかどうかを特定すること。

提案手法

• $k$-stellated $d$-球面を、指数 $<k$ のビスタラー移動によって得られる標準 $d$-球面から得られるものとして定義する。
• $k$-stacked 同相ホモロジー $d$-球面を、すべての codimension-$k-1$ の面が境界上にある $k$-stacked $(d+1)$-球体の境界として定義する。
• $k$-stacked 同相ホモロジー球体ではすべての欠落した面の次元が $\leq k$ であるという事実を用いて、$k$-stacked 球面の構造的制約を導出する。
• $\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)$、すなわち $k$-stacked $(d+1)$-球体のクラスへの自然な全単射 $M \mapsto \overline{M}$ を確立し、その逆写像は境界写像によって与えられる。
• $\overline{M}(k,d)$ が $k$-shelled $(d+1)$-球体であると知られていることから、$M(k,d) = \partial \overline{M}(k,d)$ を用いて、$d \geq 2k$ のとき $M(k,d) \in \mathcal{W}_k(d)$ を示す。

実験結果

リサーチクエスチョン

• RQ1 $k \geq 2$ のとき、$k$-stellated でない $k$-stacked 球面は存在するか？ その構造的差異は何か？
• RQ2 $d \leq 2k-2$ のとき、$k$-stellated でない $k$-stacked 球面は存在するか？ これにより、これらのクラスの階層関係にどのような意味が生じるか？
• 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 $G = \langle D, E, R, A \rangle$ が位数 $16(k+1)$ であるとき、$M(k,2k)$ の完全な自己同型群であるか？ また、$A$ は $\overline{M}(k,2k)$ に拡張可能か？

主な発見

• $d \geq 2k-1$ のとき、すべての $k$-stellated $d$-球面は $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 球体であるため、$\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$ のとき、対合 $A$ は $M(k,2k)$ の自己同型であるが $\overline{M}(k,2k)$ の自己同型ではない。また、位数 $16(k+1)$ の群 $G = \langle D, E, R, A \rangle$ は $M(k,2k)$ の完全な自己同型群であると予想されている。
• $\mathbb{F}$-可定向な $(k+1)$-neighborly な $\mathcal{W}_k(2k+1)$ の要素は、$\mathbb{F}$-tight であるための必要十分条件が $k$-stacked であることである。これは以前の $\mathbb{F}$-tight に関する結果を補完する。