[논문 리뷰] Moduli of objects in dg-categories

Bertrand Toën, Michel Vaquié|2005. 03. 14.

Algebraic structures and combinatorial models참고 문헌 16인용 수 7

한 줄 요약

이 논문은 유한성 조건 하에서 대수적임을 증명하면서, 포화된 dg-카테고리 $T$에 관련된 삼각형 카테고리 $[T]$의 컴acts 객체들을 분류하는 국소 기하적 $D^{-}$-스택 $\mathcal{M}_T$의 존재를 확립한다. 주요 기여는 dg-강화를 통한 삼각형 카테고리 내 객체들의 대수적 모듈리 공간을 구성하는 일반적 프레임워크를 제공하는 것으로, 이를 통해 매끄럽고 유한한 스킴 위의 완전 복합체와 유한 쿼버의 표현에 응용된다.

ABSTRACT

To any dg-category $T$ (over some base ring $k$), we define a $D^{-}$-stack $\mathcal{M}_{T}$ in the sense of \cite{hagII}, classifying certain $T^{op}$-dg-modules. When $T$ is saturated, $\mathcal{M}_{T}$ classifies compact objects in the triangulated category $[T]$ associated to $T$. The main result of this work states that under certain finiteness conditions on $T$ (e.g. if it is saturated) the $D^{-}$-stack $\mathcal{M}_{T}$ is locally geometric (i.e. union of open and geometric sub-stacks). As a consequence we prove the algebraicity of the group of auto-equivalences of a saturated dg-category. We also obtain the existence of reasonable moduli for perfect complexes on a smooth and proper scheme, as well as complexes of representations of a finite quiver.

연구 동기 및 목표

• 유한 타입의 dg-강화를 갖는 삼각형 카테고리 내 객체들을 위한 기하적 모듈리 공간을 구성하기.
• dg-카테고리와 고차 스택을 사용하여 삼각형 카테고리의 모듈리 이론에서 기술적 한계를 해결하기.
• 포화된 dg-카테고리 내 컴acts 객체들의 모듈리의 대수적 성격을 확립하기.
• 전통적인 모듈리 구성(예: 표현이나 완전 복합체에 대한 것들)을 유도 및 고차 카테고리적 환경으로 일반화하기.
• $D^{-}$-스택을 통한 모듈리 함수의 표현 가능성을 증명하여 기하적 성질과 유한성 조건을 확보하기.

제안 방법

• dg-카테고리 $T$에 대해 $T^{\mathrm{op}}$-dg-모듈을 분류하는 $D^{-}$-스택 $\mathcal{M}_T$를 정의하기.
• 콤��� 생성 모델 카테고리 이론과 dg-카테고리를 사용하여 모듈리 함수를 구성하기.
• [HAGII]의 의미에서 기하적임을 보여주는 방식으로, $\mathcal{M}_T$가 기하적인 열린 부분스택들의 합집합임을 증명하기.
• 포화 등 유한성 조건을 적용하여 $\mathcal{M}_T$가 국소 기하적이고 강력하게 유한형임을 보장하기.
• 유도된 Hom과 코hom로지컬 차원의 경계를 이용하여 함수 $\nu: \mathbb{Z} \to \mathbb{N}$를 통해 모듈리 공간을 제어하기 (유한 지지집합을 가짐).
• 스킴 위의 완전 복합체와 유한 쿼버의 표현에 대해 명시적인 모듈리 공간 $\mathbb{R}\underline{Perf}(X)^\nu$ 및 $\mathbb{R}\underline{Parf}(Q)^\nu$를 구성하기.

실험 결과

연구 질문

• RQ1 dg-강화를 갖는 삼각형 카테고리 내 컴acts 객체들을 위한 모듈리 공간이 대수적으로 구성될 수 있는가?
• RQ2 dg-카테고리 내 객체들의 모듈리 $D^{-}$-스택이 국소 기하적이고 유한형이 되기 위한 조건은 무엇인가?
• RQ3 포화된 dg-카테고리의 자가준동형군이 대수적임을 어떻게 보일 수 있는가?
• RQ4 매끄럽고 유한한 스킴 위의 완전 복합체의 모듈리 공간의 유도 구조는 무엇인가?
• RQ5 모듈리 스택의 기하학적 성질로부터 완전 복합체의 가중치 집합에 대한 유계성 기준을 도출할 수 있는가?

주요 결과

• 포화된 $T$에 대해 $T^{\mathrm{op}}$-dg-모듈을 분류하는 $D^{-}$-스택 $\mathcal{M}_T$는 국소 기하적이며, 이는 그 대수적 성격을 증명한다.
• 매끄럽고 유한한 스킴 $X$에 대해, 모든 유한 지지집합을 가진 $\nu$에 대해 모듈리 스택 $\mathbb{R}\underline{Perf}(X)^\nu$는 $n$-기하적이고 강력하게 유한형이다.
• 코호몰로지 차원 경계를 통한 완전 복합체의 가중치 집합에 대한 유계성 기준이 확립된다: $j \in [0,d]$ 이면 $\dim_k \mathbb{H}^k(X, E_i(j)) \leq \nu(k)$.
• 유한 쿼버 $Q$의 의사완전 복합체 표현의 모듈리 스택 $\mathbb{R}\underline{Parf}(Q)$는 국소 기하적이고 국소적으로 유한형이다.
• $\mathbb{R}\underline{Parf}(Q)$의 점 $E$에서의 탄성 복합체는 $\mathbb{R}\underline{Hom}(E,E)[1]$과 동형이며, 이는 유도된 변형 이론을 반영한다.
• 포화된 dg-카테고리의 자가준동형군은 국소 기하적 $D^{-}$-스택에 의해 표현되므로 대수적이다.