[논문 리뷰] Homological mirror symmetry for Milnor fibers of simple singularities

Yankı Lekili, Kazushi Ueda|arXiv (Cornell University)|2020. 04. 15.

Algebraic structures and combinatorial models참고 문헌 33인용 수 7

한 줄 요약

이 논문은 단순 특이점의 밀놀르 피복체에 대한 호모로지 거울 대칭을 차원이 1보다 큰 경우에 대해 증명한다. 이를 위해 밀놀르 피복체의 유도된 랩드 후카야 카테고리와 역행렬 다항식의 전치와 관련된 행렬 인수화 카테고리 사이의 준등치를 확립한다. 주요 결과는 [LU, Conjecture 1.5]의 추측 1.1을 차원 >1인 모든 단순 특이점에 대해 확인하며, 칼라비-야우 완성과 유도된 n-전위 프로젝티브 대수의 명시적 호흐실트 코hom로지 계산, 밀놀르 피복체의 심플렉틱 코호몰로지 계산을 통해 이루어진다.

ABSTRACT

We prove homological mirror symmetry for Milnor fibers of simple singularities in dimensions greater than one, which are among the log Fano cases of Conjecture 1.5 in arXiv:1806.04345. The proof is based on a relation between matrix factorizations and Calabi--Yau completions. As an application, we give an explicit computation of the Hochschild cohomology group of the derived $n$-preprojective algebra of a Dynkin quiver for any $n \geq 1$, and the symplectic cohomology group of the Milnor fiber of any simple singularity in any dimension greater than one.

연구 동기 및 목표

• 차원이 1보다 큰 단순 특이점의 밀놀르 피복체에 대한 호모로지 거울 대칭을 확립한다.
• 행렬 인수화 카테고리와 랩드 후카야 카테고리 사이의 준등치를 통해 [LU, Conjecture 1.5]의 추측 1.1을 모든 단순 특이점에 대해 검증한다.
• 모든 다이녹린 쿼버와 모든 n ≥ 1에 대해 유도된 n-전위 프로젝티브 대수의 호흐실트 코호몰로지를 계산한다.
• 차원 >1인 단순 특이점의 밀놀르 피복체의 심플렉틱 코호몰로지를 결정한다.

제안 방법

• n ≥ 2일 때 형식적 오른쪽 동치를 사용하여 w + x₀⋯xₙ₊₁의 Γw-동차 행렬 인수화의 dg 카테고리와 w의 것 사이의 준등치를 확립한다.
• n-칼라비-야우 완성을 적용하여 w의 행렬 인수화와 다이녹린 쿼버 경로 대수의 것 사이의 관계를 설정한다. Πⁿ(mf(An+1, Γw, w)) ≃ mf(An+2, Γw, w)이다.
• 기존의 등가성(예: 쿠노르 리피오디움 또는 변형을 통한 등가성)을 이용해 mf(An+1, Γw, w) ≃ perf AQ를 식별한다.
• Πⁿ(perf AQ)의 호흐실트 코호몰로지를 계산하여 최종 준등치 W(φ⁻¹(1)) ≃ Πⁿ(perf AQ)를 증명한다. 이는 [EL17]에서 E 유형 특이점에 대한 격차를 메운다.
• 자코비안 링과 그 차수 분해에 대한 스펙트럴 시퀀스를 사용하여 호흐실트 코호몰로지를 계산하며, 캐논칼 클래스 χ에 비례하는 차수를 분석한다.
• 군의 특성과 Jacwγ ⊗ Λdim Nγ N∨γ 내의 단항식 기저를 명시적으로 매개변수화하여 HHt 및 HHt+1에 대한 기여를 계산한다.

실험 결과

연구 질문

• RQ1 차원이 1보다 큰 단순 특이점의 밀놀르 피복체에 대해 호모로지 거울 대칭이 성립하는가?
• RQ2 랜드-긴즈부르크 거울 ([An+2/Γw], w + x₀⋯xₙ₊₁)은 밀놀르 피복체 φ⁻¹(1)의 유도된 랩드 후카야 카테고리와 준등치인가?
• RQ3 모든 n ≥ 1에 대해 다이녹린 쿼버의 유도된 n-전위 프로젝티브 대수의 호흐실트 코호몰로지는 무엇인가?
• RQ4 차원 >1인 단순 특이점의 밀놀르 피복체의 심플렉틱 코호몰로지는 무엇인가?
• RQ5 유도된 n-전위 프로젝티브 대수와 밀놀르 피복체의 코호몰로지 군은 거울 대칭 하에서 어떻게 일치하는가?

주요 결과

• 모든 단순 특이점에 대해 차원 n+1 ≥ 3일 때, mf(An+2, Γw, w + x₀⋯xₙ₊₁) ≃ W(φ⁻¹(1))의 준등치가 성립하며, 이는 n ≥ 2일 때 추측 1.1을 확인한다.
• 모든 다이녹린 쿼버 Q에 대해 유도된 n-전위 프로젝티브 대수의 호흐실트 코호몰로지가 명시적으로 계산되었으며, Jacwγ ⊗ Λdim Nγ N∨γ 내의 단항식 기여가 HHt 및 HHt+1에 기여한다.
• E₆ 유형의 경우, HHt 및 HHt+1에 대한 기여는 7k₀ + 3k₁ + 5k₂ = 15m를 만족하는 (k₀, k₁, k₂)로부터 온다. 이때 n = 1일 경우 t = 2m이며, n > 1일 경우 t = 12k₁ + 20k₂ + 58m′ − (6k₁ + 10k₂ + 30m′)n이다.
• E₈ 유형의 경우, n > 1일 때는 7k₀ + 3k₁ + 5k₂ = 15m를 만족하고 k₀가 짝수인 해로부터 기여가 발생하며, n이 홀수일 때는 14k₀ + 6k₁ + 10k₂ = 30m를 만족하고 k₀가 홀수인 해로부터 기여가 발생한다.
• 차원 >1인 어떤 단순 특이점의 밀놀르 피복체의 심플렉틱 코호몰로지는 유도된 n-전위 프로젝티브 대수의 호흐실트 코호몰로지와 동형이며, HHn은 E₈의 경우 ker χ 내 8개의 원소로부터, E₆의 경우 6개의 원소로부터 기여를 받는다.
• E₈의 경우, m = −1일 때 x∨₀ ⊗ x²₁ ⊗ x∨₃ ∧ ⋯ ∧ x∨ₙ₊₁가 HHn에 C(−n)을 기여하며, ker χ 내 8개의 군 원소가 HHn에 C(−n)을 기여한다. 이는 심플렉틱 코호몰로지의 구조를 확인한다.