[論文レビュー] Noncommutative geometry through monoidal categories

Tomasz Maszczyk|ArXiv.org|Nov 27, 2006

Algebraic structures and combinatorial models参考文献 15被引用数 9

ひとこと要約

本稿は、可換環に基づく従来のアプローチに代わって、準同型層のモノイダル圏に基づく非可換代数幾何の枠組みを提案する。この枠組みにより、モルティ・同値性やホップ＝ガロア拡張の幾何的解釈が得られ、平坦な降下などの可換的構成が、可換対象への非可換的構成として現れることが示され、サイクリックな対象を用いたグローバル不変量の構成により、係数付きのホッフドゥ、サイクリック、周期的サイクリックホモロジーが得られる。

ABSTRACT

After introducing a noncommutative counterpart of commutative algebraic geometry based on monoidal categories of quasi-coherent sheaves we show that various constructions in noncommutative geometry (e.g. Morita equivalences, Hopf-Galois extensions) can be given geometric meaning extending their geometric interpretations in the commutative case. On the other hand, we show that some constructions in commutative geometry (e.g. faithfully flat descent theory, principal fibrations, equivariant and infinitesimal geometry) can be interpreted as noncommutative geometric constructions applied to commutative objects. For such generalized geometry we define global invariants constructing cyclic objects from which we derive Hochschild, cyclic and periodic cyclic homology (with coefficients) in the standard way.

研究の動機と目的

• 可換環やアーベル圏ではなく、モノイダル圏を基礎とする非可換代数幾何の枠組みを構築すること。
• 非可換な設定における代数的構成（例えばモルティ・同値性やホップ＝ガロア拡張）の幾何的解釈を提供すること。
• 古典的な可換的構成（例えば忠実平坦な降下、不変幾何学）が、可換対象への非可換的幾何的構成として現れることを示すこと。
• サイクリックな対象を用いて非可換スキームのグローバル不変量を定義し、係数付きのホッフドゥ、サイクリック、周期的サイクリックホモロジーを導出すること。
• カテゴリカルな双対性とブレッド構造を用いて、非可換的双対性を無限小構造と微分作用素の間で確立すること。

提案手法

• 可換環の代わりに、対称モノイダルアーベル圏としての準同型層のモノイダル圏を、基礎的な幾何的対象として用いる。
• バルマーのモノイダル再構成定理を適用し、非可換スキームをその準同型層のモノイダル圏によって定義する。
• ブレッド構造を備えたモノイダル圏と、トレース＝ブレッドの整合性を満たす係数対象からなるサイクリックな対象の構成を導入し、デ・ラームコホモロジーに接続を一般化する。
• 非可換アフィンスキームにおける平坦被覆と非可換ガロア拡張の間の同値性を確立し、降下データを幾何的貼り合わせと結びつける。
• 反対カテゴリの双対性を用いて、無限小近傍と微分作用素の間の非可換双対性を実現する。
• 標準的な函手を用いて、サイクリックな対象からホッフドゥ、サイクリック、周期的サイクリックホモロジーを導出し、係数が接続を備えた層を一般化する。

実験結果

リサーチクエスチョン

• RQ1 非可換代数幾何学は、可換環やアーベル圏ではなく、モノイダル圏を用いてどのように再定式化できるか？
• RQ2 忠実平坦な降下や主ファイブレーションといった古典的な幾何的構成が、可換対象への非可換的幾何的構成として再解釈可能か？
• RQ3 非可換な設定におけるガロア拡張や平坦被覆のカテゴリカル的および幾何的意味は何か？
• RQ4 非可換幾何学において、カテゴリカルな双対性を通じて無限小構造と微分作用素をどのように統一できるか？
• RQ5 ブレッド構造と係数対象は、接続を備えたデ・ラームコホモロジーの非可換アナログを定義するために果たす役割は何か？

主な発見

• 本稿は、非可換アフィンスキームのカテゴリにおける平坦被覆と非可換ガロア拡張の間の同値性を確立し、降下データが対称性を通じて幾何的貼り合わせに対応することを示した。
• 無限小構造と微分作用素が、2つのカテゴリカルに双対な構成の特殊化として現れることを証明し、可換幾何学における古典的双対性を一般化した。
• ブレッド構造を備えたモノイダル圏とトレース＝ブレッドの整合性を満たす係数対象からなるサイクリックな対象の構成は、接続を備えたデ・ラームコホモロジーの非可換アナログを提供する。
• 得られたサイクリックな対象からホッフドゥ、サイクリック、周期的サイクリックホモロジーが係数付きで得られ、古典的なホモロジー理論が非可換スキームへ一般化された。
• この枠組みにより、非可換幾何学におけるグローバル構造と無限小構造が、完全にカテゴリカルなデータから得られる不変量を用いて統一的に取り扱えるようになった。
• このアプローチにより、純粋に幾何的構成（幾何的準同型を通じて）と代数的構成（ホモーモルフィズムを通じて）がモノイダルカテゴリカルな設定で調和し、可換対象に適用した際に後者が前者の特別な場合として現れることを示した。