[论文解读] The trace embedding lemma and spinelessness

Kyle Hayden, Lisa Piccirillo|arXiv (Cornell University)|Dec 30, 2019

Geometric and Algebraic Topology参考文献 37被引用 5

一句话总结

本文將蹤跡嵌入引理的新應用拓展至檢測4-流形中的異常微分結構，證明存在無限多對同胚但不同微分結構的4-流形，其中一個流形具有光滑脊（smooth spine），另一個則不具備，甚至不包含分段線性脊（piecewise-linear spine）。此外，本文確立幾何單連通性與Stein填充性可能依賴於微分結構，並顯示4-流形中的拓撲局部平坦曲面未必能被分段線性曲面逼近。

ABSTRACT

We demonstrate new applications of the trace embedding lemma to the study of piecewise-linear surfaces and the detection of exotic phenomena in dimension four. We provide infinitely many pairs of homeomorphic 4-manifolds $W$ and $W'$ homotopy equivalent to $S^2$ which have smooth structures distinguished by several formal properties: $W'$ is diffeomorphic to a knot trace but $W$ is not, $W'$ contains $S^2$ as a smooth spine but $W$ does not even contain $S^2$ as a piecewise-linear spine, $W'$ is geometrically simply connected but $W$ is not, and $W'$ does not admit a Stein structure but $W$ does. In particular, the simple spineless 4-manifolds $W$ provide an alternative to Levine and Lidman's recent solution to Problem 4.25 in Kirby's list. We also show that all smooth 4-manifolds contain topological locally flat surfaces that cannot be approximated by piecewise-linear surfaces.

研究动机与目标

• 將蹤跡嵌入引理擴展為檢測小型緊緻4-流形中異常微分結構之工具。
• 透過構造同倫等價於S²的光滑4-流形但不具備分段線性脊，解決Kirby清單中的問題4.25。
• 證明幾何單連通性與Stein填充性並非拓撲不變量，而是依賴於微分結構。
• 顯示4-流形中所有拓撲局部平坦曲面未必能被分段線性曲面逼近。

提出的方法

• 利用蹤跡嵌入引理，將4-流形構造為扭結的n-蹤，確保在某些情況下S²可光滑嵌入為脊。
• 應用辛幾何中的鄰接不等式，以排除某些流形中分段線性脊的存在。
• 透過鉤環移動與Legendrian穩定化修改胞胞分解，維持同倫型，同時實現Stein區域結構。
• 利用鄰接不等式強制最小虧格，構造固定同調類中具有任意大虧格代表的Stein區域。
• 使用壓縮曲面與鄰域論證，顯示固定之分段線性脊無法代表具有任意高虧格的同調類。
• 透過在胞胞圖中於虛線圓周上附加0-幷縛的經線後進行胞胞消去，將所得4-流形光滑嵌入S⁴。

实验结果

研究问题

• RQ1 蹤跡嵌入引理能否用於構造同胚但不同微分結構的4-流形，且具有不同的微分性質？
• RQ2 是否存在同倫等價於S²的光滑4-流形，其不具備分段線性脊，即使其具有拓撲脊？
• RQ3 幾何單連通性與Stein填充性是否可能依賴於4-流形的微分結構？
• RQ4 4-流形中所有拓撲局部平坦曲面是否總能被分段線性曲面逼近？
• RQ5 是否存在透過扭結零手術所得到的Stein填充，其同調型為S²×D²？

主要发现

• 對每個整數n，存在無限多對同胚的4-流形W與W′，使得W′為扭結的n-蹤，但W不微分同胚於任何扭結蹤。
• 每個W同倫等價於S²，且包含S²為拓撲局部平坦脊，但不具備分段線性脊，從而提供Kirby問題4.25的新解法。
• W′具有幾何單連通性（可無1-胞胞分解），而W則否，顯示幾何單連通性依賴於微分結構。
• W′不具備Stein結構，但W具有，證明Stein填充性在4維拓撲中非拓撲不變量。
• 存在Lagrangian扭結K，使得K的零手術可進行Stein填充，且微分同胚於零蹤X₀(K)，此為首例同調型為S²×D²的實例。
• 無任何光滑4-流形能包含對應於需任意高虧格光滑代表的同調類之分段線性脊，從而證明拓撲曲面未必總能被PL曲面逼近。