[論文レビュー] The spectrum of prime ideals in tensor triangulated categories

Paul Balmer|ArXiv.org|Sep 20, 2004

Algebraic structures and combinatorial models参考文献 11被引用数 7

ひとこと要約

本稿は、テンソル三角圏における素イデアルのスペクトルを普遍的サポート領域として導入し、代数的スキームとモジュラー表現論におけるサポート多様体を一般化する環の層を備えた位相空間を構成する。主な貢献は、補集合が擬コンパクトである閉部分集合の合併として分類可能な厚いテンソルイデアルの分類であり、幾何学的および表現論的サポート理論を統一的な枠組みで統合する。

ABSTRACT

We define the spectrum of a tensor triangulated category $K$ as the set of so-called prime ideals, endowed with a suitable topology. In this very generality, the spectrum is the universal space in which one can define supports for objects of $K$. This construction is functorial with respect to all tensor triangulated functors. Several elementary properties of schemes hold for such spaces, e.g. the existence of generic points and some quasi-compactness. Locally trivial morphisms are proved to be nilpotent. We establish in complete generality a classification of thick tensor-ideal subcategories in terms of arbitrary unions of closed subsets with quasi-compact complements (Thomason's theorem for schemes, mutatis mutandis). We also equip this spectrum with a sheaf of rings, turning it into a locally ringed space. We compute examples and show that our spectrum unifies the schemes of algebraic geometry and the support varieties of modular representation theory.

研究の動機と目的

• テンソル三角圏の対象における普遍的サポート理論を、素イデアルを用いて定義すること。
• 環の層を備えた位相空間（スペクトル）を構成し、局域的に環化空間とする。
• 代数的幾何学とモジュラー表現論における厚いテンソルイデアルの分類を統一すること。
• スペクトルと既知のサポート多様体（例えば、有限群Gに対してProj(H•(G,k))）との間に自然な同相写像を確立すること。
• 任意のテンソル三角圏に一般化可能な、トーマソンの分類定理を拡張する枠組みを提供すること。

提案手法

• テンソル三角圏における素イデアルを、真の厚い⊗-イデアルで、積について閉じているものとして定義する：a⊗b ∈ P ならば a ∈ P または b ∈ P である。
• 素イデアルの集合 Spc(𝒦) に、開集合 U(a) = Spc(𝒦) \ supp(a) で生成されるザリスキ位相を導入する。ここで supp(a) は a を含まない素イデアルの集合である。
• 開集合 U ⊂ Spc(𝒦) に対して、End_{𝒦/𝒦_Z}(1_U) を割り当てることで、前層としての環の層を構成する。ここで 𝒦_Z は閉補集合 Z = Spc(𝒦)\U に台を持つ厚い⊗-イデアルである。
• この前層をシャーベィフィケーションして、構造層 𝒪_𝒦 を得る。これにより Spc(𝒦) は局域的に環化空間となり、Spec(𝒦) と表記される。
• スペクトルが普遍的性質を満たすことを証明する：それは対象のサポートを定義できる最も細かい空間である。
• 明示的なサポート写像の構成を通じて、Spc(𝒦) と既知の幾何的対象（例えば、D^perf(X) の場合の X や、stab(kG) の場合の Proj(H•(G,k))）との間に同相写像を確立する。

実験結果

リサーチクエスチョン

• RQ1 テンソル三角圏のすべての対象に対して、普遍的サポート理論を定義できるか？
• RQ2 厚い⊗-イデアルを分類する、自然な位相空間が存在するか？
• RQ3 素イデアルのスペクトルは、スキームやサポート多様体といった古典的対象とどのように関係するか？
• RQ4 スペクトル上の構造層は、O_X や Proj(H•(G,k)) といった既知の幾何的構造を回復できるか？
• RQ5 スペクトル自体がスキームである条件は何か？

主な発見

• テンソル三角圏 𝒦 のスペクトル Spc(𝒦) は、対象のサポートを定義する普遍的空間であり、テンソル三角圏関手に関して普遍的性質を満たす。
• 𝒦 における厚い⊗-イデアルは、補集合が擬コンパクトである閉部分集合の任意の合併と一対一対応する。これはトーマソンの分類定理を一般化する。
• 𝒦 = D^perf(X) の場合、スペクトル Spc(𝒦) は自然にスキーム X と同相であり、元のスキーム構造を回復する。
• 𝒦 = stab(kG) の場合、スペクトル Spc(𝒦) は Proj(H•(G,k)) と同相であり、スペクトルがモジュラー表現論におけるサポート多様体と一致することが示される。
• Spc(𝒦) 上の構造層 𝒪_𝒦 は、局域的に環化空間を構成し、𝒦 = D^perf(X) の場合、この層は構造層 O_X を回復する。
• この構成は函手的である：任意のテンソル三角圏関手は、スペクトル間の連続写像を誘導し、サポート理論的構造を保存する。