Recollements of derived categories from $n$-term big tilting complexes

技術要約：n項ビッグ・ティルティング複体からの派生圏の再構成（Recollements）

問題提起
本論文は、「ビッグ・ティルティング複体（big tilting complexes）」に関連する派生圏の構造的分解を扱う。リック（Rickard）の派生モリタ理論は、古典的な（コンパクトな）ティルティング複体による同値性を確立しているが、無限生成の（ビッグな）ティルティング対象は必ずしも同値性を誘導しない。代わりに、それらは局所化を誘導し、その核（kernel）が同値性の失敗を測定する。

射影次元が高々1である「グッド・ティルティング加群」については、チェン（Chen）とシー（Xi）によって、その核がホモロジー的環エピモルフィズムから生じる環 $C$ の派生圏と同値であることが示された。より高次の次元を持つ加群については、チェンとシーは、その核が対称的な完全部分圏（symmetric exact subcategory）によってモデル化されることを示した。しかし、$n$ 項ビッグ・ティルティング複体（$n \ge 2$）の場合には、新たな現象が導入される。2項の場合とは異なり（その場合、核はしばしば射影加群間の単一の射に対する普遍局所化として記述される）、高項の複体は一連のホモロジー的条件を課す。中心的な問題は、$n$ 項ビッグ・ティルティング複体に関連する派生テンソル関数の三角核（triangulated kernel）が、具体的な代数的実現（algebraic realization）を持ち得るか、また、もし持つならば、その実現は一つの環の派生圏なのか、あるいはより一般的な完全圏（exact category）なのかを決定することである。

手法
著者らは、微分勾配（dg）代数論、再構成理論（recollement theory）、および完全圏論を組み合わせて用いる。

1. DG二重中心化記述： 著者らは、ビッグ・ティルティング複体 $T$ を、射影加群の有界複体 $P^\bullet$ によって表現する。彼らは、dg自己準同型代数 $\Lambda = \text{End}^\bullet_A(P^\bullet)$ と、その非正部分切断 $\Delta = \tau_{\le 0}\Lambda$ を構成する。$A \to \text{End}^\bullet_{\Lambda^{op}}(P^\bullet)^{op}$ が擬同型であることを示すことで、dg二重中心化定理を証明し、$P^\bullet$ が部分的なティルティングdg加群であることを確立する。これにより、ジョーゲンセン（Jørgensen）の部分的ティルティングdg加群に関する再構成理論を適用し、$D(\Lambda)$ から $D(B)$（ここで $B = \text{End}_{D(A)}(P^\bullet)$）へと再構成を輸送することが可能となる。

2. 射影的組み立てと完全な実現： 核 $Y_B = \text{Ker}(T^\bullet \otimes^L_B -)$ を特定するために、著者らは、$T^\bullet \otimes^L_B M = 0$ となるような $B\text{-Mod}$ の部分集合 $E$ を定義する。$E$ が拡張閉じた完全部分圏であることを証明する。重要な技術的ステップは、「射影的組み立て（projective assembly）」関手を構成することである。射影的 $B$ 加群 $Q$ に対して、随伴単位 $\eta_Q: Q \to R\text{Hom}_A(T^\bullet, T^\bullet \otimes^L_B Q)$ を分析し、短完全列 $0 \to Q \to \Psi(Q) \to C(Q) \to 0$ （ただし $C(Q) \in E$）を生成する。これらの列を複体上で関数的に組み立てることで、制限関手の派生版 $D(E) \to Y_B$ の擬逆関数を構成し、これにより同値性 $D(E) \simeq Y_B$ を証明する。

3. 振幅および対称性分析： 著者らは、ティルティング複体の完全な右 $B$ モデルの振幅を利用して、$E$ の対称性を決定する。振幅が $m$ である場合、$E$ はすべての $d \ge m$ に対して $d$-対称であることを示す。これは、pp-ペア（positive primitive formulas）を用いてテンソル積 $T^\bullet \otimes^L_B M$ のコホモロジーを分析することを通じて行われる。これにより、$E$ が定義可能な部分圏（definable subcategory）であることを確立する。

主要な貢献と結果

• 主定理 (Theorem 1.2 & 3.24): 環 $A$ 上の $n$ 項ビッグ・ティルティング複体 $T$ とその自己準同型環 $B$ に対して、派生圏 $D(B)$ は以下の再構成を持つ：
  $$\begin{array}{ccc} D(E) & \xrightarrow{D(\lambda_*)} & D(B) \\ & \underset{a}{\rightleftarrows} & \underset{a}{\rightleftarrows} \\ & & D(A) \end{array}$$
  ここで $E$ は、派生テンソル積が消滅する $B\text{-Mod}$ の完全部分圏であり、$D(E)$ は派生テンソル関数の核 $T^\bullet \otimes^L_B -$ と三角同値である。

• 完全圏的核 vs アーベル的核： 本論文は、$n \ge 2$ の場合、核は一般に環の派生圏ではない（すなわち、$E$ は必ずしもアーベル的部分圏ではない）ことを明確にしている。

  • Theorem 3.25: 以下は同値である：
    1. $E$ は $B\text{-Mod}$ のアーベル的部分圏である。
    2. $D(B)$ 上の標準的な $t$-構造が核 $Y_B$ に制限されている。
    3. 核がホモロジー的環エピモルフィズム $B \to C$ によって誘導されている。
  • Corollary 3.26 & 3.27: 二項の場合（振幅 $\le 1$）、$E$ は常にアーベル的部分圏であり、普遍局所化（Xuの結果）から生じる再構成を回収する。振幅が $1$より大きい場合、$E$ は通常、完全的部分圏に過ぎず、「環の派生圏」を「完全圏の派生圏」で置き換える必要がある。

• 半単純環に対する計算可能な判定基準 (Theorem 3.28): $B$ が半パーフェクト環であるとき、著者らは、核が環エピモルフィズムによって誘導されているかどうかを検出する判定基準を提供する。もし $T^\bullet \otimes^L_B B/J(B)$ のコホモロジーが1つまたは2つの連続する次数に集中している（すなわち、振幅 $\le 1$）ならば、核はアーベル的部分圏であり、ホモロジー的環エピモルフィズムによって誘導される。これにより、左側の項となる環の存在が、半単純環 $B/J(B)$ 上の有限な計算によって検出可能となる。

• 明示的な構成 (Section 4):

  • 行列環族: 著者らは、下三角行列環を用いて、あらゆる $n \ge 2$ に対して、真に $n$ 項で非コンパクトなビッグ・ティルティング複体の一様族を構成する。
  • 代数的カルチン商 (Algebraic Calkin Quotient): 著者らは、左側の項が「代数的カルチン商」$C = B/BeB$（ここで $BeB$ は有限生成自由加群を経由する自己準同型のイデアル）の派生圏となる、具体的な三項の例を示す。これは、本理論が単純な加群の局所化から生じるものではない、非自明な再構成を生み出すことを示している。
  • 派生輸送 (Derived Transport): 非コンパクトなティルティング対象を派生同値に沿って輸送し、新たなビッグ・ティルティング複体を生成する方法を示す。
  • 直積構成: 単一のコンパクトな種（seed）の無限余積に依存することなく、任意の $n$ に対して真に $n$ 項のビッグ・ティルティング複体を構成する手法を提供する。

意義
本論文は、古典的な二項設定（およびグッド・ティルティング加群）から、任意の有限項のビッグ・ティルティング複体へと、再構成の理論を拡張する。これは、高振幅における核の自然な代数的モデルが、環ではなく完全圏の派生圏であることを確立するものである。これにより、そのような核が具体的な実現を持ち得るかという問いに対し、それらは（より広い枠組みである）完全圏の範囲内において実現可能であることを肯定することで解決を図っている。本研究は、普遍局所化に関するXuの結果や、対称的部分圏へのChen-Xiのアプローチを一般化し、高次の項の直交条件の複雑さを扱うdg代数的な枠組みの下でこれらを統一するものである。非コンパクトな例（代数的カルチン型商を含む）の明示的な構成は、これらの高次項の現象が本質的なものであり、単に二項の複体に可縮な和を付け加えたことによる人工的な産物ではないことを示している。