代数スタックにおける正則性の圏論的characterizationに関する論文の技術的サマリー

1. 問題設定と背景

本論文は、代数幾何学における**代数スタック（algebraic stacks）の正則性（regularity）**を、その上の導来圏（derived categories）の圏論的性質を用いて特徴づけることを目的としています。

従来の研究において、Neeman は Noether スキーム $X$ に対して、以下の 2 つの圏論的性質が $X$ の正則性と同値であることを示しました：

1. 強生成元（strong generator）の存在: 完全複体の圏 $\text{Perf}(X)$ が強生成元を持つこと。
2. 有界 t-構造（bounded t-structure）の存在: $\text{Perf}(X)$ が有界 t-構造を持つこと。

これらの結果は、スキームの幾何学的性質（正則性）を、その上の三角圏の構造から読み取る重要な成果です。しかし、代数スタックの文脈では、以下の理由により直接的な一般化が困難でした：

• 代数スタック上では、完全複体（perfect complexes）とコンパクト対象（compact objects）が一致しない場合がある（スキームでは一致する）。
• 正則性の局所的な定義や、t-構造の「標準的な」同値類の存在が、スタックの安定化群（stabilizer）の無限性などにより複雑になる。

本論文は、これらの障壁を克服し、Neeman の結果を「集中型（concentrated）」な Noether 代数スタックの広範なクラスに拡張することを狙っています。

2. 手法とアプローチ

著者らは、以下の主要な技術的ステップと手法を駆使して結果を導出しています。

2.1. 基本事実の拡張：$\text{Perf}(X) = D^b_{\text{coh}}(X)$ の同値性

スキームの場合、Noether スキーム $X$ が正則であることと、完全複体の圏 $\text{Perf}(X)$ が有界コヒーレント複体の圏 $D^b_{\text{coh}}(X)$ に一致することは既知です。
著者らは、Proposition 1.3 および Proposition 3.6 において、この同値性を「良質な（decent）」Noether 代数スタックに拡張しました。

• 課題: 一般の代数スタックでは、$\text{Perf}(X)$ がコンパクト対象と一致しないため、コンパクト性を用いた記述が困難です。
• 解決策: 正則性を「残像のゲブ（residual gerbes）」の構造層の完全性を用いて点ごとに検出するアプローチを採用し、コンパクト対象に依存しない形で正則性と $\text{Perf}(X) = D^b_{\text{coh}}(X)$ の同値性を証明しました。

2.2. 強生成元による正則性の特徴づけ（第 5 章）

Theorem 1.1 において、以下の結果を証明しました：

集中型（concentrated）、分離的、有限 Krull 次元を持つ Noether 代数スタック $X$ について、$X$ が正則であることと、$\text{Perf}(X)$ が強生成元を持つことは同値である。

• 手法:
  • 「コンパクト対象による近似（approximation by compacts）」という条件を満たすスタックのクラスを特定しました（準有限かつ分離的な対角を持つスタックなど）。
  • この条件下では、$\text{Perf}(X)$ がコンパクト対象と一致し、スキームの場合の議論を流用できることを示しました。
  • 逆方向については、強生成元の存在が $D^b_{\text{coh}}(X) = \text{Perf}(X)$ を導き、前述の Proposition 3.6 を用いて正則性を導出します。

2.3. t-構造による正則性の特徴づけ（第 6 章）

Theorem 1.2 において、Neeman の t-構造に関する結果をスタックに拡張しました：

準有限かつ分離的な対角を持つ、または標数 0 の Deligne-Mumford スタックである Noether 代数スタック $X$ について、閉集合 $Z \subseteq |X|$ が正則点の集合に含まれることと、$\text{Perf}_Z(X)$ が有界 t-構造を持つことは同値である。

• 主要な技術的障壁: スタック上では、標準的な t-構造が「好ましい同値類（preferred equivalence class）」に含まれることが保証されない場合がある（例：無限の安定化群を持つ $B\mathbb{G}_m$）。
• 解決策:
  • Hypothesis ★ を導入し、これが満たされるスタックのクラスを特定しました。
  • 再構成（Recollement） と Mayer-Vietoris 正方形 を用いた帰納法（[HR18] の原理）により、Hypothesis ★ が準有限分離対角を持つスタックや標数 0 の DM スタックで満たされることを示しました（Proposition 6.6）。
  • これにより、Neeman の証明手法をスタック設定に適用可能にしました。

2.4. 古典的生成元の存在条件（第 4 章）

正則性の局所性（J-0, J-1, J-2 条件）と、有界コヒーレント導来圏 $D^b_{\text{coh}}(X)$ の**古典的生成元（classical generator）**の存在の関係を一般化しました（Proposition 4.6）。これは、Iyengar-Takahashi や Dey-Lank のスキーム上の結果を代数スタックに拡張したものです。

3. 主要な結果

1. 正則性と完全複体の圏の一致:
   良質な Noether 代数スタック $X$ において、$X$ が正則 $\iff \text{Perf}(X) = D^b_{\text{coh}}(X)$ が成り立つ（Proposition 1.3, Corollary 3.8）。これはコンパクト対象の概念に依存しない形で定式化されています。

2. 強生成元による特徴づけ:
   集中型で有限 Krull 次元を持つ Noether 代数スタック $X$ において、$X$ が正則 $\iff \text{Perf}(X)$ が強生成元を持つ（Theorem 1.1, Theorem 5.4）。

3. t-構造による特徴づけ:
   準有限分離対角を持つ、または標数 0 の DM スタックである Noether 代数スタック $X$ において、閉集合 $Z$ が正則 $\iff \text{Perf}_Z(X)$ が有界 t-構造を持つ（Theorem 1.2, Theorem 6.7）。

4. 古典的生成元の存在:
   正則点が稠密に存在する（J-0 条件）ような代数スタックの閉部分スタックに対して、$D^b_{\text{coh}}$ が古典的生成元を持つことを示しました（Proposition 4.6）。

4. 意義と貢献

• 理論的拡張: Neeman の画期的な結果を、スキームからより一般的な代数スタックへと拡張しました。これにより、代数スタックの幾何学的性質（正則性）と、その導来圏の圏論的構造（生成元、t-構造）の間の深い関係が、より広い文脈で確立されました。
• 技術的革新: 代数スタック特有の課題（コンパクト対象と完全複体の不一致、無限の安定化群による t-構造の非自明性）を、再構成（recollement）や Mayer-Vietoris 正方形を用いた帰納法、および「集中型」スタックの性質を巧みに組み合わせることで克服しました。
• 応用可能性: 得られた結果は、代数スタック上のコホモロジー理論、K-理論、およびミラー対称性などの分野において、導来圏の構造を解析するための強力なツールを提供します。特に、正則性の検出を圏論的データに還元できる点は、計算や分類問題において重要です。

総じて、本論文は代数スタックの導来圏論における基礎的な成果であり、幾何学と圏論の接点をさらに深める重要な一歩となっています。