[論文レビュー] Extending obstructions to noncommutative functorial spectra

Benno van den Berg, Chris Heunen|arXiv (Cornell University)|Jul 10, 2014

Homotopy and Cohomology in Algebraic Topology被引用数 6

ひとこと要約

この論文は、ロケール、トポス、リング付きトポス、スキーム、クオンタールなどの一般化された空間において、非可換スペクトルを定義する根本的な障害を、コッヘン＝スプライカー定理の拡張によって確立する。C*-代数からこれらのカテゴリへの任意の函手が、可換代数においてゲルファンド、ザリスキ、ストーン、ピアーススペクトルと一致するならば、$M_n(\mathbb{C})$（$n \geq 3$）に対しては自明（初期）対象を割り当てざるを得ず、標準的なカテゴリカル枠組みにおいて関手的非可換スペクトルが不可能であることを示している。

ABSTRACT

Any functor from the category of C*-algebras to the category of locales that assigns to each commutative C*-algebra its Gelfand spectrum must be trivial on algebras of nxn-matrices for n at least 3. This obstruction also applies to other spectra such as those named after Zariski, Stone, and Pierce. We extend these no-go results to functors with values in (ringed) topological spaces, (ringed) toposes, schemes, and quantales. The possibility of spectra in other categories is discussed.

研究の動機と目的

• ロケールやトポスのような一般化された空間において、可換C*-代数から非可換C*-代数への非可換スペクトルの関手的拡張が可能かどうかを調査すること。
• ゲルファンド、ザリスキ、ストーン、ピアーススペクトルといった既存のスペクトルが、行列代数で自明化しないまま非可換設定に関手的に拡張可能かどうかを特定すること。
• 集合値函手に限らないレインズのノーゴ結果を、リング付きトポス、スキーム、クオンタールを含むより豊かな圏的枠組みへ一般化すること。
• コッヘン＝スプライカー定理が、点なし位相におけるスペクトル函手の振る舞いに及ぼす構造的制限を特定すること。
• 非標準的射影や圏的構造を通じて、これらの障害を回避する代替的枠組みを特定し、今後の研究を導くこと。

提案手法

• [6]の研究にインspiredされた一般的な圏論的拡張定理を用いて、レインズの議論を拡張し、基本的な代数からより広い圏への障害の移行を可能にする。
• コッヘン＝スプライカー定理を基盤とする障害として用いる：$M_n(\mathbb{C})$ の射影格子からブール代数への任意の準同型は、$n \geq 3$ では自明でなければならない。
• 函手の極限保存性を用いて、スペクトル函手が極限を保存するならば、その $M_n(\mathbb{C})$ における値は、ターゲット圏で初期（自明）対象でなければならないことを示す。
• ゲルファンドスペクトル（可換C*-代数を介して）、ザリスキ、ストーン、ピアーススペクトルの複数のスペクトル構成にこの枠組みを適用し、$n \geq 3$ のときすべてが $M_n(\mathbb{C})$ で自明化することを示す。
• 環やC*-代数の反対圏から $\mathbf{Loc}$, $\mathbf{Topos}$, $\mathbf{Quantale}$ などの圏への函手の振る舞いを、可換部分代数の図式の極限を用いて分析する。
• リング付きトポスやスキームにおいても、$M_n(\mathbb{C})$ の可換部分代数の図式における函手の極限が初期対象に収縮することを示し、障害が存続することを証明する。

実験結果

リサーチクエスチョン

• RQ1 C*-代数の反対圏からロケール、トポス、クオンタールへの函手が、可換C*-代数においてゲルファンドスペクトルを拡張するが、$n \geq 3$ のとき $M_n(\mathbb{C})$ で自明でないままでいられるか？
• RQ2 レインズの研究から得られたノーゴ結果は、点なし位相や一般化された空間における集合値でないスペクトル函手へどの程度拡張可能か？
• RQ3 コッヘン＝スプライカー定理と極限保存性が、リング付きトポスやスキームのような圏におけるスペクトル函手に及える構造的制約は何か？
• RQ4 標準的な位相的またはロケール的空間を超えた圏的枠組みでは、非可換スペクトルを自明化せずに関手的に定義可能か？
• RQ5 非標準的射影（例：部分*-準同型やジョルダン準同型）は、既存の障害を回避する代替的スペクトル構成を可能にするか？

主な発見

• 可換C*-代数においてゲルファンドスペクトルと一致する任意の函手 $F: \mathbf{C}^\mathrm{op} \to \mathbf{Loc}$ は、$n \geq 3$ のとき $M_n(\mathbb{C})$ に初期対象を割り当てる必要がある。
• 同じ自明化結果は、ロケールへの函手として非可換C*-代数に拡張されたザリスキ、ストーン、ピアーススペクトルに対しても成立する。
• 函手が極限を保存する限り、障害はリング付きトポス、スキーム、クオンタールへの値関手へも拡張される。
• $M_n(\mathbb{C})$ の射影格子からは、$n \geq 3$ のときブール代数への非自明な準同型が存在しない。これはコッヘン＝スプライカー定理の核となる要因である。
• 可換部分代数の図式におけるスペクトル函手の極限は $\mathbf{Loc}$ で初期対象となり、$M_n(\mathbb{C})$ におけるスペクトル値の自明性を強制する。
• ボーラフィケーションや量子フレームのような提案は、極限構造を同じように保存しない非標準的射影（例：部分*-準同型やジョルダン準同型）を用いることで、この障害を回避する。