[논문 리뷰] The Witten equation, mirror symmetry and quantum singularity theory

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

Nonlinear Waves and Solitons참고 문헌 40인용 수 34

한 줄 요약

이 논문은 가상 사이클을 이용한 W-곡선의 매개 공간을 사용하여 비퇴화적이고 준동차인 초곡면 특이점에 대한 코homological field theory를 구축한다. 이는 r-spin 이론을 일반화하며, ADE-특이점의 자가 dual 성질과 ADE-통합 가능 히에라르키와의 상응성을 증명함으로써 위튼의 추측을 해결한다. 적절한 기본 형식과 선형 사상으로 A-model 및 B-model의 잠재 함수를 매칭시킴으로써 미러 대칭을 증명한다.

ABSTRACT

For any non-degenerate, quasi-homogeneous hypersurface singularity, we describe a family of moduli spaces, a virtual cycle, and a corresponding cohomological field theory associated to the singularity. This theory is analogous to Gromov-Witten theory and generalizes the theory of r-spin curves, which corresponds to the simple singularity A_{r-1}. We also resolve two outstanding conjectures of Witten. The first conjecture is that ADE-singularities are self-dual; and the second conjecture is that the total potential functions of ADE-singularities satisfy corresponding ADE-integrable hierarchies. Other cases of integrable hierarchies are also discussed.

연구 동기 및 목표

• 준동차 특이점에 대해 W-곡선의 매개 공간과 가상 사이클을 이용한 cohomological field theory를 구축한다.
• 위튼의 두 추측을 해결한다: ADE-특이점은 자가 dual이며, 그 총 잠재 함수는 ADE-통합 가능 히에라르키를 만족한다.
• 기본 형식과 선형 사상으로 A-model (Gromov-Witten 유형)과 B-model (Landau-Ginzburg) 인바리언트 사이의 미러 대칭을 수립한다.
• 비영인 넓은 섹터 기여를 고려함으로써 r-spin 이론을 Dn 및 E6, E7, E8를 포함한 임의의 특이점으로 일반화한다.
• A-model 및 B-model의 잠재 함수가 특정 기본 형식과 스케일링 매개변수 (λ, c) 선택에 따라 일치함을 증명한다.

제안 방법

• W-곡선을 W-구조를 만족하는 오르비선형 배럴이 있는 리만 곡면으로 정의하여 r-spin 곡선을 일반화한다.
• 가역군 G를 갖는 안정적 W-오르비곡선의 매개 공간을 구성하고, cohomological field theory의 공리계를 만족하는 가상 사이클 hW(Γ)ivir를 정의한다.
• 레프체츠 캬이블과 오르비코homology를 이용하여 특이점의 상태 공간을 정의하여 특이점의 양자 cohomology를 포착한다.
• 가상 사이클을 이용해 관련 함수와 잠재 함수를 정의하는 양자 cohomological field theory를 정의한다.
• B-model 측면에서 기본 형식을 선택함으로써 미러 대칭을 적용한다 (예: E6의 경우 9 dx1∧dx2) 및 선형 사상 Ti → (−1)^{1−deg(si)} si를 통해 매칭한다.
• 스케일링 매개변수 λ 및 c를 조정하여 4점 함수의 부호 불일치를 해결함으로써 A-model 및 B-model의 잠재 함수가 일치함을 증명한다.

실험 결과

연구 질문

• RQ1 제안된 양자 특이점 이론 하에서 ADE-특이점은 자가 dual인가?
• RQ2 ADE-특이점의 총 잠재 함수는 해당 ADE-통합 가능 히에라르키를 만족하는가?
• RQ3 일반적인 준동차 특이점에 대해 위튼 방정식이 넓은 섹터의 비영 기여를 가진 cohomological field theory를 정의하는 데 사용될 수 있는가?
• RQ4 r-spin을 초월한 특이점들 (예: Dn, E6, E7, E8)에 대해 A-model 및 B-model 인바리언트는 미러 대칭 하에서 어떻게 매칭되는가?
• RQ5 A-model 및 B-model 상태 공간 간의 동형을 보장하기 위해 적절한 기본 형식과 선형 사상을 선택하는 방법은 무엇인가?

주요 결과

• Dn+1 특이점에 대해, B-model 측면의 기본 형식을 (−1)^{−(n−1)/n} 배한 표준 형식으로 선택하고 λ = −1, c = (−1)^{−(n−1)/n}로 설정할 경우 A-model 및 B-model의 잠재 함수가 정확히 일치한다.
• E6의 경우 기본 4점 상관관계는 FB_4 = −FA_4를 만족하며, λ = −1 및 c = (−1)^{−5/6}로 선택하면 A-model 및 B-model이 매칭된다.
• E7의 경우 잠재 함수의 매칭을 위해 λ = −1 및 c = (−1)^{−8/9}가 필요하며, 이는 4점 함수의 부호 불일치를 해결한다.
• E8의 경우 λ = −1 및 c = (−1)^{−14/15}로 선택하면 FA_3 = FB_3 및 FA_4 = −FB_4가 되며, 스케일링 후 전체적으로 일치한다.
• Dn+1(GDn+1)의 경우 기본 형식이 2n dx이고 λ = −n/(4n−5), c = λ^{−(n−1)/n}일 때 A-model 및 B-model 잠재 함수가 일치한다.
• DTn+1의 경우 기본 형식이 2n dx1∧dx2이고 FA_3+4(T) = FB_3+4(T)를 만족함으로써 Theorem 6.1.3의 증명이 완료된다.