[논문 리뷰] Graded tilting for gauged Landau-Ginzburg models and geometric applications

Christian Okonek, Andrei Teleman|arXiv (Cornell University)|2019. 07. 23.

Advanced Measurement and Metrology Techniques인용 수 6

한 줄 요약

이 논문은 프로젝트브 다항식 위의 벡터(bundle)에서 정규 섹션의 영점의 기하학적 구조와 비가환 몫 대수의 그레디드 특이점 범주 사이의 그레디드 타일팅 동치를 수립한다. 게이지된 랑두-긴츠부르크 모델과 ${\mathbb{C}}^*$--equivariant 유도 범주를 이용하여, 완전 교차, 등방성 그라스만이안, 그리고 베유비유-도나기 IHS 4-다양체의 유도 범주를 비가환 해석을 통해 기술한다.

ABSTRACT

In this paper we develop a graded tilting theory for gauged Landau-Ginzburg models of regular sections in vector bundles over projective varieties. Our main theoretical result describes - under certain conditions - the bounded derived category of the zero locus $Z(s)$ of such a section $s$ as a graded singularity category of a non-commutative quotient algebra $\\Lambda/\\langle s\ angle$: $D^b(\\mathrm{coh} Z(s))\\simeq D^{\\mathrm{gr}}_{\\mathrm{sg}}(\\Lambda/\\langle s\ angle)$. Our geometric applications all come from homogeneous gauged linear sigma models. In this case $\\Lambda$ is a non-commutative resolution of the invariant ring which defines the $\\mathbb{C}^*$-equivariant affine GIT quotient of the model. We obtain purely algebraic descriptions of the derived categories of the following families of varieties: - Complete intersections. - Isotropic symplectic and orthogonal Grassmannians. - Beauville-Donagi IHS 4-folds.

연구 동기 및 목표

• 프로젝트브 다양체 위의 벡터(bundle)에서 정규 섹션과 관련된 게이지된 랑두-긴츠부르크 모델에 대한 그레디드 타일팅 이론을 개발한다.
• 영점의 기하학적 구조 $Z(s)$ 위의 유한 유도 범주 $D^b(\mathrm{coh} Z(s))$를 비가환 몫 대수 $\Lambda / \langle s \rangle$의 그레디드 특이점 범주로 기술한다.
• 이 틀을 동차 게이지된 선형 시그마 모델(GLSM)에 적용하여, 칼라비-유와 하이퍼-카일러 다양체의 특정 가닥에 대한 유도 범주의 대수적 기술을 도출한다.
• 유도 범주와 같은 기하학적 불변량 간의 연결 고리를 ${\mathbb{C}}^*$-equivariant 타일팅과 GIT 몫 구성법을 통해 비가환 대수적 구조로 수립한다.
• 이식-시프만 정리를 그레디드 타일팅 설정으로 일반화하여 특이점과 비가환 해석의 맥락에서 유도 동치를 가능하게 한다.

제안 방법

• 이식-시프만 정리를 활용하여 $D^b(\mathrm{coh} Z(s))$를 잠재함수 $s^\vee$의 그레디드 특이점 범주 $D^{\mathrm{gr}}_{\mathrm{sg}}(Z(s^\vee))$와 연결한다.
• 벡터(bundle)의 전체 공간 $E$ 위에서 그레디드 타일팅 생성자 $\mathcal{T}$를 구성하여 대수 $\Lambda = \mathrm{End}_E(\mathcal{T})$를 도출한다.
• 기하적 구조 $C(E)$의 좌표환을 $R = \mathbb{C}[C(E)]$로 정의하고, $D^b(\mathrm{coh} Z(s))$와 $D^{\mathrm{gr}}_{\mathrm{sg}}(\Lambda / \langle s \rangle)$ 사이의 유도 동치를 수립한다.
• 동차 GLSM에 이 이론을 적용하여, $\Lambda$가 ${\mathbb{C}}^*$-equivariant GIT 몫을 정의하는 불변환의 비가환 그레디드 해석임을 보인다.
• 켐프프 붕괴와 랭크 분할을 활용하여 카타렉티언트 다양체 $S^dV^\vee_{\leq k}$의 기하학을 분석하고, 특이점 집합과 여부를 규명한다.
• $\rho^{-1}(S^dV^\vee_r)$가 $S^dV^\vee_r$ 위의 피브어 밴들로 구성되어 있음을 이용하여 차원과 여부를 계산하며, 특히 $\rho^{-1}(\mathrm{Exc}(\rho))$의 경우에 초점을 맞춘다.

실험 결과

연구 질문

• RQ1 게이지된 랑두-긴츠부르크 모델에 대해 그레디드 타일팅 이론을 개발하여 정규 섹션의 영점의 유도 범주를 기술할 수 있는가?
• RQ2 $D^b(\mathrm{coh} Z(s))$가 그레디드 특이점 범주 $D^{\mathrm{gr}}_{\mathrm{sg}}(\Lambda / \langle s \rangle)$와 동치가 되는 조건은 무엇인가?
• RQ3 동차 GLSM에서의 불변환의 비가환 해석을 통해 완전 교차와 등방성 그라스만이안의 유도 범주를 어떻게 기술할 수 있는가?
• RQ4 켐프프 붕괴 $\rho: S^d T_k \to S^d V^\vee_{\leq k}$에서 예외적 집합 $\mathrm{Exc}(\rho)$의 여부는 랭크와 차수에 따라 어떻게 변하는가?
• RQ5 베유비유-도나기 IHS 4-다양체의 유도 범주는 이 타일팅 틀을 통해 대수적으로 기술할 수 있는가?

주요 결과

• 유도 범주 $D^b(\mathrm{coh} Z(s))$는 $\Lambda$가 유한한 그레디드 전역 차원을 갖는 그레디드 노에테르 대수일 때, 그레디드 특이점 범주 $D^{\mathrm{gr}}_{\mathrm{sg}}(\Lambda / \langle s \rangle)$와 동치이다.
• 동차 GLSM의 경우, $\Lambda$는 ${\mathbb{C}}^*$-equivariant GIT 몫을 정의하는 불변환 $R = \mathbb{C}[C(E)]$의 그레디드 비가환 해석이다.
• $C(S^d T_k)$는 카타렉티언트 다양체 $S^d V^\vee_{\leq k}$와 일치하며, 이는 기약적이고, 정규적이며, 코hen-맥컬레이이며, $S^d V^\vee_{\leq k-1}$에서 유리 특이점을 갖는다.
• $\rho^{-1}(\mathrm{Exc}(\rho))$의 $S^d T_k$에서의 여부는 $\min_{0 \leq r < k} \left\{ \binom{k+d-1}{d} - \binom{r+d-1}{d} - r(k-r) \right\}$로 주어지며, $d=2$일 경우 항상 1이다.
• $q \in S^d V^\vee_r$에서 $\rho$의 섬유는 $\mathrm{Gr}_{k-r}(V^\vee / L_q)$와 동형이며, 이는 각 분할 $S^d V^\vee_r$ 위에서 피브어 밴들로 구성되어 있음을 확인한다.
• $\rho^{-1}(S^d V^\vee_r)$의 차원은 $\binom{r+d-1}{d} + r(N-r) + (k-r)(N-k)$로 주어지며, 켐프프 붕괴의 정확한 분할을 제공한다.