Quasi-affine schemes and singly compactly generated $t$-structures

技術的要約：準アフィン・スキームと単一コンパクト生成 $t$-構造

問題設定
本論文は、準コンパクトかつ準分離なスキーム $X$ 上の準連接層の派生 $\infty$-圏 $\text{QCoh}(X)$ における特定の構造的な問いを扱っている。$\text{QCoh}(X)$ が単一のコンパクト生成元を持つこと（Bondal および Van den Bergh による既知の結果）、および、この生成元によって生成される $t$-構造が存在すること（その連結半分は生成元となる）は既知であるが、その生成される $t$-構造が「標準的な」$t$-構造と一致するかどうかは未解決の問題として残っている。具体的には、著者は、標準的な $t$-構造の連結半分 $\text{QCoh}(X)_{\ge 0}$ が、ある「連結な完全対象（connective perfect object）」によって単一コンパクト生成されるための条件を調査している。

手法
著者は、安定 $\infty$-圏理論と代数幾何学を統合し、特にグロタンディーク・前安定 $\infty$-圏（Grothendieck prestable $\infty$-categories）の理論を活用している。その手法は、以下の論理的ステップを通じて進行する：

1. 圏論的枠組み： 本論文は、安定 $\infty$-圏および $t$-構造の言語を用い、$\text{QCoh}(X)_{\ge 0}$ をグロタンディーク前安定 $\infty$-圏として扱う。また、もし連結半分が対象 $G$ によって単一コンパクト生成されるならば、その $t$-構造のハート（heart）は切断 $\pi_0 G$ によって生成されるという性質に基づいている。
2. 厳密性と分解（Strictness and Resolution）： $X$ が豊富なラインバンドルの族（ample family of line bundles）を持つと仮定することで、著者は [DHM20] および [Aut18] の結果を援用し、任意の完全複体（perfect complex）が有界なベクトル束の複体によって代表される（すなわち「厳密（strict）」である）ことを確立する。
3. 特別なベクトル束の構成： 厳密なコンパクト生成元 $G \in \text{QCoh}(X)_{\ge 0}$ から出発して、著者は $G$ を代表する有界複体に現れるベクトル束の直和として、特定のベクトル束 $E_G$ を構成する。
4. ハートの生成： $G$ の余連結性（coconnectivity）に関する帰納的な議論を通じて、本論文は $E_G$ が連結半分 $\text{QCoh}(X)_{\ge 0}$ 全体を生成することを証明する。その結果、切断 $\pi_0 E_G$（これはハート内では $E_G$ 自体に同型である）は、離散的な準連接層のアーベル圏 $\text{QCoh}(X)^\heartsuit$ を生成する。
5. 1-分解性質（1-Resolution Property）： 著者は、「1-分解性質」を、すべての有限生成準連接層が、あるベクトル束 $E$ の有限個の直和の商として表されることであると定義する。本論文は、厳密な生成元 $G$ の存在が、$X$ がこの性質を満たすことを導くことを証明している。
6. 幾何学的特徴付け： 最後に、著者は [DHM20, Proposition 3.4] の結果を適用し、豊富なラインバンドルの族を持つスキームにおいて、1-分解性質はスキームが準アフィン（quasi-affine）であることと同値であることを示す。

主要な貢献と結果
本論文の中心的な結果は、定理 1.1（定理 3.9 として再掲）である：

$X$ を準コンパクトかつ準分離なスキームとする。このとき、$X$ が準アフィンであることは、豊富なラインバンドルの族を持ち、かつ連結半分 $\text{QCoh}(X)_{\ge 0}$ が連結な完全対象によってコンパクト生成されることと同値である。

これを支える主要な技術的補題には以下が含まれる：

• 補題 3.6： 厳密なコンパクト生成元 $G$ が与えられたとき、関連するベクトル束 $E_G$ が $t$-構造の連結半分とハートの両方を生成することを確立する。
• 補題 3.7： このような生成子の存在が、スキームが1-分解性質を満たすことを強制することを証明する。
• 系 3.8： 本定理が適用される具体的な事例を提供し、特定のノーター型ノーマル・スキーム（例えば J-2 または Q-factorial）が厳密なコンパクト生成元を持つならば、それは準アフィンであることを示している。

意義と主張
本論文は、$\text{QCoh}(X)$ 上の標準的な $t$-構造が単一コンパクト生成されるための、精密な幾何学的特徴付けを提供すると主張している。著者は、この結果が最近の非存在に関する結果と整合していることを指摘している。例えば、この結果は、なぜ $\mathbb{C}$ 上の滑らかな射影曲線（準アフィンではない）が、単一コンパクト生成される標準的な連結半分を持たないのかを説明しており、これは [BDH+25] におけるハーディ・ノーマル・ヘンデルソン（Harder-Narasimhan）濾過を用いた事実と一致している。

著者は、これを一種の「恐ろしい発見（horrible discovery）」として位置づけている。すなわち、標準的な $t$-構造が完全対象によって単一コンパクト生成されるのは、（豊富なラインバンドルの族を持つという仮定の下では）準アフィンの場合に限られるという、厳格な制限を明らかにしているためである。著者は、準コンパクトかつ準分離なスキームであって、準アフィンではないが、依然として単一コンパクト生成される連結半分を持つものが存在するのかという未解決の問いを投げかけ、 「豊富なラインバンドルの族」という仮定が、現在の特徴付けにおける決定的な境界である可能性を示唆して締めくくっている。

規約と範囲
本研究は、派生代数幾何学および $\infty$-圏の領域に厳密に限定されている。$X$ は準コンパクトかつ準分離であることを前提としている。本論文は、新たな実験的応用や将来の研究方向を提案するものではなく、単に「豊富なラインバンドルの族」の仮定の必要性に関する特定の未解決問題に焦点を当てている。亡き叔父への献辞およびヨーゼフ・アルバースへのオマージュは、それぞれ個人的および芸術的な要素として記されているが、技術的な内容には影響を与えない。