[論文レビュー] On stellated spheres, shellable balls, lower bounds and a combinatorial criterion for tightness

Bhaskar Bagchi, Basudeb Datta|arXiv (Cornell University)|Feb 4, 2011

Advanced Combinatorial Mathematics参考文献 25被引用数 10

ひとこと要約

本稿では、k-スターリング球面を定義し、d ≥ 2k のとき、k-スターリングd次元球面とk-スタックド(d+1)次元球面との間に標準的な対応関係を確立する。この対応により、このような球面が一意に定義されたk-スタックド球面を境界として持つことが示される。主な貢献は、μ-ベクトルを用いた三角形分割された多様体におけるタイト性の組合せ的基準の確立であり、クラス𝒲_k(d)に属する2-近傍の球面はd ≥ 2k+2のときタイトであることが示され、下界定理における等号がまさにこのクラスで達成されることを示す。

ABSTRACT

We introduce the $k$-stellated spheres and compare and contrast them with $k$-stacked spheres. It is shown that for $d \geq 2k$, any $k$-stellated sphere of dimension $d$ bounds a unique and canonically defined $k$-stacked ball. In parallel, any $k$-stacked polytopal sphere of dimension $d\geq 2k$ bounds a unique and canonically defined $k$-stacked ball. We consider the class ${\cal W}_k(d)$ of combinatorial $d$-manifolds with $k$-stellated links. For $d\geq 2k+2$, any member of ${\cal W}_k(d)$ bounds a unique and canonically defined "$k$-stacked" $(d+1)$-manifold. We introduce the mu-vector of simplicial complexes, and show that the mu-vector of any 2-neighbourly simplicial complex dominates its vector of Betti numbers componentwise, and the two vectors are equal precisely when the complex is tight. When $d\geq 2k$, we are able to estimate/compute certain alternating sums of the mu-numbers of any 2-neighbourly member of ${\cal W}_k(d)$. This leads to a lower bound theorem for such triangulated manifolds. As an application, it is shown that any $(k+1)$-neighbourly member of ${\cal W}_k(d)$ is tight, subject only to an extra condition on the $k^{th}$ Betti number in case $d=2k+1$. This result more or less settles a recent conjecture of Effenberger, and it also provides a uniform and conceptual tightness proof for all the known tight triangulated manifolds, with only two exceptions. It is shown that any polytopal upper bound sphere of odd dimension $2k+1$ belongs to the class ${\cal W}_k(2k+1)$, thus generalizing a theorem due to Perles. This shows that the case $d=2k+1$ is indeed exceptional for the tightness theorem.

研究の動機と目的

• k-スターリングおよびk-スタックドの三角形分割された球面と球体を定義・研究し、それらの間の標準的対応関係を確立すること。
• k-スターリングのリンクを持つ組合せ的d次元多様体のクラス𝒲_k(d)を導入し、その性質を分析すること。
• 単体的複体におけるタイト性を、Betti数の成分ごとの優越性によって特徴づけるμ-ベクトルフレームワークを構築すること。
• 𝒲_k(d)に属する2-近傍のメンバーに対する下界定理を証明し、特定の条件下でのタイト性を確立すること。
• Effenbergerの予想を解決し、既知のタイトな三角形分割多様体を統一的に扱うタイト性基準を提供すること。

提案手法

• k-スターリング球面を、指数 < k の双一次移動を用いて標準d次元球面から得られるものとして定義する。
• k-スタックド球体を、すべての余次元k+1の面が境界上にある三角形分割球体として定義し、境界対応関係を通じてk-スターリング球面と関連付ける。
• 単体的複体のμ-ベクトルを導入し、それがBettiベクトルを成分ごとに支配することを証明する。等号が成り立つのは、複体がタイトである場合に限る。
• μ-数の交代和を用いて、d ≥ 2k+2 のとき、𝒲_k(d)に属する2-近傍のメンバーに対する下界を導出する。
• 基準を適用して、d = 2k+1 のとき、k-番目のBetti数にやや弱い条件を課すと、(k+1)-近傍のメンバーがタイトであることを示す。
• 次元2k+1のポリトープ的上界球面が𝒲_k(2k+1)に属することを確立し、Perlesの定理を一般化する。

実験結果

リサーチクエスチョン

• RQ1 d ≥ 2k のとき、任意のk-スターリングd次元球面は、一意に定義されたk-スタックド(d+1)次元球面を境界として持つか？
• RQ2 μ-ベクトルは、単体的複体におけるタイト性を検出する組合せ的基準として用いられるか？
• RQ3 𝒲_k(d)に属するすべての(k+1)-近傍のメンバーはタイトであるか、特にd = 2k+1のときか？
• RQ4 𝒲_k(d)のメンバーは、三角形分割多様体の下界定理における等号を達成するか？
• RQ5 k-スターリング球面に関する結果をk-スタックド球面へ拡張できるか？

主な発見

• d ≥ 2k のとき、任意のk-スターリングd次元球面は、一意的かつ標準的に定義されたk-スタックド(d+1)次元球面を境界として持つ。
• 任意の2-近傍の単体的複体のμ-ベクトルは、そのBettiベクトルを成分ごとに支配する。等号が成り立つのは、複体がタイトである場合に限る。
• 任意の(k+1)-近傍の𝒲_k(d)メンバーは、d ≥ 2k+2 のときタイトである。d = 2k+1 のときには、k-番目のBetti数にやや弱い条件を課す。
• クラス𝒲_k(d)は、三角形分割多様体の下界定理における等号ケースを提供し、WalkupおよびKühnelの結果を一般化する。
• 次元2k+1のポリトープ的上界球面は𝒲_k(2k+1)に属し、k=1のときPerlesの定理を一般化する。
• 既知のタイトな三角形分割多様体（2つを除く）はすべて、新しいタイト性基準によってカバーされ、それらのタイト性に対する一様な証明を提供する。