[논문 리뷰] Homological mirror symmetry of Fermat polynomials

So Okada|arXiv (Cornell University)|2009. 10. 11.

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

한 줄 요약

이 논문은 Fermat 다항식에 대한 호모로지 미러 대칭을 증명함으로써, 가중 투영 공간 내의 Fermat 초표면 위의 코herent sheaf의 유도 범주와 그 이중 Landau-Ginzburg 모델의 Fukaya-Seidel 범주 사이의 유도 Morita 동치를 확립한다. 핵심 결과는 $ H_n $-작용과 $ \hat{H}_n $-몫을 통해 $ \mathrm{D}^b(\mathrm{Coh}Y_n) $와 $ \mathrm{FS}(Y_n) $를 연결하는 이중성 프레임워크로, 안정성 조건, 모듈라 형식, Hochschild 호모로지와의 연관성이 있다.

ABSTRACT

We discuss homological mirror symmetry of Fermat polynomials in terms of derived Morita equivalence between derived categories of coherent sheaves and Fukaya-Seidel categories (a.k.a. perfect derived categories of directed Fukaya categories), and some related aspects such as stability conditions, (kinds of) modular forms, and Hochschild homologies.

연구 동기 및 목표

• Fermat 다항식 $ F_n = x_1^n + \cdots + x_n^n $에 대한 호모로지 미러 대칭을 유도 범주와 $ A_\infty $-구조를 이용해 확립하기.
• Fermat 초표면 $ Y_n $ 위의 코herent sheaf의 유도 범주와 그 미러의 Fukaya-Seidel 범주 사이의 유도 Morita 동치를 증명하기.
• $ A_n $-형 퀴버와 그레디에이티드 행렬 인자화의 맥락에서 안정성 조건, 모듈라 형식, Donaldson-Thomas 불변량 간의 상호작용 탐색하기.
• 오비폴드 Fermat 초표면 $ Y_n $의 Hochschild 호모로지와 Poincaré 다항식을 계산하여 오일러 특성수 $ (n-1)^n $을 드러내기.
• 군 $ H_n = G_n / \text{diagonals} $와 그 이중 $ \hat{H}_n $이 궤도 범주와 dg 강화를 통해 미러 이중성을 구성하는 데 어떻게 기여하는지 명확히 하기.

제안 방법

• $ X_n $을 다항식 $ F_n: \mathbb{C}^n \to \mathbb{C} $로 정의하고, $ G_n = (\mu_n)^n $이 대각선으로 작용하는 $ Y_n = \mathbb{C}^n / G_n $로 정의한다.
• Morsification에 대한 순서화된 소실 원소의 $ A_\infty $-범주에 대한 완전 유도 범주로 Fukaya-Seidel 범주 $ \mathrm{FS}(X_n) $를 구성한다.
• $ \mathrm{D}^b(\mathrm{Coh}X_n) $와 $ \mathrm{D}^b(\mathrm{Coh}Y_n) $의 dg 강화를 사용하며, $ H_n $-불변 컴acts 생성자를 통해 미러 쌍대를 정의한다.
• $ \mathrm{FS}(X_n) $의 $ \hat{H}_n $-궤도 범주에 대한 완전 유도 범주로 $ \mathrm{FS}(Y_n) $를 정의하며, $ \hat{H}_n $-작용이 $ A_\infty $-범주에 영향을 주는 것을 활용한다.
• Fukaya-Seidel 범주의 Künneth 공식을 적용하여 $ \mathrm{Perf}({\mathcal{A}}_{n-1}^\bigotimes n) \cong \mathrm{FS}(X_n) $를 증명한다. 여기서 $ {\mathcal{A}}_{n-1} $은 그레디에이티드 행렬 인자화의 dg 대수이다.
• $ \mathrm{D}^b(\mathrm{Coh}X_n) \cong \mathrm{DGrB}(F_n) $의 동치와 Auslander-Reiten 이론을 사용하여 안정된 대상을 식별하고, 일반화된 Kronecker 퀴버를 통해 확장-닫힘 부분범주를 계산한다.

실험 결과

연구 질문

• RQ1 어떻게 유도 Morita 동치를 통해 Fermat 다항식 $ F_n = \sum x_i^n $에 대한 호모로지 미러 대칭을 확립할 수 있는가?
• RQ2 $ Y_n = \mathbb{C}^n / G_n $ 위의 코herent sheaf의 유도 범주와 그 미러 $ X_n $의 Fukaya-Seidel 범주 사이의 정확한 관계는 무엇인가?
• RQ3 $ \mathrm{D}^b(\mathrm{Coh}Y_n) $의 안정성 조건은 일반화된 Kronecker 퀴버의 구조와 Donaldson-Thomas 불변량과 어떻게 관련되는가?
• RQ4 확장-닫힘 부분범주 내의 안정된 대상의 생성 함수에서 유도되는 모듈라 형식은 무엇인가?
• RQ5 오비폴드 Fermat 초표면 $ Y_n $의 Hochschild 호모로지는 무엇이며, Poincaré 다항식과 오일러 특성수와 어떻게 관련되는가?

주요 결과

• $ \mathrm{D}^b(\mathrm{Coh}Y_n) $는 $ H_n $-작용과 $ \hat{H}_n $-몫을 통해 $ \mathrm{FS}(Y_n) $와 유도 Morita 동치이며, 이 이중성은 이에 의해 실현된다.
• $ Y_n $의 Poincaré 다항식은 $ P(Y_n, q) = \sum_{2 \leq j \leq n, 2 \leq k \leq j} n^{n-j} \binom{n}{j} (-1)^{j-k} P(\mathbb{P}^{k-2}, q) $로 계산되며, 명시적 값은 $ 1 $, $ q+7 $, $ q^2+13q+67 $, $ q^3+21q^2+181q+821 $이다.
• $ Y_n $의 오일러 특성수는 $ (n-1)^n $이며, Hochschild 호모로지를 통해 계산되어 $ P(Y_n, 1) = (n-1)^n $임을 확인한다.
• $ n=5 $일 때, 연속된 안정 대상 $ \mathcal{O}_{X_5} > \tilde{\tau}^{-1}(\mathcal{O}_{X_5}) $는 차수 1과 2의 화살표, 그리고 차수 3의 루프를 가진 그레디에이티드 일반화된 Kronecker 퀴버를 생성한다.
• $ \sum_{m>0} m^{1-k} \mathcal{J}_m(q) $의 생성 함수는 홀수 $ k $에 대해 에이젠스타인 급수 또는 아이히러 적분을 제공하며, $ k = -1 $일 땐 쿼어지모듈라 형식 $ E_2(z) - E_2(2z)$를 얻는다.
• 퀴버의 차수 1 화살표의 수는 두 안정 대상의 합의 수치적 클래스에 대한 모듈리 공간의 Donaldson-Thomas 불변량과 일치한다.