[논문 리뷰] Homological mirror symmetry for Brieskorn-Pham singularities

Masahiro Futaki, Kazushi Ueda|arXiv (Cornell University)|2009. 12. 02.

Algebraic structures and combinatorial models참고 문헌 16인용 수 5

한 줄 요약

이 논문은 Brieskorn-Pham 특이점에 대한 호모로지 미러 대칭을 증명함으로써, Brieskorn-Pham 다항식으로 정의된 Lefschetz fibration의 유도된 Fukaya 카테고리와 동일한 다항식의 삼각형 카테고리의 특이점 사이에 quasi-equivalence를 확립한다. 이는 질량-1 아벨 군에 의한 그레딩을 포함한다. 증명은 심플렉틱 Picard-Lefschetz 이론과 A-type 특이점에 관련된 A∞-카테고리의 텐서곱을 통한 Milnor 래티스의 분류화에 기반한다.

ABSTRACT

We prove that the derived Fukaya category of the Lefschetz fibration defined by a Brieskorn-Pham polynomial is equivalent to the triangulated category of singularities associated with the same polynomial together with a grading by an abelian group of rank one. Symplectic Picard-Lefschetz theory developed by Seidel is an essential ingredient of the proof.

연구 동기 및 목표

• ADE 유형과 예외적 단조 특이점을 포함하는 초표면 특이점의 일종인 Brieskorn-Pham 특이점에 대한 호모로지 미러 대칭을 확립한다.
• A-type 특이점에서 유도된 A∞-카테고리들을 사용하여 Brieskorn-Pham 특이점의 Milnor 래티스를 분류화한다.
• 관련된 Lefschetz fibration의 유도된 Fukaya 카테고리와 그레딩된 특이점의 삼각형 카테고리 사이의 등가성을 증명한다.
• 대부분의 n에 대해 n=2의 경우에 알려진 결과를 심플렉틱 및 호모로지 대수 기법을 사용하여 일반화한다.
• 가중치 조건 ∑1/pi = 1을 만족할 경우, 특이점의 카테고리가 Calabi-Yau/Landau-Ginzburg 대응에서 몫 스택 위의 코herent sheaf의 유도된 카테고리와 관련이 있음을 규명한다.

제안 방법

• Seidel의 심플렉틱 Picard-Lefschetz 이론을 사용하여, Morsified된 Brieskorn-Pham 다항식으로 정의된 Wp : C^n → C인 Lefschetz fibration의 유도된 Fukaya 카테고리를 귀납적으로 계산한다.
• 객체 C1,…,Cp를 갖는 미분가능한 그룹으로서의 A∞-카테고리 Ap−1을 정의하며, 이는 차수 0에서 C·idCi, 차수 1에서 C[−1], 나머지에서는 0인 사상으로 구성된다.
• Fukaya 카테고리 Fuk Wp를 이러한 A∞-카테고리들의 텐서곱 Ap1−1 ⊗⋯⊗Apn−1에 대한 quasi-equivalence로 구성한다.
• 좌표환 Ap = C[x1,…,xn]/(fp)에 대해 ⃗x1,…,⃗xn,⃗c를 생성자로 하는 질량-1 아벨 군 L(p)에 의한 그레딩을 도입하며, 관계 pi⃗xi = ⃗c를 갖는다.
• 그레딩된 삼각형 특이점 카테고리 Dgr_Sg(Ap)를 Db(gr Ap)/Dperf(gr Ap)의 몫으로 정의하고, 이 카테고리가 Db(Ap1−1 ⊗⋯⊗Apn−1)과 등가임을 보인다.
• 원점의 스카이슈터 층에 대한 자유 해체(보조정리 4.1)를 사용하여, 그레딩된 모듈 간의 RHom을 계산하고, Yoneda 곱의 구조를 A∞-카테고리와 일치시킨다.

실험 결과

연구 질문

• RQ1 Brieskorn-Pham 특이점에 대한 호모로지 미러 대칭은 n=2의 경우를 초월하여 성립하는가?
• RQ2 Brieskorn-Pham 다항식에 관련된 Lefschetz fibration의 유도된 Fukaya 카테고리는 A-type 특이점의 A∞-카테고리들의 텐서곱과 quasi-equivalent인가?
• RQ3 Brieskorn-Pham 특이점의 그레딩된 삼각형 특이점 카테고리는 Ap1−1 ⊗⋯⊗Apn−1 카테고리와 동형인 전형적 예외적 집합을 포함하는가?
• RQ4 특이점의 카테고리가 몫 스택 위의 코herent sheaf의 유도된 카테고리와 등가가 되는 조건은 무엇인가?
• RQ5 심플렉틱 Picard-Lefschetz 이론을 통해 Brieskorn-Pham 특이점의 Milnor 래티스를 분류화할 수 있는가?

주요 결과

• Brieskorn-Pham 다항식으로 정의된 Lefschetz fibration의 유도된 Fukaya 카테고리는 A∞-카테고리들의 텐서곱 Ap1−1 ⊗⋯⊗Apn−1와 quasi-equivalent이다.
• Brieskorn-Pham 특이점에 대한 삼각형 특이점 카테고리 Dgr_Sg(Ap)는 텐서곱 카테고리의 유도된 유한부분(Db(Ap1−1 ⊗⋯⊗Apn−1))과 등가이다.
• Dgr_Sg(Ap) 내의 전형적 예외적 집합 (k(⃗n))⃗n∈I는 카테고리를 생성하며, 그레딩된 카테고리로서 Ap1−1 ⊗⋯⊗Apn−1와 동형이다.
• 예외적 집합 위의 Yoneda 곱의 구조는 텐서곱의 A∞-구조와 일치하며, 차수 제약 조건으로 인해 고차 A∞-작용은 모두 0이 된다.
• ∑1/pi = 1 조건을 만족할 경우, 카테고리 Dgr_Sg(Ap)는 몫 스택 Yp = [Xp/Gp] 위의 코herent sheaf의 유도된 카테고리와 등가이다. 여기서 Xp는 가중 투영 공간 내의 초표면이다.
• 증명은 원점의 기저층에 대한 자유 해체(보조정리 4.1)에 기반하며, 이는 그레딩된 모듈 간의 RHom을 명시적으로 계산하고 카테고리의 등가성을 확립한다.