[論文レビュー] A Finite Rank Bundle over $J$-Holomorphic map Moduli Spaces

An-Min Li, Sheng Li|arXiv (Cornell University)|Nov 12, 2017

Algebraic Geometry and Number Theory参考文献 8被引用数 4

ひとこと要約

本稿は、$J$-擬正則写像のモジュライ空間の近傍上で定義された有限ランクバンドル $\mathbf{F}$ を研究し、接着パラメータに関して、接着写像の微分が指数関数的に減衰することを確立する。重み付きソボレフノルムとバナッハ空間における陰関数定理を用いて、バンドルの接着写像が急速に減衰することを証明し、これはシンプレクティックトポロジーにおける一貫性のあるグロモフ・ウィッテン不変量の構成に不可欠である。

ABSTRACT

We study a finite rank bundle $\mathbf{F}$ over a neighborhood of $J$-Holomorphic map Moduli Spaces, prove the exponential decay of the derivative of the gluing maps for $\mathbf{F}$ with respect to the gluing parameter.

研究の動機と目的

• 有限ランクバンドル $\mathbf{F}$ の $J$-擬正則写像モジュライ空間上での局所解析的性質を分析すること。
• モジュライ空間の近傍上でバンドル $\widetilde{\mathbf{F}}$ の滑らかさを確立すること。
• ノードを持つリーマン面の退化の下での $\widetilde{\mathbf{F}}$ の接着理論を調査すること。
• 接着パラメータ $r$ に関して、接着写像の微分が指数関数的に減衰することを証明すること。
• 相対グロモフ・ウィッテン理論およびモジュライ空間のコンパクト化のための基盤を提供すること。

提案手法

• $\mathbf{A}$ をテイコミュラー空間のチャートとするとき、$\mathbf{F}$ の局所自明化を $\widetilde{\mathbf{F}}$ として $\mathbf{A} \times W^{k,2}(\Sigma, u^*TM)$ 上に与える。
• フレドホルム写像の零点集合の滑らかさを示すために、バナッハ空間における陰関数定理を適用する。
• 重み付きソボレフ空間上での線形化作用素 $D^{\widetilde{\mathbf{L}}}|_b$ に対する有界な右逆作用素 $Q_b$ を構成する。
• 端での減衰を制御するために、重み付き $L^{k,2,\alpha}$-ノルムと指数的重み関数を用いる。
• 曲率および接続係数の減衰境界を用いて、重み付き楕円型推移的推定を導出する。
• ノード付近のシリンダ座標とパrametrized族の計量 $\mathbf{g}^\diamond$ を用いて、接着写像の解析を行う。

実験結果

リサーチクエスチョン

• RQ1 下部のリーマン面の退化の下で、有限ランクバンドル $\mathbf{F}$ はどのように振る舞うか？
• RQ2 接着パラメータ $r \to 0$ のとき、$\widetilde{\mathbf{F}}|_u$ から $\widetilde{\mathbf{F}}|_{u_{(r)}}$ への接着写像の正則性はいかなるものか？
• RQ3 接着写像の微分が $r$ に関して指数関数的に減衰することを示せるか？
• RQ4 重み付きソボレフノルムは、線形化 $\overline{\partial}$-方程式の解の減衰をどのように制御するか？
• RQ5 ノードを持つリーマン面の幾何は、バンドルの漸近的挙動にどのように寄与するか？

主な発見

• $\widetilde{\mathbf{F}}|_u$ から $\widetilde{\mathbf{F}}|_{u_{(r)}}$ への接着写像の微分は、接着パラメータ $r$ に関して指数関数的に減衰する。
• 任意の $0 < \alpha < \mathfrak{c}/2$ に対して、首の領域における解 $h$ の $L^{k,2,\alpha}$-ノルムは、初期ノルムに $\mathsf{C}(e^{-(\mathfrak{c}-\alpha)(R'-R)} + e^{-(\mathfrak{c}-\alpha)R})$ を乗じた形で減衰する。
• 線形化作用素に対する右逆作用素 $Q_b$ は、接着パラメータに依存せず、$r$ に関して一様有界である。
• $D^{\widetilde{\mathbf{L}}}|_b(h) = \eta$ を満たす解 $h$ に対して、$\|h|_{s_1 \geq R'}\|_{k,2,\alpha} \leq \mathsf{C}'[(e^{-(\mathfrak{c}-\alpha)(R'-R)} + e^{-(\mathfrak{c}-\alpha)R})\|\eta\|_{k-1,2,\alpha} + \|\eta|_{s_1 \geq R}\|_{k-1,2,\alpha}]$ が成り立つ。
• 陰関数定理により、$(a_o, x_o)$ の近傍で $F^{-1}(0)$ は $C^\ell$-滑らかな多様体であり、パramータ $a$ に関して $C^\ell$-依存する。
• 右逆作用素および陰関数解の滑らかさに起因し、接着写像の族はパramータ $a$ に関して $C^\ell$-滑らかである。