[논문 리뷰] Tilting bundles via the Frobenius morphism

Alexander Samokhin|arXiv (Cornell University)|2009. 04. 08.

Algebraic Geometry and Number Theory참고 문헌 38인용 수 7

한 줄 요약

이 논문은 양의 특성에서 특정 매끄러운 대수기하학적 다양체 위에서 프로베누스 사상에 의한 구조층의 엔도모르피즘 층의 코homology를 계산한다. 토릭 팔로, 프로젝티브 평면의 블로우업(예: 델 페초 표면) 및 A₂와 B₂ 유형의 동차 공간에 대해 특성 p가 충분히 클 경우 고차 코homology 군이 모두 0이 됨을 보이며, 이는 유도 범주에서 생성자가 되는 조건 하에 프로베누스 푸시포워드가 타일팅 번들의 성질을 가짐을 의미한다.

ABSTRACT

We show how to construct tilting bundles for a class of smooth projective varieties using characteristic $p$ methods. Given such a variety $X$, reduce it modulo a prime number and consider the direct image of the structure sheaf under the Frobenius morphism. We prove that under suitable restrictions on the characteristic, these direct images are tilting bundles for some toric Fano varieties, Del Pezzo surfaces, and flag varieties $G/B$ of type $A_2$ and $B_2$.

연구 동기 및 목표

• 양의 특성에서 매끄러운 다양체에 대해 프로베누스 푸시포워드의 구조층의 엔도모르피즘 층의 고차 코homology 군이 언제 0이 되는지 규명하는 것.
• 유도 범주 $\mathrm{D}^b(X)$에서 $\mathcal{F}_*\mathcal{O}_X$가 생성자가 되고 고차 코homology 군 $\mathrm{H}^i(X, \mathrm{End}(\mathcal{F}_*\mathcal{O}_X))$가 $i > 0$일 때 0이 되는 조건을 확인하여, 이로 인해 $\mathcal{F}_*\mathcal{O}_X$가 타일팅 번들이 되는지 확인하는 것.
• 델 페초 표면 및 토릭 팔로 다양체와 같은 비동차 사례에서 $\mathcal{F}_*\mathcal{O}_X$가 유도 범주 $\mathrm{D}^b(X)$에서 생성자가 되는지 검증하는 것.
• 심플렉틱 다양체를 초월하여 프로베누스 사상과 유도 국소화 정리의 활용을 통해 양의 특성에서 타일팅 동치의 프레임워크를 확장하는 것.
• 토릭 다양체 및 동차 공간과 같이 전체 강한 예외적 컬렉션을 갖는 것으로 추측되는 다양체들에서 타일팅 번들의 존재에 대한 증거를 제공하는 것.

제안 방법

• 블로우업과 프로베누스 역상과 관련된 스펙트럴 시퀀스 및 장기 정확한 코homology 시퀀스를 이용하여 $\mathrm{H}^i(X, \mathrm{End}(\mathcal{F}_*\mathcal{O}_X))$를 계산하는 것.
• 특성 $p > h$일 때, $\mathrm{G}/\mathrm{P}$-동차 공간에 대해 유도 국소화 정리를 적용하여 $\mathcal{F}_*\mathcal{O}_{\mathrm{G}/\mathrm{P}}$가 생성자가 됨을 보이는 것.
• 델 페초 표면의 구성에서 블로우업의 수에 대한 귀납법을 사용하며, 예외적 인수의 거듭제곱으로 휘어진 층의 코homology를 분석하는 것.
• 함수자기 $\pi_k^*$와 $\pi_{k*}$의 합성에 대해 코호몰로지 시퀀스를 계산하기 위해 그로텐디크 스펙트럴 시퀀스를 활용하는 것.
• 특수 인수의 지지에 있는 층들 위에서 프로베누스 사상과 그 쌍대 $\mathcal{F}^{n!}$의 행동을 분석하며, 특히 형식적 이웃에서의 행동을 고려하는 것.
• 등식 $\mathrm{R}^1\pi_{k*}(\mathcal{F}^{n!}(i_*\mathcal{O}_{l_{k+1}}(-1))) = 0$을 적용하여 귀납 단계에서 코호몰로지 군의 소멸을 유도하는 것.

실험 결과

연구 질문

• RQ1 양의 특성에서 매끄러운 다양체 $X$에 대해 $\mathrm{H}^i(X, \mathrm{End}(\mathcal{F}_*\mathcal{O}_X))$가 $i > 0$일 때 어떤 조건에서 0이 되는가?
• RQ2 유도 범주 $\mathrm{D}^b(X)$에서 생성자가 되고 고차 코호몰로지가 0이 되는 조건 하에 프로베누스 푸시포워드 $\mathcal{F}_*\mathcal{O}_X$가 $X$ 위에서 타일팅 번들이 될 수 있는가?
• RQ3 토릭 팔로, 델 페초 표면, $\mathrm{G}/\mathrm{P}$-동차 공간과 같은 어떤 유형의 다양체에서 $\mathcal{F}_*\mathcal{O}_X$가 양의 특성에서 타일팅 번들을 제공하는가?
• RQ4 $\mathrm{G}/\mathrm{P}$-공간에 대해 유도 국소화 정리가 특성 $p > h$일 때 $\mathcal{F}_*\mathcal{O}_{\mathrm{G}/\mathrm{P}}$가 생성자가 되도록 보장하는 방식은 무엇인가?
• RQ5 특히 심플렉틱 구조가 아닌 설정에서, 코호몰로지 소멸을 통해 타일팅 번들을 구성하는 데 프로베누스 사상이 수행하는 역할은 무엇인가?

주요 결과

• 토릭 팔로 다양체에서 양의 특성에서 고차 코호몰로지 군 $\mathrm{H}^i(X, \mathrm{End}(\mathcal{F}_*\mathcal{O}_X))$는 $i > 0$일 때 0이 된다.
• 프로젝티브 평면 $\mathbb{P}^2$의 블로우업으로 얻어진 델 페초 표면에 대해, $\mathrm{H}^i(X, \mathrm{End}(\mathcal{F}_*\mathcal{O}_X))$는 $i > 0$일 때 0이 되며, 이는 $\mathcal{F}_*\mathcal{O}_X$가 생성자가 되면 타일팅 번들이 됨을 의미한다.
• 유형 $\mathrm{A}_2$ 및 $\mathrm{B}_2$의 동차 공간 $\mathrm{G}/\mathrm{P}$에서 특성 $p > h$일 때 $\mathcal{F}_*\mathcal{O}_{\mathrm{G}/\mathrm{P}}$는 $\mathrm{D}^b(\mathrm{G}/\mathrm{P})$에서 생성자가 되며, 고차 코호몰로지의 소멸은 이가 타일팅 번들이 됨을 의미한다.
• 블로우업의 귀납적 구성에서 $X_k$에서의 코호몰로지 $\mathrm{H}^i(X_k, \mathcal{E}_k \otimes \mathcal{J}_{x_{k+1}}^{p^n - 1})$는 $i > 0$일 때 0이 되며, 이는 주요 코호몰로지 소멸을 뒷받침한다.
• 특수 인수 $D_k = l_1 + \dots + l_k$를 가진 $X_k$에서, 군 $\mathrm{Ext}^i(\mathcal{F}^{n}_*\mathcal{O}_{X_k}(D_k), \mathcal{F}^{n}_*\mathcal{O}_{X_k}(D_k))$는 $i > 0$일 때 0이 되며, 이는 휘어진 번들의 타일팅 성질을 확인한다.
• 특수 시퀀스에 관련된 $\mathcal{M}_k$와 $\mathcal{J}_{x_{k+2}}^{p^n - 1}$의 스펙트럴 시퀀스는 $\mathrm{H}^1$ 및 $\mathrm{H}^2$ 항이 0이 되므로 붕괴되며, 이는 귀납 단계에서의 핵심 코호몰로지 소멸을 증명한다.