[논문 리뷰] The Witten equation and its virtual fundamental cycle

Huijun Fan, Tyler J. Jarvis외 1명|arXiv (Cornell University)|2007. 12. 24.

Advanced Differential Equations and Dynamical Systems참고 문헌 24인용 수 97

한 줄 요약

이 논문은 Landau-Ginzburg/Calabi-Yau 대응에서 Witten 방정식의 해석적 기초를 확립하기 위해 Witten 방정식에 페르투르베이션을 도입하고, 해의 모듈리 공간 위에 가상 기본 사이클을 구성하며, 이 사이클이 Gromov-Witten 이론과 r-spin 이론에 유사한 공리들을 만족시킴을 증명한다. 가상 사이클은 벽을 넘는 현상에 대해 불변이며, Picard-Lefschetz 이론과 일치함을 보여, 특이점 이론에서 불변량을 계산하기 위한 엄밀한 프레임워크를 제공한다.

ABSTRACT

We study a system of nonlinear elliptic PDEs associated with a quasi-homogeneous polynomial. These equations were proposed by Witten as the replacement for the Cauchy-Riemann equation in the singularity (Landau-Ginzburg) setting. We introduce a perturbation to the equation and construct a virtual cycle for the moduli space of its solutions. Then, we study the wall-crossing of the deformation of the virtual cycle under perturbation and match it to classical Picard-Lefschetz theory. An extended virtual cycle is obtained for the original equation. Finally, we prove that the extended virtual cycle satisfies a set of axioms similar to those of Gromov-Witten theory and r-spin theory.

연구 동기 및 목표

• 특이점 이론과 미러 대칭의 맥락에서 Witten 방정식의 해석적 기초를 확립하기 위해.
• Witten 방정식의 특이 계수 문제를 해결하기 위해 페르투르베이션을 도입하고 해의 모듈리 공간 위에 가상 사이클을 구성하기 위해.
• 페르투르베이션을 통해 구성된 가상 사이클이 Gromov-Witten 이론과 r-spin 이론의 공리들과 유사한 공리들을 만족함을 증명하기 위해.
• 페르투르베이션 매개변수의 벽을 넘는 현상이 고전적 Picard-Lefschetz 단형성과 어떻게 관련되어 있는지 보여주어 가상 사이클을 위상수학적 불변량과 연결하기 위해.
• 가상 사이클을 일련의 극한 과정을 통해 원래(비편경된) Witten 방정식으로 확장하기 위해.

제안 방법

• 특이 계수를 정규화하기 위해 Witten 방정식에 페르투르베이션을 도입하여 프레드홀름 이론과 쿠라니시 이론의 적용을 가능하게 하였다.
• 실린드릭 메트릭과 점점 가까운 분석을 적용하여 노드점과 오르비폭발 특이점 근처의 해의 행동을 연구하였다.
• Gromov 컴acts화와 붙임 기법을 사용하여 해의 모듈리 공간의 컴acts화를 구성하였다.
• 다중단면 이론과 은밀한 함수 정리(implicit function theorem)를 활용하여 국소 차트를 구축하고 가상 기본 사이클을 정의하였다.
• 쿠라니시 이론을 적용하여 강체화된 모듈리 공간 위에 가상 사이클을 구성한 후, 군 작용을 통해 원래 공간으로 강하하였다.
• 일련의 다항식 $\tilde{W}_t = W + tZ$ 에 대한 1-매개변수 가속화 가속화를 통해 가상 사이클의 변형에 대한 불변성을 증명하기 위해 코보르디즘 추론을 적용하였다.

실험 결과

연구 질문

• RQ1 특이 계수를 가진 Witten 방정식의 해의 모듈리 공간에 대해 가상 기본 사이클을 어떻게 구성할 수 있는가?
• RQ2 페르투르베이션 이론을 통해 구성된 가상 사이클이 Gromov-Witten 이론과 r-spin 이론의 공리들과 유사한 공리들을 만족하는가?
• RQ3 페르투르베이션 매개변수의 벽을 넘는 현상은 특이점 이론에서의 고전적 Picard-Lefschetz 단형성과 어떻게 관련되어 있는가?
• RQ4 편경된 Witten 방정식에 대한 가상 사이클을 원래(비편경된) 방정식으로 확장할 수 있는가?
• RQ5 W에 의해 정의된 특이점의 불변량과 가상 사이클 사이의 관계는 무엇인가?

주요 결과

• 가상 사이클 $[\overline{\mathscr{M}}_{g,k,W}(\boldsymbol{\gamma})]^{vir}$ 는 페르투르베이션을 통해 구성되었으며, Gromov-Witten 이론과 r-spin 이론의 모든 공리를 만족한다.
• 가상 사이클은 벽을 넘는 현상에 대해 불변이며, 고전적 Picard-Lefschetz 단형성과 일치함을 보여 특이점 이론과 깊은 연관성을 확립한다.
• 원래 Witten 방정식에 대한 확장된 가상 사이클은 페르투르베이션된 사이클의 극한으로서 얻어지며, 이는 분리된 그래프, 약한 볼록성, 인덱스 0 공리들을 만족한다.
• 특수한 경우 $\overline{\mathscr{M}}_{0,3,W}(\gamma,\gamma^{-1},J^{-1})$ 에서 가상 사이클은 그룹 $G$ 의 크기의 역수 $\frac{1}{|G|}$ 배인 인variant homology 위의 캐시미르 원소와 같다.
• 가상 사이클은 변형에 대해 보존된다: $[\overline{\mathscr{M}}_{g,k,W,G}(\boldsymbol{\gamma})]^{vir} = \overline{\mathscr{M}}_{g,k,\tilde{W}}(\boldsymbol{\gamma}) \cap [\overline{\mathscr{M}}_{g,k,W}(\boldsymbol{\gamma})]^{vir}$ 는 코보르디즘 추론을 통해 증명된다.
• 강체화된 공간 $\overline{\mathscr{M}}^{\mathrm{rig}}_{g,k,W}(\boldsymbol{\gamma})$ 에서의 가상 사이클은 몫 사상 $so_\Gamma$ 를 통해 원래 공간으로 강하되, 이 사이클 정의에서의 정규화는 사상의 차수에 의해 보장된다.