[논문 리뷰] The fundamental theorem of homological projective duality via variation of GIT stability

Jørgen Vold Rennemo|arXiv (Cornell University)|2017. 05. 03.

Homotopy and Cohomology in Algebraic Topology참고 문헌 19인용 수 8

한 줄 요약

이 논문은 변동하는 GIT 안정성과 랑드-긴즈부르크 모델을 사용하여 카우츠노프의 호모로지적 프로젝티브 쌍대성의 기본 정리를 재증명하며, 매끄러운 몫 스택의 적합한 부분분류계에 대해 그 유효성을 확장하고 선다발의 전역 생성 조건을 완화한다. 주요 결과는 기저가 예상치 못한 차원을 가질 때조차도 기저 변경된 HP 쌍대성 다양체의 유도 범주에서 공통의 순서 없는 범주 $\chi_L$ 가 존재한다는 것이다.

ABSTRACT

We reprove Kuznetsov's "fundamental theorem of homological projective duality" using LG models and variation of GIT stability. This extends the validity of the theorem from smooth varieties to nice subcategories of smooth quotient stacks, and moreover shows that the line bundles polarising the varieties in HP duality do not have to be globally generated. The proof combines ideas from Kuznetsov's original proof with ideas from work of Ballard-Deliu-Favero-Isik-Katzarkov.

연구 동기 및 목표

• 매끄러운 프로젝티브 다양체를 넘어서 매끄러운 몰입 스택의 적합한 부분분류계로 쿠즈네цов의 호모로지적 프로젝티브 쌍대성의 기본 정리를 일반화하기.
• 극화 선다발이 전역 생성되어야 한다는 조건을 제거하여 특이점의 비가환 해석으로의 적용 범위를 넓히기.
• 행렬 인수화 범주와 변동하는 GIT 안정성을 활용하여 HP 쌍대성에 대한 강력한 범주적 기저 변경 구조를 수립하기.
• 기저가 예상치 못한 차원을 가질 때조차도 기본 정리에서 공통 범주 $\mathcal{C}_L$ 가 유지됨을 보여주기.

제안 방법

• 유도 범주와 몰입 스택의 관련된 행렬 인수화 범주를 구성하고 분석하기 위해 랑드-긴즈부르크 모델과 변동하는 GIT 안정성을 사용한다.
• $\widetilde{X} \times (V^\vee \setminus 0)/\mathbb{C}^*$ 위의 행렬 인수화 범주의 부분범주를 통해 범주적 기저 변경 $\mathcal{D}_{L^\perp}$ 와 쌍대 범주 $\mathcal{D}^\vee_L$ 를 정의한다.
• 순서 없는 분해와 레프슈체스 분해 이론을 적용하여 수직 조건과 수반 함자들을 통해 공통 범주 $\mathcal{C}_L$ 를 구성한다.
• 수반 함자 이론을 활용하여 $\mathcal{B}_i \cong \mathcal{A}_0 \cap \mathcal{A}_i^\perp$ 를 통해 쌍대 분해를 원래의 레프슈체스 구조와 연결한다.
• 쿠즈네цов의 작업에서 유도된 커널 구성과 기저 변경 체계를 적용하여, $Y$ 가 $\mathcal{D}^\vee$ 를 표현하고 $Y_L$ 이 기대되는 차원을 가질 때 $\mathcal{D}^\vee_L$ 와 $D^b(Y_L)$ 가 동치임을 보인다.
• 수반 함자 정리와 유도 범주 기법을 활용하여 $\mathcal{D}_{L^\perp}$ 와 $\mathcal{D}^\vee_L$ 에 대한 포함 사상의 완전 충실성과 순서 없는 성질을 검증한다.

실험 결과

연구 질문

• RQ1 호모로지적 프로젝티브 쌍대성의 기본 정리는 매끄러운 프로젝티브 다양체가 아닌 매끄러운 몰입 스택의 부분분류계로도 확장될 수 있는가?
• RQ2 극화 선다발이 전역 생성되어야 한다는 가정 없이도 정리가 성립하는가?
• RQ3 변동하는 GIT 안정성과 랑드-긴즈부르크 모델이 기하학적 일반성을 향상시키며 기본 정리를 새로운 방식으로 증명할 수 있는가?
• RQ4 기저가 예상치 못한 차원을 가질 때조차도 범주적 기저 변경 $\mathcal{D}_{L^\perp}$ 가 잘 정의되고 안정적인가?
• RQ5 $D^b(Y_L) \cong \mathcal{D}^\vee_L$ 가 성립하는 조건은 무엇이며, 이는 원래의 기하학적 HP 쌍대성 공식과 어떻게 관련되는가?

주요 결과

• 기본 정리는 $X = [A/G]$ 가 매끄러운 몰입 스택일 때, 매끄러운 프로젝티브 다양체가 아닌 $D^b(X)$ 의 적합한 부분분류계 $\mathcal{D} \subseteq D^b(X)$ 에 대해서도 성립한다.
• 증명 과정에서 극화 선다발 $\mathcal{L}$ 이 전역 생성되어야 한다는 조건이 필요하지 않으며, 이는 전역 생성되지 않은 선다발의 적용 범위를 넓힌다.
• 행렬 인수화 범주를 통한 $\mathcal{D}_{L^\perp}$ 와 $\mathcal{D}^\vee_L$ 의 구성은 $X_{L^\perp}$ 가 예상치 못한 차원을 가질 때조차도 잘 정의된 기저 변경을 보장한다.
• 공통의 삼각형 범주 $\mathcal{C}_L$ 이 $\mathcal{D}_{L^\perp}$ 와 $\mathcal{D}^\vee_L$ 양쪽 모두에 존재하며, 순서 없는 분해 $\mathcal{D}_{L^\perp} = \langle \mathcal{C}_L, \mathcal{A}_l(l\mathcal{L}), \dots \rangle$ 과 $\mathcal{D}^\vee_L = \langle \mathcal{B}_{l-1}(-(l-1)\mathcal{M}), \dots, \mathcal{C}_L \rangle$ 를 가진다.
• $\mathcal{B}_i$ 는 $\mathcal{A}_i$ 를 통해 $\mathcal{B}_i \cong \mathcal{A}_0 \cap \mathcal{A}_i^\perp$ 로 결정되며, 이는 쌍대성 구조를 유지한다.
• $\mathcal{C}_{V^\vee} = 0$ 일 때, 쌍대 범주 $\mathcal{D}^\vee$ 는 레프슈체스 분해 $\langle \mathcal{B}_{v-1}(-(v-1)\mathcal{M}), \dots, \mathcal{B}_m(-m\mathcal{M}) \rangle$ 를 가지며, 표준적인 HP 쌍대성 형태로 복원된다.