스펙트럴 범주들의 호모토피 이론: 퀼렌 모델 구조 구축

이 논문은 스펙트럼을 이용해 범주를 풍부화한 스펙트럴 범주(Sp Σ‑Cat)의 호모토피 이론을 체계적으로 구축한다. 서론에서는 스펙트럴 범주가 DG‑카테고리의 비가산적 아날로그이며, 대칭 스펙트럼(Sp Σ)이라는 안정적 호모토피 이론의 기본 객체 위에 정의된다는 배경을 제시한다. 스펙트럴 범주는 객체들의 집합과 각 객체쌍 사이에 대칭 스펙트럼을 할당하고, smash 곱을 이용한 합성법칙을 만족한다. 이러한 구조는 비가산적 비선형 대수기하와 안정적 모듈 이론 사이의 다리 역할을 한다. **1. 사전 지식** 저자는 대칭 모노이달 카테고리 (C,⊗,I_C)와 (D,∧,I_D) 사이의 강(mon)oidal functor와 adjunction 개념을 정리한다. 특히, sSet‑Cat와 sSet•‑Cat(점붙은 simplicial 카테고리) 사이의 강 monoidal adjunction을 소개하고, 대칭 스펙트럼 카테고리 Sp Σ와 그 smash 곱 ∧, 단위 스펙트럼 S를 정의한다. 프로젝트 레벨 모델 구조와 프로젝트 안정적 모델 구조가 smash 곱에 대해 모노이달임을 언급한다(Lemma 2.2). **2. 스펙트럴 범주의 정의** 스펙트럴 범주 A는 객체 집합 ob(A)와 각 (x,y)쌍에 대한 대칭 스펙트럼 A(x,y), 그리고 합성 A(x,y)∧A(y,z)→A(x,z)와 단위 S→A(x,x)를 갖는다. 작은 스펙트럴 범주(객체 집합이 집합인 경우)를 Sp Σ‑Cat라 부른다. 스펙트럴 함자 F:A→B는 객체 사상과 각 호모스펙트럼에 대한 스펙트럼 사상을 포함한다. **3. 레벨별 준동형 모델 구조** 레벨별 준동형은 두 조건 L1, L2로 정의된다. L1은 각 호모스펙트럼이 프로젝트 레벨 모델 구조에서 동등함을 요구하고, L2는 0‑차원 수준(객체 집합)에서 Dwyer‑Kan 동등성을 요구한다. 이를 기반으로 약등호 클래스 Wₗ을 만든다. 생성(co)fibration 집합 I와 J를 명시한다. I는 프로젝트 레벨 모델 구조의 생성(co)fibration을 스펙트럴 범주 수준으로 끌어올린 C_{m,n}와 초기 객체 → 단위 스펙트럼 S 사이의 함자를 포함한다. J는 그 트리비얼 버전 A_{m,k,n}와 Σ∞(−+)를 통한 simplicial 카테고리의 트리비얼 생성자를 포함한다. **4. 모델 구조 인정** Recognition theorem(