[논문 리뷰] Matrix factorizations and singularity categories for stacks

Alexander Polishchuk, Arkady Vaintrob|arXiv (Cornell University)|2010. 11. 20.

Algebraic structures and combinatorial models참고 문헌 14인용 수 8

한 줄 요약

이 논문은 선형 번들의 섹션인 잠재력 $W$ 를 가진 대수적 스택에 대해 오르로프의 행렬 분해와 특이성 카테고리 사이의 동치를 일반화한다. 스택 위의 행렬 분해의 유도된 카테고리, $W$ 의 영점의 특이성 카테고리와의 동치, 상대적으로 온전한 지지에 대해 호환 가능한 추론 함수를 구성함으로써 랑두-긴츠부르크 모델과 코homological field theory 응용이 가능해진다.

ABSTRACT

We study matrix factorizations of a section W of a line bundle on an algebraic stack. We relate the corresponding derived category (the category of D-branes of type B in the Landau-Ginzburg model with potential W) with the singularity category of the zero locus of W generalizing a theorem of Orlov. We use this result to construct push-forward functors for matrix factorizations with relatively proper support.

연구 동기 및 목표

• 대수적 스택에 대해 잠재력 $W$ 가 선형 번들의 섹션인 경우 오르로프의 행렬 분해와 특이성 카테고리 사이의 동치를 일반화하는 것.
• 지지가 국소적으로 수축 가능한 물체로 나누어진 호모토피 카테고리의 몫으로서 $\operatorname{DMF}(X,W)$ 를 정의함으로써 특이성 카테고리와의 호환성을 확보하는 행렬 분해의 유도된 카테고리 정의.
• 상대적으로 온전한 지지에 대해 유도된 특이성 카테고리 동치를 사용하여 행렬 분해의 추론 함수를 구성함으로써 코homological field theory 응용 가능하게 하는 것.
• 유도된 추론과 준-행렬 분해를 통한 추론 간의 호환성 확립.
• 후속 연구 [27] 에서 다루는 바와 같이 랑두-긴츠부르크 모델에서 코homological field theory 의 대수적 구조를 만들기 위한 기초를 마련하는 것.

제안 방법

• $\operatorname{DMF}(X,W)$ 를 $\operatorname{HMF}(X,W)$ 의 호모토피 카테고리에서 국소적으로 수축 가능한 행렬 분해의 삼각형 부분카테고리로 나누어 정의한다.
• 비자명한 선형 번들의 잠재력에 대해 $\mathbb{Z}$-등급 dg-카테고리의 행렬 분해를 도입하여 $\mathbb{Z}/2$-등급의 경우를 일반화한다.
• 오르로프의 정리의 일반화를 증명한다: 매끄러운 대수적 스택 $X$ 와 비영인자 잠재력 $W$ 에 대해 $\operatorname{DMF}(X,W) \simeq D_{\operatorname{Sg}}(X_0)$ 이며, 여기서 $X_0 = Z(W)$ 이다.
• 이 동치를 이용해 $f: X \to Y$ 가 표현 가능하고 영점 위에서 피보리가 온전한 경우, $\overline{\operatorname{DMF}}(X,Z;f^*W) \to \overline{\operatorname{DMF}}(Y,f(Z);W)$ 의 추론 함수 $Rf_*$ 를 정의한다.
• 유도된 추론과 준-행렬 분해를 통한 추론 간의 호환성을, 등가 함수 $\mathfrak{C}$ 와 $\mathfrak{C}^\infty$ 를 포함하는 가환 다이어그램을 통해 확립한다.

실험 결과

연구 질문

• RQ1 잠재력 $W$ 가 비자명한 선형 번들의 섹션인 대수적 스택에 대해 오르로프의 행렬 분해와 특이성 카테고리 사이의 동치를 어떻게 일반화할 수 있는가?
• RQ2 만약 $X$ 가 아핀이 아니고 $W$ 가 $\mathcal{O}_X$ 의 전역 섹션이 아닌 경우, 올바른 유도된 행렬 분해 카테고리 $\operatorname{DMF}(X,W)$ 는 무엇인가? 이는 올바른 호모로지 불변량을 포착해야 한다.
• RQ3 모르피즘이 유한하거나 온전하지 않은 경우, 특히 무한 랭크 객체가 존재할 경우, 행렬 분해의 유도된 카테고리 설정에서 추론 함수는 어떻게 정의할 수 있는가?
• RQ4 특이성 카테고리 동치를 사용하여, 예를 들어 준-행렬 분해와 유도된 카테고리 형식론 간의 일관되고 호환 가능한 추론 구조를 정의할 수 있는가?
• RQ5 이 틀을 사용하여, 팬-자르비스-루안 이론에서처럼 랑두-긴츠부르크 모델에서 코homological field theory 의 대수적 동반체를 만들 수 있는가?

주요 결과

• 매끄러운 대수적 스택 $X$ 와 잠재력 $W$ 를 가진 $\operatorname{DMF}(X,W)$ 의 유도된 카테고리가 $W$ 의 영점 $X_0 = Z(W)$ 의 특이성 카테고리 $D_{\operatorname{Sg}}(X_0)$ 와 동치임을 보였다. 이는 오르로프의 아핀 결과를 일반화한다.
• 기술적 조건을 만족할 경우, 즉 $W$ 와 $f^*W$ 가 비영인자이고 $X$ 가 매끄러운 FCDRP-스택일 경우, 동치 $\operatorname{DMF}(X,W) \simeq D_{\operatorname{Sg}}(X_0)$ 가 성립한다.
• 상대적으로 온전한 지지를 가진 행렬 분해에 대해 특이성 카테고리 동치와 온전한 성질을 사용하여 추론 함수 $Rf_*$ 를 구성하였다.
• 등가 함수 $\mathfrak{C}$ 와 $\mathfrak{C}^\infty$ 를 포함하는 가환 다이어그램을 통해, 유도된 추론이 준-행렬 분해를 통한 추론과 호환됨을 보였다.
• 이 구성은 후속 연구 [27] 에서 예정된 대로 랑두-긴츠부르크 모델에서 코homological field theory 의 대수적 접근법을 위한 기초를 제공한다.
• 평탄한 모르피즘 $f$ 에 대해 $\operatorname{Hom}(\bar{E}, Rf_*\bar{F}) \simeq \operatorname{Hom}(f^*\bar{E}, \bar{F})$ 의 수반 관계가 성립하며, 이는 고전적인 유도 카테고리의 수반 관계를 일반화한다.