[논문 리뷰] Derived equivalences for cotangent bundles of Grassmannians via categorical sl(2) actions

Sabin Cautis, Joel Kamnitzer외 1명|arXiv (Cornell University)|2009. 02. 11.

Algebraic structures and combinatorial models참고 문헌 10인용 수 26

한 줄 요약

이 논문은 코타angent 번들의 보완 그라스만이안의 계량적 복합체의 유도 범주 사이의 명시적 동치를 categorical $\mathfrak{sl}_2$ 작용을 통해 수립한다: $D(T^*\text{Gr}(k,N)) \xrightarrow{\sim} D(T^*\text{Gr}(N-k,N))$. Chuang-Rouquier의 구성 방식을 유도 범주로 일반화하기 위해, categorical $\mathfrak{sl}_2$ 생성자와 그 수반 사상으로 구성된 함자 복합체를 정의하고, 그의 콘볼루션(convolution)이 유도 동치임을 증명한다. 핵심 결과는 자연스럽고 기하학적으로 의미 있는 동치로서, Mukai 플롭의 기존 결과를 복원하고, 일부 커널이 왜 $k \neq 0,1$ 일 때 동치를 유도하지 못하는지 설명한다.

ABSTRACT

We construct an equivalence of categories from a strong categorical sl(2) action, following the work of Chuang-Rouquier. As an application, we give an explicit, natural equivalence between the derived categories of coherent sheaves on cotangent bundles to complementary Grassmannians.

연구 동기 및 목표

• Chuang-Rouquier의 categorical $\mathfrak{sl}_2$-기반 동치 구성 방식을, 함자가 정확하지 않은 유도 범주로 확장한다.
• 보완 그라스만이안의 코타angent 번들의 계량적 복합체의 유도 범주 사이에 자연스러운 동치를 확립한다.
• 특정 커널, 예를 들어 $\mathcal{O}_{Z(k)}$ 가 $k \neq 0,1$ 일 때 왜 동치를 유도하지 못하는지에 대한 기하학적 설명을 제공한다.
• categorical $\mathfrak{sl}_2$ 작용을 통해 구성된 커널이 코hen-맥컬레이임을 보여주며, 이것이 왜 동치를 유도하는지 설명한다.

제안 방법

• 유도 범주에 대해 강한 categorical $\mathfrak{sl}_2$ 작용을 구성하며, 양자군 $U_q(\mathfrak{sl}_2)$의 분할 거듭제곱을 분류하는 등급을 가진 함자 $\mathsf{E}^{(r)}$ 및 $\mathsf{F}^{(r)}$를 포함한다.
• 수반 사상들을 미분으로 사용하여, 항들이 $\Theta_s := \mathsf{F}^{(\lambda+s)}(s) \circ \mathsf{E}^{(s)}(\lambda+s)\langle -s \rangle$ 인 복합체 $\Theta_*$ 를 정의한다.
• 이 복합체의 콘볼루션(convolution)이 유도 동치 $\mathsf{T}: \mathcal{D}(\lambda) \xrightarrow{\sim} \mathcal{D}(-\lambda)$ 임을 증명하며, 이는 $SL_2$ 표현 이론에서의 반사 함자로 일반화된다.
• 이 구성 방식을 그라스만이안의 코타angent 번들의 계량적 복합체의 유도 범주에 적용하며, $\mathcal{D}(k)$ 를 $D(T^*\text{Gr}(k,N))$ 로 식별한다.
• 결과로 얻어진 커널 $\mathcal{T} = \text{Cone}(\Theta_*)$ 가 $k=1$ 인 Mukai 플롭의 경우 $\mathcal{O}_{Z(1)}$ 와 선형 번들의 변형을 제외하고 동형임을 보이며, 기존의 동치를 복원한다.
• 또한 $\mathcal{T}$ 가 코헨-맥컬레이임을 보이고, $k \neq 0,1$ 일 때 $\mathcal{O}_{Z(k)}$ 는 아님을 보여, 일반적으로 $\mathcal{O}_{Z(k)}$ 가 동치를 유도하지 못하는 이유를 설명한다.

실험 결과

연구 질문

• RQ1 Chuang-Rouquier의 categorical $\mathfrak{sl}_2$-기반 동치 구성 방식을, 함자가 정확하지 않은 유도 범주로 확장할 수 있는가?
• RQ2 보완 그라스만이안의 코타angent 번들의 계량적 복합체의 유도 범주 사이에 자연스럽고 기하학적으로 의미 있는 동치가 존재하는가?
• RQ3 $T^*\text{Gr}(k,N)$ 의 경우 $k \neq 0,1$ 일 때, 자연스러운 후보임에도 불구하고 $\mathcal{O}_{Z(k)}$ 가 왜 동치를 유도하지 못하는가?
• RQ4 커널 $\mathcal{T}$ 와 $\mathcal{O}_{Z(k)}$ 를 구분하는 기하학적 또는 호몰로지적 성질은 무엇이며, 이것이 왜 $\mathcal{T}$ 가 동치를 유도하는지 설명하는가?
• RQ5 커널 $\mathcal{T}$ 는 열린 부분집합의 곱의 위상에서 선형 번들의 푸시포워드로 명시적으로 기술될 수 있는가?

주요 결과

• 복합체 $\Theta_*$ 의 콘볼루션은 유도 동치 $\mathsf{T}: \mathcal{D}(\lambda) \xrightarrow{\sim} \mathcal{D}(-\lambda)$ 를 유도하며, 이는 $SL_2$ 표현 이론의 반사 함자 방식을 유도 범주로 일반화한다.
• 구성된 동치는 모든 $k,N$ 에 대해 명시적이고 자연스러운 동치 $D(T^*\text{Gr}(k,N)) \xrightarrow{\sim} D(T^*\text{Gr}(N-k,N))$ 를 유도한다.
• $k=1$ 인 경우, 커널 $\mathcal{T}$ 는 선형 번들의 변형을 제외하고 $\mathcal{O}_{Z(1)}$ 와 동형이며, Kawamata와 Namikawa가 구성한 동치를 복원한다.
• $k=2$, $N=4$ 인 경우, 커널 $\mathcal{T}$ 는 Kawamata의 수정된 커널과 동형이며, 자동 동치로서의 타당성을 확인한다.
• $\mathcal{T}$ 는 코헨-맥컬레이임을 보이고, $k \neq 0,1$ 일 때 $\mathcal{O}_{Z(k)}$ 는 아님을 보여, 일반적으로 $\mathcal{O}_{Z(k)}$ 가 동치를 유도하지 못하는 이유를 설명한다.
• $k \neq 0,1$ 일 때 $Z(k)$ 의 비-코헨-맥컬레이 성질은 $\geq 2$ 차원에서의 부분다양체의 교차로 인해 발생하며, 이는 세르의 S2 조건을 위반한다.