[論文レビュー] An attractive basis for the $q-$Onsager algebra

Pascal Baseilhac, S. Belliard|arXiv (Cornell University)|Apr 10, 2017

Algebraic structures and combinatorial models参考文献 16被引用数 14

ひとこと要約

本稿は、無限次元代数 $\mathcal{A}_q$ の商として得られる $q$-Onsager代数の新しい Poincaré-Birkhoff-Witt (PBW) 基底を提案し、これが $q$-Onsager代数の第二の表示を提供するとの仮説を立てている。構成は、商代数 $\tilde{\mathcal{A}}_q^{\{\delta\}}$ から $q$-Onsager代数へのホモモーフィズムに基づくもので、すべての生成子が $\mathcal{W}_0, \mathcal{W}_1$ の多項式として与えられる明示的な再帰的公式が得られ、既知の「ジグザグ」基底との比較により、同型の仮説が支持されている。

ABSTRACT

Let $\ extsf{A},\ extsf{A}^*$ be the fundamental generators of the $q-$Onsager algebra. A linear basis for the $q-$Onsager algebra is known as the `zig-zag' basis [IT09]. In this letter, an attractive basis for the $q-$Onsager algebra is conjectured, based on the relation between the $q-$Onsager algebra and a quotient of the infinite dimensional algebra ${\\cal A}_q$ introduced in [BK05].

研究の動機と目的

• 無限次元代数 $\mathcal{A}_q$ の商を用いて、$q$-Onsager代数の新しい第二の表示を確立すること。
• 代数 $\mathcal{A}_q^{\{\delta\}}$ に対する Poincaré-Birkhoff-Witt (PBW) 基底を構成すること。
• 代数 $\mathcal{A}_q^{\{\delta\}}$ が $q$-Onsager代数と同型であると仮説を立て、新たな構造的枠組みを提供すること。
• $\mathcal{W}_0, \mathcal{W}_1, \mathcal{G}_1, \dots$ の順序で次数と辞書的順序に従うモノミアルを用いた新しい基底と既存の「ジグザグ」基底を比較し、低次の項について明示的な変換行列を用いて同型の仮説を支持すること。

提案手法

• $\mathcal{W}_{\pm}(u)$ および $\mathcal{G}_{\pm}(u)$ の形式的冪級数に基づく関係を用いて、生成子 $\{\mathcal{W}_{-k}, \mathcal{W}_{k+1}, \mathcal{G}_{k+1}, \tilde{\mathcal{G}}_{k+1}\}$ によって定義される無限次元代数 $\mathcal{A}_q$ を定義する。
• $q$-Onsager代数の構造から導かれる $\delta_1, \delta_2, \delta_3$ および $\rho$ を含む中心的関係を課すことにより、商代数 $\tilde{\mathcal{A}}_q^{\{\delta\}}$ を導入する。
• すべての $\tilde{\mathcal{A}}_q^{\{\delta\}}$ の生成子が $\mathcal{W}_0$ と $\mathcal{W}_1$ の多項式として表されることを示す再帰的公式（命題 3.1）を確立する。これにより、体系的な基底構成が可能になる。
• $\mathcal{A}_q^{\{\delta\}}$ に対する PBW 型基底を提案する（予想 1）。モノミアルは $\mathcal{W}_0, \mathcal{W}_1, \mathcal{G}_1, \dots$ の順序で次数と辞書的順序に従って整列される。
• $\tilde{\mathcal{A}}_q^{\{\delta\}}$ から $q$-Onsager代数へのホモモーフィズム（命題 4.1）を用いて、新しい基底と既知の「ジグザグ」基底との関係を確立する。
• 付録 B で明示的な行列計算を行い、全次数 4 までで新しい $WG$-基底とジグザグ基底を比較し、一貫した線形変換が得られることを示した。

実験結果

リサーチクエスチョン

• RQ1 無限次元代数 $\mathcal{A}_q$ の商を用いて、$q$-Onsager代数の新しい第二の表示を構成できるか？
• RQ2 提案された $\mathcal{A}_q^{\{\delta\}}$ に対する PBW 基底は線形独立かつ生成するか、したがって有効な基底であるか？
• RQ3 新しい $WG$-基底と既存の「ジグザグ」基底との間の変換行列は、全次数 4 までで一貫した構造を示すか？ これにより同型の仮説が支持されるか？
• RQ4 $\tilde{\mathcal{A}}_q^{\{\delta\}}$ の生成子が再帰的関係により $\mathcal{W}_0$ と $\mathcal{W}_1$ の多項式として完全に表現できるか？
• RQ5 $\mathcal{A}_q^{\{\delta\}}$ が、ホモモーフィズムと基底比較によって示唆されるように、$q$-Onsager代数と同型であるか？

主な発見

• $\tilde{\mathcal{A}}_q^{\{\delta\}}$ のすべての生成子が再帰的公式（命題 3.1）により $\mathcal{W}_0$ と $\mathcal{W}_1$ の多項式として表されることを示した。$\mathcal{W}_{-1}, \mathcal{W}_2, \mathcal{G}_1, \mathcal{G}_2, \mathcal{G}_3$ は $\mathcal{W}_0, \mathcal{W}_1, \delta_1, \delta_2, \delta_3, \rho$ を用いて明示的に表現できる。
• 代数 $\mathcal{A}_q^{\{\delta\}}$ に対する Poincaré-Birkhoff-Witt (PBW) 基底が予想される（予想 1）。モノミアルは $\mathcal{W}_0, \mathcal{W}_1, \mathcal{G}_1, \dots$ の順序で次数と辞書的順序に従って整列され、整然とした基底構造を示唆している。
• 付録 B において、全次数 4 までで新しい $WG$-基底とジグザグ基底との間の変換行列を明示的に計算した。非ゼロ係数を持つ一貫した線形結合が得られた。
• $\tilde{\mathcal{A}}_q^{\{\delta\}}$ から $q$-Onsager代数へのホモモーフィズム（命題 4.1）が確立された。これにより、新しい基底が $q$-Onsager代数の関係に一貫して写像されることを確認した。
• 新しい基底が全次数 4 まででジグザグ基底と同じ空間を生成すること、および提案された同型の下で構造定数が一致することから、仮説が支持されている。
• $\mathcal{A}_q^{\{\delta\}}$ が $q$-Onsager代数と同型であると仮説を立てる（予想 2）。これにより、$\mathcal{A}_q$ の商を用いた $q$-Onsager代数の新しい第二の表示が得られる。