[論文レビュー] The mu vector, Morse inequalities and a generalized lower bound theorem for locally tame combinatorial manifolds

Bhaskar Bagchi|arXiv (Cornell University)|May 22, 2014

Topological and Geometric Data Analysis参考文献 4被引用数 4

ひとこと要約

本稿では、2-近傍性を要件としないように、単体的複体におけるmuベクトルの再定義を導入し、一般化されたモース不等式を任意の単体的複体に普遍的に適用可能にする。連結で局所的にきめ細やかな組合せ的多様体に対して一般化された下界定理（GLBT）を確立する。次に、次元 $ d $ および $ 1 \leq \ell \leq \frac{d-1}{2} $ に対して、$ g_{\ell+1}(M) \geq \binom{d+2}{\ell+1} \sum_{i=1}^{\ell} (-1)^{\ell-i} \beta_i(M;\mathbb{F}) $ が成り立ち、等号成立は $ M $ が $ \ell $-スタックドであることと同値である。この結果、ノビクとスワーツの3次元多様体に関する予想を裏付けるとともに、ホモロジー多様体へGLBTを拡張する。

ABSTRACT

In a recent work [2] with Datta, we introduced the mu vector (with respect to a given field) of simplicial complexes and used it to study tightness and lower bounds. In this paper, we modify the definition of mu vectors. With the new definition, most results of [2] become correct without the hypothesis of 2-neighbourliness. In particular, the combinatorial Morse inequalities of [2] are now true of all simplicial complexes. As an application, we prove the following generalized lower bound theorem (GLBT) for connected locally tame combinatorial manifolds. If $M$ is such a manifold of dimension $d$, then for $1 \leq \ell \leq \frac{d-1}{2}$ and any field $\mathbb{F}, ~ g_{\ell+1} (M) \geq \binom{d+2}{\ell+1} \sum\limits_{i=1}^\ell (-1)^{\ell-i} β_i (M;\mathbb{F})$. Equality holds here if and only if $M$ is $\ell$-stacked. We conjecture that, more generally, this theorem is true of all triangulated connected and closed homology manifolds. A conjecture on the sigma vectors of triangulated homology spheres is proposed, whose validity will imply this GLB Conjecture for homology manifolds. We also prove the GLBC for all connected and closed combinatorial 3-manifolds. Thus, any connected closed combinatorial manifold $M$ of dimension three satisfies $g_2 (M) \geq 10 β_1 (M;\mathbb{F})$, with equality iff $M$ is 1-stacked. This result settles a question of Novik and Swartz [6] in the affirmative.

研究の動機と目的

• 先行研究で要請されていた2-近傍性の仮定を除去するため、muベクトルの定義を再考すること。
• 新しいmuベクトルの定義を用いて、すべての単体的複体に対して有効な一般化されたモース不等式を確立すること。
• 連結で局所的にきめ細やかな組合せ的多様体に対して一般化された下界定理（GLBT）を確立すること。
• 3次元閉じた組合せ的多様体に対するGLBTを証明し、ノビクとスワーツの問いを解決すること。
• ホモロジー球のsigmaベクトルに関する予想を提示し、それがすべての三角形分割されたホモロジー多様体に対するGLBTを示唆するものであることを示すこと。

提案手法

• 2-近傍性の仮定を避ける新しい定義を用いてmuベクトルを再定式化すること。
• 新しいmuベクトルを用いて、すべての単体的複体に対して有効な組合せ的モース不等式を導出すること。
• 帰納法と頂点リンクの解析を用いて、局所的にきめ細やかな多様体に対する一般化された下界定理を証明すること。
• ビステラー移動と頂点リンクの構造を活用し、$ \ell $-スタックド性と$ g $-ベクトルの振る舞いを分析すること。
• ホモロジーの単射性とリンクの分解を用いて、GLBTにおける等号成立が多様体が$ \ell $-スタックドであることと同値であることを証明すること。
• 3次元多様体に応用するため、$ d=3, \ell=1 $ の場合を検証し、$ g_2(M) \geq 10\beta_1(M;\mathbb{F}) $ が成り立ち、等号成立は$ M $ が1-スタックドであることと同値であることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 2-近傍性を要件としない、連結で局所的にきめ細やかな組合せ的多様体に対して一般化された下界定理（GLBT）は成り立つか？
• RQ2 muベクトルを再定義することで、2-近傍性を満たさない単体的複体に対してもモース不等式が成り立つようにできるか？
• RQ3 3次元閉じた組合せ的多様体に対してGLBTは成り立つか？特に $ g_2(M) \geq 10\beta_1(M;\mathbb{F}) $ が成り立ち、等号成立はいつか？
• RQ4 GLBTにおける等号成立は、局所的にきめ細やかな多様体に対して$ \ell $-スタックド性を意味するか？また、この性質は局所的にきめ細やかでない場合にも拡張可能か？
• RQ5 三角形分割されたホモロジー球のsigmaベクトルに関する予想は、すべての三角形分割されたホモロジー多様体に対するGLBTを示唆するか？

主な発見

• 一般化された下界定理は、すべての連結で局所的にきめ細やかな組合せ的$ d $-多様体に対して成り立つ：$ g_{\ell+1}(M) \geq \binom{d+2}{\ell+1} \sum_{i=1}^{\ell} (-1)^{\ell-i} \beta_i(M;\mathbb{F}) $（$ 1 \leq \ell \leq \frac{d-1}{2} $）。
• GLBTにおける等号成立は、多様体$ M $ が$ \ell $-スタックドであることと同値である。
• 3次元閉じた組合せ的多様体に対しては、$ g_2(M) \geq 10\beta_1(M;\mathbb{F}) $ が成り立ち、等号成立は$ M $ が1-スタックドであることと同値であり、ノビクとスワーツの予想を裏付ける。
• 再定義されたmuベクトルにより、2-近傍性を満たさない単体的複体に対しても組合せ的モース不等式が成り立つ。
• 証明では、頂点リンクの性質を用いて、GLBTにおける等号成立が多様体が$ \ell $-スタックドであることと同値であることを、ホモロジー球の構成により示している。
• 本稿では、三角形分割されたホモロジー球のsigmaベクトルに関する予想を提示し、その真偽がすべての閉じたホモロジー多様体に対するGLBTを示唆する。