삼각형 범주에서 DG 향상의 유일성

초록

**
본 논문은 삼각형 범주의 DG(미분 가법) 향상이 언제 유일한지를 일반적인 조건 아래에서 규명한다. 이를 통해 준사영 스키마의 무한 차원 준동형 사상군, 완전 복합체들의 삼각형 범주, 그리고 준프로젝트 스키마의 유한 차원 일관 복합체들의 유도된 범주에 대해 향상의 유일성을 얻는다. 특히 스키마가 완전일 경우 완전 복합체와 유한 차원 일관 복합체에 대해 강한 유일성을 증명하고, 이로부터 완전 스키마 사이의 전사 전이함수가 곱 공간 위의 객체(커널)로 표현될 수 있음을 보인다.

**

상세 분석

**
이 논문은 삼각형 범주(트라이앵귤레이트 카테고리)의 DG(미분 가법) 향상, 즉 해당 범주를 DG 카테고리로 리프팅하는 구조가 존재하고 유일한지를 조사한다. 기존 연구에서는 제한된 상황—예를 들어, 유한 차원 대수적 스키마의 유도된 범주—에서만 향상의 존재와 유일성이 알려졌으나, 일반적인 삼각형 범주에 대한 포괄적인 기준은 부재했다. 저자들은 “아키텍처”라는 용어를 도입해, 삼각형 범주가 충분히 ‘생성 가능’하고 ‘완전’하며, 적절한 ‘가산성’ 조건을 만족하면 DG 향상이 존재하고, 그 향상이 ‘강하게’ 유일함을 보인다. 여기서 강한 유일성은 두 DG 향상이 quasi‑equivalence을 통해 서로 동형임을 의미한다.

핵심적인 기술은 ‘compactly generated’와 ‘well generated’ 삼각형 범주의 구조를 활용하는 것이다. 저자들은 먼저 이러한 범주가 ‘homotopy colimit’와 ‘t‑structure’와 잘 어울리는지를 검증하고, 그 위에 ‘enhancement functor’를 정의한다. 이어서 ‘uniqueness theorem’을 증명하는데, 이는 두 DG 향상이 동일한 homotopy category를 갖는 경우, 그 사이에 DG‑functor가 존재하고 이는 quasi‑equivalence임을 보이는 방식이다.

특히, 논문은 다음 세 가지 중요한 사례에 적용된다. 첫째, 스키마 X의 무한 차원 준동형 사상군(QCoh(X))에 대한 비제한된 유도된 범주 D(QCoh(X))는 compactly generated이며, 따라서 위의 일반 정리로부터 DG 향상의 유일성을 얻는다. 둘째, 완전 복합체(perfect complexes)들의 삼각형 범주 Perf(X)는 X가 quasi‑projective이면 compactly generated이고, 이 경우에도 유일성이 성립한다. 셋째, X가 quasi‑projective일 때 유한 차원 일관 복합체들의 유도된 범주 D^b(Coh(X))는 ‘smooth and proper’ 성질을 갖는다고 볼 수 있어, 강한 유일성까지 확보한다.

스키마가 완전(projective)일 경우, 저자들은 추가적인 ‘Serre duality’와 ‘ample line bundle’ 구조를 이용해 강한 유일성을 강화한다. 이는 두 DG 향상이 단순히 quasi‑equivalent가 아니라, 실제 DG‑functor가 동형 사상으로서 존재함을 의미한다. 마지막으로, 이러한 강한 유일성을 활용해 전사 전이함수(Fully faithful functor) F: D^b(Coh(X)) → D^b(Coh(Y)) 혹은 Perf(X) → Perf(Y)가 존재하면, F는 곱 공간 X×Y 위의 어떤 복합체 K에 의해 ‘Fourier–Mukai’ 형태로 표현될 수 있음을 보인다. 이는 기존의 Fourier–Mukai 이론을 보다 일반적인 삼각형 범주와 DG 향상 맥락으로 확장한 결과라 할 수 있다.

**