[論文レビュー] Holomorphic Floer Theory and the Fueter Equation

Aleksander Doan, Semon Rezchikov|arXiv (Cornell University)|Oct 21, 2022

Geometric and Algebraic Topology被引用数 4

ひとこと要約

本稿では、超ケーラー多様体 $M$ 内の複素ラグランジュ部分多様体のフクヤカテゴリの2重カテゴリフィケーションを、フューテル写像—コーシー・リーマン方程式の四元数的一般化の解—を用いて行う $ \mathrm{Fuet}_{M} $ という2カテゴリを提案する。$[0,1]\times\mathbb{R}^2$ 上のフューテル写像は、境界条件として複素ラグランジュ部分多様体を満たす。主な結果として、$M = T^*X$ のとき、フューテル写像と複素勾配軌道の間の対応関係を確立し、この構成をホロモルフィック関数 $F: X \to \mathbb{C}$ のフクヤカ・セイデルカテゴリと結びつける。これにより、フロアの定理がホロモルフィック設定へ一般化される。

ABSTRACT

We outline a proposal for a $2$-category $\mathrm{Fuet}_M$ associated to a hyperkähler manifold $M$, which categorifies the subcategory of the Fukaya category of $M$ generated by complex Lagrangians. Morphisms in this $2$-category are formally the Fukaya--Seidel categories of holomorphic symplectic action functionals. As such, $\mathrm{Fuet}_M$ is based on counting maps to $M$ satisfying the Fueter equation with boundary values on holomorphic Lagrangians. We make the first step towards constructing this category by establishing some basic analytic results about Fueter maps, such as the energy bound and maximum principle. When $M=T^*X$ is the cotangent bundle of a Kähler manifold $X$ and $(L_0, L_1)$ are the zero section and the graph of the differential of a holomorphic function $F: X o \mathbb{C}$, we prove that all Fueter maps correspond to the complex gradient trajectories of $F$ in $X$, which relates our proposal to the Fukaya--Seidel category of $F$. This is a complexification of Floer's theorem on pseudo-holomorphic strips in cotangent bundles. Throughout the paper, we suggest problems and research directions for analysts and geometers that may be interested in the subject.

研究の動機と目的

• 境界条件として複素ラグランジュ部分多様体を満たす3次元多様体上のフューテル写像を用いて、超ケーラー多様体におけるラグランジュフロアホモロジーのホロモルフィックカテゴリフィケーションを構築すること。
• フューテル写像の解析的基盤を確立し、エネルギーの上限と最大原理を含む。これにより、将来の提案された2カテゴリの構成が可能になる。
• 超ケーラー多様体 $M = T^*X$ のとき、フューテル写像と複素勾配軌道の間の対応関係を示し、この理論をシンプレクティックトポロジーにおける既知の結果と結びつけること。
• フューテル2カテゴリと3次元ミラー対称性との関連を含む、解析学、微分幾何学、数理物理学分野における新たな研究方向性を提示すること。

提案手法

• ホロモルフィックシンプレクティック作用関数のフクヤカ・セイデルカテゴリを用いて定義される、2カテゴリ $\mathrm{Fuet}_M$ の形式的構成。
• 境界値が複素ラグランジュ部分多様体にある、$[0,1]\times\mathbb{R}^2$ 上のフューテル写像—方程式 $I(U)\partial_\tau U + J(U)\partial_s U + K(U)\partial_t U = 0$ の解—の使用。
• フロアの定理の複素化版の採用。$M = T^*X$ のとき、フューテル写像がホロモルフィック関数 $F: X \to \mathbb{C}$ の複素勾配軌道に一致することを示す。
• 無限遠での挙動を制御し、解析的設定におけるコンパクトネスを保証するための「たんめいトリプレット」の導入。
• ホロモルフィック関数 $F$ のスケーリングに伴う解の関係を保つために、$\mathbb{C}^*$-対称性の使用。勾配フロー方程式の構造を保存する。
• 作用関数 $\mathscr{A}$ を $I$-ホロモルフィック関数 $F$ で摂動することにより、$f = \mathrm{Re}(F)$ を用いた摂動されたフューテル方程式 $\nabla f$ を得る。

実験結果

リサーチクエスチョン

• RQ1 超ケーラー多様体内の複素ラグランジュ部分多様体によって生成されるフクヤカカテゴリの部分カテゴリをカテゴリフィケーションする2カテゴリをどのように構築できるか？
• RQ2 ケーラー多様体の余接束上で、フューテル写像と複素勾配軌道の間の正確な対応関係は何か？
• RQ3 エネルギーの上限や最大原理といった、フューテル写像に成り立つ解析的性質は何か？そして、これらはコンパクトネスと正則性をどのように支援するか？
• RQ4 フューテル2カテゴリは、既知の3次元ミラー対称性や一般化されたセイバーグ＝ウィッテン理論の構造とどのように関連しているか？
• RQ5 複素勾配フロー方程式の $\mathbb{C}^*$-対称性が、解のモジュライ空間に与える影響は何か？

主な発見

• 境界条件が複素ラグランジュ部分多様体にある、超ケーラー多様体 $M$ への写像 $[0,1]\times\mathbb{R}^2$ 上のフューテル写像は、エネルギーの上限と最大原理を満たすことが示され、解析的制御の基礎が確立される。
• $M = T^*X$（$X$ をケーラー多様体とする）のとき、フューテル写像は正確にホロモルフィック関数 $F: X \to \mathbb{C}$ の複素勾配軌道に対応し、フロアの定理がホロモルフィック設定へ一般化される。
• 写像 $U: [0,1]\times\mathbb{R}^2 \to M$ に対するフューテル方程式は、反複素勾配フロー方程式 $\partial_s U - I(U)(\partial_t U + \nabla \mathcal{A}_J(U)) = 0$ と同値であり、ホロモルフィックフロア理論と結びつく。
• 作用関数を $\mathrm{Re}(F)$ で摂動することで得られる摂動されたフューテル方程式 $\partial_s U - I(U)(\partial_t U - J(U)\partial_\tau U + \nabla f(U)) = 0$ は、理論の構造を保つ。
• フューテル方程式の $\mathrm{SO}(3)$ 対称性—複素構造の回転—は、$(s,t)$-平面における $\mathrm{U}(1)$-回転に関して不変であり、回転座標系でも方程式が保存されることを意味する。
• 複素勾配フロー方程式 $\partial_s u + I(u)\partial_t u + \nabla g(u) = 0$（$g = \mathrm{Im}(F)$）が、シンプレクティック形式 $\omega_J$ における $g$ のハミルトニアンフローと等価であることが示され、ホロモルフィックフロア理論とシンプレクティック幾何学が結びつく。