[論文レビュー] Classification of categorical subspaces of locally noetherian schemes

Ryo Kanda|arXiv (Cornell University)|May 18, 2014

Algebraic structures and combinatorial models参考文献 23被引用数 10

ひとこと要約

この論文は、局所ネーター的スキーム上の準連接層の圏の前局所化、局所化、閉、双局所化部分圏を、構造層の準連接部分層の新しい局所フィルターの概念を用いて分類する。主な結果は、これらの部分圏と特定のタイプのフィルターの間の全単射を確立し、非可換幾何学および代数幾何学における既存の結果を統一・一般化する。この一般化は、アトムスペクトルとグロテンディーク圏論を介して、ガブリエルの環に対する分類定理をスキームへと拡張する。

ABSTRACT

We classify the prelocalizing subcategories of the category of quasi-coherent sheaves on a locally noetherian scheme. In order to give the classification, we introduce the notion of a local filter of subobjects of the structure sheaf. The essential part of the argument is given as results on a Grothendieck category with certain properties. We also classify the localizing subcategories, the closed subcategories, and the bilocalizing subcategories in terms of filters.

研究の動機と目的

• 環上の加群圏の部分圏のガブリエル分類を、局所ネーター的スキーム上の準連接層の設定へと拡張すること。
• 前局所化、局所化、閉、双局所化部分圏を、準連接部分層のフィルターの観点から体系的に分類すること。
• QCoh(X) の部分圏と X 上の幾何的構造（例えば閉部分スキームや開-閉部分集合）とのカテゴリカルな対応を確立すること。
• アトムスペクトルと局所フィルターの概念を導入・応用し、非可換幾何学および代数幾何学における既存の結果を統一・一般化すること。

提案手法

• OX の準連接部分層の局所フィルターという概念を導入し、部分圏を正しく分類する適切なフィルターのクラスを提供する。
• 特に、アトムスペクトル ASpec(A) を素スペクトルの幾何的代理として用いる、十分にアトムを持つグロテンディーク圏の理論を適用する。
• 商圏およびグロテンディーク圏における局所化の結果を活用し、局所化技術を用いて分類問題を開部分スキームに還元する。
• 部分圏とフィルターの対応関係を用いる：Y ↦ {I ⊂ OX | OX/I ∈ Y} により、局所フィルターを介した全単射を確立する。
• 閉部分圏は主フィルター、双局所化部分圏は積に関して閉じたフィルターによって特徴づけられる。
• 双局所化部分圏は、OX の冪等元部分対象を介して、X の開-閉部分集合とちょうど一致することが示される。

実験結果

リサーチクエスチョン

• RQ1 ガブリエルの環上の加群の部分圏の分類は、どのように局所ネーター的スキーム上の準連接層へと一般化できるか？
• RQ2 QCoh(X) の前局所化部分圏を分類するのに適した、構造層 OX 上のフィルターの正しい概念は何か？
• RQ3 QCoh(X) の局所化、閉、双局所化部分圏は、閉部分スキームや開-閉部分集合などの X 上の幾何的構造とどのように対応するか？
• RQ4 アトムスペクトルは、スキームから生じるグロテンディーク圏における部分圏の分類において果たす役割は何か？
• RQ5 局所化技術を用いて、部分圏の分類をアフィンの場合に還元できるか？

主な発見

• QCoh(X) の前局所化部分圏と OX の準連接部分層の局所フィルターの間には、Y ↦ {I ⊂ OX | OX/I ∈ Y} で与えられる全単射が存在する。
• 局所化部分圏は、積に関して閉じた局所フィルターと一対一に対応する。
• 閉部分圏は、OX の準連接部分層の主フィルターと一対一に対応する。
• 双局所化部分圏は、ちょうど積に関して閉じた主フィルターに対応し、したがって X の開-閉部分集合に対応する。
• QCoh(X) の双局所化部分圏の集合は、X の開-閉部分集合の集合と一対一に対応し、また OX の冪等元部分対象の集合とも一対一に対応する。
• 代数的に閉じた体 k 上の射影直線 P1k に対しては、前局所化、局所化、閉、双局所化部分圏が、関数 r ∈ ∏x∈Φ(Z≥0 ∪ {∞}) で明示的にパrameter化され、特定の消失条件を満たす。