모델이 없는 삼각형 범주

초록

우리는 Frobenius 범주의 안정 범주도 아니고, 안정 모델 범주의 호모토피 범주의 완전 삼각형 부분범주도 아닌 삼각형 범주의 구체적인 예를 제시한다. 더욱이, 이러한 예들은 대수적 혹은 위상적 삼각형 범주와의 비자명한 정확함(functor) 관계를 전혀 갖지 않는다.

상세 요약

삼각형 범주는 현대 대수적 위상수학과 동형론에서 중심적인 역할을 한다. 전통적으로는 두 가지 큰 클래스로 나뉘는데, 하나는 Frobenius 범주의 안정 범주(즉, ‘알제브라적’ 모델)이고, 다른 하나는 안정 모델 범주의 호모토피 범주(‘위상적’ 모델)이다. 이 두 클래스는 각각 호몰로지 이론, 스펙트럼 이론, 그리고 다양한 유도된 범주 구조를 제공함으로써, 삼각형 구조를 실제 계산과 직관에 연결한다. 그러나 이 논문은 그 사이에 존재하던 ‘모델이 없는’ 영역을 명확히 드러낸다. 저자들은 특정한 가환환 위에 정의된 복합적인 복소체와 그에 대응하는 차원 제한을 이용해, 어떠한 Frobenius 범주에서도 유도될 수 없고, 또한 어떠한 안정 모델 범주의 호모토피 범주에도 완전하게 포함될 수 없는 삼각형 범주를 구축한다. 핵심은 이러한 범주가 비자명한 정확함(functor)조차 허용하지 않는다는 점이다. 즉, 기존의 대수적(예: 모듈러 표현론, 차원 제한된 복소체) 혹은 위상적(예: 스펙트럼, 안정 동형론) 삼각형 범주와의 비동형 사상은 전부 영 사상으로 귀결된다. 이는 삼각형 범주의 ‘모델 독립성’에 대한 새로운 경고를 제공한다. 기존에는 대부분의 삼각형 범주가 어떤 형태로든 모델(알제브라적 혹은 위상적)에서 유도될 수 있다고 믿었지만, 이번 결과는 그 가정이 일반적이지 않음을 보여준다. 이로써 삼각형 범주의 분류 문제는 기존 모델 이론을 넘어서는 새로운 접근이 필요함을 시사한다. 또한, 삼각형 구조를 이용한 정리(예: 베르시-베르베르, 가상 사상론)의 적용 범위가 제한될 수 있음을 경고하며, 향후 연구에서는 이러한 ‘모델이 없는’ 범주를 탐지하고, 그 내부 구조를 직접 기술하는 방법론이 요구된다.