[논문 리뷰] Conjectures on counting associative 3-folds in $G_2$-manifolds

Dominic Joyce|arXiv (Cornell University)|2016. 10. 31.

Geometry and complex manifolds참고 문헌 61인용 수 8

한 줄 요약

이 논문은 보조 4형식 $\psi$에 대해 재매개변수화까지의 변형 불변성에 기반하여, 테임드 거의 $G_2$-다양체에서 아소시에이티브 3-포일을 세는 초위력 $\Phi_\psi$를 구성함으로써, $G_2$ 양자 코homology를 정의하는 프레임워크를 제안한다. 주요 기여는 Gromov–Witten 이론의 $G_2$ 해석에 해당하는 추측적 이론으로, 불변량이 닫힌 3형식 $\varphi$에만 의존하며, 아소시에이티브 3-포일을 고려한 보정 항을 포함한 도널드슨–세갈의 $G_2$-instanton 세기 제안의 수정된 형태이다.

ABSTRACT

There is a strong analogy between compact, torsion-free $G_2$-manifolds $(X,φ,*φ)$ and Calabi-Yau 3-folds $(Y,J,g,ω)$. We can also generalize $(X,φ,*φ)$ to 'tamed almost $G_2$-manifolds' $(X,φ,ψ)$, where we compare $φ$ with $ω$ and $ψ$ with $J$. Associative 3-folds in $X$, a special kind of minimal submanifold, are analogous to $J$-holomorphic curves in $Y$. Several areas of Symplectic Geometry -- Gromov-Witten theory, Quantum Cohomology, Lagrangian Floer cohomology, Fukaya categories -- are built using 'counts' of moduli spaces of $J$-holomorphic curves in $Y$, but give an answer depending only on the symplectic manifold $(Y,ω)$, not on the (almost) complex structure $J$. We investigate whether it may be possible to define interesting invariants of tamed almost $G_2$-manifolds $(X,φ,ψ)$ by 'counting' compact associative 3-folds $N\subset X$, such that the invariants depend only on $φ$, and are independent of the 4-form $ψ$ used to define associative 3-folds. We conjecture that one can define a superpotential $Φ_ψ:{\mathcal U} oΛ_{>0}$ 'counting' associative $\mathbb Q$-homology 3-spheres $N\subset X$ which is deformation-invariant in $ψ$ for $φ$ fixed, up to certain reparametrizations $Υ:{\mathcal U} o{\mathcal U}$ of the base ${\mathcal U}=$Hom$(H_3(X;{\mathbb Z}),1+Λ_{>0})$, where $Λ_{>0}$ is a Novikov ring. Using this we define a notion of '$G_2$ quantum cohomology'. These ideas may be relevant to String Theory or M-Theory on $G_2$-manifolds. We also discuss Donaldson and Segal's proposal in arXiv:0902.3239, section 6.2, to define invariants 'counting' $G_2$-instantons on tamed almost $G_2$-manifolds $(X,φ,ψ)$, with 'compensation terms' counting weighted pairs of a $G_2$-instanton and an associative 3-fold, and suggest some modifications to it.

연구 동기 및 목표

• 비틀림이 있는 거의 $G_2$-다양체에서 $\omega$에 의존하는 것이지 복소構조 $J$에 의존하지 않는, 심플렉틱 불변량(예: Gromov–Witten 이론)의 $G_2$-해석을 개발하는 것.
• 보조 4형식 $\psi$에 의존하지 않고 오직 $\varphi$에만 의존하는, 테임드 거의 $G_2$-다양체 $(X,\varphi,\psi)$의 불변량을 아소시에이티브 3-포일을 세는 방식으로 정의하는 것.
• 특수 부분다양체의 모듈리 공간을 이용해 구성된 불변량으로 캘라비–요우 3-다양체와 $G_2$-다양체 간의 유사성을 확장하는 것.
• $G_2$-instanton 불변량을 정의하는 데 도전하는 문제를 해결하기 위해 도널드슨–세갈의 제안을 아소시에이티브 3-포일을 고려한 보정 항으로 수정하는 것.
• $\Phi_\psi$의 임계점이 존재하는 조건을 탐색하여, $G_2$-instanton 세기 프레임워크 내에서 비자명한 불변량을 가능하게 하는 것.

제안 방법

• 에너지 또는 호모로지 클래스 데이터를 코어하는 노비코프 링 $\Lambda_{>0}$를 사용하여, $X$ 내의 $\mathbb{Q}$-호모로지 3-구($N \subset X$)를 아소시에이티브 3-포일로 세는 초위력 $\Phi_\psi: \mathcal{U} \to \Lambda_{>0}$를 정의한다.
• 호모로지 클래스를 매개변수화하고 카운트의 생성함수를 허용하기 위해 기저 공간 $\mathcal{U} = \mathrm{Hom}(H_3(X;\mathbb{Z}), 1 + \Lambda_{>0})$를 구성한다.
• $\psi$의 소규모 변형에 대해 재매개변수화 $\Upsilon: \mathcal{U} \to \mathcal{U}$까지의 변형 불변성을 추측함으로써, $\psi$의 선택과 무관하게 불변량이 유지됨을 보장한다.
• $\Phi_\psi$의 임계점을 통해 $G_2$ 양자 코hom로지의 개념을 정의하며, 이는 $J$-홀로모르픽 곡선에서 유도된 양자 코hom로지와 유사하다.
• 도널드슨–세갈 계획에 보정 항을 도입하여 $G_2$-instanton과 아소시에이티브 3-포일 쌍을 세는 방식으로 수정된 제안을 한다.
• $\Phi_\psi$의 임계점에 대한 차단 요소를 선형 함수 $[\varphi] \cdot \alpha$를 통해 분석하며, 이 쌍대성에서의 비퇴화가 비자명한 불변량을 위해 필수적임을 보여준다.

실험 결과

연구 질문

• RQ1 테임드 거의 $G_2$-다양체 내 아소시에이티브 3-포일을 세는 초위력 $\Phi_\psi$를 정의할 수 있으며, 이는 기저 $\mathcal{U}$의 재매개변수화까지의 $\psi$의 변형에 대해 불변성을 유지할 수 있는가?
• RQ2 초위력 $\Phi_\psi$가 임계점을 가지는 조건은 무엇이며, 이는 비자명한 $G_2$-instanton 불변량 존재와 어떻게 관련되는가?
• RQ3 아소시에이티브 3-포일을 고려한 보정 항을 포함하도록 도널드슨–세갈의 $G_2$-instanton 세기 제안을 어떻게 수정할 수 있는가?
• RQ4 노비코프 링 $\Lambda_{>0}$는 아소시에이티브 3-포일 수에 대한 호모로지 또는 에너지 데이터를 어떻게 코어하여 $\psi$-변형에 대해 불변성을 보장하는가?
• RQ5 $H_3(X;\mathbb{Z})/\text{torsion}$에서 $[\varphi] \cdot \alpha$가 단사일 경우, 왜 $\Phi_\psi$가 임계점을 가지지 않으며, 이는 비자명한 불변량 존재에 대해 어떤 함의를 갖는가?

주요 결과

• 초위력 $\Phi_\psi$는 소규모 $\psi$ 변형에 대해 재매개변수화 $\Upsilon$까지의 불변성을 추측함으로써, 불변량이 $\varphi$에만 의존하고 보조 4형식에 의존하지 않음을 보장한다.
• $H_3(X;\mathbb{Z})/\text{torsion}$에서 $[\varphi] \cdot \alpha$가 단사일 경우, $\Phi_\psi$는 동일한 $[\varphi] \cdot \alpha$ 값을 갖는 다중 호모로지 클래스 $\alpha_1, \alpha_2$가 존재하지 않는 한 임계점을 가지지 않으며, 이는 비자명한 불변량을 위해 필수 조건이다.
• $\Phi_\psi \equiv 0$일 경우 불변량은 자명하지만, 이 경우는 $Y$가 캘라비–요우 3-다양체일 때 $X = Y \times S^1$의 예시를 포함하며, $S^1$-국소화에 의해 불변량이 $Y$의 도널드슨–토머스 불변량을 복원함을 시사한다.
• 비자명한 $G_2$-instanton 불변량은 $[\varphi]$가 $H^3(X;\mathbb{R})$의 진부분공간에 있을 때만 정의 가능하며, 이 경우 $\Phi_\psi$는 임계점을 가지며, 불변량은 $W = \ker([\varphi] \cup -)$에 의해 $H^4(X;\mathbb{Z})/W$의 $\alpha$에 의해 매개변수화된다.
• 이 프레임워크는 $\Phi_\psi$의 임계점 집합을 통해 $G_2$ 양자 코hom로지가 정의될 수 있으며, 이는 $J$-홀로모르픽 곡선에서 유도된 양자 코호몰로지와 유사하다는 것을 시사한다.
• 논문은 $G_2$-instanton 불변량이 아소시에이티브 3-포일의 수에 의해 보정되는 수정된 도널드슨–세갈 제안을 제공하며, $\Phi_\psi$가 비영일 경우 이러한 보정이 반드시 필요하다는 것을 보여준다.