[논문 리뷰] On equivalences of derived categories of coherent sheaves on abelian varieties

Dmitri Olegovich Orlov|arXiv (Cornell University)|1997. 12. 16.

Algebraic Geometry and Number Theory참고 문헌 2인용 수 27

한 줄 요약

이 논문은 푸리에-무카이 변환과 자동준위군의 구조를 이용하여 두 아벨 다양체 위의 코herent sheaf의 유도 범주 간의 유도 동치를 위한 기준을 수립한다. 이는 유도 동치가 기본 다양체 간의 심플렉틱 동형사상임을 증명하며, 아벨 다양체의 유도 범주의 자동준위군을 완전히 기술한다.

ABSTRACT

We study derived categories of coherent sheaves on abelian varieties. We give a criterion for the equivalence of the derived categories on two abelian varieties. We describe the autoequivalence group for the derived category of coherent sheaves of an abelian variety.

연구 동기 및 목표

• 두 아벨 다양체 위의 코herent sheaf의 유도 범주 간의 유도 동치를 위한 필요충분조건을 수립하기.
• 단일 아벨 다양체 위의 코herent sheaf의 유도 범주의 자동준위군의 구조를 이해하기.
• 유도 동치가 심플렉틱 및 호지 이론적 불변량의 관점에서 기하학적 함의를 어떻게 갖는지 명확히 하기.
• 기존의 1차원 또는 2차원 아벨 다양체에 국한된 결과를 임의의 아벨 다양체로 일반화하기.
• 유도 범주의 구조와 그 심플렉틱 기하학을 이용하여 자동준위를 완전히 분류하기.

제안 방법

• 아벨 다양체 위의 코herent sheaf의 유도 범주를 연결하기 위해 푸리에-무카이 변환을 중심 도구로 사용한다.
• 정수 함수와 커널 객체 이론을 적용하여 유도 동치를 구성하고 분류한다.
• 무카이 쌍대성과 코homology 위의 호지 구조를 이용하여 유도 동치에 의해 보존되는 심플렉틱 불변량을 분석한다.
• 유도 범주의 구조를 활용하여 자동준위군의 전체 구조를 자동준위를 통해 기술한다.
• 탄나키안 체계와 표현 이론을 적용하여 자동준위를 심플렉틱 자동사상의 관점에서 분류한다.
• 유도 동치가 세르 쌍대성과 코homology 위의 호지 구조를 보존한다는 사실에 기반한다.

실험 결과

연구 질문

• RQ1 두 아벨 다양체 위의 코herent sheaf의 유도 범주 간에 어떤 조건에서 동치가 성립하는가?
• RQ2 주어진 아벨 다양체 위의 코herent sheaf의 유도 범주의 자동준위군의 구조는 어떠한가?
• RQ3 유도 동치는 네론-타이트 높이나 심플렉틱 형식과 같은 기하학적 불변량과 어떻게 관련되는가?
• RQ4 유도 동치는 기본 아벨 다양체의 기하학적 성질로 순수하게 기술될 수 있는가?
• RQ5 푸리에-무카이 변환은 유도 범주의 모든 자동준위를 생성하는 데 어떤 역할을 하는가?

주요 결과

• 두 아벨 다양체의 유도 범주 간의 유도 동치는 그에 대응하는 중간 아벨-자코비안 사이의 심플렉틱 동형사상의 존재를 암시한다.
• 아벨 다양체 위의 코herent sheaf의 유도 범주의 자동준위군은 심플렉틱 자동사상의 군과 다양체의 점에 의한 이동의 군의 준직접곱과 동형이다.
• 적당한 조건 하에서 유도 범주는 기본 아벨 다양체를 이소지니에 대해 유일하게 결정한다.
• 모든 자동준위는 다양체와 그 이중의 곱 위에 지지된 커널 층을 가진 푸리에-무카이 변환으로부터 유도된다.
• 유도 범주는 편성과 호환되는 이소지니에 대해 보존되며, 이러한 이소지니는 유도 동치를 유도한다.
• 유도 동치의 기준은 제품 다양체의 유도 범주에서 특정 코homological 조건을 만족하는 커널 객체의 존재성에 의해 주어진다.