[論文レビュー] An explicit isomorphism between quantum and classical sl(n)

Andrea Appel, Sachin Gautam|arXiv (Cornell University)|Dec 10, 2017

Algebraic structures and combinatorial models参考文献 21被引用数 5

ひとこと要約

本稿は、量子群 $U_{\hbar}\mathfrak{sl}_n$ と普遍包あくり代数 ${U\mathfrak{sl}_n}[[\hbar]]$ の間の明示的な代数同型を構成し、$\mathfrak{sl}_n$ の標準的旗構造を保つ。この同型は、ヤンゴン表現におけるドリンフェルト電流ホモーモルフィズムと評価写像の合成として実現され、$n \geq 2$ の場合における、これまでに知られていなかった最初の明示的同型である。また、アレクセエフとマイアレンケンによって構成されたポアソン微分同相写像の量子化であると予想されている。

ABSTRACT

Let g be a complex, semisimple Lie algebra. Drinfeld showed that the quantum group associated to g is isomorphic as an algebra to the trivial deformation of the universal enveloping algebra of g. In this paper we construct explicitly such an isomorphism when g = sl(n), previously known only for n=2.

研究の動機と目的

• $n \geq 2$ に対して、$U_{\hbar}\mathfrak{sl}_n$ と ${U\mathfrak{sl}_n}[[\hbar]]$ の間の明示的な代数同型を構成すること。$\mathfrak{sl}_2$ 以外には、この種の同型は以前に知られていなかった。
• この同型が $\mathfrak{sl}_n$ の標準的旗構造を有するレヴィ部分代数に保つように定義されることで、Lie代数の構造と整合性を持つようにすること。
• ヤンゴン表現と評価ホモーモルフィズムを用いて、この同型を明示的に実現することにより、量子ループ代数と古典的包あくり代数を結ぶこと。
• この同型がアレクセエフとマイアレンケンによって構成されたポアソン微分同相写像を量子化するものであると予想すること。

提案手法

• 同型 $\varphi$ は、量子ループ代数から完成化ヤンゴン $\widehat{Y_{\hbar}\mathfrak{sl}_n}$ へのホモーモルフィズム $\Phi$ と、0における評価ホモーモルフィズム $\mathsf{ev}$ の合成として定義される。
• 評価ホモーモルフィズム $\mathsf{ev}$ は、ヤンゴンのドリンフェルト電流表現において明示的に計算可能であり、これにより $\varphi$ の明示的公式が得られる。
• $\operatorname{End}(\mathbb{C}^n) \otimes U\mathfrak{sl}_n[[\hbar]]$ 内に、$\operatorname{T}(u) = u\operatorname{Id} - \hbar\operatorname{T}$ として行列 $\operatorname{T}(u)$ が構成され、Yang の $R$-行列 $R(u) = u\operatorname{Id} + \hbar P$ と $\operatorname{RTT}$ 関係を満たす。これにより、$\operatorname{RTT}$ 技法を用いて交換関係を扱える。
• 行列式の恒等式と $\operatorname{RTT}$ 代数技法を用いて、量子小行列式の交換関係を導出し、$\mathfrak{sl}_n$ に対する古典的不変式論の結果の新しい証明が得られる。
• 同型が $\mathbb{Q}$ 上に定義されていることが示され、算術的自然性が保証される。
• 明示的計算により、$\mathsf{ev}(t_{1,1}) = \frac{\hbar}{2}(\varpi^{\vee}_2 h_1 - e_{12}e_{21} - e_{21}e_{12})$ が得られ、既知の $J$-表現における評価ホモーモルフィズム $\mathsf{ev}_{\operatorname{CP}}$ と一致することが確認された。

実験結果

リサーチクエスチョン

• RQ1 $n \geq 2$ に対して、$U_{\hbar}\mathfrak{sl}_n$ と ${U\mathfrak{sl}_n}[[\hbar]]$ の間で、$\mathfrak{sl}_2$ の既知のケースを超えて明示的な代数同型を構成できるか？
• RQ2 このような同型が $\mathfrak{sl}_n$ のレヴィ部分代数の標準的旗構造を保つか？
• RQ3 ヤンゴンから量子群への評価ホモーモルフィズムが、ドリンフェルト電流表現において明示的に実現可能か？
• RQ4 構成された同型が、特にアレクセエフとマイアレンケンによるポアソン構造と整合性を持つか？
• RQ5 $\operatorname{RTT}$ 関係を用いて、量子小行列式の交換関係を導出し、古典的不変式論の結果を再現できるか？

主な発見

• $n \geq 2$ に対して、$U_{\hbar}\mathfrak{sl}_n \to {U\mathfrak{sl}_n}[[\hbar]]$ の明示的代数同型 $\varphi$ が構成され、量子群理論における長年の空白が解消された。
• $\varphi$ は標準的旗構造を保つ。具体的には、$1 \leq k \leq n-1$ に対して $\varphi(U_{\hbar}\mathfrak{sl}_{k+1}) \subset {U(\mathfrak{h} + \mathfrak{sl}_{k+1})}[[\hbar]]$ が成り立ち、Lie代数のパラボリック構造と整合性を持つ。
• 同型は $\mathbb{Q}$ 上に定義されており、複素数係数に依存しない、標準的かつ算術的な構造であることが示された。
• 評価ホモーモルフィズム $\mathsf{ev}$ はドリンフェルト電流表現において明示的に計算され、$t_{1,1}$ への値が既知の $J$-表現評価と一致することが示され、一貫性が確認された。
• 本構成により、$\operatorname{RTT}$ 関係と量子小行列式を用いて、$\mathfrak{sl}_n$ に対する古典的不変式論の結果の新しい証明が得られた。
• この同型は、アレクセエフとマイアレンケンによって構成されたポアソン微分同相写像の量子化であると予想されており、量子的および古典的幾何的構造を精確に結びつける。