[论文解读] Embedded contact homology of prequantization bundles

J. M. Nelson, Morgan Weiler|arXiv (Cornell University)|Jul 27, 2020

Geometric and Algebraic Topology参考文献 33被引用 4

一句话总结

本文通過對預李群叢在閉黎曼曲面上的嵌入接触同調（ECH）進行Z-分次的細化，推廣了Farris在2011年的結果。利用濾波ECH、直極限以及透過自盡數界限與交點理論對J-偽全純曲線構型的詳細分類，建立了此類叢的ECH與基空間同調的外代數之間的Z-分次同構。

ABSTRACT

The 2011 PhD thesis of Farris demonstrated that the ECH of a prequantization bundle over a Riemann surface is isomorphic as a Z/2Z-graded group to the exterior algebra of the homology of its base. We extend this result by computing the Z-grading on the chain complex, permitting a finer understanding of this isomorphism and a stability result for ECH. We fill in a number of technical details, including the Morse-Bott direct limit argument and the classification of certain J-holomorphic buildings. The former requires the isomorphism between filtered Seiberg-Witten Floer cohomology and filtered ECH as established by Hutchings-Taubes. The latter requires the work on higher asymptotics of pseudoholomorphic curves by Cristofaro-Gardiner--Hutchings--Zhang to obtain the writhe bounds necessary to appeal to an intersection theory argument of Hutchings-Nelson.

研究动机与目标

• 對黎曼曲面上預李群叢的嵌入接觸同調（ECH）鏈複形上的Z-分次進行細化，超越先前的Z2-分次結果。
• 提供ECH與基空間同調外代數之間同構的完整且嚴謹證明，包含分次結構。
• 彌補Morse-Bott直極限定理中的技術缺口，並在預李群叢背景下對J-偽全純曲線構型進行分類。
• 透過自盡數界限與交點理論，控制高虧格曲線的貢獻，建立ECH的穩定性結果。
• 為未來在塞弗特纖維空間與預李群叢中計算U-映射與譜不變量奠定基礎。

提出的方法

• 使用濾波ECH與直極限，依賴Hutchings-Taubes（2013）建立的濾波Seiberg-Witten Floer上同調與濾波ECH之間的同構。
• 應用與區域相關的幾乎複結構J，以控制偽全純曲線的行為，並證明對一般S1-不變J的正則性。
• 使用Cristofaro-Gardiner-Hutchings-Zhang所推導的偽全純曲線高階漸近行為所得的自盡數界限，對J-偽全純曲線構型進行分類。
• 運用Hutchings-Nelson（2016）的交點理論論證，排除高虧格曲線與平凡圓柱的多重覆蓋對ECH微分的貢獻。
• 透過相對第一陳類、相對交點配對與Conley-Zehnder指數項，計算生成元的ECH指數。
• 證明ECH指數透過分析以同調類Γ與斜率為2/(-e)的直線為索引的子格點，定義了到2Z≥0的雙射。

实验结果

研究问题

• RQ1 預李群叢在黎曼曲面上的ECH鏈複形上的Z-分次，如何細化先前已知的Z2-分次同構？
• RQ2 在此設定下，ECH微分的精確結構為何？哪些J-偽全純曲線對其有貢獻？
• RQ3 Morse-Bott直極限定理在此背景下能否完全成立？與Seiberg-Witten Floer上同調的同構起到何種作用？
• RQ4 如何利用自盡數界限與交點理論實現J-偽全純曲線構型的分類？
• RQ5 ECH指數是否為到2Z≥0的雙射？其與基空間外代數分次的對應關係為何？

主要发现

• 閉黎曼曲面上預李群叢的ECH作為Z-分次群，同構於基空間同調的外代數，且分次與外代數中的次數完全對應。
• 證明ECH指數為從ECH生成元到非負偶數2Z≥0的雙射，當沿斜率為2/(-e)的直線從一線移動到下一線時，指數恰好增加2。
• 對應於M + (-e)的直線上的最小ECH指數，恰好比對應於M的直線上最大指數大2，確認了正確的分次過濾結構。
• J-偽全純曲線構型的分類排除了高虧格曲線與平凡圓柱的多重覆蓋貢獻，確保微分僅計數過Morse流線的圓柱。
• 利用Hutchings-Taubes同構，嚴謹地證明了濾波ECH的直極限定義，使完整ECH的計算成為可能。
• Conley-Zehnder指數項確保同一斜率為2/(-e)的直線上的生成元具有互異的指數，且每步m+增加時指數恰好增加2，從而防止指數重疊。