[論文レビュー] The GL(m|n) type quantum matrix algebras II: the structure of the characteristic subalgebra and its spectral parameterization

Dimitri Gurevich, Pavel Pyatov+1 more|ArXiv.org|Aug 25, 2005

Algebraic structures and combinatorial models参考文献 41被引用数 7

ひとこと要約

本稿は、$GL(m|n)$-型量子行列代数におけるケイリー・ハミルトン恒等式の因数分解形を確立し、超対称多項式を用いてスペクトルを偶数部と奇数部に分離する。特徴的部分代数のスペクトル的パラメータ表示をシュール関数を用いて行い、対称関数環における明示的な二項関係を導出する。構造定数はリトルウッド・リチャードソン係数で与えられる。

ABSTRACT

In our previous paper math.QA/0412192 the Cayley-Hamilton identity for the GL(m|n) type quantum matrix algebra was obtained. Here we continue investigation of that identity. We derive it in three alternative forms and, most importantly, we obtain it in a factorized form. The factorization leads to a separation of the spectra of the quantum supermatrix into the "even" and "odd" parts. The latter, in turn, allows us to parameterize the characteristic subalgebra (which can also be called the subalgebra of spectral invariants) in terms of the supersymmetric polynomials in the eigenvalues of the quantum supermatrix. For our derivation we use two auxiliary results which may be of independent interest. First, we calculate the multiplication rule for the linear basis of the Schur functions $s_λ(M)$ for the characteristic subalgebra of the Hecke type quantum matrix algebra. The structure constants in this basis are the Littlewood-Richardson coefficients. Second, we derive a series of bilinear relations in the graded ring $Λ$ of Schur symmetric functions in countably many variables.

研究の動機と目的

• GL(m|n)-型量子行列代数におけるスペクトル的パラメータ表示の未解決問題を解消すること。
• ケイリー・ハミルトン恒等式の因数分解形を導出し、スペクトルを偶数成分と奇数成分に分離すること。
• シュール関数$s_\lambda(M)$を用いて、対称関数環$\Lambda$から特徴的部分代数へのホモモーマル写像を確立すること。
• シュール対称関数の次数付き環$\Lambda$における二項関係を導出し、それらが独立的な組合せ論的関心を有することを示すこと。
• 量子スーパーマトリクスの固有値における超対称多項式を用いて、特徴的部分代数の完全なスペクトル的パラメータ表示を提供すること。

提案手法

• ヘッケ型量子行列代数の特徴的部分代数におけるシュール関数$s_\lambda(M)$の積の法則を導出し、構造定数をリトルウッド・リチャードソン係数で与える。
• 量子スーパーマトリクスの固有値における超対称多項式を用いて、特徴的部分代数のスペクトル的パラメータ表示を導入する。
• ケイリー・ハミルトン恒等式の因数分解形を用いて、$s_{[m|n]}(\mu,\nu)$を介してスペクトルを偶数部と奇数部に分離する。
• 可換変数を無限に持つシュール対称関数の環$\Lambda$における二項関係を、$q$-組合せ論的恒等式を用いて導出する。
• 環$\Lambda$から特徴的部分代数へのホモモーフィズムを適用し、固有値変数を用いてシュール関数$s_\lambda(M)$をパラメータ表示する。
• 行列式の恒等式と$\mu_i = 0$における評価を用いて、$s_{[m|n]}(M)$のスペクトル的パラメータ表示を証明し、正規化を$\alpha = 1$で固定する。

実験結果

リサーチクエスチョン

• RQ1 GL(m|n)-型量子行列代数におけるケイリー・ハミルトン恒等式は、どのように因数分解され、偶数部と奇数部のスペクトル成分に分離可能か？
• RQ2 シュール関数$s_\lambda(M)$の観点から特徴的部分代数の構造は何か？ また、この基底における積の法則はどのようなものか？
• RQ3 量子スーパーマトリクスの固有値における超対称多項式を用いて、特徴的部分代数はどのようにパラメータ表示可能か？
• RQ4 シュール対称関数の環$\Lambda$において成立する二項関係は何か？ そして、それらはスペクトル的パラメータ表示をどのように支援するか？
• RQ5 スぺクトル的パラメータ表示における正規化因子$\alpha$は何か？ そして、それはどのように決定されるか？

主な発見

• GL(m|n)-型量子行列代数におけるケイリー・ハミルトン恒等式が、スペクトルの偶数部と奇数部に分離可能な因数分解形で導出された。
• 特徴的部分代数におけるシュール関数$s_\lambda(M)$の積の法則はリトルウッド・リチャードソン係数で与えられ、$\Lambda$から部分代数へのホモモーフィズムを確立する。
• 量子スーパーマトリクスの固有値における超対称多項式を用いて、特徴的部分代数の完全なスペクトル的パラメータ表示が達成された。
• シュール関数$s_{[m|n]}(M)$は明示的に$\prod_{i=1}^m \prod_{j=1}^n (q^{-1}\mu_i - q\nu_j)$としてパラメータ表示され、正規化因子$\alpha = 1$は$\mu_i = 0$における評価により確認された。
• スペクトル的パラメータ表示に不可欠な、$q$-組合せ論的恒等式のセットが導出され、それらを用いて$\Lambda$における二項関係を証明した。
• 正規化因子$\alpha = 1$は、行列式表現$\det(e_{n-i+j}(-q\nu))$と$\mu_i = 0$における$s_{[m|n]}(\mu,\nu)$のパラメータ表示を比較することで、厳密に確立された。