[論文レビュー] Modular Double of Quantum Group

Ludvig Faddeev|ArXiv.org|Dec 10, 1999

Algebraic structures and combinatorial models参考文献 11被引用数 64

ひとこと要約

本稿は、量子群 $SL_q(2)$ のモジュラー二重を導入し、$q$ と $\tilde{q} = e^{-i\tau/\bar{\tau}}$ の表現を1つの代数的構造に統合することで、ユニバーサル $R$-行列と対数的生成子に関する問題を解決する。この構成では、$s_q(w)$ と $s_{\tilde{q}}(\tilde{w})$ を統合する $q$-指数関数 $\rho(p)$ を用い、小さな分母を回避する well-defined な $R$-行列を構成し、ペンタゴン恒等式を満たす。これにより、量子群および conformal field theory の対称性の自然な枠組みが得られる。

ABSTRACT

An extension of Quantum Group is described. We propose to unite the quantum groups with parameter q and with parameter modularly dual to q.

研究の動機と目的

• 量子群のユニバーサル $R$-行列を定義する際の数学的不整合を解消すること、特に $|q|=1$ のときの小さな分母と $\mathrm{log}\,K$ 依存性に起因する特異性を回避すること。
• 共形場理論に知られているモジュラー双対性を反映するように、$q$ と $\tilde{q} = e^{-i\tau/\bar{\tau}}$ の両方の変形を統合した一貫した代数的構造を提供すること。
• $SL_q(2)$ に対して、小さな分母を避けることができ、ホップ代数構造と整合する well-defined なユニバーサル $R$-行列を構成すること。
• 同じ代数的構造を用いて $R$-行列が $\mathcal{U}_q$ および $\mathcal{U}_{\tilde{q}}$ の両方に作用するようにし、物理的に意味のある CFT や knot 不変量に関連するモジュラー二重構造を確立すること。

提案手法

• 生成元 $w_n, \tilde{w}_n$ あるいは同値に $p_n$ を持つ $\mathcal{D} = \mathcal{C}_q \otimes \mathcal{C}_{\tilde{q}}$ をモジュラー二重として定義し、$q = e^{i\pi\tau}$, $\tilde{q} = e^{-i\pi/\tau}$ を満たす。
• ユニバーサル $R$-行列を $\mathcal{R} = \exp\left(\frac{\pi}{2i}(p_2 + p_3) \otimes (p_1 + p_4)\right) \cdot \psi(p_{13})\psi(p_{14})\psi(p_{23})\psi(p_{24})$ として構成し、ここで $\psi(p)$ は $s_q(w)$ と $s_{\tilde{q}}(\tilde{w})$ を統合する $q$-変形積分表現である。
• $(P,Q)$ に対して $[P,Q] = -2\pi i I$ の下でペンタゴン恒等式 $\psi(P)\psi(Q) = \psi(Q)\psi(P+Q)\psi(P)$ が成り立つことを利用して、$\mathcal{R}$ のヤン・バクスター関係を保証する。
• $p_n^* = p_n$ を用いて $\mathcal{D}$ 上に $*$-構造を定義し、$SL_q(2,\mathbb{R})$、$SU_q(2)$、双対性を交換する場合の3つの物理的意味のあるケースを導出する。中心電荷は $C = 1 + 6(b + 1/b)^2$ である。
• $\mathcal{R}$ が $\mathcal{U}_q$ および $\mathcal{U}_{\tilde{q}}$ の両方の代数に同じ代数的構造を用いて作用することを確立し、$\sigma \Delta = \mathcal{R} \Delta \mathcal{R}^{-1}$ を満たす。
• シューツェンベルガーの関係を用いて $q$-指数関数因子をウェイル型の組み合わせに分解し、ホップ代数の公理と整合することを保証する。

実験結果

リサーチクエスチョン

• RQ1 ユニバーサル $R$-行列を $|q| = 1$ のときの小さな分母、特に $s_q(w)$ の特異性に起因するものから回避するため、$SL_q(2)$ の $R$-行列を再定義する方法は何か？
• RQ2 $q$ と $\tilde{q} = e^{-i\pi/\tau}$ の両方の変形を自然に統合する一貫した代数的構造を構築できるか？これは共形場理論で観察されるモジュラー双対性を反映するものである。
• RQ3 $s_q(w)$ と $s_{\tilde{q}}(\tilde{w})$ を統合する well-defined な $q$-指数関数が存在するか？また、ヤン・バクスター方程式に必要なペンタゴン恒等式を満たすか？
• RQ4 $\mathcal{D}$ 上の $*$-構造をどのように定義すれば、$SL_q(2,\mathbb{R})$ や $SU_q(2)$ の物理的解釈を保ちつつ、中心電荷 $C$ と関係づけられるか？
• RQ5 モジュラー二重の構成を $SL_q(2)$ を超えて、特に $SL_q(N)$ や他のリー型の量子群へ一般化できるか？

主な発見

• モジュラー二重 $\mathcal{D} = \mathcal{C}_q \otimes \mathcal{C}_{\tilde{q}}$ は、$\mathcal{U}_q$ と $\mathcal{U}_{\tilde{q}}$ が自然に埋め込まれる統一された代数的枠組みを提供し、別々の $R$-行列を必要としなくなる。
• $R$-行列 $\mathcal{R} = \exp\left(\frac{\pi}{2i}(p_2 + p_3) \otimes (p_1 + p_4)\right) \cdot \psi(p_{13})\psi(p_{14})\psi(p_{23})\psi(p_{24})$ は、単位円上すべての $q$ に対して well-defined であり、$\psi(p)$ の積分表現のおかげで小さな分母を回避する。
• $\psi(p) = \exp\left(\frac{1}{4}\oint \frac{e^{ip\xi/\pi}}{\sinh(b\xi)\sinh(\xi/b)} \frac{d\xi}{\xi}\right)$ は、$[P,Q] = -2\pi i I$ の下でペンタゴン恒等式 $\psi(P)\psi(Q) = \psi(Q)\psi(P+Q)\psi(P)$ を満たし、ヤン・バクスター関係を保証する。
• $\mathcal{D}$ 上の $*$-構造は $p_n^* = p_n$ によって定義され、$b$ が実数のとき $SL_q(2,\mathbb{R})$、虚数のとき $SU_q(2)$、$|q|=1$ のとき双対性を交換する場合の3つの物理的に異なるケースが得られる。中心電荷は $C = 1 + 6(b + 1/b)^2$ である。
• 中心電荷 $C$ はすべての3つのケースで実数であり、$SL_q(2,\mathbb{R})$ では $C \geq 25$、$SU_q(2)$ では $C \leq 1$、双対性ケースでは $1 \leq C \leq 25$ となる。これは既知の CFT の値と一致する。
• この構成により、$R$-行列が $\mathcal{U}_q$ および $\mathcal{U}_{\tilde{q}}$ の両方に同時に作用するように一般化され、ペンタゴン恒等式によるヤン・バクスター方程式の満たされることが、Kashaev と Volkov によって示されている。