[논문 리뷰] Homological Projective Duality via Variation of Geometric Invariant Theory Quotients

Matthew R. Ballard, Dragos Deliu외 3명|arXiv (Cornell University)|2013. 06. 17.

Homotopy and Cohomology in Algebraic Topology참고 문헌 41인용 수 23

한 줄 요약

이 논문은 Landau-Ginzburg 호모로지 프로젝티브 쌍대를 구성하기 위한 기하적 프레임워크를 제시하며, 기하학적 불변 이론(VGIT)의 변화를 통해 이를 수행한다. 이는 $[\operatorname{V}_S(\mathcal{P}) \times_S \mathbb{P}_S(S^d\mathcal{P}^*) / \mathbb{G}_m], w)$ 형태의 가환 Landau-Ginzburg 모델이 $\mathbb{P}_S(\mathcal{P}) \to \mathbb{P}_S(S^d\mathcal{P})$ 형태의 베론제 임bedding에 대해 약한 호모로지 프로젝티브 쌍대가 되며, 완전한 선형 섹션의 도파일 카테고리들이 준-직교 분해를 통해 연결됨을 보여준다.

ABSTRACT

We provide a geometric approach to constructing Lefschetz collections and Landau-Ginzburg Homological Projective Duals from a variation of Geometric Invariant Theory quotients. This approach yields homological projective duals for Veronese embeddings in the setting of Landau Ginzburg models. Our results also extend to a relative Homological Projective Duality framework.

연구 동기 및 목표

• 기하학적 불변 이론 기법을 사용하여 호모로지 프로젝티브 쌍대를 Landau-Ginzburg 모델로 확장한다.
• VGIT 쿼티언트의 변화를 통한 Lefschetz 컬렉션과 호모로지 프로젝티브 쌍대의 기하적 구성 방법을 제시한다.
• Kuznetsov의 HPD 프레임워크를 매끄러운 기저 다양체 위의 상대적 설정으로 일반화한다.
• 비가환 및 Landau-Ginzburg 모델의 맥락에서 기존의 베론제 임bedding과 그라스만이안에 대한 결과를 복원하고 확장한다.
• 준-직교 분해를 통해 베론제 임bedding의 선형 섹션과 그 쌍대 사이의 유도 카테고리 간 동치성을 확립한다.

제안 방법

• 선형 계수의 초곡면과 관련된 선다발의 전체 공간에 대해 VGIT 쿼티언트의 변화를 이용하여 비틀림 변환을 수행한다.
• BFK12에서 제시한 준-직교 분해를 응용하여 쿼티언트 다양체 위의 Lefschetz 컬렉션을 구성한다.
• $w$가 유니버설 차수 $d$ 다항식인 $[\operatorname{V}_S(\mathcal{P}) \times_S \mathbb{P}_S(S^d\mathcal{P}^*) / \mathbb{G}_m], w)$ 형태의 가환 Landau-Ginzburg 모델을 구성한다.
• VGIT 내의 벽을 넘는 기법을 활용하여 서로 다른 GIT 쿼티언트를 연결하고 준-직교 분해를 유도한다.
• Orlov의 정리의 상대적 형태와 유도 카테고리 분해를 적용하여 완전한 선형 섹션의 유도 카테고리 간 관계를 규명한다.
• 특히 $\mu^d(1 \otimes v_{i_1}, \dots, 1 \otimes v_{i_d}) = \frac{u}{d!} \frac{\partial^d w}{\partial x_{i_1} \cdots \partial x_{i_d}}$ 형태의 수형식을 포함한 명시적 $A_\infty$-대수의 구조를 사용하여 비가환 쌍대를 정의한다.

실험 결과

연구 질문

• RQ1 기하학적 불변 이론을 사용하여 호모로지 프로젝티브 쌍대를 Landau-Ginzburg 모델로 확장할 수 있는가?
• RQ2 VGIT를 통해 베론제 유형의 임bedding에 대해 Lefschetz 컬렉션과 쌍대를 체계적으로 구성할 수 있는가?
• RQ3 Landau-Ginzburg 설정에서 베론제 임bedding의 선형 섹션과 그 쌍대 사이의 유도 카테고리 관계는 어떠한가?
• RQ4 일반적인 매끄러운 기저 다양체 위에서 상대적 HPD 프레임워크는 어느 정도 유효한가?
• RQ5 비가환 쌍대를 $A_\infty$-대수로 구성할 때, $d=2$인 경우 Kuznetsov의 결과를 복원할 수 있는가?

주요 결과

• 가환 Landau-Ginzburg 모델 $[\operatorname{V}_S(\mathcal{P}) \times_S \mathbb{P}_S(S^d\mathcal{P}^*) / \mathbb{G}_m], w)$ 는 베론제 임bedding $\mathbb{P}_S(\mathcal{P}) \to \mathbb{P}_S(S^d\mathcal{P})$ 에 대해 약한 호모로지 프로젝티브 쌍대이다.
• Landau-Ginzburg 모델의 유도 카테고리는 쌍대 Lefschetz 컬렉션 $\langle \mathcal{B}_j(-j), \dots, \mathcal{B}_0 \rangle$ 을 가진다.
• 완전한 선형 섹션 $\mathbb{P}_S(\mathcal{P}) \times_{\mathbb{P}_S(S^d\mathcal{P})} \mathbb{P}_S(\mathcal{W})$ 에 대해, $r < \lceil (\operatorname{rk}\mathcal{P} - d)/d \rceil - 1$ 일 때, 유도 카테고리는 쌍대 LG 모델을 포함하는 준-직교 합으로 분해된다.
• $r \geq \lceil (\operatorname{rk}\mathcal{P} - d)/d \rceil - 1$ 일 때, LG 모델의 유도 카테고리는 선형 섹션의 유도 카테고리에 포함된다.
• 이 구성은 $d=2$일 때 Kuznetsov의 호모로지 프로젝티브 쌍대를 복원하며, 상대 설정으로 확장된다.
• $\mu^d$ 가 $w$ 의 고차 미분으로 주어지는 $\mathcal{A} = \bigoplus_{k \in \mathbb{Z}} u^k \mathcal{O}_{\mathbb{P}(S^d W^*)}(k) \otimes \Lambda^\bullet W^*$ 의 $A_\infty$-대수의 구조는 쌍대 공간의 비가환 해소를 제공한다.