[論文レビュー] The Dirac operator on compact quantum groups

Sergey Neshveyev, Lars Tuset|ArXiv.org|Mar 6, 2007

Algebraic structures and combinatorial models参考文献 20被引用数 9

ひとこと要約

本稿では、単純な連結な単純なコンパクトなリー群 $G$ の $q$-deformation $G_q$ 上に、$U\mathfrak{g} \otimes \mathrm{Cl}(\mathfrak{g})$ 内の古典的ディラック作用素 $D$ のユニタリなねじれとして定義された量子ディラック作用素 $D_q$ を用いて、等変なスペクトル三つ組を構成する。主な結果は、$D_q$ が古典的スペクトル三つ組の等スペクトル的変形をもたらし、summability とパリティを保存することであり、ドリンフェルトの結合子と KZ 方程式により、有界な交換子が保証されることである。

ABSTRACT

For the q-deformation G_q, 0

研究の動機と目的

• $G_q$ 上に、$G$ 上の古典的ディラック作用素の等スペクトル的変形であるスペクトル三つ組を構成すること。
• 標準的な $q$-微分幾何的アプローチにおける量子クリフォード代数の定義と非有界な交換子の問題を解決すること。
• 量子ディラック作用素の解析的性質がドリンフェルトの結合子によって支配されることを示し、交換子の有界性を可能にする。
• $D_q$ を $K$-不変な関数に制限することにより、旗多様体を含む量子同調空間への構成の拡張。

提案手法

• ドリンフェルトのねじれを用いて、$U\mathfrak{g} \otimes \mathrm{Cl}(\mathfrak{g})$ 内の古典的ディラック作用素 $D$ のユニタリなねじれとして量子ディラック作用素 $D_q$ を定義する。
• ドリンフェルトの結合子と Knizhnik-Zamolodchikov (KZ) 方程式のモノドロミーを用いて、交換子 $[D_q, \pi_q(a)]$ の解析的挙動を制御する。
• $\mathbb{C}[G_q]$ 内の正則関数 $a$ に対する $D_q$ の交換子を、構成上有界である「ねじれた古典的交換子」と、結合子を含む項の和として表現する。
• KZ システムから導かれる微分方程式を用いて、$G_a(x)$ のユニタリな時間発展を解析することで、結合子関連の交換子が有界であることを示す。
• $D_q$ が $D$ にユニタリ同値であることの証明により、古典的ケースと同一のスペクトル的およびsummability の性質を保証する。
• チャイラリティ作用素 $1 \otimes \chi$ が $D_q$ と反交換することを示し、スペクトル三つ組の偶性を確立する。

実験結果

リサーチクエスチョン

• RQ1 $G_q$ 上に、$G$ 上の古典的ディラック作用素の等スペクトル的変形であるディラック作用素を持つスペクトル三つ組を構成することは可能か？
• RQ2 $q$-微分形式の枠組みにおいて、量子群の文脈で、非有界な交換子の問題をどのように克服できるか？
• RQ3 ドリンフェルトの結合子は、量子ディラック作用素の交換子の有界性を保証するために果たす役割は何か？
• RQ4 $G_q/T$ のような量子同調空間に対しても、$G_q$ 上のスペクトル三つ組の構成を拡張することは可能か？
• RQ5 量子ディラック作用素は、古典的スペクトル三つ組のパリティ（偶/奇）を保存するか？

主な発見

• $D_q$ は $D$ にユニタリ同値であり、これにより古典的ケースと同一のsummability およびスペクトル的性質が保証される。
• $[D_q, \pi_q(a)]$ の交換子は二つの部分に分解される：一つは構成上有界（ねじれた古典的交換子）、もう一つはKZ方程式による結合子の解析的制御により有界である。
• ドリンフェルトの結合子に関して、結合子関連の交換子は、$G_a(x)$ のユニタリな時間発展を解析し、関連する微分方程式を解くことで有界であることが示された。
• 得られたスペクトル三つ組 $({\mathbb{C}}[G_q], L^2(G_q) \otimes \mathbb{S}, D_q)$ は等変であり、古典的三つ組のパリティを保存する。
• 構成は量子旗多様体へ拡張可能である：$D_q$ を $T$-不変な関数に制限することで、$G_q/T$ 上のスペクトル三つ組が得られ、これは $G/T$ 上の古典的スペクトル三つ組の $2^{[\mathrm{rank}\, \mathfrak{g}/2]}$ 個の直和の変形である。