[論文レビュー] Thirty-five years and counting

Ed Swartz|arXiv (Cornell University)|Nov 4, 2014

Advanced Combinatorial Mathematics参考文献 60被引用数 24

ひとこと要約

この論文は、単体的多面体の境界に対して最初に証明された$g$-定理を、より広いクラスの三角形分割された球面、同調多様体、および擬多様体へと拡張するまでの30年間の進展をレビューする。PL-球面における双側移動、$i$-スタックド多様体、および$g_2$が小さい同調球面を用いた$g$-予想の新しい結果を提示するとともに、未解決問題や過度に一般化された主張に対する反例を強調している。

ABSTRACT

It has been 35 years since Stanley proved that f-vectors of boundaries of simplicial polytopes satisfy McMullen's conjectured g-conditions. Since then one of the outstanding questions in the realm of face enumeration is whether or not Stanley's proof could be extended to larger classes of spheres. Here we hope to give an overview of various attempts to accomplish this and why we feel this is so important. In particular, we will see a strong connection to f-vectors of manifolds and pseudomanifolds. Along the way we have included several previously unpublished results involving how the g-conjecture relates to bistellar moves and small g_2, the topology and combinatorics of stacked manifolds introduced independently by Bagchi and Datta, and Murai and Nevo, and counterexamples to over optimistic generalizations of the g-theorem.

研究の動機と目的

• 過去35年間の、単体的多面体を超えてスタニレーの$g$-定理をより一般の三角形分割された球面や多様体へと拡張する試みを調査・統合すること。
• 特に$h''$-ベクトルと$\hat{g}$-ベクトルの役割に注目して、$i$-スタックド同調多様体および擬多様体に対する$g$-予想の妥当性を調査すること。
• $g$-予想とベッチ数などの位相的不変量との関係を、境界付き多様体の文脈で明確にすること。
• 頂点数や辺数が少ない同調球面の$f$-ベクトルにかかる組合せ的・位相的制約を検討し、$\gamma(\Delta) = h_2 - \text{\# 内部頂点}$が$g_2$-アナログとしての可能性を評価すること。
• 過度に楽観的な$g$-定理の一般化に対する反例を特定・提示することで、予想の範囲を精錬すること。

提案手法

• $f$-ベクトル制約を再表現するために$h$-ベクトルおよび$g$-ベクトル形式を用い、恒等式$h_{\Delta}(x+1) = f_{\Delta}(x)$と変換$ h_i = \sum_{j=0}^i (-1)^{i-j} \binom{d-j}{d-i} f_{j-1} $を活用する。
• 半オイラー的複体に適用されるクレーの公式：$ h_{d-i} - h_i = (-1)^i \binom{d}{i} (\chi(\Delta) - \chi(S^{d-1})) $を用いて、同調多様体における$f$-ベクトルの振る舞いを分析する。
• $h''$-ベクトルと$\hat{g}$-ベクトルを用いて$i$-スタックドトライアングレーションを分析し、$\Delta$が$i$-スタックドであることの特徴付けとして$h''_{i+1} = 0$を用いる。
• 双側移動を用いてPL-球面における$g$-予想を研究し、このような移動が$g$-ベクトルおよび$f$-ベクトル構造に与える影響を調査する。
• $i$-スタックド多様体における頂点$v$のリンク$\text{lk}\,v$に対する$\mathbb{F}[\text{lk}\,v]$への弱Lefschetz性質を適用し、代数的性質と組合せ的制約を結びつける。
• $\gamma(\Delta) = h_2 - \text{\# 内部頂点}$を境界付き多様体における$g_2$の候補として評価し、$d \geq 5$のときカライの不等式$\gamma(\Delta) \geq \binom{d}{2} \beta_1(\partial\Delta) + d \beta_0(\partial\Delta)$を用いる。

実験結果

リサーチクエスチョン

• RQ1 $g$-定理は、単体的多面体を超えて、特に次元$d \geq 5$における三角形分割された球面へと拡張可能か？
• RQ2 $i$-スタックドトライアングレーションは、同調多様体の$f$-ベクトルを特徴付ける役割を果たすか？また、ハンドル分解やベッチ数とどのように関係するか？
• RQ3 双側移動は$g$-ベクトルにどのように影響するか？また、これらを用いてPL-球面における$g$-予想を証明または反証できるか？
• RQ4 $\gamma(\Delta) = h_2 - \text{\# 内部頂点}$は、境界付き同調多様体における$g_2$の妥当な一般化と見なせるか？その非負性を制約する不等式は何か？
• RQ5 $\hat{g}_{i+1} = 0$が境界なし同調多様体における$i$-スタックド性を示す条件は何か？また、弱Lefschetz性質とどのように関係するか？

主な発見

• 境界なし${\mathbb{F}}$-同調多様体が$i$-スタックドで、$i < d/2$であるとき、多様体が非可縮であっても、$(1, \hat{g}_1, \dots, \hat{g}_{\lfloor d/2 \rfloor})$はM-ベクトルである。
• $\Delta$が境界なし${\mathbb{F}}$-同調多様体で$i$-スタックドであり、$i < d/2$であるとき、$\hat{g}_{i+1} = 0$である。逆に、$\hat{g}_{i+1} = 0$で$i+1 < d/2$であるとき、すべての頂点$v$について$\mathbb{F}[\text{lk}\,v]$が弱Lefschetz元を持つならば、$\Delta$は$i$-スタックドである。
• 境界なし$i$-スタックド${\mathbb{F}}$-同調多様体では、$j \geq i+1$に対して$\beta_j = 0$であり、$i+1 \leq j \leq d-i-2$に対しても$\beta_j = 0$である。これは強い位相的制約を示している。
• $d \geq 5$のとき、可縮境界付き同調多様体では$\gamma(\Delta) \geq \binom{d}{2} \beta_1(\partial\Delta) + d \beta_0(\partial\Delta)$が成り立ち、$\gamma(\Delta)$が$g_2$-アナログとしての有効性を支持する。
• 境界付き同調多様体における内部$j$-面の数は、すべての$j$-面$\sigma$について$h_{d-|\sigma|}(\text{lk}\,\sigma)$の和に等しく、これは$h$-ベクトルから直接計算可能である。
• $d=4$のとき、$\gamma(\Delta) \geq 3\beta_1(\partial\Delta) + 4\beta_0(\partial\Delta)$が成り立ち、$\gamma(\Delta)$の次元に依存する下界を示している。