Proxy smallness meets $t$-structures

技術的概要：プロキシ小さと t-構造の邂逅

1. 問題と動機
本論文は、三角圏におけるコンパクト性の弱めとして Dwyer、Greenlees、Iyengar によって導入された概念「プロキシ小ささ（proxy smallness）」の限界に取り組む。プロキシ小ささは、局所的な設定（例：[Pol19]）において局所完全交点（LCI）特異点を特徴づけることに成功し、テンソル作用を通じて LCI スキームを大域的に特徴づけるよう洗練されてきた（[BILP22]）が、$t$-構造の観点から見ると、大域化の下で適切に振る舞わない。具体的には、プロキシ小ささの単純な大域的アナログは、局所から大域への移行において、正しい幾何学的性質を捉えられない。

著者らは、$t$-構造とテンソル作用を統合するプロキシ小ささの自然な洗練を導入することを目的とする。中心的な目標は、「$t$-構造に対するプロキシ小ささ」（具体的には $t$-プロキシ小ささと $t$-$\otimes$-プロキシ小ささ）の理論を構築し、LCI スキームの新たな特徴づけを提供するとともに、コヒーレント層の有界導来圏 $D^b_{\text{coh}}(X)$ 内の特定の部分圏（プレアイズル）を分類することである。

2. 方法論と枠組み
この理論は、剛性コンパクト生成テンソル三角圏の文脈、特に Noether スキーム $X$ に対する $D_{\text{qc}}(X)$ に焦点を当てて展開される。方法論は、以下の 3 つの主要な技術的柱に依存する。

• テンソル作用とプレアイズル: 著者らは、完全複合体の圏 $\text{Perf}(X)$ が $D_{\text{qc}}(X)$ および関連する圏（例えば、射影的ホモトピー圏 $K(\text{Inj}(X))$）に作用することを利用する。$\otimes$-プレアイズル（正のシフト、拡大、直和因子、および $\text{Perf}_{\leq 0}(X)$ によるテンソル積について閉じた部分圏）を定義する。
• レコレメント: 重要な道具は、$D_{\text{qc}}(X)$、$K(\text{Inj}(X))$、および特異点圏 $D_{\text{sg}}(X)$ を関連付ける Krause のレコレメントである。著者らはこの枠組みを用いて $t$-構造を「接着」し、プロキシ小ささなどの性質がこれらの圏間でどのように振る舞うかを分析する。
• 擬コヒーレント生成: 論文は、擬コヒーレント複体によって生成されるアイズルを研究することで、アフィンな場合の結果を任意の Noether スキームへ拡張する。重要な技術的結果（定理 3.5）は、擬コヒーレント複体によって生成される $\otimes$-アイズルがコンパクト生成であることを示し、[ATJLS10] を一般化する。

3. 主要な定義と貢献

• $t$-プロキシ小ささ: 対象 $P$ が $t$-プロキシ小であるとは、$P$ によって生成される完備プレアイズル $\langle P \rangle^{(-\infty, 0]}$ がコンパクト生成であり、そのコンパクト対象が $P$ のコンパクト対象によって生成されるプレアイズルに含まれることをいう。これは、古典的なプロキシ小ささが任意の三角圏演算を許容するのに対し、「構築」プロセスを正のシフトと拡大に制限するものである。
• $t$-$\otimes$-プロキシ小ささ: これは、テンソル作用の存在下で概念を拡張したものである。対象が $t$-$\otimes$-プロキシ小であるとは、それによって生成される $\otimes$-プレアイズルが $t$-プロキシ小の条件を満たすことをいう。
• 構造的な特徴づけ（定理 4.7）: 著者らは、レコレメントを通じて $t$-プロキシ小な対象を特徴づける。対象 $P$ が $t$-プロキシ小であるための必要十分条件は以下の通りである：
  1. プレアイズル $\langle P \rangle^{(-\infty, 0]}$ がコンパクト生成であること。
  2. 導来ホムとテンソル積に関する特定の自己関手が小コ積を保存すること。
  3. $P$ の dg-自己準同型代数の標準的な $t$-構造が、関連するレコレメントに沿って接着すること。
• 古典的なプロキシ小ささとの区別: 本論文は、$t$-プロキシ小ささが厳密に強い条件であることを示す。例 4.11 は、特定の局所アルティン環 $R$ における $D^b_{\text{coh}}(R)$ の対象を構成し、プロキシ小ではあるが $t$-プロキシ小ではないことを示す。これは、[JŞ04] および [GP90] に見られる Eisenbud および Auslander の予想に対するモジュール論的な反例に依存している。

4. 主要な結果

• LCI スキームの特徴づけ（命題 1.2）: 本論文は、局所完全交点スキームの新たな特徴づけを提供する。Noether スキーム $X$ について、以下は同値である：
  1. $X$ は局所的に完全交点である。
  2. $D^b_{\text{coh}}(X)$ のすべての対象が $\otimes$-プロキシ小である。
  3. $D^b_{\text{coh}}(X)$ のすべての対象が $t$-$\otimes$-プロキシ小である。
     新奇性は条件 (3) にあり、既存の特徴づけの $t$-構造的な洗練を提供する。証明は、$K(\text{Inj}(X))$ 上のコンパクト生成アイズルへの所属が茎局所的な条件であることを示す補題 6.8 によって確立された局所から大域への性質を利用する。
• プレアイズルの分類（定理 1.1 および定理 5.4）: 著者らは、$t$-$\otimes$-プロキシ小な対象によって生成される $D^b_{\text{coh}}(X)$ の $\otimes$-シフト部分圏の集合から、以下の直積への単射写像 $\Theta$ を確立する：
  • 特異点圏 $D_{\text{sg}}(X)$ の $\star$-シフト部分圏。
  • $X$ 上の Thomason 濾過。
    写像は $A \mapsto (\langle \pi(A) \rangle^{(-\infty, 0]}, \phi_A)$ で与えられ、ここで $\pi$ は Verdier 局所化であり、$\phi_A$ は $D_{\text{qc}}(X)$ における生成されたアイズルに関連する Thomason 濾過である。
• 特定の場合における明示的な分類:
  • 超曲面特異点（定理 1.3）: $X$ が超曲面特異点のみを持つ場合、$\Theta$ は $D^b_{\text{coh}}(X)$ の $\otimes$-シフト部分圏と、特異点の閉包閉集合 $W$ と特定の包含条件を満たす Thomason 濾過 $\phi$ の対 $(W, \phi)$ との間の全単射となる。
  • 切断の零点（定理 1.5）: 正則スキーム上のベクトル束の切断の零点として現れるスキーム $X$（分解性質を満たすもの）について、分類は関連する超曲面スキーム $Y$ の特異点 locus を含むように洗練される。この結果は、構造層を含むシフト部分圏に対する Takahashi の分類 [Tak25] の非アフィン一般化を提供する。

5. 意義と主張
本論文は、$t$-構造に敏感なプロキシ小ささの「自然な洗練」を提供すると主張する。その意義は二重である：

1. 幾何学的特徴づけ: 局所完全交点スキームを同定するための新たな $t$-構造的基準を提供し、非分離の場合を処理できるように以前の結果をアップグレードし、より堅牢な局所から大域への原理を提供する。
2. 分類理論: 特定のクラスのスキーム（超曲面および零点）に対する $D^b_{\text{coh}}(X)$ 上の $\otimes$-プレアイズルの位相的分類をもたらす。この分類は、スキームの幾何学（Thomason 濾過を通じて）とその特異点（特異点圏を通じて）を、その導来圏の構造と結びつける。

著者らは、そのアプローチが Takahashi の最近の研究 [Tak25] で用いられた方法とは独立しており、代替的な証明と非アフィン設定への一般化を提供することを強調している。さらに、反例の構成（例 4.11）は、非 LCI 環上のモジュールの振る舞いに関する可換代数の深い結果を活用しつつ、古典的な小ささと $t$-構造的な小ささの間の微妙な差異を浮き彫りにしている。