[論文レビュー] The lower bound theorem and minimal triangulations of sphere bundles over the circle

Bhaskar Bagchi, Basudeb Datta|arXiv (Cornell University)|Oct 27, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用数 4

ひとこと要約

本稿は、球体バンドル S¹×S^{d−1}（可定向）およびねじれた S¹×̃S^{d−1}（非可定向）の最小三角形分割を確立し、d ≡ 0 (mod 2) のとき、これらの多様体は2d+3個の頂点を持つ一意な最小三角形分割を持つことを証明する。一方、d ≡ 1 (mod 2) のとき、最小三角形分割は2d+4個の頂点を必要とし、Lutzの予想を確認する。結果は、組合せ的複雑性において明確な対比を示しており、両ケースにおいて非同型な(2d+4)頂点三角形分割が指数関数的に多く存在することが判明している。

ABSTRACT

For integers d 2 and = 0 or 1, let S 1,d 1 () denote the sphere product S 1 ◊S d 1 if = 0 and the twisted sphere product S 1 ◊ S d 1 if = 1. The main results of this paper are: (a) if d (mod 2) then S 1,d 1 () has a unique minimal triangulation using 2d + 3 vertices, and (b) if d 1 (mod 2) then S 1,d 1 () has minimal triangulations (not unique) using 2d + 4 vertices. In this context, a minimal triangulation of a manifold is a triangulation using the least possible number of vertices. The second result confirms a recent conjecture of Lutz. The first result provides the first known infinite family of closed manifolds (other than spheres) for which the minimal triangulation is unique. Actually, we show that while S 1,d 1 () has at most one (2d+3)-vertex triangulation (one if d (mod 2), zero otherwise), in sharp contrast, the number of non-isomorphic (2d + 4)-vertex triangulations of these d-manifolds grows exponentially with d for either choice of . The result in (a), as well as the minimality part in (b), is a consequence of the following result: (c) for d 3, there is a unique (2d+3)-vertex simplicial complex which triangulates a non-simply connected closed

研究の動機と目的

• d ≥ 3 に対して、球体バンドル S¹×S^{d−1} およびねじれた S¹×̃S^{d−1} を三角形分割するのに必要な頂点数の最小値を特定すること。
• 特に d が偶数の場合に、このような多様体が一意な最小三角形分割を持つかどうかを解明すること。
• 特に(2d+4)頂点三角形分割の非同型数を含め、より多くの頂点を持つ三角形分割の組合せ的豊かさを調査すること。
• 非単連結な閉多様体に対する(2d+3)頂点三角形分割の存在と一意性に関する基礎的結果を確立すること。
• Lutzが提起した、これらの d-多様体における最小三角形分割サイズに関する最近の予想を確認すること。

提案手法

• 非単連結な閉(d−1)-多様体を三角形分割する(2d+3)頂点の単体的複体を構成し、これを主要な構築要素とする。
• 位相的および組合せ的議論を用いて、このような複体が d ≡ 0 (mod 2) のときにのみ存在可能であり、同型を除いて一意であることを証明する。
• 単体的複体理論および円周上の球体バンドルの性質を用いて、三角形分割の構造を分析する。
• 三角形分割多様体に対する下界定理を適用し、最小頂点数を制約する。
• d ≡ 1 (mod 2) のとき、(2d+3)頂点三角形分割は存在しないが、(2d+4)頂点三角形分割は存在し、かつ一意ではないことを示す。
• d が増加するにつれて、ねじれの有無にかかわらず、非同型な(2d+4)頂点三角形分割の数が指数関数的に増加することを証明する。

実験結果

リサーチクエスチョン

• RQ1 球体バンドル S¹×S^{d−1} またはそのねじれた版 S¹×̃S^{d−1} を三角形分割するのに必要な頂点数の最小値は何か？
• RQ2 これらの多様体が一意な最小三角形分割を持つのは、どのような d の値のときか？
• RQ3 非同型な最小三角形分割の数は、d とともにどのように増加するか。特に(2d+4)頂点の場合に注目する。
• RQ4 (2d+3)頂点三角形分割の存在は、位相的および組合せ的に特徴付けられるか？
• RQ5 Lutzが提起した、これらの多様体における最小三角形分割サイズに関する予想は正しいか？

主な発見

• d ≡ 0 (mod 2) のとき、球体バンドル S¹×S^{d−1} または S¹×̃S^{d−1} は、正確に2d+3個の頂点を持つ一意な最小三角形分割を持つ。
• d ≡ 1 (mod 2) のとき、これらの多様体に対しては(2d+3)頂点三角形分割は存在しないが、2d+4個の頂点を持つ最小三角形分割は存在する。
• d ≡ 1 (mod 2) のとき、これらの d-多様体の非同型な(2d+4)頂点三角形分割の数は、d とともに指数関数的に増加する。
• d ≡ 0 (mod 2) のとき、(2d+3)頂点三角形分割は最小三角形分割の唯一の候補であり、同型を除いて一意である。
• 非単連結な閉(d−1)-多様体を三角形分割する(2d+3)頂点単体的複体の存在が確立され、d ≥ 3 に対してその複体は一意である。
• 結果は、Lutzが提起した、これらの円周上の球体バンドルにおける最小三角形分割サイズに関する予想を確認している。