[論文レビュー] Embedded contact homology of prequantization bundles

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

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

ひとこと要約

本稿は、Farris（2011）の結果を拡張するために、閉リーマン面上のプリクォテンティエーション bundle の埋め込み接触ホモロジー（ECH）を、ECHチェーン複体上のZ-次数の精密化によって計算する。フィルター付き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と基底のホモロジーの外積代数との間の完全かつ厳密な同型の証明を提供し、次数構造を含むこと。
• モース・ボットの直接極限の議論における技術的ギャップを埋め、プリクォテンティエーションバンドルの文脈におけるJ-正則ビルディングの分類をすること。
• ねじれの上限と交差理論を用いて、高 genus 曲線からの寄与を制御することで、ECHの安定性を確立すること。
• 将来のSeifertファイバー空間およびプリクォテンティエーションバンドルにおけるU-写像とスペクトル不変量の計算の基盤を築くこと。

提案手法

• フィルター付きECHと直接極限を用い、Hutchings-Taubes（2013）によって確立された、フィルター付きSeiberg-Witten Floerコホモロジーとフィルター付きECHとの同型に依存する。
• ドメイン依存のほぼ複素構造Jを用いて、正則曲線の挙動を制御し、一般のS1-不変Jに対して正則性を証明する。
• Cristofaro-Gardiner-Hutchings-Zhangが得た擬正則曲線の高次漸近的性質に基づくねじれの上限を用いて、J-正則ビルディングを分類する。
• Hutchings-Nelson（2016）の交差理論的議論を用いて、高 genus 曲線および自明なシリンダーの多重被覆の寄与をECH微分から除外する。
• 相対的第1チャーン類、相対的交差積、Conley-Zehnder指数項を用いて、生成子のECH指数を計算する。
• 格子点の分析を通じて、ホモロジー類Γと傾き2/(-e)の直線にインデックスが添えられた部分格子にインデックスを割り当てることで、ECH指数が2Z≥0への全単射であることを示す。

実験結果

リサーチクエスチョン

• RQ1 リーマン面上のプリクォテンティエーションバンドルのECHチェーン複体におけるZ-次数は、以前に知られていたZ2-次数同型をどのように精密化するか？
• RQ2 この文脈におけるECH微分の正確な構造は何か？ どのJ-正則曲線がそれらに寄与するか？
• RQ3 モース・ボットの直接極限の議論は、この文脈で完全に正当化可能か？ また、Seiberg-Witten Floerコホモロジーとの同型はどのような役割を果たすか？
• RQ4 ねじれの上限と交差理論を用いて、J-正則ビルディングの分類をどのように達成できるか？
• RQ5 ECH指数は2Z≥0への全単射か？ また、それは基底のホモロジーにおける外積代数の次数とどのように一致するか？

主な発見

• 閉リーマン面上のプリクォテンティエーションバンドルのECHは、Z-次数付き群として、基底のホモロジーの外積代数と同型であり、次数は外積代数の次数と一致する。
• ECH指数がECH生成子から非負の偶数2Z≥0への全単射であることが示され、傾き2/(-e)の直線の上を1ステップ進むごとに指数が正確に2ずつ増加することが分かった。
• M + (-e)に対応する直線における最小のECH指数は、Mに対応する直線における最大の指数より正確に2大きいことが確認され、正しい次数フィルトレーションが保証された。
• J-正則ビルディングの分類により、高 genus 曲線および自明なシリンダーの多重被覆からの寄与が排除され、微分はモースフロー線の上を回るシリンダーのみを数えることになった。
• Hutchings-Taubesの同型を用いて、フィルター付きECHの直接極限構成が厳密に正当化され、全ECHの計算が直接極限として可能になった。
• Conley-Zehnder指数項により、同じ傾き2/(-e)の直線上の生成子は、m+の各ステップごとに指数が2ずつ増加し、同じ直線上の生成子同士で指数の重複が生じないことが保証された。