[論文レビュー] Rosenberg's Reconstruction Theorem (after Gabber)

Martin Brandenburg|arXiv (Cornell University)|Oct 22, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 11被引用数 5

ひとこと要約

この論文は、Rosenbergの再構成定理について、詳細かつ自己完結的な証明を提供しており、準分離スキームがその準連接層のカテゴリによって一意に決定されることを確立している。AB5を満たすアーベルカテゴリに対してGabberが考案した修正されたスペクトル構成を用いて、カテゴリQcoh(X)のスペクトルが自然にXと同型であることを証明し、スキームの同型とラインバンドルを用いて、このようなカテゴリ間の同型を分類している。

ABSTRACT

Alexander L. Rosenberg has constructed a spectrum for abelian categories which is able to reconstruct a quasi-separated scheme from its abelian category of quasi-coherent sheaves. In this note we present a detailed proof of this result which is due to Ofer Gabber.

研究の動機と目的

• 準分離スキームの再構成定理について、Rosenbergの証明の以前の版に見られるギャップを埋める完全で厳密な証明を提供すること。
• 特に無限直積の関係 M ≺ N における役割を含め、Gabberがアーベルカテゴリのスペクトル構成に与えた核心的洞察を明確化し、形式化すること。
• 準分離スキーム上の準連接層のカテゴリ間の同型を、スキームの同型とラインバンドルを用いて分類すること。
• Qcoh(X)へのスペクトル構成が、元のスキームXをリング付き空間として回復できることを示し、非可換代数幾何学のビジョンを実現すること。

提案手法

• M が N のコピーの無限個の直積の部分商であるとき、M ≺ N と定義するRosenbergのスペクトル構成の修正版を採用する。
• 任意の非ゼロ部分対象 N ⊆ M に対して M ≺ N を満たす非ゼロ対象 M をスペクトル的対象と定義し、関係 ≈ による同値類 [M] の集合としてスペクトルを構成する。
• 対象の annihilator を用いて閉集合を定義し、乗法的系での局所化を用いて構造層を定義することで、スペクトルにザリスキ位相を定義する。
• cocontinuous正確関手とEilenberg-Wattsの定理を用いて、Qcohカテゴリ間の関手を引き戻しとラインバンドルとのテンソル積に関連付ける。
• 任意の同型 F: Qcoh(X) → Qcoh(Y) が、あるスキーム同型 f: Y → X とY上のラインバンドルLに対して f* ⊗ L と同型であることを証明する。
• スペクトル構成がXと同型なリング付き空間を与えることにより、再構成定理を証明する。

実験結果

リサーチクエスチョン

• RQ1 準分離スキーム上の準連接層のカテゴリは、元のスキームを完全に再構成できるか？
• RQ2 異なるスキーム上の準連接層のカテゴリ間の同型は、どのように分類できるか？
• RQ3 アーベルカテゴリのスペクトル構成において、無限直積の役割は何か？
• RQ4 スペクトル構成は、準連接層のテンソル構造にどの程度依存するか？
• RQ5 再構成定理は、代数的スタックや非可換スキームのようなより一般的な幾何的対象へ拡張可能か？

主な発見

• 準分離スキームXについて、カテゴリQcoh(X)のスペクトルは、リング付き空間として自然にXと同型である。
• 準分離スキームXとYについて、Qcoh(X)とQcoh(Y)の間の任意の同型は、スキーム同型 f: Y → X とY上のラインバンドルLから生じる。
• 同型の分類は、同型fとラインバンドルLのペアの群ガロア的群に由来し、射はラインバンドルの同型によって与えられる。
• Qcoh(X)の自己同型類群は、Aut(X) ⋉ Pic(X) の半直積と同型であり、自己同型がピカード群に自然に作用する。
• 準コンパクトかつ準分離スキームについて、f ↦ f* は、Y → X の射と、Qcoh(X) → Qcoh(Y) のcocontinuous対称モノイダル関手の間の同値を与える。これにより関手的再構成が得られる。