삼각형 범주의 유한군 작용에 대한 선형화 연구

초록

이 논문은 유한군이 삼각형 범주에 작용할 때, DG‑enhancement를 이용해 선형화된 삼각형 범주를 구성하는 조건을 제시한다. 특히 자동사상군이 매끄러운 사영다양체의 유한군인 경우, 선형화된 범주는 해당 군에 대한 몫 다양체(또는 스택)의 유계 유도 범주와 동형임을 보인다. 또한 토션 canonical bundle에 의한 텐서 곱 작용과 구형 물체가 생성하는 범주에 대한 예시도 다룬다.

상세 분석

본 논문은 삼각형 범주 (T) 에 대한 “선형화”라는 개념을, 전통적인 가법적 선형화(선형화된 층)와는 별도로 DG‑카테고리 수준에서 정의한다. 저자는 먼저 DG‑카테고리 (A) 가 “pre‑triangulated”이며 (T\simeq H^{0}(A)) 인 경우, 군 (G) 의 작용이 (A) 위의 DG‑펑터로 승격될 수 있을 때만 선형화된 삼각형 범주 (T^{G}{A}=H^{0}(A^{G})) 을 정의한다. 여기서 (A^{G}) 는 객체마다 (G)‑선형화 구조 (\lambda{g}:A\to g^{*}A) 를 부여한 DG‑카테고리이며, 사상은 (G)‑불변성을 만족하는 복합체로 구성된다.

핵심 정리는 두 가지 전제에 의존한다. 첫째, (A) 가 강하게 pre‑triangulated(즉, (A\to A^{\mathrm{pretr}}) 가 DG‑동형)이어야 하며, 둘째 (G) 의 작용이 DG‑펑터 수준에서 정의돼야 한다는 점이다. 이 두 조건이 충족되면, 선형화된 카테고리 (A^{G}) 도 강하게 pre‑triangulated이 되므로 (H^{0}(A^{G})) 는 삼각형 구조를 상속한다.

기하학적 적용에서는 (T=D^{b}(X)) (매끄러운 사영다양체 (X) 의 유계 유도 범주)와 (G\subset\operatorname{Aut}(X)) 인 경우를 다룬다. 여기서 표준 DG‑enhancement (D^{b}{\mathrm{DG}}(X)=C{\mathrm{DG}}(I(X))) (인젝션 해석을 이용한 복합체 카테고리)를 사용하면, 각 자동사상이 Fourier–Mukai 변환으로 표현되고, 이는 DG‑펑터로 승격된다. 따라서 (D^{b}(X)^{G}) 는 (D^{b}(