[논문 리뷰] Perverse coherent sheaves (after Deligne)

Roman Bezrukavnikov|arXiv (Cornell University)|2000. 05. 16.

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

한 줄 요약

이 논문은 Noetherian 스킴에 이중화 복합체를 가진 유도된 코herent sheaf의 범주 위에서 Deligne의 비공개 구성법을 기반으로 한 페르소르 t-구조의 기초를 설명한다. 이는 BBD 프레임워크를 코herent sheaf로 확장한 것으로, 주요 기여는 단조성 및 역단조성 perversity 함수에 대해 이러한 t-구조의 존재를 증명하는 것이다. 이는 특히 단순형 군의 영점군 위에서 G-등변 코herent sheaf에 적용되며, 핵심 범주가 아르틴ian이 되고, 등변 벡터 번들의 최소 확장으로서 기약 대상이 나타나는 결과를 낳는다.

ABSTRACT

This note is mostly an exposition of an unpublished result of Deligne, which introduces an analogue of perverse $t$-structure on the derived category of coherent sheaves on a Noetherian scheme with a dualizing complex. Construction extends to the category of coherent sheaves equivariant under an action of an algebraic group; though proof of the general statement in this case does not require new ideas, it provides examples (such as sheaves on the nilpotent cone of a semi-simple group equivariant under the adjoint action) where construction of coherent "intersection cohomology" sheaves works.

연구 동기 및 목표

• 이중화 복합체를 가진 스킴 위에서 코herent sheaf로의 페르소르 sheaf 이론을 구조적 복소체에서 코herent sheaf로 확장하는 것.
• 코herent 설정에서의 추론 함수자 j!가 수반 함수를 갖지 않는 문제를 해결하기 위해 j!를 코homologically 유계 확장으로 대체하는 것.
• 특히 perversity 함수의 단조성 및 역단조성 조건을 통해 코herent 설정에서 t-구조가 존재할 조건을 확립하는 것.
• 최소 확장 함수자 j!∗의 존재를 보이며, стрict 단조성 조건 하에서 등변 설정에서 핵심 범주가 아르틴ian이 되는 것을 보여주는 것.
• 기하적 표현 이론에서 코herent 교차 호몰로지 sheaf를 구성하는 프레임워크를 제공하는 것, 특히 영점군에서의 적용을 중심으로 한다.

제안 방법

• 코herent 설정에서의 매끄러움 조건 실패로 인해, strata 가 아닌 기약 부분다양체의 일반점에 perversity 함수를 정의한다.
• 구조적 설정에서의 왼쪽 수반 함수 j!를, F̃|X−U의 코homology가 perversity에 의해 결정된 차수 이하에서 0이 되는 X 위의 F의 확장 F̃로 대체한다.
• Grothendieck-Serre 대칭을 사용하여 코herent 설정에서 j*의 대체를 구성하며, 이 경우 perversity 함수가 역단조성이어야 한다.
• t-구조가 존재하는 것은 정확히 perversity 함수가 단조성과 역단조성을 동시에 만족할 때이며, 이는 절단 함수자들이 D^b(Coh)에 떨어지게 함을 보장한다.
• j!과 j*에 의존하지 않고, 유계 확장과 대칭을 사용하여 BBD의 표준 t-구조 증명을 코herent 설정으로 일반화한다.
• G-등변 코herent sheaf에 이 형식을 적용하며, perversity는 G-궤도의 일반점에만 할당되며, stricly 단조성 조건 하에서 최소 확장 j!∗가 존재한다.

실험 결과

연구 질문

• RQ1 구조적 경우와 유사하게, 코herent sheaf의 유도 범주 위에 페르소르 t-구조를 정의할 수 있는가?
• RQ2 왜 표준 t-구조 구성법은 코herent 설정에서 실패하며, 어떻게 이를 보완할 수 있는가?
• RQ3 어떤 조건에서 절단 함수자가 D^b(Coh)에 떨어지며, 더 큰 범주에선 떨어지지 않는가?
• RQ4 코herent 등변 설정에서 최소 확장 함수자 j!∗가 존재하는 조건은 무엇인가?
• RQ5 페르소르 t-구조의 핵심 범주가 언제 아르틴ian이 되며, 표현 이론에 어떤 함의를 갖는가?

주요 결과

• Noetherian 스킴 X가 이중화 복합체를 가진다면, perversity 함수가 단조성과 역단조성을 동시에 만족할 경우 D^b(Coh(X)) 위에 페르소르 t-구조가 존재한다.
• 구성은 j!를 코homologically 유계 확장으로 대체함으로써, 코herent 설정에서 j*의 왼쪽 수반 함수가 필요로 하는 것을 피한다.
• G-등변 설정에서 최소 확장 함수자 j!∗가 존재하는 것은 정확히 perversity 함수가 stricly 단조성과 역단조성을 만족할 때이며, 이는 차원 간격이 최소 2 이상인 유한 개의 궤도를 요구한다.
• perversity 함수가 stricly 단조성과 역단조성을 만족할 경우, 핵심 범주 P^G는 아르틴ian이 되며, 이는 모든 대상이 유한 길이를 가짐을 의미한다.
• 핵심 범주 내 기약 대상은 정의역이 G-궤도 O 위의 G-등변 벡터 번들의 기약 대상 L인 최소 확장 j!∗(L[p(O)])로 정확히 구성된다.
• 특성 0에서 단순형 군의 영점군 예제에서, 중간 perversity p(x_O) = -dim(O)/2는 조건을 만족하며 아르틴ian 핵심 범주를 유도한다. 이는 루트 단위에서 양자군과의 연결 고리가 있다.