루이에의 코코버링 정리와 잘 생성된 삼각형 범주

본 논문은 루이에가 제시한 코코버링 개념을 확장하여, 정규 기수 α에 대해 α‑콤팩트성(네만이 정의한 α‑compact objects)이 코코버링에 대해 국소적임을 증명한다. 서론에서는 전통적인 콤팩트성(ℵ₀‑콤팩트성)이 스킴의 열린 커버에 대해 로컬임을 상기하고, 이를 일반화하기 위해 루이에의 코코버링 정의를 소개한다. 코코버링은 삼각형 범주 T의 유한한 Bousfield 부분범주 {I₁,…,Iₙ}의 집합으로, 각 I_i가 서로 적절히 교차하고, 교차의 교집합이 영(0)인 것이 핵심이다. 기존 결과는 ℵ₀‑콤팩트성에 대해 “Y가 T에서 콤팩트 ⇔ 각 사상 Y→T/I_i가 콤팩트”임을 보였으며, 저자는 이를 모든 정규 기수 α에 대해 일반화한다. 주요 정리(Theorem 1)는 다음과 같다. 코코버링 F={I₁,…,Iₙ}가 주어지고, (1) 각 몫 범주 T/I_i가 α‑콤팩트 생성이며, (2) 임의의 비공집합 F′⊂F\{I_i}에 대해 복합 사상 I_{F′}→T→T/I_i가 α‑콤팩트 생성이면, 전체 범주 T도 α‑콤팩트 생성이고, 객체 X가 α‑콤팩트인 것은 모든 X→T/I_i가 α‑콤팩트인 것과 동치이다. 또한, 부분범주 S가 각 I_i와 적절히 교차하고, (3) S/(S∩I_i)와 (4) S∩I_{F′}가 각각 α‑콤팩트 생성이면, S 자체도 α‑콤팩트 생성임을 보인다. 증명은 n=2인 경우를 기본 단계로 삼아 귀납적으로 진행한다. n=2 단계에서는 두 Bousfield 부분범주 I₁, I₂가 직교(orthogonal)하고, 각 몫 T/I₁, T/I₂가 α‑콤팩트 생성이며, 교차 부분 I₁이 T/I₂에서, I₂가 T/I₁에서 α‑콤팩트 생성이라는 가정 하에, T가 α‑콤팩트 생성임을 보인다. 여기서 핵심 도구는 α‑완전(α‑perfect) 클래스와 α‑소형(α‑small) 객체 개념이다. 저자는 T_{α}를 “각 사상 j_a^*(X)∈(T/I_a)_{α}”인 객체들의 전집으로 정의하고, 이를 α‑완전 클래스임을 증명한다. 이를 위해 Add_{α}(S^{op},Ab)와 Neeman‑Ravenel‑Thomason 로컬화 정리를 활용한다. π: A(T)→Add_{α}(S^{op},Ab) 가 콜레이트를 보존한다는 것을 코코버링에 대한 로컬 검증으로 환원한다. 각 몫 범주 T/I_a가 이미 α‑콤팩트 생성이므로, 해당 콜레이트 보존이 자동으로 따라온다. 또한, 베르디에 합(I₁⋆I₂)과 같은 연산을 이용해 두 부분범주의 교차를 관리하고, 각 부분에서 얻은 α‑콤팩트 객체들을 적절히 결합해 전체 T의 α‑콤팩트 생성 집합을 구성한다. 다음으로, 이론을 구체적인 예시인 스킴의 파생 범주 D(X)와 플랫 모듈 범주 N(Flat X)에 적용한다. X가 준콤팩트·반분리 스킴이라고 가정하고, 열린 커버 {U_i}에 대해 I_i를 “지원이 X\U_i에 제한된 복소들”로 정의한다. 이때 {I_i}는 코코버링을 이룬다. 각 몫 D(U_i)와 N(Flat U_i)는 이미 α‑콤팩트 생성이 알려져 있다(특히 ℵ₁‑콤팩트성은 Neeman이 증명). 따라서 본 정리에 의해 D(X)와 N(Flat X) 역시 α‑콤팩트 생성이며, X가 Noetherian이면 컴팩트 생성까지 얻는다. 특히, ℵ₁‑콤팩트 객체가 무엇인지 구체적으로 기술하고, 이는 플랫 모듈의 순수 비동형 복소와 연결된다. 마지막으로, 증명의 기술적 세부 사항을 부록에 정리한다. 여기에는 Bousfield 부분범주의 직교성, 베르디에 연산의 성질, 그리고 로컬화 정리의 정확한 적용 방법이 포함된다. 전체적으로 논문은 α‑콤팩트성의 로컬성을 새로운 관점으로 제시함으로써, 복잡한 삼각형 범주의 생성성을 검증하는 강력한 도구를 제공한다. 이는 특히 대규모 스킴 이론, 동형대수학, 그리고 스펙트럼 이론에서 유용하게 활용될 수 있다.