삼각형 범주의 차원과 생성자에 관한 새로운 통찰

초록

본 논문은 매끄러운 준프로젝트 곡선 (C)에 대해 유계 유도된 범주 (D^{b}(\mathrm{coh},C))의 차원이 정확히 1임을 증명하고, 이러한 범주의 차원 스펙트럼을 조사한다. 또한 일반적인 준프로젝트 스키마에 대한 차원 추정과 몇 가지 예시를 제시한다.

상세 분석

논문은 먼저 삼각형 범주 ( \mathcal{T})에서의 “클래식 생성자(classical generator)”와 “강 생성자(strong generator)” 개념을 정리한다. 여기서 강 생성자는 어떤 객체 (E)에 대해 (\langle E\rangle_{d+1}=\mathcal{T})인 최소 정수 (d)가 존재함을 의미한다. 차원 (\dim\mathcal{T})는 이러한 최소 (d)를 정의한다.

다음으로 저자는 Bondal‑Van den Bergh의 결과를 인용해, 완전하고 준분리인 스키마 (X)의 완전 복합체 범주 (\mathrm{Perf}(X))가 강 생성자를 갖는다는 사실을 상기한다. 특히, 차원 (d)인 준프로젝트 스키마 (X)에 대해 매우ample 라인 번들 (L)을 이용해 ({L^{i}}_{i\in\mathbb Z})가 클래식 생성자를 형성함을 보인다. 이는 Koszul 복합체와 차원‑(d) 절단을 이용한 전형적인 증명이다.

핵심은 곡선 경우이다. 매끄러운 프로젝트 곡선 (C) (genus (g\ge1))에 대해, 차수가 충분히 큰 라인 번들 (L) (예: (\deg L\ge 8g))를 선택하고
\