곡선 위 Quot 스킴의 파생범주와 양자 루프군 작용에 관한 새로운 전이

초록

저자들은 매끄러운 사영곡선 위의 유한 길이 Quot 스킴에 대해, $\mathfrak{sl}_2$의 시프트된 양자 루프군의 범주적 작용을 정의하고, 이를 이용해 파생범주의 반직교 분해를 구축한다. 이 분해는 표현론적 기초를 갖으며, 결과적으로 자연스러운 타우토로지 벡터 번들의 공동동조군을 명시적으로 계산한다.

상세 분석

이 논문은 크게 세 부분으로 나뉜다. 첫 번째는 $\mathfrak{sl}2$의 시프트된 양자 루프군 $U_q(L\mathfrak{sl}2)$이 매끄러운 곡선 $C$ 위의 Quot 스킴 $\operatorname{Quot}d(V)$(여기서 $V$는 차수 $r$의 자유층)에 작용하는 범주적 퍼즐을 제시한다. 핵심은 두 종류의 기본 변환 $e_i$와 $f_i$(각각 길이 $d\to d+1$와 $d\to d-1$을 연결)와, 보조 변환 $m_j$(외곱 $\wedge^j\mathcal{E}$와 텐서 곱을 담당)이다. 이 변환들은 중첩 Quot 스킴 $\operatorname{Quot}{d,d+1}$와 그 위의 완전 교차 사상 $p\pm$를 이용해 정의되며, $L$-라인 번들 $\mathcal{L}$을 적절히 꼬아 넣어 $e_i(\gamma)=R(p+\times p_C)\big(\mathcal{L}^i\otimes Lp^-(\gamma)\big)$와 같은 형태를 갖는다. 저자들은 이러한 변환 사이에 존재하는 6가지 기본 관계(교환, 합성, 시프트 등)를 정리하고, 이를 통해 $U_q(L\mathfrak{sl}_2)$가 $D^b(\operatorname{Quot}_d)$ 위에 실제로 작용함을 보인다. 특히 $e_i$와 $f_j$ 사이의 관계는 $\Delta$-pullback을 통한 곱셈 연산과 일치하며, $m_r$와 $e_i$ 사이의 교환은 시프트된 대수 구조를 반영한다.

두 번째 핵심 결과는 위의 범주적 작용을 이용한 반직교 분해이다. $d$를 $r$개의 비음이 아닌 정수들의 합 $d=\sum_{k=0}^{r-1}d_k$ 로 적는다. 각 조합 $\mathbf{d}=(d_0,\dots,d_{r-1})$에 대해 대칭곱 $C^{(d_k)}$의 파생범주 $D(C^{(\mathbf{d})})$를 고려하고, 일련의 $e$-연산을 반복 적용해 전사함수 $ \Phi_{\mathbf{d}}: D(C^{(\mathbf{d})})\to D(\operatorname{Quot}d)$ 를 만든다. 저자들은 $\Phi{\mathbf{d}}$가 완전 충실(full and faithful)하고, 서로 다른 $\mathbf{d}$에 대해 상이한 이미지가 반직교(orthogonal)임을 증명한다. 따라서 \