[論文レビュー] Holomorphic curves and continuation maps in Liouville bundles

Yong‐Geun Oh, Hiro TANAKA|arXiv (Cornell University)|Mar 10, 2020

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

ひとこと要約

本稿は、リーマン多様体およびセクターのバンドルに対するアンラップドフロアー理論を構築し、単体上の整合性のあるアンラップドフーリエカテゴリの系を確立し、一回の穴あきディスクおよびストリップを介する2つの継続写像の構成がチェーン同倫的であることを証明する。この枠組みにより、包絡フーリエカテゴリ上のリー群のホモトピー的に整合的な作用の構成が可能となり、テレマン（2014）の予想がリーマンおよび単調な設定で証明される。

ABSTRACT

We construct an unwrapped Floer theory for bundles of Liouville sectors. In particular, we construct a compatible collection of unwrapped Fukaya categories of fibers of a Liouville bundle, and prove that the two natural constructions of continuation maps in this setting behave compatibly. These constructions are exploited in [OT19] to construct homotopically coherent actions of Lie groups on wrapped Fukaya categories, thereby proving a conjecture from Teleman's 2014 ICM address.

研究の動機と目的

• リーマン多様体およびセクターのバンドルに対する一貫性のあるアンラップドフロアー理論の構築。
• ホロモーフィック曲線を用いて、この幾何的設定における継続写像の定義と研究。
• 一回の穴あきディスクおよびストリップを介する2つの異なる継続写像の構成がチェーン同倫的であることを証明。
• 包絡フーリエカテゴリ上のリー群のホモトピー的に整合的な作用を構築する基盤を整備。
• リーマンバンドルにおけるホロモーフィック曲線を通じたシンメトリーの研究のための幾何的枠組みを提供。

提案手法

• リー群 G の分類空間 BG に滑らかにマッピングする単体上の、アンラップドフーリエカテゴリの族を構築。
• 境界条件がファイバー内にあり、穴あきがあるホロモーフィック曲線を用いて継続写像を定義。
• コンパクトネスおよび横断的技術、特に C⁰ およびエネルギー推定を用いて、擬代数的曲線のモジュライ空間を制御。
• ストリップに類似した端を持つディスクの族およびマークされた点を含む、オペラジックおよびグリューニング技術を適用。
• 内部パrameterにおけるバブルの発生を除外するための一階ジェットの横断的性質を用い、適切に定義されたモジュライ空間を保証。
• 最小のマークされた点を伴う安定写像トポロジーのスキームを用いて、継続写像のホモトピー同値性を証明。

実験結果

リサーチクエスチョン

• RQ1 リーマン多様体およびセクターのバンドルに対して、アンラップドフロアー理論を一貫して定義する方法は何か？
• RQ2 この設定において、自然に生じる2つの継続写像の構成（一回の穴あきディスクおよびストリップを介するもの）の関係は何か？
• RQ3 これらの継続写像の整合性は、チェーン同倫的恒等式によって確立できるか？
• RQ4 リーマン多様体上の群作用は、バンドル内のホロモーフィック曲線を用いて、フロアー理論的不変量としてどのように符号化できるか？
• RQ5 この枠組みにより、テレマンが予想したように、包絡フーリエカテゴリ上のリー群のホモトピー的に整合的な作用を実現できるか？

主な発見

• 一回の穴あきディスクおよびストリップを介する2つの継続写像の構成がチェーン同倫的であることが証明され、それらの整合性が確立された。
• 境界条件がファイバー内にあり、穴あきがあるホロモーフィック曲線のモジュライ空間は、下位次元のモジュライ空間からの寄与を含む、境界ストラタが制御されたコンパクト化を備える。
• 0次元のホロモーフィック曲線のモジュライ空間の数え上げによって定義される写像 $\mathcal{H}$ は、恒等式 $ h_{\mathcal{L}}^{\rho} - \mu^2(c^{\chi}_{\mathcal{L}}, \ast) = \mu^1 \mathcal{H} + \mathcal{H} \mu^1 $ を満たし、ホモトピー同値性が証明された。
• 単体上のアンラップドフーリエカテゴリは適切に定義されており、面の包含写像と整合的であり、BG 上の整合的系をなす。
• この構成により、包絡フーリエカテゴリ上のリー群のホモトピー的に整合的な作用の幾何的実現が可能となり、テレマン（2014）の予想が確認された。
• この枠組みは、厳密な G-不変データを必要とせず、BG 上のリーマンバンドル内のホロモーフィック曲線を介して、対称性を符号化する。