[論文レビュー] An existence theorem, with energy bounds, of Floer's perturbed Cauchy-Riemann equation with jumping discontinuity

Yong‐Geun Oh|ArXiv.org|Jul 24, 2002

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

ひとこと要約

本稿では、ハミルトニアン摂動におけるジャンピング不連続性を伴うフローアの摂動されたコーシー＝リーマン方程式の解に対して、エネルギー評価つきの存在定理を、断熱的退化とスペクトル不変量を用いて確立する。主な結果として、ハミルトニアンファイブレーションにおける有限エネルギー擬全純セクションを用いたシンプレクティック擬ノルムの非退化性が証明され、一般のシンプレクティック多様体上での最適エネルギー・キャパシティ不等式およびスペクトル不変量が確認される。

ABSTRACT

This is a sequel to the paper [Oh5] (or ArXiv:math.SG/0206092). The main purpose of the paper is to give the proof of an existence theorem, with energy bounds, of certain pseudo-holomorphic sections of the mapping cylinder that is needed for the proof of nondegeneracy of the homological invariant pseudo-norm which the author has constructed on general symplectic manifolds [Oh4,5]. The existence theorem is also the crux of the author's recent proof of an optimal energy-capacity inequality given in [Oh5]. In this paper, we prove a more general existence result than needed in that we study Floer's perturbed Cauchy-Riemann equations with discontinous Hamiltonian perturbation terms and prove an existence theorem of certain piecewise smooth finite energy solutions of the equation. The proof relies on a careful study of the product structure in the chain level Floer homology theory and a singular degeneration (``adiabatic degeneration'') of Floer's perturbed Cauchy-Riemann equation. In the course of the proof, we also derive certain general energy identity of pseudo-holomorphic sections of the Hamiltonian fibration.

研究の動機と目的

• フローアの摂動されたコーシー＝リーマン方程式に対して、ハミルトニアン項におけるジャンピング不連続性を伴う解のエネルギー評価つき存在定理の証明。
• 一般のシンプレクティック多様体上でのスペクトル不変量を用いて構成されたシンプレクティックホモロジー的不変量の擬ノルムの非退化性の確立。
• シンプレクティックトポロジーにおける最適エネルギー・キャパシティ不等式の解析的基盤の提供。
• ハミルトニアンファイブレーションにおける擬全純セクションに対する一般エネルギー恒等式の導出。
• 変形されたマッピングシリンダー上で摂動されたコーシー＝リーマン方程式の断熱的退化を用いた $W^{1,2}$-正則解の構成。

提案手法

• フローア方程式の特異的退化（断熱極限）を用いて、不連続ハミルトニアン摂動を伴う摂動されたコーシー＝リーマン方程式を分析する。
• フローアホモロジーにおける積構造、特にパンツ積を応用し、異なるハミルトニアン同倫の間の解を関連付ける。
• 領域の厚い部分と薄い部分を別々に分析することで、$W^{1,2}$-正則セクションを構成し、エネルギーの制御を確保する。
• 二パラメータ族のハミルトニアン同倫を用いてハミルトニアンファイブレーション上に平坦接続を定義し、エネルギー恒等式の導出を可能にする。
• スペクトル不変量 $\rho(H;1)$ と $\rho(H^{-1};1)$ を用いてエネルギーを評価し、擬ノルムの非退化性を証明する。
• エネルギー恒等式 $\frac{1}{2}\int_{\Sigma}|(Dv)^{v}|^{2} = -\mathcal{A}_{{\epsilon}k}([q,\widehat{q}]) + \mathcal{A}_{H}([z,w]) + \mathcal{A}_{\widetilde{{\epsilon}k\#H}}([z',w'])$ を、$H_3 = H_1 \# H_2$ の場合に導出する。

実験結果

リサーチクエスチョン

• RQ1 不連続ハミルトニアン摂動を伴うフローアの摂動されたコーシー＝リーマン方程式に対して、有限エネルギー解が存在するか？
• RQ2 このような解は、ほぼ複素構造の族にわたって一様なエネルギー評価つきで構成可能か？
• RQ3 ハミルトニアンファイブレーションにおける擬全純セクションのエネルギーは、スペクトル不変量および最小面積計量とどのように関係するか？
• RQ4 断熱的退化は、ジャンピング不連続性を伴う解の存在およびエネルギー制御を証明するために果たす役割は何か？
• RQ5 このような解を用いて、シンプレクティック擬ノルム $\gamma(\phi)$ の非退化性を確立できるか？

主な発見

• ジャンピングハミルトニアン摂動を伴う摂動されたコーシー＝リーマン方程式に対する有限エネルギー $W^{1,2}$-正則解の存在が証明され、不連続データでさえも成立する。
• エネルギー恒等式 $\frac{1}{2}\int_{\Sigma}|(Dv)^{v}|^{2} = -\mathcal{A}_{{\epsilon}k}([q,\widehat{q}]) + \mathcal{A}_{H}([z,w]) + \mathcal{A}_{\widetilde{{\epsilon}k\#H}}([z',w'])$ が $H_3 = H_1 \# H_2$ の場合に成立し、エネルギー制御が可能になる。
• 構成により、$v(0,0) \in B(u)$ および $v(\pm\infty) \in \text{Fix}\,\phi$ の条件下で非定数解が得られ、非自明性が保証される。
• 不変量 $A(\phi, J_0) > 0$ は正かつ有限であり、任意の $\phi$ と $J_0$ に対して $0 < A(\phi, J_0) \leq \gamma(\phi) < \infty$ が成り立つ。
• スペクトル不変量 $\rho(H;1)$ は $\rho(H;1) \leq E^{-}(H)$ を満たし、$\rho(H^{-1};1) \leq E^{+}(H)$ も成り立つことから、エネルギー評価が確認される。
• このような解の存在を用いてシンプレクティック擬ノルム $\gamma(\phi)$ の非退化性が確立され、最適エネルギー・キャパシティ不等式の証明が完成する。