[논문 리뷰] Generators and representability of functors in commutative and noncommutative geometry

Alexey Bondal, Michel Van den Bergh|ArXiv.org|2002. 04. 17.

Algebraic structures and combinatorial models참고 문헌 10인용 수 75

한 줄 요약

이 논문은 교환적 및 비가환 대수기하학에서 삼각 범주가 포화됨—즉, 모든 유한형 코homological 함자들이 표현 가능함—이 되기 위한 충분조건을 확립한다. 이를 위해, Ext-유한하고 카루비안인 삼각 범주에 강한 생성자가 존재하면 포화됨을 증명한다. 핵심 결과는 매끄럽고 고유한 다양체(교환적 또는 비가환) 위의 유한 차수의 코herent sheaf의 유도 범주가 강한 생성자의 존재로 인해 포화됨을 보여준다.

ABSTRACT

We give a sufficient condition for an Ext-finite triangulated category to be saturated. Saturatedness means that every contravariant cohomological functor of finite type to vector spaces is representable. The condition consists in existence of a strong generator. We prove that the bounded derived categories of coherent sheaves on smooth proper commutative and noncommutative varieties have strong generators, hence saturated. In contrast the similar category for a smooth compact analytic surface with no curves is not saturated.

연구 동기 및 목표

• 대수기하학에서 유도되는 삼각 범주에 대한 포화의 내재 기준을 제공하기 위해.
• 유도 범주에서 유한형 코homological 함자들의 표현 가능성을 다루기 위해.
• 매끄럽고 고유한 다양체(교환적 또는 비가환)의 유도 범주가 강한 생성자를 통해 포화됨을 증명하기 위해.
• 일반화된 정리 1.1의 표현 가능성 결과를 그레디에이션 링과 qgr 범주를 사용하여 비가환 설정으로 확장하기 위해.

제안 방법

• 삼각 범주에서 강한 생성자를 정의한다. 이는 반복적인 확장과 직접 합성분을 통해 유한한 단계 내에 전체 범주를 생성하는 대상으로 정의된다.
• 호모토피 극한이 없는 상황에서, 부분범주에 대한 n-해결을 사용하여 코homological 함자를 근사한다.
• 브라운 표현 이론의 기법을 변형하여 무한 합이 없는 상황에서도 작동하도록 하며, 강한 생성자를 통한 유한 근사 기법을 적용한다.
• 매끄러운 스킴에서의 고전적 생성자가 강한 생성자이기도 하다는 것을 증명하여 기하학적 매끄러움과 유한 차원 생성 간의 연결 고리를 맺는다.
• 기준을 적용하여 매끄럽고 고유한 다양체 위의 코herent sheaf의 유도 범주가 포화됨을 보인다.
• 켈러와 DG/A∞ 기하학의 결과를 활용하여, 준콤파クト하고 준분리된 스킴가 유도적으로 애매한 공간임을 보인다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 삼각 범주가 포화되며, 즉 모든 유한형 코homological 함자들이 표현 가능해지는가?
• RQ2 Ext-유한하고 카루비안인 삼각 범주에 강한 생성자가 존재하면 포화됨이 보장되는가?
• RQ3 매끄러운 사영 다양체 위의 코herent sheaf에 대한 표현 가능성 결과를 비가환 설정으로 확장할 수 있는가?
• RQ4 비가환 기하학에서 매끄럽고 고유한 스킴의 유도 범주는 여전히 포화되어 있는가?
• RQ5 매끄러운 스킴에서 고전적 생성자와 강한 생성자 간의 관계는 무엇인가?

주요 결과

• Ext-유한하고 카루비안이며 강한 생성자를 갖는 삼각 범주는 포화된다.
• 모든 매끄럽고 고유한 다양체(교환적 또는 비가환) 위의 코herent sheaf의 유한 차수 유도 범주는 강한 생성자를 갖으며, 따라서 포화된다.
• 모든 준콤파クト하고 준분리된 스킴는 고전적 생성자를 갖는다. 특히 매끄러운 경우, 그러한 생성자는 강한 생성자이기도 하다.
• 체 위의 가능성이 특이한 사영 다양체 위의 완전 복합체의 유도 범주는 유한형 코homological 함자들을 표현 가능하게 한다.
• 곡선이 없는 매끄럽고 컴acts한 해석적 표면의 예가 존재하며, 그 유도 범주는 포화되지 않아 기하학적 조건의 필요성을 보여준다.
• 그레디에이션 코herent 링 R에 대해 qgr(R) 범주는 적절한 유한성 및 생성 조건을 만족할 경우 포화됨을 보였다.