[논문 리뷰] Counting pseudo-holomorphic discs in Calabi-Yau 3 fold

Kenji Fukaya|ArXiv.org|2009. 08. 02.

Geometry and complex manifolds참고 문헌 13인용 수 13

한 줄 요약

이 논문은 $c^1(M) = 0$인 6차원 Calabi-Yau 3-fold $M$와 마스лов 지수가 0인 라그랑주 부분다양체 $L \subset M$로 구성된 쌍 $(M,L)$에 대해 불변 초위상함수를 구축한다. 준해석적 원판과 구를 이용하여, $J$에 의존하는 초위상함수 $\Psi$를 정의하며, 이의 임계점은 바인딩 코체인과 대응된다. 또한, 이 초위상함수의 값이 변형 자료에 대해 불변임을 보이고, $L$가 유리수 호모로지 구면일 경우 수치 불변량을 얻는다.

ABSTRACT

n this paper we define an invariant of a pair of 6 dimensional symplectic %optional manifold with vanishing 1st Chern class and its Lagrangian submanifold with vanishing Maslov index. This invariant is a function on the set of the path connected components of the bounding cochains (solution of A infinity version of Maurer-Cartan equation of the filtered A infinity algebra associated to the Lagrangian submanifold). In the case when the Lagrangian submanifold is a rational homology sphere, it becomes a numerical invariant. This invariant depends on the choice of almost complex structure. The way how it depends on the almost complex structure is described by a wall crossing formula which involves moduli space of pseudo-holomorphic spheres.

연구 동기 및 목표

• 6차원 Calabi-Yau 3-fold $M$와 마스볼 지수가 0인 특수 라그랑주 부분다양체 $L$로 이루어진 쌍 $(M,L)$에 대해 새로운 불변량을 정의하는 것.
• 준해석적 원판과 구의 모듈리 공간을 이용하여 양자 보정을 포함한 초위상함수 $\Psi$를 구성하는 것.
• 초위상함수의 임계점 집합이 바인딩 코체인의 게이지 등급류와 일대일 대응되며, 이들의 값이 변형 자료에 대해 불변임을 확립하는 것.
• 만약 $L$가 유리수 호모로지 구면이라면, 이 불변량이 $M$, $L$, 그리고 거의 복소構조 $J$에만 의존하는 수치 불변량이 됨을 증명하는 것.
• 준해석적 원판과 구의 모듈리 공간을 통해 $J$-의존성의 벽을 넘는 현상에 대해 탐구하고, 미러 대칭을 통해 도널드슨-타운젠드 불변량과의 관계를 규명하는 것.

제안 방법

• 라그랑주 $L$에 관련된 순환적 필터링된 $A_\infty$ 대수 $\Lambda(L)$를 구성하며, 연산 $\mathfrak{m}_{k,\beta}^J$는 $k+1$개의 마킹된 점을 가진 준해석적 원판의 모듈리 공간 $\mathcal{M}_{k+1}(\beta;J)$를 통해 정의된다.
• 초위상함수 $\Psi(b;J)$를 $k$-원판 기여항의 합과 상수항 $\mathfrak{m}^{J}_{-1,\beta} = \#\mathcal{M}_0(\beta;J)$의 합으로 정의하며, 이는 $J$-해석적 원판의 수를 세는 것으로 간주된다.
• 가정 1: $L$와 교차하는 비자명한 $J$-해석적 구가 존재하지 않음. 이는 초위상함수의 정규성과 수렴성을 보장한다.
• 준위상 동역학 이론과 게이지 불변성을 활용하여, $\Psi$의 임계점이 $\mathcal{M}(L;J;\Lambda_+)$, 즉 바인딩 코체인의 게이지 등급류 집합과 이분기됨을 보인다.
• $H^1(L;\mathbb{Z})$가 비자명할 경우를 다루기 위해 $\Psi$의 정의역을 형식적 멱급수환 $\Lambda_0\langle\!\langle y_1,\dots,y_{b_1}, y_1^{-1},\dots,y_{b_1}^{-1}\rangle\!\rangle$로 확장한다.
• 거의 복소構조 공간 내의 벽을 넘는 동안 $\mathfrak{m}^{J}_{-1,\beta}$의 변화를 분석하여 $J$-의존성에 대한 벽을 넘는 공식을 유도한다.

실험 결과

연구 질문

• RQ1 마스볼 지수가 0이면서 $c^1(M) = 0$인 쌍 $(M,L)$에 대해 준해석적 원판을 이용하여 $J$-의존 불변량을 어떻게 정의할 수 있는가?
• RQ2 초위상함수 $\Psi$는 거의 복소構조 $J$의 선택에 어떻게 의존하며, 서로 다른 $J$ 사이에서 어떻게 변화하는가?
• RQ3 초위상함수가 수치 불변량을 만들어내는 조건은 무엇이며, 이는 $L$의 위상수학적 성질과 어떻게 관련되는가?
• RQ4 초위상함수는 $y_i = e^{x_i}$에 대한 형식적 멱급수로 확장될 수 있으며, 그 수렴성과 대수적 구조는 어떠한가?
• RQ5 이 불변량과 도널드슨-타운젠드 불변량 사이에 미러 대응 관계가 존재하는가? 그리고 라그랑주에 대한 안정성 조건이 모듈리 공간을 어떻게 정교화하는가?

주요 결과

• 초위상함수 $\Psi(b;J)$는 임계점 집합 $\mathcal{M}(L;J;\Lambda_+)$에 제한되었을 때 잘 정의되며, 이는 바인딩 코체인의 게이지 등급류 집합과 일치한다. 이 집합에서의 값은 변형 자료에 대해 불변이다.
• 만약 $L$가 유리수 호모로지 구면이라면 $\mathcal{M}(L;J;\Lambda_+)$는 단 한 점뿐이므로, 이 점에서의 $\Psi$ 값은 $(M,L,J)$에 대한 수치 불변량이 된다.
• $J$-의존성은 $J$-해석적 구의 모듈리 공간을 포함하는 벽을 넘는 공식으로 제어되며, 이는 $\mathfrak{m}_{-1,\beta}^J$의 수의 변화를 설명한다.
• 초위상함수 $\Psi$는 $y_i = e^{x_i}$에 대한 형식적 로렌츠 멱급수로 확장되며, 그 임계점은 $\nabla_y \Psi = 0$로 정의되며, 이는 마우레르-카르탕 방정식을 일반화한다.
• 이 구성은 도널드슨-타운젠드 불변량과의 미러 대응을 암시하며, 라그랑주 쌍의 모듈리 공간 $\mathfrak{Lag}(M)$은 비분리적인 강한 해석적 스택처럼 행동하고, 초위상함수는 해석적 초전하 functional의 역할을 한다.
• $H^1(L;\mathbb{Q}) \neq 0$일 경우, 특정 경계 조건 하에서 벽을 넘는 현상이 사라질 수 있으며, 이는 고유성의 경우에 대해 대수적 구조의 호모토피 불변성을 시사한다.