삼각형 범주에서 일반화된 무어 스펙트럼

초록

이 논문은 삼각형 범주 T 내에서 컴팩트 객체 C 에 대해, C의 엔도몰리즘 대수 End_T(C) 의 모듈 범주를 T 안으로 근사시키는 새로운 함수를 정의한다. 이 함수는 짧은 정확열과 구별 삼각형을 보존하며, 기존의 Jorgensen·Keller 구성을 일반화한다.

상세 분석

논문은 먼저 삼각형 범주 T 가 충분히 풍부한 구조(예: 폐쇄된 삼각형 구조와 충분한 직교성)를 가정하고, 그 안의 컴팩트 객체 C 가 ‘유한 타일링’ 조건을 만족한다는 전제를 둔다. 여기서 유한 타일링이란 C 가 T 의 생성 집합을 유한 개의 사본으로 타일링할 수 있음을 의미하며, 이는 End_T(C) 가 유한 차원 k‑알제브라가 됨을 보장한다. 이러한 전제 하에 저자는 ‘일반화된 무어 스펙트럼’ M : mod‑End_T(C) → T 을 정의한다. 구체적으로, 모듈 X 에 대해 자유 해석 P·→ X 을 선택하고, 각 자유 모듈 P_i 에 대응하는 사본 C_i = C^{⊕n_i} 을 삼각형 범주에 끼워 넣어 복합 복합체 M(X) 를 만든다. 이 과정은 선택에 무관하게 동등한 동형사상 클래스를 제공한다는 것이 핵심 증명이다.

함수 M 은 정확히 다음 성질을 만족한다. 첫째, 짧은 정확열 0→X’→X→X’’→0 에 대해 M 은 구별 삼각형 M(X’)→M(X)→M(X’’)→ΣM(X’) 을 만든다. 둘째, 모듈 동형사상이 삼각형 동형사상으로 전이된다. 셋째, M 은 좌측 유도함수와 우측 유도함수 사이의 자연스러운 변환을 제공하여, Hom_T(C,–) 과 –⊗_{End_T(C)} C 사이의 어드쥬인트 관계를 확장한다.

이러한 구조는 기존 Jorgensen이 제시한 ‘리프트’ 개념을 일반화한다. Jorgensen은 특정 ‘tilting’ 객체에 대해 모듈을 삼각형 범주에 올리는 방법을 제시했지만, 그 조건이 매우 제한적이었다. 본 논문은 유한 타일링이라는 보다 넓은 가정을 도입함으로써, 다양한 대수적 상황(예: 경로 대수, 군 대수, 비가환 완전대수 등)에서 적용 가능하도록 확장한다. 특히, u‑클러스터 범주 C_u(Q) ( u>1 )에 대한 Keller의 표준 삽입을 재구성하는 과정에서, M 은 모듈 mod‑kQ 를 C_u(Q) 에 완전하고 보존적인 방식으로 삽입한다는 점을 보인다.

마지막으로, 저자는 M 의 ‘보존성’과 ‘완전성’에 대한 추가적인 결과를 제시한다. 예를 들어, M 이 완전 사상(fully faithful)임을 보이기 위해, Hom_T(C,M(X))≅X 이라는 동형을 이용한다. 또한, M 의 이미지가 T 의 ‘thick subcategory’ 을 생성함을 증명함으로써, 모듈 범주의 호몰로지 이론을 삼각형 범주의 구조와 직접 연결한다. 이러한 결과는 삼각형 범주론과 대수적 위상수학 사이의 교량을 제공하며, 향후 ‘t‑구조’, ‘co‑t‑구조’, ‘silting 객체’와의 상호작용을 탐구하는 데 유용한 도구가 될 전망이다.