[論文レビュー] Equivariant spectral triples on the quantum SU(2) group

Partha Sarathi Chakraborty, Arupkumar Pal|ArXiv.org|Jan 1, 2002

Algebraic structures and combinatorial models参考文献 6被引用数 7

ひとこと要約

本稿は、量子SU(2)群のL²空間上での非自明なチーン類を有するすべての等変奇スペクトル的三重対を特徴づけ、そのような三重対が少なくとも次元3を必要とすることを証明し、明示的な3-summable例を構成する。また、K¹ホモロジー群のすべての元が次元3の等変スペクトル的三重対から生じることを確立し、p < 4の古典的SU(2)には同様の三重対が存在しないことを示し、非可換な量子設定に特有の現象を強調する。

ABSTRACT

We characterize all equivariant odd spectral triples for the quantum SU(2) group acting on its L_2-space and having a nontrivial Chern character. It is shown that the dimension of an equivariant spectral triple is at least three, and given any element of the K-homology group of SU_q(2), there is an equivariant odd spectral triple of dimension 3 inducing that element. The method employed to get equivariant spectral triples in the quantum case is then used for classical SU(2), and we prove that for p&lt;4, there does not exist any equivariant spectral triple with nontrivial K-homology class and dimension p acting on the L_2-space.

研究の動機と目的

• 量子SU(2)群のL²空間上で作用する非自明なチーン類を有するすべての等変奇スペクトル的三重対を特徴づける。
• このような等変スペクトル的三重対の最小可能な次元を特定する。
• SU_q(2)のK¹ホモロジー群のすべての元が3次元の等変スペクトル的三重対から生じることを示す。
• 量子ケースと古典的SU(2)ケースを対比させ、L²(SU(2))上に非自明なKホモロジー類を有する3-summableな等変ディラック作用素が存在しないことを示す。
• 等変スペクトル的三重対がK¹ホモロジー類を生成するという普遍性を確立する。

提案手法

• 量子SU(2)群のL²空間上に、ヘア状態からのGNS構成を用いて等変スペクトル的三重対を構成する。
• SU_q(2)の表現理論を用い、スピン量子数n ∈ {0, 1/2, 1, ...} でパラメータ化された既約表現と行列係数t^{(n)}_{ij}を用いる。
• 各既約表現空間上で作用するディラック作用素Dの行列係数d(n,i)を定義し、SU_q(2)のコアクションに関して等変性を保証する。
• 符号条件をd(n,i)に課して作用素が非自明な符号を持つことを保証し、固有値と重複度を計算してp-summabilityを分析する。
• K₁(C(SU_q(2))) ≅ ℤの生成元とのチーン類ペアリングを用いて、Kホモロジー類の非自明性を確認する。
• 古典的SU(2)ケースを分析するため、候補となるディラック作用素を構成し、p < 4でp-summableでかつ非自明な符号を持つことができないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 非自明なチーン類を有する量子SU(2)群上での等変奇スペクトル的三重対の最小次元は何か？
• RQ2 SU_q(2)のK¹ホモロジー群のすべての元は、3次元の等変スペクトル的三重対によって実現可能か？
• RQ3 古典的SU(2)群のL²空間上に、3-summableで非自明なKホモロジー類を有する等変ディラック作用素は存在するか？
• RQ4 量子SU(2)上での3-summableな等変スペクトル的三重対の存在は、古典的ケースに存在しない純粋に非可換な現象であるか？
• RQ5 等変性とsummabilityは、ディラック作用素の行列係数の構造にどのような制約を課えるか？

主な発見

• 非自明なチーン類を有する量子SU(2)上での任意の等変奇スペクトル的三重対の次元は、少なくとも3以上である。
• SU_q(2)のK¹ホモロジー群のすべての元に対して、その元を誘導する3次元の等変奇スペクトル的三重対が存在する。
• 構成された量子SU(2)上のスペクトル的三重対は3-summableであり、K₁(C(SU_q(2))) ≅ ℤの生成元とのペアリングにより非自明なチーン類を有することが確認された。
• p < 4の古典的SU(2)上では、非自明なKホモロジー類を有する等変スペクトル的三重対はp-summableにはなり得ず、3-summableなケースが純粋に非可換な現象であることが証明された。
• 古典的ケースでは、p < 4でp-summableを保ちながらも非自明な符号を持つことは不可能であり、古典的設定における4-summabilityの最小性が確認された。
• 量子SU(2)上のスペクトル的三重対は普遍的であり、任意の奇スペクトル的三重対がK¹ホモロジー類を誘導するが、それは等変三重対によっても同じく誘導される。