[論文レビュー] Quantization of noncompact coverings

Petr Ivankov|arXiv (Cornell University)|Feb 25, 2017

Advanced Operator Algebra Research参考文献 8被引用数 10

ひとこと要約

本稿は、$C^*$-代数とヒルベルト加群を用いて、非コンパクトな位相的空間に対する有限・無限重被覆の非可換一般化を導入する。ユニタルな非可換有限重被覆は、非可換トーラスの滑らかな部分代数上の群作用から生じる。主な結果は、等変自己同型と逆極限を用いた被覆の構成である。

ABSTRACT

The concept of quantization consists in replacing commutative quantities by noncommutative ones. In mathematical language an algebra of continuous functions on a locally compact topological space is replaced with a noncommutative $C^*$-algebra. Some classical topological notions have noncommutative generalizations. This article is concerned with a generalization of coverings.

研究の動機と目的

• 非可換幾何学を用いて、コンパクトでない空間へと、特に有限・無限重被覆の位相的被覆を一般化すること。
• 非可換トーラスの滑らかな部分代数上の群作用を用いて、$C^*$-代数とヒルベルト加群を介して、コンパクトから非コンパクトな局所コンパクトハウスドルフ空間への有限重被覆の代数的特徴付けを拡張すること。
• 非可換トーラスの滑らかな部分代数上の群作用と逆極限を用いて、非可換無限被覆を定義し構成すること。
• 可換$C^*$-代数の連続関数代数を非可換類似物に置き換えることで、位相的被覆の量子化フレームワークを確立すること。
• 等スペクトル変形と連続トレース$C^*$-代数が非可換被覆の文脈で果たす役割を調査すること。

提案手法

• ゲルファンド＝ナイマイヤー双対性を用いて、位相的空間を可換$C^*$-代数に置き換え、非可換一般化を可能にする。
• 定理1.2の代数的基準を適用：有限重被覆は、基底代数上の射影的で有限生成のヒルベルト加群に対応する。
• 非可換トーラス$\mathbb{T}^n_\Theta$の滑らかな部分代数上の群作用を用いて、非可換被覆を構成する。特に$\mathbb{Z}^2$-作用を用いる。
• $C^\infty(\widetilde{M}_{\widetilde{\theta}})$に$G$-等変作用を定義し、各群元が$C^*$-代数$C(\widetilde{M}_{\widetilde{\theta}})$の$*$-自己同型を誘導することを示す。
• 群$G$が被覆変換の群であるとき、非可換被覆を三重組$(C(M_\theta), C(\widetilde{M}_{\widetilde{\theta}}), G(\widetilde{M}|M))$として確立する。
• 有限重被覆の逆極限を用いて無限非可換被覆を定義するが、極限の完全な性質は未解決のまま残されている。

実験結果

リサーチクエスチョン

• RQ1 非コンパクト空間の有限重被覆を、$C^*$-代数とヒルベルト加群の言語でどのように代数的に特徴付けられるか？
• RQ2 無限被覆空間の非可換アナロジーとは何か？ そして、$C^*$-代数の逆極限を用いてどのように構成できるか？
• RQ3 非可換トーラスの被覆構造は、群作用と滑らかな部分代数上の等変自己同型を用いて記述可能か？
• RQ4 等スペクトル変形は非可換被覆とどのように関係し、その構造の構築にどのような役割を果たすか？
• RQ5 非可換トーラスの滑らかな部分代数上の$G$-作用が、ユニタルな非可換有限重被覆を誘導するための条件は何か？

主な発見

• ユニタルな非可換有限重被覆は、三重組$(C(M_\theta), C(\widetilde{M}_{\widetilde{\theta}}), G(\widetilde{M}|M))$として構成され、$G$が$C(\widetilde{M}_{\widetilde{\theta}})$上で$*$-自己同型を誘導する。
• $G = \mathbb{Z}^2$は$C^\infty(\widetilde{M}_{\widetilde{\theta}})$に自己同型を作用させ、次数と代数的構造を保存する。この作用は$C(\widetilde{M}_{\widetilde{\theta}})$に一意に拡張可能である。
• $G$の$C^\infty(\widetilde{M}_{\widetilde{\theta}})$上での作用は、自己同型的であり、$*$-演算と整合的である。これにより、各群元が$C^*$-代数の$*$-自己同型を誘導することが保証される。
• 構成により、$C(\widetilde{M}_{\widetilde{\theta}})$が$C(M_\theta)$-上の射影的で有限生成のヒルベルト加群であることが示され、有限重被覆の代数的基準を満たす。
• 有限重被覆の逆極限は、無限非可換被覆を導くが、極限の完全な構造は著者によってまだ特定されていない。
• 関数代数を非可換$C^*$-代数に置き換えることで、古典的位相的被覆を非可換設定に一般化するフレームワークが確立される。