[論文レビュー] Quantum lens spaces and principal actions on graph C*-algebras

Wojciech Szymański|ArXiv.org|Sep 29, 2002

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

ひとこと要約

本稿では、グラフC*-代数上のゲージ作用としての$ζ_p$-および$×$-作用の主性（principality）を、奇数次元量子球面への実現を通じて確立する。固定点代数が量子レンズ空間および量子複素射影空間を与えることを証明する。主な貢献は、任意のグラフC*-代数上のゲージ作用の主性を特徴づける一般基準を提示することであり、これによりグラフ的データを用いたK理論的およびイデアル構造の計算が可能になる。

ABSTRACT

We study certain principal actions on noncommutative C*-algebras. Our main examples are the Z_p- and T-actions on the odd-dimensional quantum spheres, yielding as fixed-point algebras quantum lens spaces and quantum complex projective spaces, respectively. The key tool in our analysis is the relation of the ambient C*-algebras with the Cuntz-Krieger algebras of directed graphs. A general result about the principality of the gauge action on graph algebras is given.

研究の動機と目的

• 奇数次元量子球面に関連する非可換$C^*$-代数における$ζ_p$-および$×$-作用の主性を確立すること。
• これらの作用が固定点代数として量子レンズ空間および量子複素射影空間を生じることを示すこと。
• 有向グラフのCuntz-Krieger代数の枠組みを用いて、$C^*$-代数的構造および作用の解析を簡略化すること。
• 任意のグラフ$C^*$-代数上のゲージ作用の主性を特徴づける一般基準を提供すること。

提案手法

• Cuntz-Krieger構成を用いて、量子球面およびレンズ空間の$C^*$-代数をグラフ$C^*$-代数として実現する。
• 生成子$z_i$を単位根またはユニタリスカラーでスケーリングする自己同型として、量子球面$C(S^{2n-1}_q)$上の$ζ_p$-および$×$-作用を定義する。
• 同型を介してこれらの作用を対応するグラフ$C^*$-代数へと輸送し、それらが標準的ゲージ作用に対応することを示す。
• グラフ代数の枠組みを用いて、頂点およびエッジ関係によって定義される行列$A_E$の余核および核を用いて$K$-理論を計算する。
• グラフ内のパス分解を用いて、関連する写像$\Phi$が$P_v \otimes z^k$上へ全射であることを示すことで、主性を証明する。
• 一般主性基準を具体的なケース（$C(SU_q(2))$および量子複素射影空間など）に適用する。

実験結果

リサーチクエスチョン

• RQ1 Ellwoodの意味で、量子奇数次元球面上の$ζ_p$-作用は主的か？
• RQ2 量子球面上の$×$-作用は、固定点代数として量子複素射影空間を生じるか？
• RQ3 グラフ的データの観点から、グラフ$C^*$-代数上のゲージ作用の主性を特徴づけることができるか？
• RQ4 量子レンズ空間および量子射影空間の$K$-理論は、基礎となるグラフの構造とどのように関係するか？
• RQ5 $C^*(L_3)$（$C(SU_q(2))$と同型）上のゲージ作用は主的か？その固定点代数は何か？

主な発見

• $C(S^{2n-1}_q)$上の$ζ_p$-作用は主的であり、固定点代数は量子レンズ空間$C(L_q(p;m_1,\dots,m_n))$の$C^*$-代数と同型である。
• 量子球面$C(S^{2n-1}_q)$上の$×$-作用は主的であり、固定点代数として量子複素射影空間$C(\mathbb{C}P^{n-1}_q)$が得られる。
• $C(SU_q(2))$に対応するグラフ代数$C^*(L_3)$上のゲージ作用は主的であり、固定点代数はコンパクト作用素の最小ユニタリゼーションと同型である。
• グラフ$C^*$-代数の$K$-理論は、$K_0 = \operatorname{coker}(A_E)$および$K_1 = \ker(A_E)$で与えられ、ここで$A_E$は頂点-エッジインシデント行列である。
• グラフ$C^*$-代数上のゲージ作用の主性が成り立つのは、すべての頂点が少なくとも1本のエッジを発するときに限る。これは写像$\Phi$の全射性を保証する。
• グラフ代数を用いた構成により、イデアル構造および$K$-不変量の解析が簡略化され、非可換$C^*$-代数の問題が組合せ的グラフデータに還元される。