[論文レビュー] Characterization of spectral triples: A combinatorial approach

Partha Sarathi Chakraborty, Arupkumar Pal|ArXiv.org|May 12, 2003

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

ひとこと要約

この論文は、固有値の間隔に基づいて得られるグラフによってスペクトル三重項をモデル化することにより、非可換幾何におけるディラク作用素を組み合わせ的枠組みで分析する手法を導入する。$C(SU_q(\tilde{\ell}+1))$ の広範な表現のクラスに対して、正規基底において対角化される任意のディラク作用素は、その符号作用素がコンパクト作用素によって $\pm(2P - I)$ に摂動されるという意味で自明な符号を持つことを証明する。

ABSTRACT

We describe a general technique to study Dirac operators on noncommutative spaces under some additional assumptions. The main idea is to capture the compact resolvent condition in a combinatorial set up. Using this, we then prove that for a certain class of representations of the C^*-algebra C(SU_q(\ell+1)), any Dirac operator that diagonalises with respect to the natural basis of the underlying Hilbert space must have trivial sign.

研究の動機と目的

• スペクトル三重項におけるコンパクトな解像条件および有界交換子条件を分析するための組み合わせ的手法の開発。
• $C(SU_q(\ell+1))$ の表現における非可換空間上のディラク作用素の符号の特徴付け。
• $C(SU_q(\ell+1))$ の広範な表現のクラスに対して、対角化可能な任意のディラク作用素が自明な符号を持つことを証明すること。
• $SU_q(2)$ に関する先行結果を、より高ランクの量子群 $SU_q(\ell+1)$ に拡張すること。

提案手法

• 固有値の距離 $c$ 以内にあるもの同士に辺を張るグラフ $\mathcal{G}_c$ を構成する。
• 正のスペクトル部と負のスペクトル部の間で無限個の互いに素なパスが存在しないことを利用して、符号の決定性を評価する。
• 固有値の差が線形に増加する部分空間としての自由平面 $\mathscr{F}_\gamma$ を定義し、その符号分布を分析する。
• コンパクト性を示す交換子 $[\text{sign}\,D, u_{ij}]$ を用いて、可能な符号作用素の制約を求める。
• パス・ラダーの議論を用いて、無限個の符号変化がコンパクト解像条件に反することを示す。
• 摂動技法を用いて符号作用素を $2P - I$ または $I - 2P$ に還元し、$P$ を有限ランク射影とする。

実験結果

リサーチクエスチョン

• RQ1 固有値の間隔に関する組み合わせ的制約によって、スペクトル三重項におけるディラク作用素の符号を完全に特徴づけられるか。
• RQ2 $C(SU_q(\ell+1))$ の表現にどのような条件下で、対角化可能なディラク作用素が非自明な符号をもつことができるか。
• RQ3 有界交換子条件は、符号作用素を $\pm I$ の有限ランク摂動に制限するか。
• RQ4 組み合わせ的グラフ法は、正と負のスペクトル部の間で無限個のラダー的パスが存在する場合、コンパクト解像条件に違反することを検出できるか。
• RQ5 自由平面 $\mathscr{F}_\gamma$ は符号作用素の構造を決定づける上で果たす役割は何か。

主な発見

• 任意の $L_2(\Gamma)$ 上のディラク作用素で、正規正規直交基底に関して対角化されるものについて、符号作用素は、ある有限ランク射影 $P$ に対して $2P - I$ または $I - 2P$ のコンパクト摂動に他ならない。
• $\mathscr{C}^+$ または $\mathscr{C}^-$ が有限であれば、符号作用素は $\pm I$ の有限ランク摂動に制限される。
• 正と負の両方のスペクトル部を持つ無限個の自由平面が存在すれば、無限のラダーが可能となり、コンパクト解像条件に反する。
• $\gamma(t,r) = 0$ かつ $\gamma(0,r)$ が有界となる無限個の $\gamma$ の存在は、$[P, T^{2n+1}]$ の非コンパクト性を引き起こし、非自明な符号を無効にする。
• $\ell > 1$ の場合、正規基底において対角化可能な任意のディラク作用素は非自明な符号をもつことはできない。これは $[P, T^{2n+1}]$ の非コンパクト性による。
• 非自明なスペクトル三重項は、$\omega = s_k$ かつ $F = \{k\}$ の場合にのみ存在し、特定の埋め込みにより $SU_q(2)$ の場合に還元される。