단일 콤팩트 생성자로 보는 Noetherian 형식 스킴의 파생 범주

초록

본 논문은 Noetherian 형식 스킴 X에 대해, 준동형 토션 동질을 갖는 모듈 층들의 파생 범주 D_qct(X)가 하나의 콤팩트 객체만으로 생성된다는 사실을 증명한다. 부록에서는 D_qct(X)의 콤팩트 객체들의 동형류가 스켈레톤적으로 작다는 점을 보인다.

상세 분석

논문은 먼저 Noetherian 형식 스킴 X의 구조를 재정의하고, 기존의 정규 스킴 이론에서 사용되는 quasi‑coherent sheaf와 torsion sheaf 개념을 형식적 환경에 맞게 확장한다. 핵심은 D_qct(X)라는 파생 범주를 정의하는데, 이는 quasi‑coherent이면서 torsion인 호몰로지 객체들만을 허용한다는 점에서 일반적인 D(Qcoh X)와 차별화된다. 저자는 이 범주가 삼각적 완비(triangulated and compactly generated)임을 보이기 위해, 먼저 완비성(complete)과 코호몰로지 차원(cohomological dimension) 제한을 이용해 작은 생성 집합을 구성한다. 그 다음, 스킴 X가 Noetherian이므로 유한한 개수의 열린 정규 커버를 잡을 수 있고, 각 열린 조각에 대해 Koszul 복합체를 이용한 표준 콤팩트 생성자를 만든다. 이들을 적절히 glueing 하면 전역적인 콤팩트 객체 G가 얻어지며, G가 D_qct(X)의 강력한 생성자(strong generator)임을 증명한다. 특히, G가 콤팩트함을 보이기 위해서는 G가 유한 단계의 완전한 복합체이며, 각 단계가 유한형(finite type) 모듈에 해당함을 확인한다. 이 과정에서 형식 스킴의 이데알(adic) 토폴로지를 활용해 완비화(completion)와 제한(restriction) 사이의 교환 법칙을 정밀히 다룬다. 부록에서는 콤팩트 객체들의 동형류가 스켈레톤적으로 작다는 것을, 즉 동형류의 대표 집합이 집합(cardinality) 수준에서 작다는 것을, Grothendieck의 AB5 조건과 카테고리 이론의 작은 사상(small morphism) 개념을 결합해 증명한다. 전체 증명은 기존의 스킴 이론에서 사용되는 Neeman‑Thomason 정리와 Bondal‑Van den Bergh의 컴팩트 생성자 이론을 형식적 상황에 맞게 일반화한 것으로, 향후 형식 스킴 위의 비가환 기하학이나 파생 대수적 구조 연구에 중요한 도구가 될 것으로 기대된다.