[論文レビュー] Some Noncommutative Geometric Aspects of SU_q(2)

Debashish Goswami|ArXiv.org|Aug 10, 2001

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

ひとこと要約

本稿は、正の $q \neq 1$ における量子群 $SU_q(2)$ における非可換幾何的構造を調査し、複素数 $q$ で $|q|=1$ の場合にうまく機能する『真の』ディラック作用素が、正の $q$ の場合に滑らかな代数的要素と有界な交換子を生じないために失敗することに注目する。しかし、著者らは正の無限大作用素 $R$ を用いた修正された枠組みを構築し、$R \exp(-tD^2)$ のトレースを通じてヘア状態（標準的体積形式）を回復させ、非古典的なスペクトル成長率を確立するとともに、ヘア汎関数のモジュラー性を検証する。

ABSTRACT

We study various noncommutative geometric aspects of the compact quantum group SU_q(2) for positive q (not equal to 1), following the suggestion of Connes and his coauthors [CL, CD] for considering the so-called true Dirac operator. However, it turns out that the method of the above references do not extend to the case of positive (not equal to 1) values of q in the sense that the true Dirac operator does not have bounded commutators with "smooth" algebra elements in this case, in contrast to what happens for complex q of modulus 1. Nevertheless, we show how to obtain the canonical volume form, i.e. the Haar state, using the true Dirac operator.

研究の動機と目的

• コンスと共同研究者らの『真の』ディラック作用素の構成が、$q > 0$, $q \neq 1$ の $SU_q(2)$ に拡張可能かどうかを調査すること。これは、$|q|=1$ の複素数 $q$ に対しては成功しているが、正の $q$ では交換子が有界でなくなるため失敗する。
• 複素数 $|q|=1$ の場合にうまく機能するが、正の $q$ の場合に標準的な非可換幾何的道具が破綻する理由を解明すること。
• ディラック作用素 $D$ のスペクトルデータと正の無限大作用素 $R$ を含む修正されたトレースを用いて、標準的体積形式（ヘア状態）を回復すること。
• 自動同型 $\Psi(a) = R a R^{-1}$ を用いてヘア状態のモジュラー性を確立すること。これはヴォロノビッチの理論と整合的である。

提案手法

• 複素数 $q$ の場合のコンスの構成に類似した方法で、$SU_q(2)$ の稠密な $\ast$-部分代数 $\mathcal{A}^\infty$ 上に『真の』ディラック作用素 $D$ を定義する。
• ヒルベルト空間 $\mathcal{H}$ 上に正の無限大作用素 $R = I_2 \otimes \rho$ を導入し、トレースを修正する重みとして機能させる。
• $t \to 0^+$ の極限において、トレース比 $\frac{\mathrm{Tr}(a R \exp(-tD^2))}{\mathrm{Tr}(R \exp(-tD^2))}$ を用いてヘア状態 $\psi(a)$ を抽出する。
• $\mathcal{D} = C^2 \otimes_{\text{alg}} \mathcal{A}^\infty$ のコア領域上で $R$ が $|D|$ と可換であることを示し、スペクトル的整合性を保証する。
• 自動同型 $\Psi(a) = R a R^{-1}$ がモジュラー恒等式 $\psi(ab) = \psi(b \Psi(a))$ を満たすことを証明し、ヘア状態のモジュラー性を確認する。
• スペクトルゼータ関数 $\mathrm{Tr}(R \exp(-tD^2))$ の $t \to 0^+$ における漸近的評価を行い、$t^{-1/2} e^{k/t}$ のオーダーで成長することを示し、古典的 $t^{-d/2}$ の挙動とは一致しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 複素数 $|q|=1$ の場合に成功しているコンスと共同研究者らの『真の』ディラック作用素の構成が、$q > 0$, $q \neq 1$ の $SU_q(2)$ に拡張可能か？
• RQ2 正の $q$ の場合に、$a \in \mathcal{A}^\infty$ に対して $[D, a]$ が有界でないのはなぜか？ 一方で $[|D|, a]$ は有界のままである。
• RQ3 標準的体積形式（ヘア状態）は、標準的ディラック作用素フレームワークが破綻した場合でも、スペクトルデータから回復可能か？
• RQ4 トレース $\mathrm{Tr}(R \exp(-tD^2))$ の $t \to 0^+$ における漸近的挙動は何か？ また、古典的非可換幾何の期待とはどのように異なるか？
• RQ5 自動同型 $\Psi(a) = R a R^{-1}$ は、$SU_q(2)$ 上のヘア状態の既知のモジュラー理論とどのように関係しているか？

主な発見

• $q > 1$ の場合に $a \in \mathcal{A}^\infty$ に対して交換子 $[D, a]$ が有界でないため、有界交換子に基づく標準的スペクトル三重体枠組みは成立しない。
• 有界交換子が失敗しても、ヘア状態 $\psi(a)$ は極限 $\lim_{t \to 0^+} \frac{\mathrm{Tr}(a R \exp(-tD^2))}{\mathrm{Tr}(R \exp(-tD^2))}$ として回復可能であり、新たなスペクトル再構成法を確立する。
• スペクトルトレース $\mathrm{Tr}(R \exp(-tD^2))$ は、$t > 0$ が小さいとき、$t^{-1/2} e^{k/t}$ のオーダーで漸近的に成長し、古典的 $t^{-d/2}$ の挙動とは一致しない。
• 作用素 $R$ は稠密なコア領域 $\mathcal{D}$ 上で $|D|$ と可換であり、スペクトル的構造と幾何的構造の整合性を保証する。
• 自動同型 $\Psi(a) = R a R^{-1}$ はモジュラー恒等式 $\psi(ab) = \psi(b \Psi(a))$ を満たし、ヴォロノビッチ理論との整合性が確認される。
• 『真の』ディラック作用素が従来の意味で失敗するにもかかわらず、この構成により $SU_q(2)$ における標準的体積形式の非自明なスペクトル的実現が得られる。