[論文レビュー] Sheaves of categories and the notion of 1-affineness

Dennis Gaitsgory|arXiv (Cornell University)|Jun 18, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 6被引用数 28

ひとこと要約

この論文は、発展的代数的幾学における前スタックの1-アフィン性という概念を導入し、代数的空間、代数的スタック、代数的群の分類前スタック、および形式的完成など、さまざまな幾何的対象が1-アフィンであることを確立している。主な貢献は、準連接層およびind-連接層の文脈におけるコhomological descentおよびコモノイダリティ定理を用いて、前スタック上の層の圏とその全体切断の上の加群の圏との間の同値性による1-アフィン性の特徴付けである。

ABSTRACT

We define the notion of 1-affineness for a prestack, and prove an array of results that establish 1-affineness of certain types of prestacks.

研究の動機と目的

• 発展的代数的幾何における前スタックの1-アフィン性という概念を定義し、研究すること。
• 代数的空間、代数的スタック、分類前スタック、および形式的完成を含む、主要な幾何的対象の1-アフィン性を確立すること。
• 1-アフィンな前スタックに対して、層の圏から全体切断への切断関手が加群圏への同値であることを証明すること。
• 準連接層およびind-連接層を用いた層の圏の枠組みを構築し、双対性および降下を用いてそれらを関連付けること。

提案手法

• 発展的設定における準連接層およびind-連接層を用いて、前スタック上の層の圏を定義すること。
• ホップ代数上のコモジュールのための降下をモデル化するために、コシンプレックス解体をコ・バーコンストラクションを用いて行うこと。
• コモノイダリティのベック・シェヴァレの条件を適用し、コ・バーコンプレックスの全容がコモジュールの圏を回復することを証明すること。
• Čech型の被覆および降下論を用いて、層の圏と加群圏との間の完全忠実関手を確立すること。
• 双対性およびコンパクト生成性を活用し、特に形式的完成およびDG ind-スキームの文脈でQCohとIndCohの圏を関連付けること。
• 1-アフィン性の証明をアフィンな前スタックの状況に還元し、モノイダル圏の剛性条件を用いて同値性を検証すること。

実験結果

リサーチクエスチョン

• RQ1 どのような前スタックが、層の圏から全体切断への切断関手が、その全体切断上の加群圏への同値である場合に1-アフィンと呼ばれるか？
• RQ2 代数的スタック、分類前スタック、または形式的完成など、どのようなクラスの前スタックが1-アフィンか？
• RQ3 コ・バーコンストラクションおよびコモノイダリティ定理は、前スタック上の層の圏の降下とどのように関係するか？
• RQ4 どのような条件下で、前スタック上の層の圏が、その全体切断上の加群圏と同値になるか？
• RQ5 局所系の関手Locは、どのような場合に、層の圏と群または群スケームの表現との間で同値を誘導するか？

主な発見

• 代数的空間およびスキームは1-アフィンであり、これは、層の圏から全体切断への切断関手が、その全体切断上の加群圏への同値であることを意味する。
• 代数的スタックは、特定の降下および双対可能性の条件を満たす場合に1-アフィンである。特に、対角が準コンパクトかつ準コンパクトでない場合に該当する。
• 再構成的代数的群Gの分類前スタックBGは1-アフィンであり、同値性はGの表現の圏によって与えられる。
• 閉部分スタックに沿ったスキームの形式的完成は1-アフィンであり、それら上の層の圏の全体切断は、全体切断の完成上の加群と同値である。
• 無限次元アフィン空間A^∞のようなDG ind-スキームは1-アフィンではない。これは、コモノイダリティ条件の不成立を示す反例によって示されている。
• 前スタック上の層の圏が、その全体切断上の加群圏と同値であるための必要十分条件は、その前スタックが1-アフィンであることである。これは、アフィン通信原理の発展的版を確立する。