유한 로컬라이제이션을 통한 준동형 사상 분류와 스키마 재구성

초록

이 논문은 준콤팩트·준분리 스키마 X에 대해, Qcoh(X)의 텐서 로컬라이징 부분범주(유한형)의 완전한 분류를 제시한다. 이러한 부분범주는 X의 열린 집합들의 여집합이 준콤팩트인 부분들의 합으로 표현되는 집합 Y와 일대일 대응한다. 이를 이용해 Qcoh(X)의 부분범주 격자에서 유도된 스펙트럼 Spec(Qcoh(X))에 자연스러운 구조를 부여하고, (X,𝒪_X)와 (Spec(Qcoh(X)),𝒪_{Qcoh(X)}) 사이의 동형을 구축한다. 또한 완전한 유한 차원 복합체인 Perf(X)의 텐서 두꺼운 부분범주와 Qcoh(X)의 텐서 로컬라이징 부분범주(유한형) 사이의 일대일 대응을 증명한다.

상세 분석

본 연구는 스키마 X가 quasi‑compact, quasi‑separated라는 전제 하에, Qcoh(X)라는 아벨 범주가 갖는 텐서 구조와 로컬라이징 서브카테고리의 상호작용을 정밀히 탐구한다. 텐서 로컬라이징 부분범주란, 서브카테고리가 서브객체와 코서브객체에 대해 폐쇄되고, 텐서 곱에 대해 안정적이며, 직접극한(direct limits)에도 닫힌 경우를 의미한다. ‘유한형(finite type)’이라는 추가 조건은 이러한 부분범주가 유한히 제시된 객체들에 의해 생성됨을 뜻한다. 저자는 먼저 이러한 부분범주들의 격자 L_f(X)를 정의하고, 이를 토대로 스펙트럼 Spec(L_f(X))를 구성한다. 여기서 스펙트럼은 Hochster의 스펙트럼 이론을 일반화한 것으로, 원소는 ‘프라임 텐서 로컬라이징 부분범주’이며, 토포로지는 기본 열린 집합 D(I)= {P∈Spec(L_f(X)) | I⊈P} 형태로 정의된다.

핵심 정리는 L_f(X)와 X의 특정 부분집합들의 집합 사이에 완전한 이중전단 사상(duality)이 존재한다는 점이다. 구체적으로, Y⊂X가 ‘quasi‑compact open의 여집합들의 합’ 형태라면, Qcoh_Y(X):={F∈Qcoh(X) | Supp(F)⊂Y}가 텐서 로컬라이징 부분범주(유한형)이며, 반대로 임의의 텐서 로컬라이징 부분범주 T에 대해 Y_T:=⋃_{F∈T}Supp(F) 가 같은 형태의 집합이 된다. 이 대응은 서로의 역함수이며, 격자 구조를 보존한다.

다음 단계에서는 이 격자 기반 스펙트럼에 구조층 sheaf 𝒪_{Qcoh(X)}를 정의한다. 이는 각 기본 열린 집합 D(I) 위에 해당 로컬라이징 부분범주의 중심(central) 객체들의 endomorphism ring을 할당함으로써 얻어진다. 결과적으로 (Spec(Qcoh(X)),𝒪_{Qcoh(X)})는 스키마 X와 동형인 링드 스페이스가 된다. 이는 Gabriel‑Popescu‑Thomason‑Balmer 체계의 연속성을 보여주는 중요한 사례이며, ‘범주론적 스키마 재구성’이라는 큰 그림에 새로운 증거를 제공한다.

마지막으로, 완전한 유한 차원 복합체(Perf(X))의 텐서 두꺼운 부분범주와 Qcoh(X)의 텐서 로컬라이징 부분범주(유한형) 사이의 일대일 대응을 구축한다. 여기서 두꺼운 부분범주란 삼각 구조에 대해 삼각 완비(triangulated)이며, 텐서 곱에 대해 닫힌 서브카테고리를 의미한다. 저자는 Perf(X)의 두꺼운 부분범주를 그 지지집합(support)으로 매핑하고, 앞서 정의한 Y와의 일치성을 이용해 두 카테고리 사이의 완전한 동형을 증명한다. 이는 Balmer의 스펙트럼 이론과 완전히 일치하며, 특히 스키마가 정규일 때 기존 결과와 동일함을 확인한다.

이러한 일련의 결과는 Qcoh(X)라는 ‘큰’ 아벨 카테고리만으로도 스키마 X 자체를 완전히 복원할 수 있음을 보여준다. 또한 텐서 삼각 범주 Perf(X)와의 교차점은 텐서 삼각 기하학과 아벨 카테고리 이론 사이의 깊은 연관성을 강조한다.