[論文レビュー] Face enumeration - from spheres to manifolds

Ed Swartz|ArXiv.org|Sep 25, 2007

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

ひとこと要約

本稿は、細分化された h ベクトルとトーリック h ベクトルのアフィン包を分析することにより、ホモロジー多様体および半オイラー型複体の f ベクトルに対する新しい組合せ的制約を確立する。特定の多様体、例えば $S^1 \times S^3$、$
\mathbb{C}P^2$、K3 表面、および $S^2 \times S^2 \# S^2 \times S^2$ の f ベクトルを完全に特徴付け、次元 ≥3 の任意の閉ホモロジー多様体の十分大きな三角形分割が 2-近接三角形分割を許容することを証明する。

ABSTRACT

We prove a number of new restrictions on the enumerative properties of homology manifolds and semi-Eulerian complexes and posets. These include a determination of the affine span of the fine $h$-vector of balanced semi-Eulerian complexes and the toric $h$-vector of semi-Eulerian posets. The lower bounds on simplicial homology manifolds, when combined with higher dimensional analogues of Walkup's 3-dimensional constructions \cite{Wal}, allow us to give a complete characterization of the $f$-vectors of arbitrary simplicial triangulations of $S^1 imes S^3, \C P^2,$ $ K3$ surfaces, and $(S^2 imes S^2) # (S^2 imes S^2).$ We also establish a principle which leads to a conjecture for homology manifolds which is almost logically equivalent to the $g$-conjecture for homology spheres. Lastly, we show that with sufficiently many vertices, every triangulable homology manifold without boundary of dimension three or greater can be triangulated in a 2-neighborly fashion.

研究の動機と目的

• バランスの取れた半オイラー型複体の細分化された h ベクトルのアフィン包、および半オイラー型ポセットのトーリック h ベクトルを特定すること。
• フェイス環の技法を用いて、単体的ホモロジー多様体の f ベクトルに下界を確立すること。
• $S^1 \times S^3$、$\mathbb{C}P^2$、K3 表面、および $(S^2 \times S^2)\#(S^2 \times S^2)$ という特定の 4 次元多様体の f ベクトルを完全に特徴付けること。
• 境界のない次元 ≥3 の任意のトライアングル可能なホモロジー多様体が、十分に多くの頂点が存在する場合に 2-近接三角形分割を許容することを証明すること。
• ホモロジー多様体に関する予想を提示し、それがホモロジー球体の g 予想とほぼ論理的に同値となるようにすること。

提案手法

• フェイス環（スタニリー・ライスナー環）を用いて、単体的ホモロジー多様体における頂点数および辺数の下界を導出すること。
• ウォークアップの 3 次元構成の高次元版を応用し、所望の f ベクトルを持つ三角形分割を構成すること。
• 中央再三角形分割およびビステラー移動を用いて、位相的型を保ちながら f ベクトルの成分を制御する三角形分割を変更すること。
• 三角形分割における単純な木のスパンを用いて、リンクの構造を制御し、帰納的構成を可能にすること。
• 半オイラー型ポセットおよび複体の文脈において、トーリック h ベクトルと細分化された h ベクトルを分析し、それらのアフィン包を特定すること。
• g ベクトルの不変量 $g_1$ および $g_2$ を用いて f ベクトルの可能な空間をパrameter化し、十分に大きな $g_1$ および $g_2$ に対して三角形分割の存在を証明すること。

実験結果

リサーチクエスチョン

• RQ1 バランスの取れた半オイラー型複体の細分化された h ベクトルおよび半オイラー型ポセットのトーリック h ベクトルのアフィン包は何か？
• RQ2 $S^1 \times S^3$、$\mathbb{C}P^2$、K3 表面、および $(S^2 \times S^2)\#(S^2 \times S^2)$ の三角形分割から生じる f ベクトルはどのようなものか？
• RQ3 境界のない次元 ≥3 の任意のトライアングル可能なホモロジー多様体が、十分に多くの頂点が存在する場合に 2-近接三角形分割で三角形分割可能か？
• RQ4 ホモロジー多様体に関する、ホモロジー球体の g 予想とほぼ論理的に同値となる予想は存在するか？
• RQ5 非ゼロの第一ベッチ数をもつホモロジー多様体の最小 f ベクトルは何か？

主な発見

• バランスの取れた半オイラー型複体の細分化された h ベクトルおよび半オイラー型ポセットのトーリック h ベクトルのアフィン包は完全に特定された。
• $S^1 \times S^3$、$\mathbb{C}P^2$、K3 表面、および $(S^2 \times S^2)\#(S^2 \times S^2)$ のすべての単体的三角形分割の f ベクトルは完全に特徴付けられた。
• Kühnel の円に沿った球体バンドルの三角形分割は、境界のない第 1 ベッチ数が非ゼロのすべてのホモロジー多様体の中で f ベクトルを最小化する。
• 任意の次元が 3 以上の閉ホモロジー多様体に対して、ある閾値 $\gamma(M)$ が存在し、$f_1 - d f_0 \geq \gamma(M)$ を満たすすべてのペア $(f_0, f_1)$ が三角形分割によって実現可能である。
• 十分に大きな $n$ に対して、境界のない次元 ≥3 の任意のトライアングル可能なホモロジー多様体は、$n$ 個の頂点を持つ 2-近接三角形分割を許容する。
• 2-近接三角形分割の存在は、ウォークアップの 3 次元構成の高次元への一般化によって確立された。