[論文レビュー] Equivariant spectral triples for SU q (ℓ + 1) and the odd dimensional quantum spheres

Partha Sarathi Chakraborty, Arupkumar Pal|arXiv (Cornell University)|Mar 29, 2005

Advanced Operator Algebra Research参考文献 20被引用数 8

ひとこと要約

本稿は、SUq(ℓ + 1) および奇数次元量子球面 S2ℓ+1 q における等変スペクトル三重項のフレームワークを、SUq(2) に対して以前に開発された組合せ的手法を拡張することで導入する。等変ディラック作用素の符号および特異値を特徴づけ、複数の L2 空間のコピー上に非自明な符号作用素を構成し、量子球面上の等変ディラック作用素を完全に分類することで、非自明な K-ホモロジー類を持つ最適なスペクトル三重項の族を構成する。

ABSTRACT

We formulate the notion of equivariance of an operator with respect to a covariant representation of a C ∗-dynamical system. We then use a combinatorial technique used by the authors earlier in characterizing spectral triples for SUq(2) to investigate equivariant spectral triples for two classes of spaces: the quantum groups SUq(ℓ + 1) for ℓ> 1, and the odd dimensional quantum spheres S2ℓ+1 q of Vaksman & Soibelman. In the former case, a precise characterization of the sign and the singular values of an equivariant Dirac operator acting on the L2 space is obtained. Using this, we then exhibit equivariant Dirac operators with nontrivial sign on direct sums of multiple copies of the L2 space. In the latter case, viewing S2ℓ+1 q as a homogeneous space for SUq(ℓ + 1), we give a complete characterization of equivariant Dirac operators, and also produce an optimal family of spectral triples with nontrivial K-homology class. AMS Subject Classification No.: 58B34, 46L87, 19K33

研究の動機と目的

• C∗-動的系の共変表現における作用素の等変性の概念を形式化すること。
• SUq(2) に既に用いられていた組合せ的技法を、ℓ > 1 である高ランク量子群 SUq(ℓ + 1) に拡張すること。
• SUq(ℓ + 1) 上の L2 空間における等変ディラック作用素の符号および特異値を特徴づけること。
• SUq(ℓ + 1) の L2 空間の直和上に、非自明な符号を有する等変ディラック作用素を構成すること。
• SUq(ℓ + 1) の同次空間としての構造を用いて、奇数次元量子球面 S2ℓ+1 q 上のすべての等変ディラック作用素を分類すること。また、非自明な K-ホモロジー類を実現する最適なスペクトル三重項の族を構成すること。

提案手法

• C∗-動的系の共変表現を通じて等変性を形式化し、等変作用素を定義する。
• SUq(2) に既に開発された組合せ的手法を応用し、SUq(ℓ + 1) および S2ℓ+1 q 上のスペクトル的性質を分析する。
• L2 空間上で表現論的および代数的技法を用いて、ディラック作用素の符号および特異値を計算する。
• スペクトルデータと等変性の制約を活用して、L2 空間の直和上にディラック作用素を構成する。
• S2ℓ+1 q が SUq(ℓ + 1) の同次空間としての構造を持つことを利用し、表現論を用いてすべての等変ディラック作用素を分類する。
• S2ℓ+1 q 上に、非自明な K-ホモロジー類を実現するという意味で最適なスペクトル三重項の族を構成する。

実験結果

リサーチクエスチョン

• RQ1 C∗-動的系の枠組み内で、作用素の等変性をどのように厳密に定式化できるか。
• RQ2 ℓ > 1 の場合に、L2(SUq(ℓ + 1)) 上の等変ディラック作用素の正確なスペクトル的性質—特に符号および特異値—は何か。
• RQ3 複数の L2 空間のコピー上に、等変性を保ったまま非自明な符号作用素を構成できるか。
• RQ4 奇数次元量子球面 S2ℓ+1 q 上のすべての等変ディラック作用素をどのように分類できるか。
• RQ5 S2ℓ+1 q 上で非自明な K-ホモロジー類を実現する最適なスペクトル三重項の族とは何か。

主な発見

• 組合せ的解析を通じて、L2(SUq(ℓ + 1)) 上の等変ディラック作用素の符号および特異値の明確な特徴づけが得られた。
• SUq(ℓ + 1) の L2 空間の複数のコピー上に、等変性を保ったまま非自明な符号作用素が明示的に構成された。
• S2ℓ+1 q が同次空間としての構造を持つことを利用し、奇数次元量子球面 S2ℓ+1 q 上のすべての等変ディラック作用素の完全な分類が達成された。
• S2ℓ+1 q 上に、非自明な K-ホモロジー類を表すという性質を持つ最適なスペクトル三重項の族が構成された。
• S2ℓ+1 q 上のスペクトル三重項が、特定のスペクトル不変量を最小化しつつ非自明な K-理論的情報を保持するという意味で最適であることが示された。
• このフレームワークにより、SUq(2) に関する以前の結果が高ランク量子群および奇数次元量子球面へと自然に一般化された。