[論文レビュー] Face numbers of manifolds with boundary

Satoshi Murai, Isabella Novik|arXiv (Cornell University)|Sep 17, 2015

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

ひとこと要約

本稿は、相対的単体的複体 $(\Delta, \partial\Delta)$ を分析することにより、境界を持つ単体的多様体の面数に対する鋭い下界を確立する。相対的複体における $\sigma$-および $\mu$-数を導入し、$d \geq 3$ に対して $g_2(\Delta, \partial\Delta) \geq \binom{d+2}{2}(\tilde{b}_1(\Delta, \partial\Delta) - \tilde{b}_0(\Delta, \partial\Delta))$ を証明することで、閉多様体に対する古典的下界定理を境界を持つ多様体へ一般化する。

ABSTRACT

We study face numbers of simplicial complexes that triangulate manifolds (or even normal pseudomanifolds) with boundary. Specifically, we establish a sharp lower bound on the number of interior edges of a simplicial normal pseudomanifold with boundary in terms of the number of interior vertices and relative Betti numbers. Moreover, for triangulations of manifolds with boundary all of whose vertex links have the weak Lefschetz property, we extend this result to sharp lower bounds on the number of higher-dimensional interior faces. Along the way we develop a version of Bagchi and Datta's $σ$- and $μ$-numbers for the case of relative simplicial complexes and prove stronger versions of the above statements with the Betti numbers replaced by the $μ$-numbers. Our results provide natural generalizations of known theorems and conjectures for closed manifolds and appear to be new even for the case of a ball.

研究の動機と目的

• 境界付きの三角形分割された多様体における面数の組合せ的制約の欠如、特に次元6以上の場合を扱う。
• 相対的不変量を導入することで、閉多様体に対する古典的下界定理を境界付き多様体へ拡張する。
• 面数の位相的下界を精緻化するため、相対的単体的複体における $\sigma$-および $\mu$-数の理論を構築する。
• 一般化された下界不等式において等号が成立する境界付き多様体のグローバルな特徴付けを提供する。
• 境界付き多様体における $h_2$-ベクトルおよび $g_2$-不変量に関して未解決の予想と反例を解消する。

提案手法

• 単体的複体 $\Delta$ に加えて、境界の位相を面数制約に組み込むために相対的単体的複体 $(\Delta, \partial\Delta)$ を分析する。
• スターリング＝ライスナー加群の技法を相対的複体へ一般化するため、$\sigma$-および $\mu$-数の相対的バージョンを導入する。
• 弱Lefschetz性質（WLP）をリンク複体に適用し、辺から高次元の内部面へ下界を拡張する。
• 相対的複体におけるDehn-Sommerville型関係を用い、可定向ホモロジー多様体に対して $h^{\prime\prime}_i(\Delta, \partial\Delta) = h^{\prime\prime}_{d-i}(\Delta)$ が成り立つことを示す。
• 不等式 $g_2(\Delta, \partial\Delta) \geq \binom{d+2}{2}(\tilde{b}_1(\Delta, \partial\Delta) - \tilde{b}_0(\Delta, \partial\Delta))$ を用いて、相対的下界定理のバージョンを確立する。$d \geq 3$ に対して成り立つ。
• 等号が成立するための必要十分条件は、すべての内部頂点リンクがスタックド球面であり、境界の頂点リンクが単体の境界複体と内部頂点を持たない $\mathbb{F}$-ホモロジー球の連結和であることであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 境界付きの単体的正規擬多様体における内部面の数の鋭い下界は何か？
• RQ2 相対的ホモロジーと面数を用いて、古典的下界定理を境界付き多様体へどのように一般化できるか？
• RQ3 境界付き多様体における一般化された $g_2$-不等式の等号が成立するための頂点リンクの条件は何か？
• RQ4 弱Lefschetz性質を用いて、$f$-ベクトルの下界を辺を超えて高次元の面へ拡張できるか？
• RQ5 等号が成立する相対的 $g_2$-下界を満たす境界付き多様体を特徴付けるグローバルな位相的条件は何か？

主な発見

• 本稿は鋭い下界を確立する：$d \geq 3$ に対して $g_2(\Delta, \partial\Delta) \geq \binom{d+2}{2}(\tilde{b}_1(\Delta, \partial\Delta) - \tilde{b}_0(\Delta, \partial\Delta))$ が成り立ち、古典的下界定理を境界付き多様体へ一般化する。
• この不等式における等号が成立するのは、すべての内部頂点リンクがスタックド球面であり、すべての境界頂点リンクが単体の境界複体と内部頂点を持たない $\mathbb{F}$-ホモロジー球の連結和である場合に限る。
• 境界付き多様体の頂点リンクが弱Lefschetz性質を満たす場合、$\mu$-数を用いて、内部面の高次元への下界を拡張する。
• 相対的 $h^{\prime\prime}$-ベクトルは、$0 < i < d$ に対して $h^{\prime\prime}_i(\Delta, \partial\Delta) = h^{\prime\prime}_{d-i}(\Delta)$ を満たし、連結な複体では $i=0$ および $i=d$ に対しても成り立つ。
• 補題1.4は[28]の予想された不等式を強化し、$d \geq 4$ に対して $h_2(\Delta) \geq f_0(\Delta, \partial\Delta) + \binom{d+2}{2}(\tilde{b}_1(\Delta, \partial\Delta) - \tilde{b}_0(\Delta, \partial\Delta))$ を示す。
• スタックド多様体から頂点を削除することで、[28, 予想5.7]の反例を構成し、$h_2$-下界における等号がすべての頂点リンクがスタックド球面またはその頂点除去版であることを示さないことを示した。