[논문 리뷰] Holomorphic Floer Theory and the Fueter Equation

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

Geometric and Algebraic Topology인용 수 4

한 줄 요약

이 논문은 초카일러 맨ifold $M$ 내의 복소 라그랑주 부분다발의 후카야 카테고리의 2-카테고리화로, $[0,1]\times\mathbb{R}^2$ 위에서 경계 조건이 복소 라그랑주 부분다발에 걸쳐 있는 푸에터 맵—복소수 일반화된 코시-리만 방정식의 해—를 사용하여 $\mathrm{Fuet}_{M}$ 라는 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차원 다양체에 경계 조건이 복소 라그랑주 부분다발에 걸쳐 있는 푸에터 맵을 사용하여, 복소 라그랑주 플로어 homology의 복소 해석적 카테고리화를 개발한다.
• 푸에터 맵의 분석적 기초를 확립하여 에너지 상한과 최대원리 등을 포함하며, 향후 제안된 2-카테고리의 구축을 가능하게 한다.
• $M = T^*X$ 인 경우 푸에터 맵과 복소 기울기 궤적 사이의 대응 관계를 입증하여 이 이론이 심플렉틱 위상수학에서 알려진 결과와 연결됨을 보인다.
• 푸에터 2-카테고리와 3차원 미러 대칭 간의 연결 고리로 인해 분석, 기하학, 수학적 물리학 분야에서 새로운 연구 방향을 제안한다.

제안 방법

• 다양체 $M$ 위에서 헬로모르픽 심플렉틱 작용 함수의 후카야–세이델 카테고리를 통해 정의된 사상이 포함된 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}$ 의 복소 기울기 궤적과 정확히 일치함을 보여준다.
• 무한대에서의 행동을 제어하고 분석적 설정에서 컴 pactness를 확보하기 위해 탐닉 트리플릿(taming triples)의 도입.
• $\mathbb{C}^*$-대칭을 사용하여 헬로모르픽 함수 $F$ 의 스케일링에 따라 해가 유지되는 것을 보장하며, 기울기 흐름 방정식의 구조를 유지한다.
• 작용 함수 $\mathscr{A}$ 를 $I$-헬로모르픽 함수 $F$ 에 의해 페르터브하여, $f = \mathrm{Re}(F)$ 인 $\nabla f$ 를 포함하는 페르터브된 푸에터 방정식을 도출한다.

실험 결과

연구 질문

• RQ1 초카일러 맨ifold 내의 복소 라그랑주 부분다발이 생성하는 후카야 카테고리의 부분카테고리의 2-카테고리를 어떻게 구성할 수 있는가?
• RQ2 카일러 다양체의 코타angent(bundle)에서 푸에터 맵과 복소 기울기 궤적 사이의 정확한 대응 관계는 무엇인가?
• RQ3 푸에터 맵에 대해 성립하는 분석적 성질—에너지 상한, 최대원리 등—은 무엇이며, 이는 컴 pactness와 정칙성에 어떻게 기여하는가?
• RQ4 푸에터 2-카테고리는 3차원 미러 대칭과 일반화된 세이버그–워렌 테오리에서 알려진 구조와 어떻게 관련되어 있는가?
• RQ5 $\mathbb{C}^*$-대칭이 복소 기울기 흐름 방정식에 미치는 영향은 해의 모듈리 공간에 어떤 함의를 갖는가?

주요 결과

• 경계 조건이 복소 라그랑주 부분다발에 걸쳐 있는 초카일러 맨ifold $M$ 에 대한 $[0,1]\times\mathbb{R}^2$ 에서의 푸에터 맵은 에너지 상한과 최대원리를 만족함을 보여, 분석적 통제의 기초를 확립한다.
• $M = T^*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$ 과 동치이며, 이는 복소 해석적 플로어 이론과 연결된다.
• 페르터브된 푸에터 방정식 $\partial_s U - I(U)(\partial_t U - J(U)\partial_\tau U + \nabla f(U)) = 0$ 는 $\mathrm{Re}(F)$ 에 의해 작용 함수 $\mathscr{A}$ 를 페르터브함으로써 유도되며, 이론의 구조를 유지한다.
• 푸에터 방정식의 $\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$ 에서의 해밀토니안 흐름과 동치임을 보여, 복소 해석적 플로어 이론과 심플렉틱 기하학 간의 연결 고리를 확립한다.