[논문 리뷰] Derived categories of Quot schemes of locally free quotients via categorified Hall products

Yukinobu Toda|arXiv (Cornell University)|2021. 10. 06.

Algebraic structures and combinatorial models참고 문헌 21인용 수 4

한 줄 요약

이 논문은 분류화된 할 제품을 그라스만이 플립에 적용하여 국소 자유 몫의 Quot 스킴의 호모토피 카테고리의 준직교 분해에 대한 청위엔 장의 추측을 증명한다. 핵심 결과는 $ D^b(\mathbf{Quot}_{X,d}(\mathscr{G})) $ 가 $ \binom{\delta}{i} $ 개의 $ D^b(\mathbf{Quot}_{X,d-i}(\mathscr{H})) $ 복사본으로 준직교 분해됨을 보이며, 카프란옵의 예외적 집합과 프로젝티비제이션 공식과 같은 알려진 공식을 일반화한다.

ABSTRACT

We prove Qingyuan Jiang's conjecture on semiorthogonal decompositions of derived categories of Quot schemes of locally free quotients. The author's result on categorified Hall products for Grassmannian flips is applied to prove the conjecture.

연구 동기 및 목표

• 국소 자유 몰입 몫의 Quot 스킴의 유도 카테고리에 대한 준직교 분해에 관한 청위엔 장의 추측을 증명하는 것.
• 그라스만이 스킴에 대한 프로젝티비제이션 공식과 카프란옵의 예외적 집합과 같은 기존 결과를 일반화하는 것.
• 분류화된 할 제품과 그라스만이 플립을 이용하여 Quot 스킴에 대한 유도 카테고리적 구조를 수립하는 것.
• 쿼버 표현의 모듈리 스택 가중치가 초잠재함수를 갖는 가족으로 이 프레임워크를 확장하는 것.

제안 방법

• 분류화된 할 제품을 이용하여 $(-1)$-시프트된 코탄제인트 유도 스킴 위에서 코즐 듀얼리티를 통해 구성된 그라스만이 플립의 가족에 적용한다.
• d-비판적 그라스만이 플립 이론을 적용하여 유도 Quot 스킴을 초잠재함수를 갖는 표현의 모듈리로 해석한다.
• 무게 수열에 대한 사전순서를 사용하여 유도 카테고리 내의 준직교 성분을 정의한다.
• 분류화된 할 제품에 의해 유도되는 완전충실 함자들을 사용하여 $ D^b(\mathbf{Quot}_{X,d-i}(\mathscr{H})) $ 를 $ D^b(\mathbf{Quot}_{X,d}(\mathscr{G})) $ 에 매립한다.
• 우변의 수반을 갖는 분류화된 할 제품의 전역 구성에 의존하여 형식적 국소적 추론을 통해 준직교 분해를 보장한다.
• 선형 번들 정의를 위해 결정식 특성 $ \chi_0 $ 를 사용하여 합성원소의 무게 기반 분류를 가능하게 한다.

실험 결과

연구 질문

• RQ1 유도 카테고리 $ D^b(\mathbf{Quot}_{X,d}(\mathscr{G})) $ 는 장이 추측한 lin{\mathbf{Quot}_{X,d-i}(\mathscr{H}))} 로의 $ \binom{\delta}{i} $ 개 복사본으로 준직교 분해가 가능한가?
• RQ2 분류화된 할 제품 체계는 기저 스킴 $ X $ 위의 그라스만이 플립 가족으로 확장되어 준직교 구조를 유지하는가?
• RQ3 적절한 조건 하에서 유도 Quot 스킴 $ \mathbf{Quot}_{X,d}(\mathscr{G}) $ 는 d-비판적 스킴으로서 그라스만이 플립을 모델링하는가?
• RQ4 유도 Quot 스킴 $ \mathbf{Quot}_{X,d}(\mathscr{G}) $ 의 가상 차원은 $ \mathscr{E}^0 $ 의 질량 $ \delta $ 와 정수 $ d $ 와 어떻게 관련이 있는가?
• RQ5 만약 $ \delta \geq 0 $ 이면, $ D^b(\mathbf{Quot}_{X,d}(\mathscr{G})) $ 는 $ \binom{\delta}{i} $ 개의 $ D^b(\mathbf{Quot}_{X,d-i}(\mathscr{H})) $ 로 분해될 수 있는가?

주요 결과

• 모든 $ 0 \leq i \leq \min\{d, \delta\} $ 에 대해 $ D^b(\mathbf{Quot}_{X,d}(\mathscr{G})) $ 는 $ \binom{\delta}{i} $ 개의 $ D^b(\mathbf{Quot}_{X,d-i}(\mathscr{H})) $ 복사본으로 준직교 분해가 가능하며, 이는 장의 추측을 증명한다.
• 이 결과는 $ X $ 를 한 점으로, $ \mathscr{G} $ 를 질량 $ \delta $ 의 국소 자유층으로 설정함으로써 카프란옵의 그라스만이에 대한 예외적 집합을 일반화한다.
• 프로젝티비제이션 공식은 주요 정리의 특수한 경우로 $ d=1 $ 일 때 복원된다.
• 만약 $ \mathscr{G} $ 가 호모로지 차원 $ \leq 1 $ 을 갖는다면, $ \mathbf{Quot}_{X,d}(\mathscr{G}) $ 와 $ \mathbf{Quot}_{X,d}(\mathscr{H}) $ 의 유도 스킴은 토르 독립성 조건 하에서 고전적 대응체와 동치이다.
• 분류화된 할 제품 구성은 $ D^b(\mathbf{Quot}_{X,d-i}(\mathscr{H})) \hookrightarrow D^b(\mathbf{Quot}_{X,d}(\mathscr{G})) $ 를 만족하는 완전충실 함자를 유도하며, 커널은 명시적으로 기술되지 않았다.
• 이 분해는 $ \mathbb{C}^* $-작용과 결정식 특성 $ \chi_0 $ 와 호환되며, 모듈리 스킴 위의 무게-등급 구조를 보장한다.