[논문 리뷰] Triangulated categories with a single compact generator and two Brown representability theorems

Amnon Neeman|arXiv (Cornell University)|2018. 04. 06.

Algebraic structures and combinatorial models인용 수 5

한 줄 요약

이 논문은 코herent sheaf의 유계 미분층 범주에서 유한 R-선형 호모로지 함수의 범주로의 Yoneda 임베딩이 동치임을 보여주는 일반화된 Brown 표현 정리의 성립 조건을 제시한다. 이는 단일 컴팩트 생성자를 가지며 근사 가능성 조건을 만족하는 삼중 범주에 대해 성립하며, 이는 Bondal과 Van den Bergh의 정리가 Noetherian 환 위의 스킴로 확장된 것으로, 유도 대수기하학에서 표현 이론의 기초 도구를 제공한다.

ABSTRACT

We develop the general formalism of approximable triangulated categories, and prove two representability theorems.

연구 동기 및 목표

• 필드 위의 스킴 유도 범주에 대한 Bondal과 Van den Bergh의 표현 정리가 임의의 Noetherian 환 위의 스킴로 일반화되는가를 밝히는 것.
• 코프로덕트를 갖는 삼중 범주, 단일 컴팩트 생성자, 근사 가능성 조건을 갖는 추상적 설정에서 표현 정리를 수립하는 것.
• 표준 유도 범주(예: $\mathbf{D}^b_{\mathrm{coh}}(X)$)의 구조적 특성화를 삼중 범주 이론적 개념 뿐만으로 제공하는 것.
• Jack Hall의 GAGA 스타일 정리에 필요한 기초 기술을 제공하기 위해 기존의 표현 결과를 강화하는 것.
• 유한 R-선형 호모로지 함수의 범주 $\mathbf{D}^{\mathrm{perf}}(X)^{\mathrm{op}}$ 위에서 $\mathbf{D}^b_{\mathrm{coh}}(X)$에서의 Yoneda 함자와의 동치 관계가 온화한 조건 하에 성립함을 보이는 것.

제안 방법

• 코프로덕트와 단일 컴팩트 생성자를 갖는 삼중 범주에 대해 근사 가능성의 개념을 도입하여, t-구조 및 호모로지 함수와의 호환성을 보장하는 것.
• 완전 복합체의 부분범주 $\mathscr{B}$ 위에서 $G$-국소 유한 및 $G$-유한 코호모로지 함수를 정의하며, 생성자 $G$의 이동에서 유한 R-모듈러 값과 충분히 음수 또는 양수 이동에서의 영성 조건을 요구하는 것.
• 근사 가능성 및 유한성 조건 하에서 제한된 Yoneda 함자 $\mathscr{Y}: \mathscr{T} \to \mathrm{Hom}((\mathscr{T}^c)^{\mathrm{op}}, R\textup{--mod})$가 충분히 충실하고 본질적으로 전사임을 증명하는 것.
• 완전성, 충실성 및 $\mathrm{Hom}(\mathscr{L}(P), -)^\perp = 0$를 만족하고, Hom-집합에서의 동형을 갖는 생성 집합 $P$를 포함하는 함자 동치의 기준(보조정리 A.1)을 사용하는 것.
• 주요 표현 정리를 분석 함수 $\mathbf{D}^b_{\mathrm{coh}}(X) \to \mathbf{D}^b_{\mathrm{coh}}(X^{\mathrm{an}})$에 적용하여, 이 함수가 오른쪽 수반을 가지며 보조정리 A.1의 기준을 통해 동치임을 보이는 것.
• 폐쇄된 점에서 지지된 완전 복합체의 생성 집합 $P$가 보조정리 A.1의 조건을 만족함을 검증하여, 동치 기준의 적용을 가능하게 하는 것.

실험 결과

연구 질문

• RQ1 Bondal과 Van den Bergh의 표현 정리는 필드 위의 스킴에서의 유도 범주를 초월하여 임의의 Noetherian 환 위의 스킴로 일반화될 수 있는가?
• RQ2 단일 컴팩트 생성자를 갖는 삼중 범주에서 Yoneda 임베딩이 유한 R-선형 호모로지 함수의 범주로의 동치가 되기 위한 구조적 조건은 무엇인가?
• RQ3 근사 가능성의 개념은 어떻게 정의되고, 이를 통해 추상 삼중 범주에서 표현 정리를 도출할 수 있는가?
• RQ4 표현 정리가 대수기하학에서 유도 범주 간 동치를 증명하는 데 얼마나 활용될 수 있는가, 예를 들어 GAGA 스타일 정리의 맥락에서 말이다?
• RQ5 특정 생성 집합에서의 행동과 Hom-집합 및 수직성의 호환성만을 알 때, 어떤 조건이 삼중 함자가 동치임을 보장하는가?

주요 결과

• 스킴 $X$가 Noetherian 환 $R$ 위에서 온전할 경우, $\mathbf{D}^b_{\mathrm{coh}}(X)$에서 유한 R-선형 호모로지 함수의 범주로의 Yoneda 사상은 동치이다.
• 유계이며 분리된 스킴 $X$에 대해 $\mathbf{D}_{\mathrm{qc}}(X)$는 근사 가능하며, 이는 주요 표현 정리의 적용을 가능하게 한다.
• 스펙트럼의 호모토피 범주 및 음의 계수를 갖는 dg 대수의 유도 범주는 모두 근사 가능하여 결과의 적용 범위를 확장한다.
• 분석 함수 $\mathbf{D}^b_{\mathrm{coh}}(X) \to \mathbf{D}^b_{\mathrm{coh}}(X^{\mathrm{an}})$는 주요 정리와 보조정리 A.1의 기준을 통해 동치임을 보였다.
• 증명 기법은 목표 범주에 대한 전체 지식 없이도 동치를 확립할 수 있도록, 구체적으로 폐쇄된 점에서 지지된 완전 복합체의 생성 집합 $P$라는 최소한의 자료를 분리한다.
• 결과는 다양한 GAGA 스타일 정리를 통합하여, 이들이 삼중 범주에서의 단일 표현 원리의 특수한 경우임을 보여준다.