[論文レビュー] Some $q$-exponential formulas for finite-dimensional $\square_q$-modules

Yang Yang|arXiv (Cornell University)|Dec 8, 2016

Algebraic structures and combinatorial models参考文献 17被引用数 3

ひとこと要約

本稿は、4つの巡回的生成子を備えた $U_q(\mathfrak{sl}_2)$ の $q$-変形である代数 $\square_q$ の有限次元モジュラーに対して、$q$-指数関数的共役公式を確立する。任意の生成子 $x_j$ を $\mathrm{exp}_q(\mathfrak{n}_{i,i+1})$ で共役化すると、$\{x_k^{\pm1}\}_{k\in\mathbb{Z}_4}$ における多項式が得られることを証明しており、$U_q(\mathfrak{sl}_2)$ における既知の結果を高ランクな量子設定に一般化する。

ABSTRACT

We consider the algebra $\square_q$ which is a mild generalization of the quantum algebra $U_q(\frak{sl}_2)$. The algebra $\square_q$ is defined by generators and relations. The generators are $\{x_i\}_{i\in \mathbb{Z}_4}$, where $\mathbb{Z}_4$ is the cyclic group of order $4$. For $i\in \mathbb{Z}_4$ the generators $x_i$,$x_{i+1}$ satisfy a $q$-Weyl relation, and $x_i$,$x_{i+2}$ satisfy a cubic $q$-Serre relation. For $i\in \mathbb{Z}_4$ we show that the action of $x_i$ is invertible on each nonzero finite-dimensional $\square_q$-module. We view $x_i^{-1}$ as an operator that acts on nonzero finite-dimensional $\square_q$-modules. For $i\in \mathbb{Z}_4$, define $\mathfrak{n}_{i,i+1}=q(1-x_ix_{i+1})/(q-q^{-1})$. We show that the action of $\mathfrak{n}_{i,i+1}$ is nilpotent on each nonzero finite-dimensional $\square_q$-module. We view the $q$-exponential ${ m {exp}}_q(\mathfrak{n}_{i,i+1})$ as an operator that acts on nonzero finite-dimensional $\square_q$-modules. In our main results, for $i,j\in \mathbb{Z}_4$ we express each of of ${ m {exp}}_q(\mathfrak{n}_{i,i+1})x_j{ m {exp}}_q(\mathfrak{n}_{i,i+1})^{-1}$ and ${ m {exp}}_q(\mathfrak{n}_{i,i+1})^{-1}x_j{ m {exp}}_q(\mathfrak{n}_{i,i+1})$ as a polynomial in $\{x_k^{\pm 1}\}_{k\in \mathbb{Z}_4}$.

研究の動機と目的

• $U_q(\mathfrak{sl}_2)$ における $q$-指数関数的共役公式を、4つの巡回的生成子を備えた $q$-変形代数 $\square_q$ に一般化すること。
• $\mathfrak{n}_{i,i+1} = \frac{q(1 - x_i x_{i+1})}{q - q^{-1}}$ であるべき零性作用素の $q$-指数関数 $\mathrm{exp}_q(\mathfrak{n}_{i,i+1})$ が、有限次元 $\square_q$-モジュラー上で適切に定義された作用素として作用することを確立すること。
• $\mathrm{exp}_q(\mathfrak{n}_{i,i+1})x_j\mathrm{exp}_q(\mathfrak{n}_{i,i+1})^{-1}$ 及びその逆の共役作用素に対して、$\{x_k^{\pm1}\}$ における明示的な多項式表現を導出すること。
• $U_q(\mathfrak{sl}_2)$ における Lusztig 演算子および回転子構成の枠組みを $\square_q$ に拡張し、表現論における新たな道具を可能にすること。

提案手法

• $\{x_i\}_{i \in \mathbb{Z}_4}$ を生成子とする $\square_q$ を、$q$-Weyl 関係および立方 $q$-Serre 関係によって定義する。
• 有限次元非ゼロ $\square_q$-モジュラー上で、各 $x_i$ が可逆であり、$\mathfrak{n}_{i,i+1}$ が零性であることを証明する。
• $q$-指数関数 $\mathrm{exp}_q(T) = \sum_{n \in \mathbb{N}} \frac{q^{n \choose 2}}{[n]_q!} T^n$ を用いて共役作用素を定義する。
• $x_i x_i^{-1} = 1$, $x_i x_{i+1} = q^{-1} x_{i+1} x_i + (q - q^{-1})^{-1}$, および $q$-Serre 恒等式を含む、定義関係を用いた広範な代数的簡略化を行う。
• 4.3番目の補題における対称写像 $\phi$ を適用し、$x_{i+2}$ の共役公式を $x_i$ のものに還元する。これは巡回的不変性を活用する。
• 低次元の既約モジュラー上で SageMath を用いて計算的検証を行う。

実験結果

リサーチクエスチョン

• RQ1 $U_q(\mathfrak{sl}_2)$ における $q$-指数関数的共役公式を、4生成子を有する代数 $\square_q$ にどのように拡張できるか。
• RQ2 $\square_q$-モジュラーにおいて、$j \in \mathbb{Z}_4$ のとき、$\mathrm{exp}_q(\mathfrak{n}_{i,i+1})x_j\mathrm{exp}_q(\mathfrak{n}_{i,i+1})^{-1}$ の構造はいかなるものか。
• RQ3 $\mathrm{exp}_q(\mathfrak{n}_{i,i+1})$ の無限級数展開が、有限次元モジュラー上で $\{x_k^{\pm1}\}$ における有限多項式に簡略化可能か。
• RQ4 $\mathrm{exp}_q(\mathfrak{n}_{i,i+1})$ による $x_j$ の共役公式は、$\square_q$ 内の $q$-Serre 関係および $q$-Weyl 関係とどのように関係しているか。
• RQ5 自動同型 $\phi$ は、巡回的対称な生成子間で共役公式を簡略化するために果たす役割は何か。

主な発見

• $i,j \in \mathbb{Z}_4$ に対して、共役作用素 $\mathrm{exp}_q(\mathfrak{n}_{i,i+1})x_j\mathrm{exp}_q(\mathfrak{n}_{i,i+1})^{-1}$ は $\{x_k^{\pm1}\}_{k \in \mathbb{Z}_4}$ における多項式であり、$j = i$, $j = i+1$, $j = i+2$ の場合について明示的な式が導出された。
• $x_i$ を $\mathrm{exp}_q(\mathfrak{n}_{i,i+1})$ で共役化すると、$x_i + x_{i+1}^{-1} - x_i x_{i+1}^{-1} x_i^{-1} x_{i+1}$ が得られ、$q$-指数関数的変換による非自明な変形が示された。
• $x_{i+2}$ を $\mathrm{exp}_q(\mathfrak{n}_{i,i+1})$ で共役化すると、$x_i$, $x_{i+2}$ 及びそれらの逆元を含む複雑な多項式が得られ、$\mathbb{F}(q)$ 上の係数を含む。例として $\frac{q^3 x_{i+2} x_i^2 x_{i+1}^2}{(q - q^{-1})(q^2 - q^{-2})}$ のような項が含まれる。
• 逆共役 $\mathrm{exp}_q(\mathfrak{n}_{i,i+1})^{-1}x_j\mathrm{exp}_q(\mathfrak{n}_{i,i+1})$ に対しても多項式表現が得られ、$x_{i+2}$ は $x_i - \frac{x_{i+2}}{(q - q^{-1})^2} + \frac{q x_i x_{i+2} x_i^{-1}}{(q - q^{-1})(q^2 - q^{-2})} + \frac{q^{-1} x_i^{-1} x_{i+2} x_i}{(q - q^{-1})(q^2 - q^{-2})}$ に写像される。
• 低次元の既約 $\square_q$-モジュラー上で SageMath を用いた計算的検証により、代数的簡略化が確認された。
• この枠組みは、$U_q(\mathfrak{sl}_2)$ における回転子および Lusztig 演算子の構成を $\square_q$ に一般化しており、量子群表現論への広範な応用可能性を示唆している。