Categorical characterizations of regularity for algebraic stacks

1. 문제 제기 (Problem)

대수기하학에서 스킴 $X$의 기하학적 성질, 특히 **정칙성 (regularity)**은 종종 그 위의 삼각 범주 (triangulated categories) 의 구조를 통해 특징지어집니다.

• 배경: Neeman 은 Noetherian 스킴 $X$에 대해 다음과 같은 동치 관계를 증명했습니다.
  1. $X$가 정칙 (regular) 일 필요충분조건은 Perfect 복합체들의 범주 $\text{Perf}(X)$가 **강한 생성자 (strong generator)**를 갖는 것이다.
  2. $X$가 정칙일 필요충분조건은 $\text{Perf}(X)$가 **유계 $t$-구조 (bounded t-structure)**를 갖는 것이다.
• 문제: 이러한 범주론적 특징화 (categorical characterizations) 가 대수적 스택으로 일반화될 수 있는가?
• 난제: 스킴과 달리 대수적 스택에서는 $\text{Perf}(X)$ (완벽한 복합체) 와 $\text{D}_{qc}(X)^c$ (콤팩트 객체) 가 항상 일치하지 않습니다. 또한, 스택의 경우 정칙성을 판별하기 위해 국소적 성질을 전역적으로 연결하는 과정에서 추가적인 기술적 장벽 (예: 무한한 안정자 (stabilizer) 를 가진 스택의 경우 $t$-구조의 존재성 문제) 이 존재합니다.

2. 방법론 (Methodology)

저자들은 다음과 같은 방법론적 접근을 통해 스킴의 결과를 스택으로 확장했습니다.

1. 정칙성과 $\text{Perf}(X) = \text{D}^b_{\text{coh}}(X)$의 동치 증명:

   • 스킴의 경우 정칙성은 $\text{Perf}(X) = \text{D}^b_{\text{coh}}(X)$ (유계 코히런트 층의 유도 범주) 와 동치인 잘 알려진 사실에 기반합니다. 저자들은 이를 Noetherian 대수적 스택에 대해 증명했습니다 (Proposition 1.3, Corollary 3.8).
   • 이 과정에서 'concentrated' 조건 (Perfect 복합체가 콤팩트 객체와 일치하는 조건) 이 필수적임을 지적하고, 이를 만족하지 않는 경우 (예: $B_k G_a$) 에는 생성자 개념을 어떻게 수정해야 하는지 논의했습니다.

2. 강한 생성자 (Strong Generators) 를 통한 특징화:

   • Theorem 1.1: 집중된 (concentrated), 분리된 (separated), Noetherian 대수적 스택 $X$ (유한 크룰 차원, 아핀 대각선) 에 대해, $X$가 정칙일 필요충분조건은 $\text{Perf}(X)$가 강한 생성자를 갖는 것입니다.
   • 이를 위해 Lipman-Neeman 의 '콤팩트 객체에 의한 근사 (approximation by compacts)' 개념을 스택에 적용하고, 유한 크룰 차원 조건이 생성자의 존재와 어떻게 연관되는지 분석했습니다.

3. $t$-구조 (t-structures) 를 통한 특징화:

   • Theorem 1.2: 대각선이 유한-분리 (quasi-finite and separated) 이거나, characteristic 0 의 Deligne-Mumford 스택인 경우, 닫힌 부분집합 $Z \subseteq |X|$에 대해 $Z \subseteq \text{reg}(X)$일 필요충분조건은 $\text{Perf}_Z(X)$가 유계 $t$-구조를 갖는 것입니다.
   • 기술적 핵심: 스택의 경우 표준 $t$-구조가 '선호되는 동치 클래스 (preferred equivalence class)'에 속하는지 확인하는 것이 핵심 난제였습니다. 저자들은 Mayer-Vietoris square와 recollement 기법을 사용하여 $t$-구조를 접합 (gluing) 하고, 이를 통해 Hypothesis ★ (1-Thomason 조건 및 표준 $t$-구조의 선호 클래스 속함) 를 만족하는 스택의 클래스를 증명했습니다.

4. 고전적 생성자 (Classical Generators) 의 존재:

   • 정칙성 조건이 $\text{D}^b_{\text{coh}}(X)$의 고전적 생성자 존재와 어떻게 연결되는지 분석하여, Iyengar-Takahashi 및 Dey-Lank 의 스킴에 대한 결과를 스택으로 일반화했습니다 (Proposition 1.5).

3. 주요 기여 및 결과 (Key Contributions & Results)

1. 정칙성의 범주론적 특징화 확장 (Theorem 1.1 & 1.2):

   • Neeman 의 스킴에 대한 두 가지 주요 정리를 Noetherian 대수적 스택으로 성공적으로 확장했습니다.
   • 특히, $\text{Perf}(X)$가 강한 생성자를 갖거나 유계 $t$-구조를 갖는 것이 스택의 정칙성과 동치임을 보였습니다.

2. $\text{Perf}(X) = \text{D}^b_{\text{coh}}(X)$ 동치 증명의 일반화 (Proposition 1.3):

   • Noetherian 대수적 스택에 대해 "정칙성 $\iff \text{Perf}(X) = \text{D}^b_{\text{coh}}(X)$"임을 증명했습니다. 이는 스택 이론에서 정칙성을 판별하는 데 있어 중요한 호몰로지적 기준을 제공합니다.
   • 이 결과는 콤팩트 객체가 Perfect 객체와 일치하지 않는 경우 (non-concentrated stacks) 에도 적용 가능한 형태로 제시되었으며, 이를 위해 잔류 게브 (residual gerbes) 의 구조 sheaf 의 Perfect 성을 이용한 국소적 판별법을 사용했습니다.

3. 대수적 스택을 위한 $t$-구조 이론의 발전:

   • 무한한 안정자를 가진 스택 (예: $B\mathbb{G}_m$) 에서는 선호되는 $t$-구조 클래스가 존재하지 않을 수 있음을 지적하고, quasi-finite separated diagonal이나 characteristic 0 의 Deligne-Mumford 스택과 같은 '잘 행동하는 (well-behaved)' 스택 클래스에 대해 $t$-구조의 존재성을 보장했습니다.
   • Recollement 와 gluing 기법을 사용하여 스택의 $t$-구조를 구성하는 새로운 방법을 제시했습니다.

4. 고전적 생성자 존재에 대한 새로운 기준 (Proposition 1.5):

   • 1-Thomason 조건을 만족하는 집중된 Noetherian 스택에 대해, 정칙 부분집합이 열려 있는지 여부와 $\text{D}^b_{\text{coh}}(Z)$의 고전적 생성자 존재를 연결했습니다. 이는 Iyengar-Takahashi 와 Dey-Lank 의 결과를 스택으로 일반화한 것입니다.

4. 의의 및 중요성 (Significance)

• 이론적 통합: 대수기하학의 핵심 개념인 '정칙성'을 스킴과 스택 모두에 대해 통일된 범주론적 언어 (생성자, $t$-구조) 로 설명할 수 있는 체계를 마련했습니다.
• 기술적 장벽 극복: 대수적 스택의 고유한 문제점 (콤팩트 객체와 Perfect 객체의 불일치, 무한 안정자의 존재 등) 을 해결하기 위해 새로운 기술적 도구 (concentrated 조건, 1-Thomason 조건, Mayer-Vietoris 를 이용한 $t$-구조 접합) 를 개발했습니다.
• 향후 연구의 기반: 이 결과는 대수적 스택의 유도 범주 (derived categories) 연구, K-이론, 그리고 스택의 기하학적 성질을 범주론적 불변량으로 연구하는 분야에 중요한 기초를 제공합니다. 특히, Neeman 의 가설이 스택 영역에서도 유효함을 보여줌으로써, 스택 이론과 호몰로지 대수학의 교차점을 넓혔습니다.

요약하자면, 이 논문은 대수적 스택의 정칙성을 완벽하게 특징짓는 범주론적 기준을 확립함으로써, 스킴 이론의 강력한 결과들을 스택이라는 더 넓은 기하학적 대상에 성공적으로 적용한 획기적인 연구입니다.