[논문 리뷰] A short resolution of the diagonal for smooth projective toric varieties of Picard rank 2

Michael K. Brown, Mahrud Sayrafi|arXiv (Cornell University)|2022. 08. 01.

Algebraic Geometry and Number Theory인용 수 5

한 줄 요약

이 논문은 Picard 계수 2인 매끄럽고 사영적인 토릭 다양체에 대해 Weyman의 기하 기법의 변종을 사용하여 대각선의 짧은 해상도를 구성한다. 이는 $X \times X$ 위의 대각선의 구조층을, 차원이 $\dim X$인 선형 복합체로, 선형 결합의 유한한 합으로 이루어진 선다발들로 구성된 것으로, $X \times X$의 Cox 링 위에서 자유 해상도를 구성한다. 주요 기여는 가상 해상도에 관한 Berkesch–Erman–Smith 추측의 새로운 경우를 증명하고, 이러한 다양체에서 벡터 다발에 대한 Horrocks 유형의 분할 기준을 확립하는 것이다.

ABSTRACT

Given a smooth projective toric variety $X$ of Picard rank 2, we resolve the diagonal sheaf on $X imes X$ by a linear complex of length $\dim{X}$ consisting of finite direct sums of line bundles. As applications, we prove a new case of a conjecture of Berkesch-Erman-Smith that predicts a version of Hilbert's Syzygy Theorem for virtual resolutions, and we obtain a Horrocks-type splitting criterion for vector bundles over smooth projective toric varieties of Picard rank 2, extending a result of Eisenbud-Erman-Schreyer. We also apply our results to give a new proof, in the case of smooth projective toric varieties of Picard rank 2, of a conjecture of Orlov concerning the Rouquier dimension of derived categories.

연구 동기 및 목표

• 매끄럽고 사영적인 토릭 다양체 $X$의 Picard 계수 2에 대해 $X \times X$ 위의 대각선 구조층에 대한 짧고 선형적인 해상도를 구성한다.
• 공동 대수학에서 가상 해상도에 관한 Berkesch–Erman–Smith 추측의 새로운 경우를 증명한다.
• 매끄럽고 사영적인 토릭 다양체의 Picard 계수 2에 대해 벡터 다발에 대한 Horrocks 유형의 분할 기준을 확립한다.
• 이 설정에서 유도 범주의 Rouquier 차원에 대한 Orlov의 추측에 대한 새로운 증명을 제공한다.

제안 방법

• Cox 링의 $X \times X$ 위에서 자유 해상도를 구성하기 위해 Weyman의 기하 기법의 변종을 사용한다.
• 대각선을 정의하는 관계 $x_i - x'_i$를 $X \times X$ 위의 토릭 섬유다발 $E$를 사용하여 동차화하며, 섬유는 $\mathbb{F}_{a_s}$이다.
• 해상도를 $E$ 위에서 동차화된 관계에 대한 편향된 Koszul 복합체의 편성으로 구성한다.
• 결과로 얻어진 복합체 $R$가 선형이고 길이가 $\dim X = r + s$이며, 항이 선다발의 유한한 합으로 이루어지도록 보장한다.
• Cox 링의 군집 구조와 $M_{r-e,s-f}$의 단항식의 조합론을 활용하여 코homology의 소멸 조건을 제어한다.
• 스펙트럴 시퀀스 기법을 적용하여 유도 범주를 분석하고, BGG 유형 복합체의 소멸 조건을 통해 분할 기준을 증명한다.

실험 결과

연구 질문

• RQ1 Picard 계수 2인 매끄럽고 사영적인 토릭 다양체에 대해, 항이 선다발의 유한한 합이고 길이가 $\dim X$인 대각선에 대한 짧은 해상도를 구성할 수 있는가?
• RQ2 이러한 해상도의 존재가 이 다양체들에 대해 Berkesch–Erman–Smith 추측의 가상 해상도에 대한 성립을 의미하는가?
• RQ3 이 설정에서 벡터 다발에 대한 Horrocks 유형의 분할 기준을 확립할 수 있는가?
• RQ4 이 해상도가 매끄럽고 사영적인 토릭 다양체의 Picard 계수 2에 대해 $\operatorname{D}^b(X)$의 Rouquier 차원에 대한 Orlov의 추측을 함의하는가?
• RQ5 nef 순서는 분할 기준에서 어떤 역할을 하는가? 그리고 왜 효과적 순서에서는 실패하는가?

주요 결과

• 대각선의 구조층 $\mathcal{O}_\Delta$에 대한 해상도 $\mathcal{R}$가 $X \times X$ 위에 구성되며, 길이가 $\dim X = r + s$이고 항이 선다발의 유한한 합인 복합체로 구성된다.
• 해상도는 양의 차수에서 선형적이고 정확하며, $\operatorname{rank} R_n = \binom{r+s}{n} \dim_k H^0(\mathbb{F}_{a_s}, \mathcal{O}(r,s))$를 만족하고, $\operatorname{rank} R_n = \operatorname{rank} R_{r+s-n}$를 만족한다.
• 이 해상도는 Picard 계수 2인 매끄럽고 사영적인 토릭 다양체에 대해 Berkesch–Erman–Smith의 추측 1.2를 증명하며, Cox 링 위의 모든 유한 생성된 군집 모듈러스가 길이가 최대 $\dim X$인 가상 해상도를 가짐을 보여준다.
• Horrocks 유형의 분할 기준이 확립된다: $X$ 위의 벡터 다발 $\mathcal{E}$는 $\mathbf{B}(\mathcal{E})_1 = 0$일 때이고, 오직 그 때에만 선다발의 직합으로 분해된다. 여기서 $\mathbf{B}(\mathcal{E})_1$는 BGG 유형의 스펙트럴 시퀀스의 첫 번째 페이지이다.
• 이 해상도는 $\operatorname{D}^b(X)$의 Rouquier 차원에 대한 Orlov의 추측에 대한 새로운 증명을 제공하며, 이는 매끄럽고 사영적인 토릭 다양체의 Picard 계수 2에 대해 차원과 같음을 보여준다.
• 효과적 순서에서는 증명이 실패한다. 특정 히르체브르흐 표면의 선다발 $\mathcal{O}(a,-1)$에 대해 $\mathbf{B}(\mathcal{O}(a,-1))_1$이 0이 아니기 때문이며, 이는 nef 순서의 필요성을 강조한다.