[論文レビュー] Quantum matrix ball: the Cauchi-Szegö kernel and the Shilov boundary

L. Vaksman|ArXiv.org|Jan 22, 2001

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

ひとこと要約

本稿は、量子行列球上の正則関数の境界値から関数を再構成するための q-アナローグのコーシー＝シュレーディンガー積分表現を、q-変形されたシロフ境界を用いて構築する。この境界上での不変積分が $U_q\mathfrak{su}_{m,n}$-不変性を示し、$SU_{n,n}$ の主退化系列のユニタリ表現の q-アナローグを可能にする。

ABSTRACT

This work produces a q-analogue of the Cauchi-Szegö integral representation that retrieves a holomorphic function in the matrix ball from its values on the Shilov boundary. Besides that, the Shilov boundary of the quantum matrix ball is described and the U_q su(m,n)-covariance of the U_q s(u(m)x u(n))-invariant integral on this boundary is established. The latter result allows one to obtain a q-analogue for the principal degenerate series of unitary representations related to the Shilov boundary of the matrix ball.

研究の動機と目的

• 量子行列球上の正則関数を境界値から再構成する、コーシー＝シュレーディンガー積分表現の q-アナローグを構築すること。
• 量子小数と $\mathbb{C}[GL_n]_q$ 上の $*$-構造を用いて、$*$-代数 $\mathrm{Pol}(S(\mathbb{U}))_q$ として、量子シロフ境界を定義し、その特徴づけを行うこと。
• 量子シロフ境界上での $U_q\mathfrak{s}(\mathfrak{u}_m\times\mathfrak{u}_n)$-不変積分が $U_q\mathfrak{su}_{m,n}$-不変性を示すことを確立すること。
• 境界上の不変積分を用いて、量子群 $SU_{n,n}$ の主退化系列のユニタリ表現の q-アナローグを構築すること。

提案手法

• 量子シロフ境界として $*$-代数 $\mathrm{Pol}(S(\mathbb{U}))_q = (\mathbb{C}[GL_n]_q, *)$ を用い、生成子 $z_a^\alpha$ と量子小数および $\det_q \mathbf{z}$ を用いて $*$-反転が定義される。
• 量子シロフ境界上での $U_q\mathfrak{su}_{m,n}$-不変積分を用いてコーシー＝シュレーディンガー核を構成し、古典的積分表現を一般化する。
• 量子行列式 $\det_q \mathbf{z}$ 及びその逆元を用いて $*$-構造と可逆性を定義し、境界代数が適切に定義されることを保証する。
• 対称性代数として量子群 $U_q\mathfrak{su}_{m,n}$ を用い、境界上での不変積分がその作用に関して共変であることを証明する。
• 生成子の制限と境界上でのユニタリティ関係の導入により、$\mathrm{Mat}_{m,n}$、$m < n$ の長方形行列空間へと構成を拡張する。
• 境界代数が特定の $q$-変形されたエルミート形式によって生成されることを示すために、量子不変量の第一定理を用いる。

実験結果

リサーチクエスチョン

• RQ1 古典的コーシー＝シュレーディンガー積分表現は、$q$-変形された境界を用いてどのように量子行列球へ一般化できるか？
• RQ2 量子行列球の正しい $q$-アナローグのシロフ境界とは何か、そしてその代数的特徴づけはどのようになされるか？
• RQ3 量子シロフ境界上に $U_q\mathfrak{su}_{m,n}$-共変な不変積分が存在するか、その性質は何か？
• RQ4 この量子境界構造を用いて、$SU_{n,n}$ の主退化系列のユニタリ表現を $q$-変形できるか？
• RQ5 量子設定下で、長方形行列 $\mathrm{Mat}_{m,n}$、$m < n$ の場合に構成はどのように拡張されるか？

主な発見

• 量子シロフ境界は、$*$-代数 $\mathrm{Pol}(S(\mathbb{U}))_q = (\mathbb{C}[GL_n]_q, *)$ として実現され、$*$ は量子小数と $\det_q \mathbf{z}$ を用いて定義される。
• コーシー＝シュレーディンガー核は、量子シロフ境界上での $U_q\mathfrak{su}_{m,n}$-不変積分を用いて構成され、境界値からの正則関数の再構成を可能にする。
• $U_q\mathfrak{su}_{m,n}$-共変性が確立され、積分が $U_q\mathfrak{su}_{m,n}$ の作用と可換であることが証明された。
• 境界上の不変積分を用いて、$SU_{n,n}$ の主退化系列のユニタリ表現の $q$-アナローグが構築された。
• 生成子の制限と境界代数上での $q$-変形ユニタリティ関係の導入により、長方形行列 $\mathrm{Mat}_{m,n}$、$m < n$ の場合への構成が一般化された。
• 長方形の場合の代数 $\mathrm{Pol}(S(\mathbb{U}^\prime))_q$ は、生成子 $z_a^\alpha$（$\alpha \geq n-m+1$）と関係式 $\sum_j q^{2n-\alpha-\beta} z_j^\alpha (z_j^\beta)^* = \delta^{\alpha\beta}$ で定義される。