행렬분해의 코히런트 유사체와 상대 특이점 범주

초록

저자는 폐쇄된 부분스키마에 대한 상대 특이점 삼각범주를 정의하고, 카르티에르 구분자일 때 섹션에 대응하는 행렬분해와 그 코히런트 버전을 연구한다. 코히런트 행렬분해의 외래 유도된(derived) 범주를 상대 특이점 범주와 동형시킴으로써, 자유 행렬분해의 유도된 범주는 그 부분범주가 됨을 보인다. 또한 무한 차원 행렬분해, Orlov‑Krause식 “큰” 특이점 범주, Thomason‑Trobaugh‑Neeman 로컬화 이론, 그리고 Serre‑Grothendieck 이중성까지 포괄적으로 다룬다.

상세 분석

이 논문은 두 차원의 주요 흐름을 통합한다. 첫 번째는 CDG(곡률이 있는 미분 그레이드) 모듈에 대한 두 번째 종류의 유도된 범주(derived category of the second kind)를 체계화하고, 이를 코히런트와 자유 행렬분해에 적용하는 것이다. 저자는 CDG‑링과 CDG‑알제브라의 기본 구조를 재정리한 뒤, ‘코‑유도된(co‑derived)’과 ‘절대적(absolute)’ 유도된 범주의 차이를 명확히 구분한다. 특히, 유한 평탄 차원(finite flat dimension) 조건 하에서 코‑유도된 범주와 절대적 범주가 일치함을 보이는 정리(정리 1.4)는 이후의 상대 특이점 범주와의 동형성을 구축하는 핵심이다.

두 번째 흐름은 Orlov이 정의한 특이점 삼각범주(D_Sg)와 그 상대 버전(D_Sg^rel)을 연결하는 것이다. 카르티에르 구분자 D⊂X가 주어지면, 섹션 w∈Γ(X, L)와 연관된 행렬분해 카테고리 MF(w) 를 고려한다. 저자는 MF(w)의 절대적 유도된 범주 D^abs(MF(w))가 ‘X에 대한 상대 특이점 범주’ D_Sg^rel(D⊂X)와 동형임을 증명한다(주 정리 2.7). 이 동형성은 기존에 Orlov이 제시한 자유 행렬분해의 완전 충실함(full‑faithful) 결과를 강화한다. 구체적으로, 자유 행렬분해의 절대적 유도된 범주 D^abs(MF^free(w))는 D_Sg^rel(D⊂X) 안의 ‘직접 상 이미지가 0인 객체’들의 전부이며, 이는 D_Sg(D) → D_Sg(X) 사이의 직접 상 이미지(functor i_*)의 핵(kern)과 동일하게 기술된다.

또한 저자는 무한 차원(무한 랭크) 행렬분해를 다루어, 코‑유도된 무한 행렬분해 범주와 Krause가 정의한 안정된 유도된 범주(Stab D) 사이의 동형성을 확장한다. 카르티에르 구분자 상황에서 Orlov‑Krause식 ‘큰’ 특이점 범주가 코‑유도된 평탄 행렬분해 범주와 일치함을 보이며, 이는 기존의 ‘작은’ 절대적 특이점 범주가 갖는 컴팩트 생성성(compact generation)과 대비된다.

기술적 측면에서 논문은 Thomason‑Trobaugh‑Neeman 로컬화 이론을 코히런트 행렬분해에 성공적으로 적용하고, 자유 행렬분해에 대해서는 반례를 제시한다. 이는 로컬화가 코히런트 상황에서는 완전함을 유지하지만, 자유(특히 유한 차원) 상황에서는 제한적임을 보여준다.

Serre‑Grothendieck 이중성에 대해서는 두 가지 형태를 제시한다. 하나는 코히런트 행렬분해의 절대적 유도된 범주에 대한 ‘반변량(contravariant)’ 이중성으로, 이는 dualizing 복합체와 텐서 곱을 통해 자동적 항등 변환을 만든다. 다른 하나는 quasi‑coherent 행렬분해에 대한 ‘공변량(covariant)’ 이중성으로, 이는 평탄 행렬분해의 비정상 역상 이미지(f^+)와 연결된다. 이 두 이중성은 푸시포워드와 풀백(f_* , f^*) 사이의 어드쥬인트 관계와 일관성을 유지한다.

마지막으로 부록에서는 Hochschild (co)homology 를 행렬분해 카테고리 위에 전개하고, CDG‑카테고리와 DG‑카테고리 사이의 비교, 비임계 함수(non‑critical) 상황에서의 특수 계산, 그리고 외부·내부 텐서곱과 코텐서곱 구조를 상세히 기술한다. 전체적으로 이 논문은 행렬분해와 특이점 이론을 고차원 유도된 범주, 이중성, 로컬화, 그리고 무한 차원 일반화까지 포괄적으로 연결함으로써, 현대 대수기하와 호몰로지 이론 사이의 교량을 견고히 만든다.