[論文レビュー] Locally coalgebra-Galois extensions

Bartosz Zieliński|ArXiv.org|Dec 7, 2005

Algebraic structures and combinatorial models参考文献 16被引用数 5

ひとこと要約

本稿では、グローバルなコールゲブラ・ガロア拡大の一般化として、局所的コールゲブラ・ガロア拡大の概念を導入し、このような局所的拡大がグローバルなものに拡大されるための必要十分条件を提示する。また、弱い条件下で二つの局所的クリフト拡大を貼り合わせることでグローバルなコールゲブラ・ガロア拡大が得られることを証明し、正の位相の量子レンズ空間を二つの量子固有トーラスの貼り合わせとして構成する応用を行う。

ABSTRACT

The paper introduces the notion of a locally coalgebra-Galois extension and, as its special case, a locally cleft extension. The necessary and sufficient conditions for a locally coalgebra-Galois extension to be a (global) coalgebra-Galois extension are stated. As an important special case, it is proven, that under not very restrictive conditions the gluing of two locally cleft extensions is a globally coalgebra-Galois extension. As an example, the quantum lens space of positive charge is constructed by gluing of two quantum solid tori.

研究の動機と目的

• コールゲブラ・ガロア拡大の概念を、局所的コールゲブラ・ガロア拡大を導入することで一般化すること。
• 局所的コールゲブラ・ガロア拡大がグローバルなコールゲブラ・ガロア拡大に拡大されるための必要十分条件を同定すること。
• 弱い仮定の下で、二つの局所的クリフト拡大の貼り合わせがグローバルなコールゲブラ・ガロア拡大をもたらすことを確立すること。
• 理論を応用し、正の位相の量子レンズ空間を二つの量子固有トーラスの貼り合わせとして構成すること。
• 古典的位相幾何学における貼り合わせと類似する、非可換空間を局所的パッチワークで研究するための枠組みを提供すること。

提案手法

• ベース代数の被覆上でのコールゲブラ・ガロア拡大である拡大として、局所的コールゲブラ・ガロア拡大の概念を導入する。
• 各局所的商がクリフトである特別な場合として、局所的クリフト拡大を定義し、局所的に自明な量子主 bundle の一般化をなす。
• 拡大枠組みにおける代数とコールゲブラの相互作用を形式化するために、エンティニング構造 $(A, C)_\psi$ を用いる。
• $C^*$-代数および $\ast$-代数に理論を適用し、特に量子固有トーラスと量子レンズ空間に注目する。
• 表現論および $K$-理論的手法を用いて、得られる量子空間を分析する。
• Mayer-Vietoris列およびファイバー積構成を用いて、量子レンズ空間の $K$-理論を計算する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、局所的コールゲブラ・ガロア拡大がグローバルなコールゲブラ・ガロア拡大に拡大されるか？
• RQ2 二つの局所的クリフト拡大の貼り合わせは、グローバルなコールゲブラ・ガロア拡大をもたらすか？
• RQ3 正の位相の量子レンズ空間は、どのようにして二つの量子固有トーラスの貼り合わせとして構成できるか？
• RQ4 エンティニング構造 $(A, C)_\psi$ は、局所的コールゲブラ・ガロア拡大を定義する上で果たす役割は何か？
• RQ5 量子レンズ空間の $K$-理論は、量子固有トーラスの $K$-理論とどのように関係するか？

主な発見

• 局所的コールゲブラ・ガロア拡大がグローバルなコールゲブラ・ガロア拡大に拡大されるのは、被覆およびコールゲブラ作用に関する特定の整合性条件が満たされるとき、かつそのときに限る。
• 弱い仮定の下で、二つの局所的クリフト拡大の貼り合わせはグローバルなコールゲブラ・ガロア拡大をもたらし、一般化された構成法を提供する。
• 位相 $\beta = 1$ の量子レンズ空間は、$\ast$-代数同型によりヘガード量子球面 $S^3_{p,q,\theta}$ に同型であることが示された。
• $\beta \in \mathbb{N}$ に対して、$\ast$-代数同型 $f_\beta: \vartheta(L^{p,q,\beta\theta}_\beta) \to A(\beta)$ が存在する。ここで $A(\beta)$ はヘガード量子球面の $\beta$-次数部分代数である。
• 量子レンズ空間の表現論には、$\theta$ が有理数のとき $\mu, \nu$ でインデックス付けされた既約表現が含まれる。$\theta$ が無理数のときは $\mu$ でのインデックス付けであり、無理数の場合には忠実表現が存在する。
• $C(L^{p,q,\theta}_\beta)$ の $K$-理論は、Mayer-Vietoris列を用いて計算可能であり、ヘガード量子球面の $C^*$-代数的構成法を拡張するものである。