The Spectrum of Stable Infinity Categories with Actions

기술 요약: 작용을 가진 안정적 무한 범주(Stable $\infty$-Categories)의 스펙트럼

문제 정의

삼각 또는 안정적 $\infty$-범주와 연관된 스펙트럼에 대한 연구는 추상적인 범주론적 구조와 기저의 기하학 사이의 가교 역할을 한다. 두 가지 주요 프레임워크가 존재한다:

1. 발머(Balmer)의 텐서 삼각 스펙트럼: Balmer [Bal05]에 의해 도입되었으며, 텐서 삼각 범주 $\mathcal{T}$에 국소 환상 공간(locally ringed space) $\text{Spec}^\otimes(\mathcal{T})$를 대응시켜 두꺼운 텐서 아이디얼(thick tensor ideals)을 분류한다. 이는 완벽한 복합체(perfect complexes)의 범주로부터 기하학적 공간(예: 스킴)을 성공적으로 회복한다. 그러나 이는 전역적인 텐서 곱 구조를 필요로 한다.
2. 마츠이(Matsui)의 삼각 스펙트럼: Matsui [Mat21]에 의해 제안되었고 Hirano, Ouchi 및 기타 연구자들 [HO22, HO24, HKO24, Ito23, IM24]에 의해 더욱 발전되었으며, 텐서 구조가 없는 삼각 범주로 개념을 일반화하여 두꺼운 부범주(thick subcategories)를 분류한다.

두 접근 방식을 통합하고, 범주 $\mathcal{D}$가 자체적으로는 전역 텐서 곱을 갖지 않더라도 다른 범주 $\mathcal{S}$의 작용(즉, $\mathcal{S}$-모듈)을 갖는 설정으로 확장하는 데 여전히 간극이 존재한다. 본 논문은 안정적 $\infty$-범주 $\mathcal{S}$의 작용을 갖는 안정적 $\infty$-범주 $\mathcal{D}$에 대해, **두꺼운 $\mathcal{S}$-서브모듈(thick $\mathcal{S}$-submodules)**을 분류하는 통합된 불변량을 구축할 필요성을 다룬다.

방법론

저자는 대수적 대상(algebra objects) $\mathcal{B}, \mathcal{S} \in \text{Cat}^{\text{perf}}_\infty$, 준동형 사상 $\phi: \mathcal{B} \to \mathcal{S}$, 그리고 좌측 $\mathcal{S}$-모듈 $\mathcal{D} \in \text{Cat}^{\text{perf}}_\infty$로 구성된 데이터 $(\mathcal{D}, \mathcal{S}, \mathcal{B})$에 대한 새로운 불변량인 상대적 마츠이 스펙트럼(relative Matsui spectrum) $\text{Spec}(\mathcal{D}, \mathcal{S}, \mathcal{B})$를 구축한다.

구축 과정:

1. 소수(Primes)와 위상: 기저 위상은 **$\mathcal{S}$-소수(S-primes)**를 통해 정의된다. 두꺼운 $\mathcal{S}$-서브모듈 $P \subset \mathcal{D}$가 $\mathcal{S}$-소수라는 것은, $P$를 엄격히 포함하는 임의의 $\mathcal{S}$-서브모듈들의 교집합 또한 $P$를 엄격히 포함한다는 것을 의미한다. 공간 $\text{Spc}(\mathcal{D}, \mathcal{S})$는 서포트(support) $\text{Supp}(W) = \{P \mid W \not\subset P\}$에 의해 생성되는 위상을 가진 소수들의 집합이다.
2. 구조 층(Structure Sheaf): 구조 층 $\mathcal{O}$는 국소화된 범주의 항등 함자(identity functors)들에 대한 자연 변환을 사용하여 구축된다. 구체적으로 $\mathcal{O}(U) = \text{Nat}^0_{\mathcal{B}}(\text{Id}_{\mathcal{D}_U}, \text{Id}_{\mathcal{D}_U})$이며, 여기서 $\mathcal{D}_U$는 개집합 $U$에서의 $\mathcal{D}$의 국소화이다.
3. 보편성(Universality): 스펙트럼은 **보편적 서포트 데이터(universal support datum)**로 특징지어진다. 서포트 데이터란 이동 불변성(shift invariance), 작용 호환성(action compatibility), 직합 가법성(direct sum additivity), 정확성(exactness), 그리고 구별 가능성(distinguishability)을 만족하는, $\mathcal{D}$의 대상들로부터 닫힌 부분집합으로의 사상을 갖는 위상적 $T_0$-공간이다. 상대적 마츠이 스펙트럼은 이러한 서포트 데이터들의 범주에서 초기 대상(initial object)임이 입증되었다.

핵심 기술적 도구:

• 국소화의 가환성(Commutativity of Localizations): 본 논문은 국소화된 안정적 $\infty$-범주들이 서로 가환하는 조건(Lemma 5.1, Lemma 5.4)을 활용하며, 이는 하강 성질(descent properties)과 파이버별 분해(fiberwise decompositions)를 확립하는 데 필수적이다.
• 허용 가능성 및 스매싱(Admissibility and Smashing): 저자는 데이터 $(\mathcal{D}, \mathcal{S})$에 대한 허용 가능(admissible), 스매싱(smashing), 리지드(rigid) 조건을 도입하여, 베이스의 스펙트럼 $\text{Spec}(\mathcal{S}, \mathcal{S})$로의 자연스러운 사상이 존재하도록 하고, 스펙트럼이 기저 변경(base change) 및 국소화 하에서 잘 작동하도록 보장한다.

핵심 기여 및 결과

1. 통합 및 일반화

상대적 마츠이 스펙트럼은 발머와 마츠이의 구성을 모두 일반화한다:

• $\mathcal{D} = \mathcal{S} = \mathcal{T}$ (리지드 텐서 삼각 범주)인 경우, $\text{Spec}(\mathcal{D}, \mathcal{S})$는 발머 스펙트럼 $\text{Spec}^\otimes(\mathcal{T})$를 회복한다.
• $\mathcal{S} = \text{Perf}(Z)$ 또는 $\text{Sp}^\omega$ (유한 스펙트럼)인 경우, 이는 마츠이 스펙트럼 $\text{Spec}_\triangle(\mathcal{D})$를 회복한다.
• 이는 텐서 곱 구조가 없는 환경에서도 두꺼운 $\mathcal{S}$-서브모듈을 분류할 수 있는 통합된 프레임워크를 제공하여 텐서 삼각 기하학을 확장한다.

2. 근본적 성질

• 서브모듈의 분류: $\mathcal{D}$의 두꺼운 $\mathcal{S}$-서브모듈과 $\text{Spc}(\mathcal{D}, \mathcal{S})$의 특수화 닫힌 부분집합(specialization-closed subsets) 사이에는 일대일 대응이 존재한다 (Theorem 4.3). 모든 $\mathcal{S}$-서브모듈은 소수 $\mathcal{S}$-서브모듈들의 교집합이다.
• 베이스로의 사상: 허용 가능한 데이터에 대하여, $\text{Spec}(\mathcal{D}, \mathcal{S}) \to \text{Spec}(\mathcal{S}, \mathcal{S})$로 가는 정준적인 사상이 존재한다. 이를 통해 스펙트럼의 파이버별 분석(fiberwise analysis)이 가능하다.
• 하강 및 기저 변경: 스펙트럼은 하강 성질(Lemma 7.2)을 만족하며, 하위 대수의 이미지에 의해 국소적으로 생성되는 경우를 포함하여 기저 변경(Theorem 6.7) 하에서도 잘 작동한다.

3. 기하학적 응용

본 논문은 상대적 마츠이 스펙트럼이 다양한 설정에서 범주적 데이터로부터 고전적인 기하학적 공간을 어떻게 회복하는지 보여준다:

• 스킴(Schemes): 평탄 사상(flat morphism) $X \to Y$ ($Y$는 정규(regular)임)에 대하여, $\text{Perf}(Y)$-모듈로서의 $\text{Perf}(X)$의 스펙트럼은 $Y$ 위의 국소 환상 공간이며, 파이버별로는 $\text{Perf}(X_y)$의 마츠이 스격트럼을 준다. 상대적으로 유의적 동치(relatively derived equivalent)인 스킴들은 열린 부분 스킴으로 나타난다.
• 트위스티드 유도 범주(Twisted Derived Categories): 트위스티드 유도 범주 $\text{Perf}(X, \mu)$의 경우, 스펙트럼은 기저 스킴 $X$와 정준적으로 동형이다.
• 세베리-브라우어 스킴(Severi–Brauer Schemes): 세베리-브라우어 스킴 $Y \to X$에 대하여, 스펙트럼은 추가적인 $X$의 복사본들과 함께 $Y$를 인코딩하며, 이는 반직교 분해(semi-orthogonal decompositions)를 반영한다. 상대적 차원이 1인 경우, 스펙트럼은 $Y \sqcup (\coprod_{\mathbb{Z}} X)$로 명시적으로 기술된다.
• 특이점(Singularities):
  • 특이성 범주(category of singularities) $\text{Sing}(X)$에 대하여, 만약 $X$가 국소적으로 하이퍼서피스(hypersurface)라면, 스펙트럼은 $X$의 특이점 집합(singular locus)을 회복한다.
  • $\text{Coh}(X)$에 대하여, 점 $x$에서의 파이버는 국소 환 $\mathcal{O}_{X,x}$의 임베딩 코디멘션(embedding codimension)과 관련된다. 스펙트럼은 특이점 집합과 관련된 공간의 특수화 닫힌 부분집합을 통해 $\text{Coh}(X)$의 서브모듈을 분류한다.
• 행렬 분해(Matrix Factorizations): 유도 행렬 분해 범주 $\text{DMF}(X, L, W)$에 대하여, 스펙트럼은 상대적 특이점 집합 $\text{Sing}(X_0/X)$를 회복하며, 이는 Hirano [Hir19]의 결과를 확장한다.
• 코쉬울 대수(Koszul Algebras): 스펙트럼은 정규 환의 코쉬울 대수 상의 두꺼운 부범주를 분류하며, 이는 Liu와 Pollitz [LP25]의 결과를 일반화한다.

의의

본 논문은 상대적 마츠이 스펙트럼이 텐서 삼각 기하학의 범위를 확장하여, 전역 텐서 곱이 없거나 범주가 베이스에 대해 정의된 설정에서도 작동함을 주장한다. 서브범주의 분류를 통해 기하학적 직관을 보존함으로써, 순수하게 범주적인 데이터로부터 관련 기하학적 로커스(loci, 예: 스킴, 특이점 집합, 트위스티드 구조)를 재구성할 수 있게 한다.

이 구축은 이전의 스펙트럼 이론(Balmer 및 Matsui)을 포괄하는 통합된 프레임워크를 제공하며, 작용을 갖는 안정적 $\infty$-범주를 분석하기 위한 강력한 도구를 제공한다. 결과적으로, 복잡한 상대적 설정(예: 트위스티드 범주, 행렬 분해, 특이성 범주)에서도 범주적 구조가 관련 기하학적 로커스를 재구성하고 그 서브모듈을 분류할 수 있는 충분한 정보를 보유하고 있음을 입증한다.