[论文解读] 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$-星形球面 $\Sigma_k(d)$ 的类，并将其与 $k$-堆叠同调球面 $\mathcal{S}_k(d)$ 进行比较，证明当 $d \geq 2k-1$ 时有 $\Sigma_k(d) \subseteq \mathcal{S}_k(d)$，且仅当 $k=1$ 时等式成立。本文建立了具有边界的 $k$-堆叠 $d$-流形与 $k$-堆叠 $d$-球面之间的自然双射，并证明在域 $\mathbb{F}$ 上，$k$-堆叠且 $(k+1)$-邻接的球面是 $\mathbb{F}$-紧的，当且仅当它们是 $k$-堆叠的。

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)$.

研究动机与目标

• 定义并研究 $k$-星形组合 $d$-球面的类 $\Sigma_k(d)$，并与 $k$-堆叠同调 $d$-球面的类 $\mathcal{S}_k(d)$ 进行比较。
• 研究 $k$-星形球面与 $k$-壳化球体之间的关系，特别是通过边界与链复形构造。
• 阐明 $k$-堆叠球面为 $\mathbb{F}$-紧的条件，特别是在 $(k+1)$-邻接三角剖分的背景下。
• 探索 $k$-堆叠球面 $M(k,d)$ 的自同构群，特别是当 $d = 2k$ 时，判断是否存在超出已知群的额外对称性。

提出的方法

• 将 $k$-星形 $d$-球面定义为通过索引小于 $k$ 的双胞胎移动从标准 $d$-球面获得的球面。
• 将 $k$-堆叠同调 $d$-球面定义为 $k$-堆叠 $(d+1)$-球体的边界，其中所有余维数为 $k-1$ 的面均位于边界上。
• 利用在 $k$-堆叠同调球体中，所有缺失面的维数 $\leq k$ 的事实，推导出 $k$-堆叠球体的结构约束。
• 构造类 $\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$-堆叠 $(d+1)$-球体的类）的自然双射 $M \mapsto \overline{M}$，其逆由边界映射给出。
• 利用已知构造 $M(k,d) = \partial \overline{M}(k,d)$，其中 $\overline{M}(k,d)$ 是一个 $k$-壳化 $(d+1)$-球体，证明当 $d \geq 2k$ 时有 $M(k,d) \in \mathcal{W}_k(d)$。

实验结果

研究问题

• RQ1 当 $k \geq 2$ 时，是否存在不是 $k$-星形的 $k$-堆叠球面？它们的结构差异是什么？
• RQ2 当 $d \leq 2k-2$ 时，是否存在不是 $k$-堆叠的 $k$-星形球面？这说明了这些类之间的层级关系如何？
• RQ3 当 $d \geq 2k+2$ 时，映射 $M \mapsto \overline{M}$ 从 $\mathcal{K}_k(d)$ 到 $\overline{\mathcal{K}}_k(d+1)$ 是否为自然双射？$\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$-星形 $d$-球面都是 $k$-堆叠的，即 $\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$-堆叠球体，因此 $\overline{M}(k,d)$ 由 $M(k,d)$ 唯一确定。
• $M(k,d)$ 的自同构群阶为 $4d+8$（当 $d \geq 2k+1$ 时），由 $D$、$E$ 和 $R$ 生成，且 $M(k,d)$ 的所有自同构都能延拓到 $\overline{M}(k,d)$。
• 当 $d = 2k$ 时，对合 $A$ 是 $M(k,2k)$ 的自同构，但不是 $\overline{M}(k,2k)$ 的自同构，且群 $G = \langle D, E, R, A \rangle$ 的阶为 $16(k+1)$，推测为 $M(k,2k)$ 的完整自同构群。
• $\mathbb{F}$-可定向的 $(k+1)$-邻接成员属于 $\mathcal{W}_k(2k+1)$ 当且仅当它是 $k$-堆叠的，即为 $\mathbb{F}$-紧的，这补充了早期关于紧性的结果。