[논문 리뷰] A vanishing theorem for sheaves of small differential operators in positive characteristic

Alexander Samokhin|arXiv (Cornell University)|2007. 07. 06.

Algebraic Geometry and Number Theory참고 문헌 18인용 수 4

한 줄 요약

이 논문은 정수형 특성 p에서 incidence 다양체(형 A_n의 부분 플라그 다양체)와 매끄러운 쌍곡선 위에서의 작은 미분 연산자층에 대한 소멸 정리를 확립한다. p가 Coxeter 수를 초과할 경우, Frobenius 푸시포워드의 구조층의 내부함수층의 고차 코homology 군이 소멸함을 증명한다. 유도 국소화와 코homological 기법을 사용하여 이러한 조건 하에서 Frobenius 푸시포워드가 틸팅 번들임을 보이며, 정수형 특성에서 D-유사성과 유도 동치의 결과를 확장한다.

ABSTRACT

Let $X$ be a smooth variety over an algebraically closed field $k$ of positive characteristic, ${ m D}_X$ the sheaf of PD-differential operators, and ${\bar D}_X$ its central reduction, the sheaf of small differential operators. In this paper we show that if $X$ is a line-hyperplane incidence variety (a partial flag variety of type $(1,n,n+1)$) or a quadric of arbitrary dimension (in this case the characteristic is supposed to be odd) then ${ m H}^{i}(X,{\bar D}_X)=0$ for $i>0$. Using this vanishing result and the derived localization theorem for crystalline differential operators (\cite{BMR}) we show that the Frobenius pushforward of the structure sheaf is a tilting bundle on these varieties, provided that $p>h$, the Coxeter number of the corresponding group.

연구 동기 및 목표

• 특정 동차 공간에서 정수형 특성에서 작은 미분 연산자층의 코homology 소멸을 확립하는 것.
• 정수형 특성 환경으로의 D-유사성 및 유도 국소화 이론을 확장하는 것.
• p > h일 때 incidence 다양체와 매끄러운 쌍곡선에서 구조층의 Frobenius 푸시포워드가 틸팅 번들임을 증명하는 것.
• 동차 공간 G/P에서 작은 미분 연산자층의 코homology 소멸에 대한 보다 광범위한 추측에 대한 증거를 제공하는 것.

제안 방법

• 특성 p > 0에서 incidence 다양체 X = F_{1,n,n+1}와 매끄러운 쌍곡선 Q_n에 대해, End_{O_X^p}(O_X)의 고차 코homology 군 H^i(X, End_{O_X^p}(O_X))의 소멸을 증명한다.
• 크리스탈린 미분 연산자에 대한 유도 국소화 정리를 적용하여, End층의 코homology를 D-모듈의 유도 범주와 연결한다.
• G/P의 쌍곡선 위에서의 선다발에 대한 소멸 정리를 활용하여, 미분 연산자층의 코homology를 제어한다.
• Frobenius 당김 및 푸시포워드 함자들을 활용하고, Cartier 내림을 이용하여 X와 X′의 코homological 조건을 연결한다.
• 첨도 및 유도 범주 기법을 적용하여 F_*O_X가 유도 범주를 생성함을 보이며, 이는 틸팅 성질을 암시한다.
• 쌍곡선과 플라그 다양체에 대한 예외적 집합의 알려진 결과에 의존하여, 틸팅 성질을 카테고리 이론적으로 해석한다.

실험 결과

연구 질문

• RQ1 부분 플라그 다양체 F_{1,n,n+1} 위에서 작은 미분 연산자층의 고차 코homology가 정수형 특성에서 소멸하는가?
• RQ2 매끄러운 쌍곡선 Q_n 위에서 p가 홀수이고 p > h일 때, 작은 미분 연산자층의 고차 코homology가 소멸하는가?
• RQ3 정수형 특성에서 동차 공간 G/P에서 Frobenius 푸시포워드 F_*O_X가 틸팅 번들인 조건은 무엇인가?
• RQ4 유도 국소화 정리를 사용하여 End층의 코homology 소멸에서 틸팅 성질을 유도할 수 있는가?
• RQ5 G/P 위에서 D-모듈에 대한 Beilinson–Bernstein 국소화 정리의 특성 p 해석은 존재하는가?

주요 결과

• X가 incidence 다양체 F_{1,n,n+1}이고 p > n+1일 때, 모든 i > 0에 대해 H^i(X, End_{O_X^p}(O_X)) = 0이다.
• Q_n가 매끄러운 쌍곡선이고 p가 홀수이며 p > n - (-1)^n일 때, 모든 i > 0에 대해 H^i(Q_n, End_{O_{Q_n}^p}(O_{Q_n})) = 0이다.
• p > n+1일 때, F_{1,n,n+1}에서 Frobenius 푸시포워드 F_*O_X는 틸팅 번들이다.
• p > n - (-1)^n일 때, 매끄러운 쌍곡선 Q_n에서 Frobenius 푸시포워드 F_*O_{Q_n}는 틸팅 번들이다.
• 유도 국소화 정리에 따르면, 코homology 소멸이 성립할 경우 F_*O_X는 유도 범주 D^b(X)를 생성한다.
• 결과들은 H^i(G/P, End_{O_{G/P}^p}(O_{G/P})) = 0이 모든 i > 0과 충분히 큰 p에 대해 성립한다는 추측을 뒷받침한다.