[논문 리뷰] Equivalences of derived categories of sheaves on quasi-projective schemes

Matthew R. Ballard|ArXiv.org|2009. 05. 19.

Algebraic structures and combinatorial models참고 문헌 13인용 수 19

한 줄 요약

이 논문은 체 위의 준사영 스킴에 대해 오르로프의 유도 동치에 대한 표현 정리(Representability Theorem)를 확장하며, 이러한 스킴 위의 유계 유한형 코herent sheaf의 유도 범주 사이의 임의의 정확한 동치가 유도 범주에서의 곱 스킴의 유일한 커널을 가진 푸리에-무카이 변환으로 유도됨을 증명한다. 결과적으로 오르로프의 원래 작업(매끄럽고 사영인 다양체에 국한된 경우)을 더 일반적인 준사영 설정으로 일반화하였으며, 앰플 라인 번들에 대한 약간의 코homological 조건을 만족할 경우에 해당한다.

ABSTRACT

We extend Orlov's result on representability of equivalences to schemes projective over a field. We also investigate the quasi-projective case.

연구 동기 및 목표

• 매끄럽고 사영인 다양체에서 오르로프의 표현 결과를 준사영 스킴으로 일반화하기 위해.
• 준사영 스킴 간의 유도 동치가 적분 변환(푸리에-무카이 커널)에 의해 유도되는지 조사하기 위해.
• 유도 범주 간의 동치가 곱 스킴의 유도 범주에 속한 커널 객체의 존재를 암시하는 조건을 확립하기 위해.
• 정확한 함자에 대한 표현 가능성에서 쌍대함자와 완전성(perfection)의 역할을 탐색하기 위해.
• 특이하거나 비사영인 설정에서 유도 동치와 기하학적 커널 구성 간의 격차를 메우기 위해.

제안 방법

• 준스킴의 코herent sheaf의 유도 범주 간 정확한 함자들의 구조를 분석하기 위해 [1]의 결과를 활용하여 유도 범주와 쌍대함자 이론을 적용한다.
• 삼각 범주 위의 복합체의 컨볼루션 이론을 적용하여 함자로부터 커널을 재구성한다.
• 완전 복합체 사이의 함자에 대한 좌측 및 우측 쌍대함자가 존재함을 이용하여 곱 위의 복합체에 의한 표현 가능성을 확보한다.
• 특히 국소적으로 유한한 쌍대성의 맥락에서 이중성과 쌍대성 기법을 사용하여 함자와 그 이중함자 간의 동형을 증명한다.
• 가짜 쌍대함자(pseudo-adjoints)와 자연 변환의 개념을 적용하여 함자 간의 동형이 그들의 커널 간의 동형으로 올라감을 보인다.
• 컨볼루션과 절단 기법을 통해 커널의 유일성을 활용하여, 동형 변환을 유도하는 두 커널은 유사위상적으로 동치임을 보인다.

실험 결과

연구 질문

• RQ1 준사영 스킴 간의 유도 동치가 곱 스킴의 유도 범주에 속한 커널에 의해 표현될 수 있는 조건은 무엇인가?
• RQ2 매끄럽지 않은 조건에서도 오르로프의 매끄럽고 사영인 다양체에 대한 표현 결과를 준사영 스킴으로 확장할 수 있는가?
• RQ3 준사영 스킴 위의 완전 복합체 사이의 함자에 대해 쌍대함자가 존재할 경우, 그 함자가 적분 변환과 동형임을 의미하는가?
• RQ4 앰플 라인 번들의 코homological 행동이 준사영 스킴 위의 유도 함자의 표현 가능성에 어떤 영향을 미치는가?
• RQ5 준사영 스킴 간의 유도 동치의 커널은 유사위상 동치를 제외하고 유일한가?

주요 결과

• 체 $ k $ 위의 준사영 스킴 $ X $, $ Y $ 에 대해, 최소한 하나의 스킴에 대해 고차 코homology가 큰 거듭제곱에서 자명한 앰플 라인 번들이 존재하는 경우, $ D^b_{\text{coh}}(X) \to D^b_{\text{coh}}(Y) $ 의 임의의 정확한 동치 $ F $ 는 어떤 $ E \in D^b_{\text{coh}}(X \times Y) $ 에 대해 $ \Phi_E $ 와 동형이다.
• 체 위의 사영 스킴에 대해, 완전하고 충실한 정확한 함자 $ F: D_{\text{perf}}(X) \to D_{\text{perf}}(Y) $ 가 좌우 쌍대함자를 모두 갖는다면, 그는 유일한 $ E \in D^b_{\text{coh}}(X \times Y) $ 에 대해 $ \Phi_E $ 의 제한과 동형이다.
• 동치를 유도하는 커널 $ E $ 는 커널을 생성하는 생성자로부터 만든 복합체에 대한 컨볼루션과 절단 기법을 통해 유일하게 결정되며, 유사위상 동치이다.
• 함자 $ F $ 와 $ \Phi_E $ 사이의 자연 동형은 쌍대함자와 이중성에 의해 올라가며, 이는 커널이 함자에 의해 유일하게 결정됨을 보장한다.
• 스킴 $ X $, $ Y $ 가 사영적일 경우, 쌍대함자의 존재는 적분 변환 커널 $ E $ 가 존재하고, 이는 완전 복합체 수준에서 동치를 표현함을 보장한다.
• 국소적으로 유한한 이중성 기법을 사용하여, 유도 범주에서의 유계 코herent sheaf의 경우에도 결과를 확장하였으며, 이 경우에도 $ F \cong \Phi_E|_{D^b_{\text{coh}}(X)} $ 가 성립함을 보였다.