[論文レビュー] On Strict Higher C*-categories

Paolo Bertozzini, Roberto Conti+2 more|arXiv (Cornell University)|Sep 27, 2017

Advanced Operator Algebra Research参考文献 19被引用数 4

ひとこと要約

本稿は、非可換交換性の性質を導入することで、Eckmann-Hiltonの崩壊を回避する、厳密な高次 C*-カテゴリの新規フレームワークを提示する。これにより、ハイパーマトリクスおよびハイパー-C*-代数を用いた非自明な例の構成が可能となり、厳密な自己随伴高次カテゴリおよび高次 Fell バンドルの構築がなされる。C*-代数論の垂直カテゴリフィケーションが実現され、非可換幾何学および量子基礎論への応用が示される。

ABSTRACT

We provide definitions for strict involutive higher categories (a vertical categorification of dagger categories), strict higher C*-categories and higher Fell bundles (over arbitrary involutive higher topological categories). We put forward a proposal for a relaxed form of the exchange property for higher (C*)-categories that avoids the Eckmann-Hilton collapse and hence allows the construction of explicit non-trivial "non-commutative" examples arising from the study of hypermatrices and hyper-C*-algebras, here defined. Alternatives to the usual globular and cubical settings for strict higher categories are also explored. Applications of these non-commutative higher C*-categories are envisaged in the study of morphisms in non-commutative geometry and in the algebraic formulation of relational quantum theory.

研究の動機と目的

• Eckmann-Hiltonの崩壊を回避する整合的な厳密な高次 C*-カテゴリ理論の構築を目的とし、非自明な非可換構造の実現を可能とする。
• 厳密な自己随伴高次カテゴリを用いて、C*-カテゴリおよび Fell バンドルを高次カテゴリ的次元へ一般化すること。
• ハイパーマトリクスを用いた高次 C*-代数および高次畳み込みとしての具体的実装を提供するハイパー-C*-代数の導入。
• 高次関数解析および非可換幾何学・量子理論のカテゴリカルな定式化の基盤を構築すること。
• 高次カテゴリと、非可換幾何学における積系、スペクトル三重項、モジュラー理論などの構造との関係を探索すること。

提案手法

• 標準的な厳密 n-カテゴリを超える、部分的高次モノイドを用いた厳密高次カテゴリの形式化により、グロブュラーおよびキューブ的アプローチを可能にする。
• 高次カテゴリの合成において Eckmann-Hilton の崩壊を回避するため、非可換交換性の緩和された性質を導入する。
• 高次射への自己随伴構造の一般化として、高次元版の dagger 構造を用いた厳密な自己随伴高次カテゴリの定式化。
• 高次アレブロイドおよびカテゴリカルバンドルを用いて厳密な高次 C*-カテゴリを構成し、ハイパー-C*-代数を具体的なモデルとして重視する。
• 高次畳み込みの代数的基盤としてハイパーマトリクスを用い、高次 C*-代数的構造の非自明な実現を提供する。
• Fell バンドル理論を高次カテゴリ的設定へ拡張し、自己随伴高次位相的カテゴリ上の高次 Fell バンドルを定義する。

実験結果

リサーチクエスチョン

• RQ1 高次カテゴリにおいて、Eckmann-Hilton の崩壊を回避するための非可換交換性の性質は、どのように定式化可能か？
• RQ2 非自明で非可換な例を支える、厳密な高次 C*-カテゴリの構造的および代数的性質は何か？
• RQ3 ハイパーマトリクスおよびハイパー-C*-代数は、高次 C*-カテゴリおよびその畳み込みの具体的なモデルとして機能可能か？
• RQ4 高次 C*-カテゴリは、非可換幾何学および関係的量子理論における射の構造とどのように関係するか？
• RQ5 高次カテゴリ的構造は、関数解析におけるスペクトル理論、双対性、K理論の一般化に果たす役割は何か？

主な発見

• 非可換交換性の性質が成功裏に定式化され、可換構造への崩壊を防ぎ、非自明な高次カテゴリ的例の実現が可能となった。
• ハイパー-C*-代数はハイパーマトリクスの高次畳み込みとして構成され、厳密な高次 C*-カテゴリの明示的で非自明なモデルを提供した。
• 厳密な自己随伴高次カテゴリが形式化され、dagger カテゴリの高次元一般化として、一貫性のある自己随伴性を有する。
• 任意の自己随伴高次位相的カテゴリ上に高次 Fell バンドルが定義され、古典的 Fell バンドル理論が高次元へ拡張された。
• 本フレームワークにより、C*-代数および C*-カテゴリの垂直カテゴリフィケーションが実現され、高次関数解析および非可換幾何学への道筋が開かれた。
• 本理論は、高次モリタ理論、ヒルベルト双モジュール、および高次カテゴリ的設定におけるスペクトル理論の基盤を提供し、将来の量子重力およびホモトピー型理論への応用が期待される。