[論文レビュー] Zonal Polynomials and Quantum Antisymmetric Matrices

Naihuan Jing, Robert Ray|arXiv (Cornell University)|Sep 16, 2011

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

ひとこと要約

本稿では、量子正則群の作用下での不変量として、量子反対称行列に対する球的多項式の量子版を構成することにより、量子シンプレクティック群の作用下での不変量を構築する。量子ペフリアンを定義し、その不変部分環における役割を特徴づけ、また、可約表現における双不変関数がマケドン・対称関数 $P_\lambda(q^2, q^4)$ に一致することを証明する。これは、古典的球的関数を量子設定に一般化するものである。

ABSTRACT

We study the quantum symmetric spaces for quantum general linear groups modulo symplectic groups. We first determine the structure of the quotient quantum group and completely determine the quantum invariants. We then derive the characteristic property for quantum Phaffian as well as its role in the quantum invariant sub-ring. The spherical functions, viewed as Macdonald polynomials, are also studied as the quantum analog of zonal spherical polynomials.

研究の動機と目的

• 量子一般線形群を量子シンプレクティック群で割った場合の量子不変環の構造を特定すること。
• 不変体理論における古典的ペフリアンの量子アナログとしての量子ペフリアンを定義し、その性質を調べること。
• 可約表現における双不変関数をマケドン対称関数として特徴づけること。
• 量子球的関数とマケドン多項式 $P_\lambda(q^2, q^4)$ の間の対応関係を確立すること。

提案手法

• 変形パrameter $q \neq 1$ で、$q$ が単位根でない条件下で、行列生成子の非可換関係により量子群 $GL_q(2n,\mathbb{C})$ を構成する。
• 行列係数における二次関係を用いて、無限小不変量を通じて量子シンプレクティック群 $Sp_q(2n,\mathbb{C})$ を定義する。
• 量子ペフリアンの閉形式の定義を導入し、その表現論的性質を分析する。
• 量子小行列式と量子カシミール作用素 $c_k$ を用いて、不変部分空間を可約モジュールに分解する。
• 量子カシミール作用素の作用とマケドン差分作用素 $D_k(q^2, q^4)$ の間の対応関係を確立する。
• 双不変関数の対称関数への制限がマケドン対称関数 $P_\lambda(q^2, q^4)$ を与えることを証明する。

実験結果

リサーチクエスチョン

• RQ1 量子反対称行列の文脈において、量子ペフリアンを古典的ペフリアンの量子アナログとしてどのように定義できるか。
• RQ2 量子シンプレクティック群 $Sp_q(2n,\mathbb{C})$ の作用下での量子不変環の構造はいかなるものか。
• RQ3 量子設定における量子球的関数は、マケドン対称関数とどのように関係するか。
• RQ4 量子カシミール作用素 $c_k$ は、不変環上でのマケドン差分作用素の実現にどのような役割を果たすか。

主な発見

• 量子ペフリアンは、量子行列生成子における非可換多項式として定義され、古典的ペフリアン恒等式の量子アナログを満たす。
• 量子シンプレクティック群 $Sp_q(2n,\mathbb{C})$ の量子不変量は $A_q(X)$ の部分環をなし、可約 $U_q(\mathfrak{sl}_{2n})$-モジュールにおける双不変関数はマケドン対称関数 $P_\lambda(q^2, q^4)$ に同型である。
• 量子カシミール作用素 $c_k$ が最低重量ベクトル $v_0$ に作用するとき、重み $q^{-2\tilde{\lambda}_i + 2(i-2n)}$ を持つ対称関数の和が得られ、これは $D_k(q^2, q^4)$ の固有値構造と一致する。
• $c_k$ を対称関数環 $\mathbb{C}[z_1,\ldots,z_n]^{\mathfrak{S}_n}$ に制限すると、比例定数を除きマケドン差分作用素 $D_k(q^2, q^4)$ に一致する。
• 量子球的関数を対称関数に制限したときの先頭項は、$P_\lambda(q^2, q^4)$ の先頭項と一致し、同定が確認される。
• $Sp_q(2n,\mathbb{C})$-不変空間の可約モジュールへの分解は、重複度が1であり、各可約成分は分割 $\lambda \in P_n$ によってパラメトライズされる。