[論文レビュー] Loop coproduct in Morse and Floer homology
本稿では、閉多様体の自由ループ空間のホモロジーにおけるループコプロダクトを、直接的なモース理論的構成により定義し、そのコプロダクトが余接 bundle の正のシンプレクティックホモロジーにおける続行コプロダクトと同型であることを証明する。コンパクト化された穴あきアニュラスのモジュライ空間とフィルター付きチェイン同型写像を用いて、著者たちはバイトボ同型写像がループコプロダクトと続行コプロダクトを交換させることを示し、可換かつ余可換で単位的で、無限小反対称なバイアリューブラ構造の自然な定義域として、削減されたループホモロジーを導入する。
By a well-known theorem of Viterbo, the symplectic homology of the cotangent bundle of a closed manifold is isomorphic to the homology of its loop space. In this paper we extend the scope of this isomorphism in several directions. First, we give a direct definition of {\em Rabinowitz loop homology} in terms of Morse theory on the loop space and prove that its product agrees with the pair-of-pants product on Rabinowitz Floer homology. The proof uses compactified moduli spaces of punctured annuli. Second, we prove that, when restricted to {\em positive} Floer homology, resp.~loop space homology relative to the constant loops, the Viterbo isomorphism intertwines various constructions of secondary pair-of-pants coproducts with the loop homology coproduct. Third, we introduce {\em reduced loop homology}, which is a common domain of definition for a canonical reduction of the loop product and for extensions of the loop homology coproduct which together define the structure of a commutative cocommutative unital infinitesimal anti-symmetric bialgebra. Along the way, we show that the Abbondandolo-Schwarz quasi-isomorphism going from the Floer complex of quadratic Hamiltonians to the Morse complex of the energy functional can be turned into a filtered chain isomorphism by using linear Hamiltonians and the square root of the energy functional.
研究の動機と目的
- 自由ループ空間のホモロジーにおけるループコプロダクトの直接的なモース理論的定義を提供すること。
- このループコプロダクトが、バイトボ同型写像の下で、余接 bundle の正のシンプレクティックホモロジーにおける続行コプロダクトと一致することを証明すること。
- 単位的で可換かつ余可換で、無限小反対称なバイアリューブラ構造の自然な定義域として、削減されたループホモロジーを定義し、その性質を調査すること。
- 線形ハミルトニアンとエネルギー関数の平方根を用いることで、アボンダンドロ-シュバルツ準同型写像をフィルター付きチェイン同型写像へ拡張すること。
- オイラー特性を含むチェイン写像のコーンを用いて、ユニット余接 bundle のシンプレクティックホモロジーの位相的対応を確立すること。
提案手法
- エネルギー関数上のモース理論を用いて、局所系でねじれた係数をもつ自由ループ空間のホモロジーにおけるループコプロダクトを構成する。
- 穴あきアニュラスのコンパクト化されたモジュライ空間を用いて、コプロダクトに根ざすペア・オブ・パンツ型作用を定義・分析する。
- Rabinowitz ループホモロジーを、チェイン写像 ε: MC•(Λ) → MC•(M) → MC•(M) → MC•(Λ) のコーンのホモロジーとして定義する。ここで中間の写像はオイラー特性による乗算である。
- 線形ハミルトニアンとエネルギー関数の平方根を用いることで、二次ハミルトニアンのフローリング複体からエネルギー関数のモース複体へのアボンダンドロ-シュバルツ写像が、フィルター付きチェイン同型写像に拡張されることを証明する。
- [20] の A₂⁺-構造理論を用いて、フローリング複体とモース複体の間の A₂⁺-構造の準同型写像を構成する。
- 削減されたループホモロジーを coker(ε) として、コホモロジーを ker(ε) として定義し、係数体を用いるとき、ループ積がその上に降下し、コプロダクトがその上に拡張されることを示す。
実験結果
リサーチクエスチョン
- RQ1モースホモロジーにおけるループコプロダクトは、シンプレクティック位相に依存せずに直接定義可能か？
- RQ2バイトボ同型写像の下で、自由ループ空間上のループコプロダクトは、正のシンプレクティックホモロジーにおける続行コプロダクトと同型か？
- RQ3ユニット余接 bundle のシンプレクティックホモロジーの正しい位相的モデルは、ループ空間ホモロジーの観点からどのように記述できるか？
- RQ4アボンダンドロ-シュバルツ準同型写像は、どのようにしてフィルター付きチェイン同型写像に高められるか？
- RQ5削減されたループホモロジーに現れる代数的構造は何か？そして、その構造はループ積とコプロダクトをどのように統合するか？
主な発見
- 係数体を用いるとき、バイトボ同型写像の下で、H•(Λ, Λ₀; η) 上のループコプロダクトは、SH>0•(D*M; ν) 上の続行コプロダクトと同型である。
- オイラー特性を含むチェイン写像のコーンとして定義される Rabinowitz ループホモロジーは、ループ積を用いて自然な環構造をもつ。
- n ≠ 2 のとき、SH•(S*M) と Rabinowitz ループホモロジーの間には環同型が存在し、ε、ι、π を含む図式が可換になる。
- 線形ハミルトニアンとエネルギー関数の平方根を用いることで、アボンダンドロ-シュバルツ写像はフィルター付きチェイン同型写像に拡張される。
- 係数体を用いるとき、ループコプロダクトは削減されたループホモロジーに拡張され、ループ積はその上に降下する。これにより、単位的で可換かつ余可換で、無限小反対称なバイアリューブラ構造が得られる。
- 正のホモロジーに制限したとき、バイトボ同型写像は、SH>0•(D*M) 上の続行コプロダクトと、H•(Λ, Λ₀; η) 上のループコプロダクトを交換させる。
より良い研究を、今すぐ始めましょう
論文設計から論文執筆まで、研究時間を劇的に削減しましょう。
クレジットカード登録不要
このレビューはAIが作成し、人間の編集者が確認しました。