[論文レビュー] Gluing pseudoholomorphic quilted disks

S. Ma’u|ArXiv.org|Sep 17, 2009

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

ひとこと要約

本稿は、ホロモルフィックキルトを用いて擬全純クイルトドリルのモジュライ空間を構成し、孤立的で正則なクイルトドリルに対してグリューリング定理を証明する。主な貢献は、スターシェフマルチプリヘドラにパrameter化された族を用いて、ラグラジアン対応関係に付随する $A_{u}$ 関手を定義するための解析的基盤を確立することにある。

ABSTRACT

We construct families of quilted surfaces parametrized by the multiplihedra, and define moduli spaces of pseudoholomorphic quilted disks using the theory of pseudoholomorphic quilts of Wehrheim and Woodward. We prove a gluing theorem for regular, isolated pseudoholomorphic quilted disks. This analytical result is a fundamental ingredient for the construction of A-infinity functors associated to Lagrangian correspondences.

研究の動機と目的

• ホロモルフィックキルトを用いて、フロアー homology の $A_\infty$-カテゴリカル枠組みをラグラジアン対応関係へ拡張すること。
• 点付きクイルトドリルの実モジュライ空間 $\mathcal{R}^{d,0}$ にパrameter化された擬全純クイルトドリルのモジュライ空間を定義すること。
• 孤立的で正則な擬全純クイルトドリルに対してグリューリング写像を構成し、$A_\infty$ 構造における高次の合成の定義を可能にすること。
• シンプレクティックトポロジーにおけるラグラジアン対応関係のチェーンレベルでの函手的性質のための解析的基盤を提供すること。
• マルチプリヘドラをモジュライ空間 $\mathcal{R}^{d,0}$ のコンパクト化として実現し、$A_\infty$-関手と結びつけること。

提案手法

• スターシェフマルチプリヘドラにパrameter化されたキルト表面の族を構成し、標準的な $A_\infty$ 理論で用いられるアソシアヘドラを一般化する。
• 境界条件がラグラジアン部分多様体に沿うクイルト領域上の摂動されたコーシー＝リーマン方程式の解として、擬全純クイルトドリルのモジュライ空間を定義する。
• ウエルハイムとウッズのホロモルフィックキルト枠組みを用いて、一般化されたラグラジアン対応関係のフロアー型チェーン複体を定義する。
• 正則性と孤立性を保証するため、横断性およびコンパクトネスの議論を適用する。
• エネルギー関数への凸性推定を用いて、エネルギーが十分に高い解に対して指数的減衰推定を確立する。
• 事前推定および平均値不等式を用いた解析的議論によりグリューリング定理を証明し、長めのストリップ上での小エネルギー解が指数的に減衰することを示す。

実験結果

リサーチクエスチョン

• RQ1 擬全純クイルトドリルのモジュライ空間は、どのようにして $A_\infty$-関手における高次合成をモデル化するように構成・パラメータ化できるか？
• RQ2 擬全純クイルトドリルは境界成分および交点付近でどのような解析的挙動を示すか？
• RQ3 ホロモルフィックキルトの文脈において、孤立的で正則な擬全純クイルトドリルに対してグリューリング定理を確立できるか？
• RQ4 モジュライ空間 $\mathcal{R}^{d,0}$ のコンパクト化は、マルチプリヘドラおよび $A_\infty$-構造とどのように関係するか？
• RQ5 長ストリップ上でのエネルギー有界な擬全純写像に対して、一様な減衰推定はどのようなものか？ そして、それらはグリューリングをどのように支援するか？

主な発見

• $(d+1)$-点付きクイルトドリルのモジュライ空間 $\mathcal{R}^{d,0}$ がマルチプリヘドラ $J_d$ にコンパクト化されることを示し、$A_\infty$-関手の幾何的モデルを提供する。
• 孤立的で正則な擬全純クイルトドリルに対してグリューリング定理を確立し、ラグラジアン対応関係から $A_\infty$ 関手を構成可能にする。
• 指数的減衰推定を証明した：擬全純ストリップ $v$ に対して、$s \in [-\rho+1, \rho-1]$ で $|\partial_s v|_{J_t}^2 \leq A\delta e^{-\kappa|s|}$ が成り立ち、定数 $A, \kappa > 0$ は幾何にのみ依存する。
• 小エネルギー $E(v) < \delta$ の長ストリップに対して、中心領域でのエネルギーは $E(T) \leq e^{-\kappa T} E(v)$ を満たし、一様減衰を確認する。
• エネルギー関数 $f(s) = \frac{1}{2}\int_0^1 |\partial_t u|_{J_t}^2 dt$ は、横断的交点付近で凸性推定 $\ddot{f}(s) \geq \kappa^2 f(s)$ を満たす。
• グリューリング写像は適切に定義され、連続的である。これは、指数的減衰および平均値不等式と凸性から導かれる事前推定に依存する。