준동형 사상과 유도 범주 준동형 층의 안정적 동형 사상 범주화

초록

이 논문은 준동형 층의 유도 범주 D(A_qc(X))가 Hovey‑Palmieri‑Strickland이 정의한 안정적 동형 사상 범주(Stable Homotopy Category)의 공리를 만족함을 증명한다. X가 준콤팩트·반분리 스킴이면 이 범주는 대수적이며 단위 객체를 갖는다. 또한 Noetherian 반분리 형식 스킴에 대해, 준동형 토션 동질성을 가진 모듈들의 유도 범주 D_qct(X)도 안정적 동형 사상 범주이지만, 일반 스킴이 아닌 경우 단위 객체가 없어 비단위적이다.

상세 분석

논문은 먼저 Hovey, Palmieri, Strickland(HPS)이 제시한 “안정적 동형 사상 범주”의 정의를 재검토한다. HPS의 공리는 (1) 삼각구조와 폐쇄 대칭 모노이달 구조, (2) 충분히 많은 컴팩트 생성자 존재, (3) Brown 대표성 정리, (4) 내부 Hom이 존재함을 요구한다. 저자들은 이러한 조건을 X가 준콤팩트·반분리 스킴일 때, 유도 범주 D(A_qc(X))에 대해 차례로 검증한다.

첫째, D(A_qc(X))는 삼각범주이며, 완전한 직교합성(derived tensor product) ⊗^L와 내부 Hom RHom을 통해 폐쇄 대칭 모노이달 구조를 갖는다. 여기서 단위 객체는 구조층 O_X이며, 이는 준동형이므로 범주 안에 존재한다.

둘째, 컴팩트 생성자는 X의 유한 개의 아핀 오픈 커버 {U_i}를 이용해 각 U_i의 구조층 O_{U_i}를 제한한 뒤, 그들의 직접합을 취한 객체이다. 이 객체는 컴팩트하고, 그에 대한 삼각적 폐쇄가 전체 D(A_qc(X))를 생성함을 보인다.

셋째, Brown 대표성 정리는 D(A_qc(X))가 코완전하고, 컴팩트 생성자를 갖는 삼각범주이므로 HPS 정리(Thm 4.1)를 직접 적용해 얻는다.

넷째, 내부 Hom은 RHom(–,–)으로 정의되며, ⊗^L와 쌍대성을 만족한다. 따라서 D(A_qc(X))는 HPS 의미의 안정적 동형 사상 범주가 된다.

다음으로 “대수적(algebraic)”이라는 성질을 검토한다. 저자들은 D(A_qc(X))가 DG‑카테고리 C_{qc}(X) 의 유도 범주와 동형임을 보인다. 즉, C_{qc}(X)는 복합체들의 DG‑카테고리이며, 그 호몰로지 이론이 D(A_qc(X))와 일치한다. 따라서 D(A_qc(X))는 대수적 삼각범주이다.

형식 스킴 경우를 다룰 때는, X가 Noetherian·반분리 형식 스킴이라고 가정하고, 토션 동질성을 가진 모듈들의 유도 범주 D_qct(X) 를 정의한다. 여기서는 ⊗^L가 토션 동질성을 보존하지 않으므로, 일반적인 단위 객체 O_X가 범주 안에 존재하지 않는다. 그럼에도 불구하고, ⊗^L와 RHom을 제한된 형태로 정의하면 폐쇄 대칭 모노이달 구조를 얻을 수 있다. 그러나 단위가 없으므로 “비단위적(unital)”이라고 부른다.

마지막으로 저자들은 두 경우 모두 “stable homotopy category”라는 추상적 프레임워크 안에서 기존의 유도 범주 이론과 동형성, 모노이달 구조, 그리고 Brown 대표성 정리를 일관되게 연결함으로써, 스킴 이론과 안정적 호몰로지 이론 사이의 교량을 제공한다는 점을 강조한다.