[论文解读] 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

研究动机与目标

• 確定圓周上球纏綁定 S¹×S^{d−1} 及其扭轉版本 S¹×̃S^{d−1}（d ≥ 3）的最小三角剖分所需頂點數。
• 解決這些流形是否具有唯一最小三角剖分，特別是當 d 為偶數時。
• 研究高頂點數三角剖分的組合豐富性，特別是非同構 (2d+4)-頂點三角剖分的數量。
• 建立非單連通封閉流形的 (2d+3)-頂點三角剖分存在性與唯一性的基礎結果。
• 確認 Lutz 近期關於這些 d-流形最小三角剖分大小的猜想。

提出的方法

• 構造一個具有 2d+3 個頂點的單純複形，其三角剖分對應一個非單連通封閉 (d−1)-流形，作為關鍵構建模塊。
• 運用拓撲與組合論證，證明此類複形僅在 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 呈指數級增長。
• (2d+3)-頂點三角剖分是 d ≡ 0 (mod 2) 時唯一可能的最小三角剖分候選，且在同構意義下唯一。
• 已確立存在一個 (2d+3)-頂點單純複形，其三角剖分對應一個非單連通封閉 (d−1)-流形，且當 d ≥ 3 時該複形唯一。
• 結果確認了 Lutz 對這些圓周上球纏綁定最小三角剖分大小的猜想。