[论文解读] On lattice cohomology and left-orderability

Mauro Mauricio|arXiv (Cornell University)|Aug 8, 2013

Geometric and Algebraic Topology参考文献 11被引用 3

一句话总结

本文通過格上同調分析負定圖流形，研究 Boyer-Gordon-Watson 猜想，該猜想將 Heegaard Floer L-空間與基本群的非左序性聯繫起來。研究證明：不含極壞頂點的隔離圖流形為 L-空間，且其基本群非左序；而含有極壞頂點或 E₈ 子圖的圖流形則非 L-空間，且其基本群為左序，從而支持了該猜想在廣泛的三維流形族中的成立。

ABSTRACT

It has been recently conjectured by Boyer-Gordon-Watson that a closed, orientable, irreducible $3$-manifold $M$ is a Heegaard Floer $L$-space if and only if $π_1(M)$ is not left-orderable. In this article, we study this conjecture from the point of view of lattice cohomology, an invariant introduced by Némethi which is conjecturally isomorphic to the $HF^+$ version of Heegaard Floer homology. Using the invariant's combinatorial tractability as a stepping stone, we produce some interesting quite general families of negative-definite graph manifolds against which to test the Boyer-Gordon-Watson conjecture. Then, using horizontal foliation arguments and direct manipulation of the fundamental group, we prove that these families do indeed satisfy the conjecture.

研究动机与目标

• 為 Boyer-Gordon-Watson 猜想提供證據，即三維流形為 Heegaard Floer L-空間當且僅當其基本群非左序。
• 使用格上同調作為組合工具，分析負定鑲嵌圖中的 L-空間性質。
• 透過證明基本群的左序性或非左序性，建立圖流形族中該猜想成立的家族。
• 透過鑲嵌圖中基本群的結構，連結緊致 foliations 與左序性。
• 將已知關於塞弗特纖維空間與圖流形整同調球面的結果，擴展至更廣泛的負定圖類別。

提出的方法

• 使用格上同調（組合不變量），其猜想同構於 HF⁺，以判斷鑲嵌圖 Γ 是否為格上同調 L-空間。
• 應用 Laufer 的演算法測試簡化格上同調的消失性，對應於 L-空間條件。
• 引入「隔離圖」的概念——無極壞頂點、具備特定虧損與鄰接約束的負定樹。
• 基於頂點虧損與鄰接關係的群論論證，分析 π₁(Γ) 的左序性。
• 對樹的高度使用歸納法，應用關於群生成元的引理，證明左序性將導致矛盾，除非所有頂點滿足條件 A 或 A*。
• 應用若樹重新選根，根不能為最大元素的事實，若左序存在則導致矛盾。

实验结果

研究问题

• RQ1 對於不含極壞頂點的負定鑲嵌圖，Boyer-Gordon-Watson 猜想是否成立？
• RQ2 格上同調能否系統性地用於識別圖流形中的 L-空間？
• RQ3 鑲嵌圖的哪些條件可確保 π₁(Γ) 為非左序？
• RQ4 在格上同調與鑲嵌圖的背景下，緊致 foliations 與左序性之間有何關係？
• RQ5 在含有極壞頂點或 E₈ 子圖的鑲嵌圖中，何種條件會使其無法成為 L-空間？

主要发现

• 若鑲嵌圖 Γ 含有極壞頂點，則 π₁(Γ) 為左序，且 Γ 非 Heegaard Floer L-空間。
• 若鑲嵌圖 Γ 含有真負定 E₈ 子圖，則 π₁(Γ) 為左序，且 Γ 非 Heegaard Floer L-空間。
• 對於隔離圖（無極壞頂點，且具備特定虧損與鄰接約束），π₁(Γ) 為非左序，且 Γ 為 Heegaard Floer L-空間。
• 證明依賴於顯示左序將透過重新選根導致矛盾，暗示不存在一致的全序。
• 最小鑲嵌圖中葉子的基本群非平凡，這對頂點條件的歸納論證至關重要。
• 結果成立於負定性假設下；若無此條件，猜想起作用失效，如 Poincaré 整同調球面即為反例。