Landau--Ginzburg mirror symmetry for ADE singularities

기술 요약: ADE 특이점에 대한 란다우-긴즈부르크 거울 대칭성

문제 정의
본 논문은 ADE 특이점에 대한 란다우-긴즈부르크(Landau–Ginzburg, LG) 거울 대칭성 추측을 다룬다. 구체적으로, 준동차적(quasihomogeneous) 특이점 $f$와 대각 대칭군 $G$에 연관된 두 가지 구별되는 수학적 이론 사이의 동형 사상을 규명하고자 한다:

1. B-사이드(B-side): $(f, G)$ 쌍의 "오비폴드 사이토 이론(orbifold Saito theory)". 이는 K. 사이토의 원시 형식(primitive forms) 이론을 대칭군을 포함하도록 일반화한 것으로, 뒤브로빈-프로베니우스 다양체(Dubrovin–Frobenius manifold)를 생성한다.
2. A-사이드(A-side): 베르글런드-휩스-헤닝슨(Berglund–Hübsch–Henningson, BHH) 쌍 $(\tilde{f}, \tilde{G})$의 팬-자비스-루안-위튼(Fan–Jarvis–Ruan–Witten, FJRW) 이론. 이는 코호몰로지 장론(cohomological field theory, CohFT)과 그와 연관된 종수 0(genus-zero) 뒤브로빈-프로베니우스 다양체를 구성한다.

ADE 특이점과 자명한 대칭군 $G=\{id\}$에 대해서는 이 추측이 이미 증명되었으나, 본 연구는 $G$가 자명하지 않은 대각 대칭군인 특정 경우들로 이 증명을 확장한다. 본 논문은 [BTW23]에서 확인된 세 변수를 가진 ADE 특이점의 비자명한 허용 가능한 대칭군들을 나타내는 표 1의 특정 쌍들에 집중한다.

방법론
저자는 표 1에 나열된 특정 비자명 대칭군들에 대해 거울 동형 사상을 증명하기 위해 2단계 전략을 사용한다. 증명은 ADE 특이점에 대한 뒤브로빈-프로베니우스 다양체의 분류를 위한 재구성 보조정리(Lemma 2.2)에 의존하며, 이 보조정리는 다양체의 구조가 페어링(pairing), 3-점 상관 함수(three-point correlators), 그리고 4-점 상관 함수(four-point correlators)에 의해 유일하게 결정된다는 것을 명시한다.

1. 단계 (i): 오비폴드 사이토 이론과 고전적 사이토 이론의 동치성

   • 논문은 쌍 $(f, G)$와 고전적 다항식 $\bar{f}$ ($G$가 자명한 경우) 사이의 "오비폴드 동치성(orbifold equivalence)" 개념을 활용한다. 이 동치성은 행렬 인자화(matrix factorizations)의 범주적 동치, 즉 $MF_G(f) \cong MF(\bar{f})$를 통해 확립된다.
   • 음의 순환 호몰로지(negative cyclic homology)의 모리타 불변성(Morita invariance)과 사이토 이론의 범주적 정식화(정리 4.3)를 인용함으로써, 저자는 $(f, G)$에 대한 준-반무한 호몰로지 구조의 변화(Variations of Semi-Infinite Hodge Structures, VSHS)가 $\bar{f}$의 고전적 사이토 이론과 동형임을 입증한다.
   • 결과적으로, $(f, G)$에 대한 오비폴드 사이토 이론의 뒤브로빈-프로베니우스 다양체는 $\bar{f}$의 고전적 사이토 이론과 동형이다.

2. 단계 (ii): FJRW 이론과 고전적 사이토 이론의 동치성

   • 저자는 $(\tilde{f}, \tilde{G})$ 쌍(표 1의 항목들에 대응)에 대한 FJRW 이론을 사례별로 계산한다.
   • 계산에는 복잡한 다항식을 더 단순한 성분(예: $A_k$ 또는 $D_k$ 유형)으로 분해하는 "특이점의 합(sum of singularities)" 공리가 사용된다. 이 성분들의 FJRW 이론은 이미 알려져 있거나 계산하기 용이하다.
   • 직접적인 분해가 불충분한 비자명 군이 포함된 경우, 저자는 특정 4-점 상관 함수를 계산하기 위해 WDVV(Witten–Dijkgraaf–Verlinde–Verlinde) 방정식과 오목성 공리(concavity axiom)를 적용한다.
   • 원시 벡터(primitive vectors)를 식별하고 필요한 상관 함수들을 계산함으로써, 저자는 각 쌍에 대한 뒤브로빈-프로베니우스 다양체를 재구성하고, 이것이 대응하는 $\bar{f}$의 고전적 사이토 이론과 동형임을 보인다.

주요 결과
본 논문은 표 1에 열거된 특정 ADE 특이점 및 비자명 대칭군에 대해 LG-LG 거울 대칭성 추측이 성립함을 나타내는 정리 1.1을 증명한다. 증명은 다음과 같은 정리 1.2로 세분화된다. 모든 $(f, G)$ 쌍에 대하여:

• (i) $(f, G)$의 오비폴드 사이토 이론은 특정 다항식 $\bar{f}$의 고전적 사이토 이론과 동형이다.
• (ii) 쌍 $(\tilde{f}, \tilde{G})$의 FJRW 이론은 동일한 $\bar{f}$의 고전적 사이토 이론과 동형이다.

구체적인 사례로는 $\frac{1}{2}(0, 1, 1)$ 또는 $\frac{1}{3}(1, 2, 0)$과 같은 원소들에 의해 생성되는 비자명 대각 대칭군을 가진 다양한 $A_k, D_k, E_6$ 특이점들이 표 1에 상세히 기술되어 있다.

의의 및 주장
저자는 본 연구가 B-모델에 비자명한 대칭군이 부여된 경우, 특히 표 1에 나열된 사례들에 대해 뒤브로빈-프로베니우스 다양체의 동형으로서 LG-LG 거울 대칭성 추측을 증명한 첫 번째 사례라고 주장한다.

• Krawitz [K10]의 선행 연구는 벡터 공간 수준에서의 동형 사상을 확립했다.
• Francis 등의 후속 연구 [FJJS]는 프로베니우스 대수의 동형 사상을 확립했다.
• 본 논문은 이러한 결과들을 열거된 범위 내의 비자명한 군들에 대해 뒤브로빈-프로베니우스 다양체의 전체 기하학적 구조로 확장한다.
• 저자는 본 논문이 [BT22]의 연구에 이어, 비자명한 B-모델 군을 가진 거울 대칭성 동형 사 ever의 두 번째 알려진 사례임을 명시한다.

저자는 오비폴드 사이토 이론에 대한 코호몰로지 장론이 이 노트 내에서 표준적인 의미로 정의되지는 않았으나, 기벤탈(Givental)의 형식론을 통해 재구성될 수 있음을 명시하며, 이는 거울 대칭성이 코호몰로지 장론 수준에서도 성립함을 시사한다(Teleman의 결과와 일치함). 본 연구는 [BTW23]에서 제공된 ADE 특이점에 대한 허용 가능한 대칭군의 분류에 크게 의존한다.