[論文レビュー] Alpha-determinant cyclic modules of $gl_n(C)$

Sho Matsumoto, Masato Wakayama|ArXiv.org|Aug 26, 2005

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

ひとこと要約

本稿は、可換変数をもつ行列の $\alpha$-行列式を生成元とする $\frak{gl}_n(\bbC)$ の自然な作用における、循環的 $U(\frak{gl}_n(\bbC))$-加群 $V_n^{(\beta)} = U(\frak{gl}_n(\bbC)) \cdot \det_\alpha(X)$ の非可約分解を決定する。$\alpha = \pm 1/k$（$k=1,\dots,n-1$）の場合、分解は、行または列の長さが有界な分割 $\lambda$ によって添え字づけられるシュール加群 $E^\lambda$ の直和に同型であることが示され、一般の $\alpha$ の場合、加群は全テンソル積 $\bbC^n \otimes \cdots \otimes \bbC^n$ に同型であり、すべての非可約表現が重複度 $f^\lambda$ をもって現れる。主な結果は、$\alpha$ に応じた分解の完全な分類であり、分割の内容多項式との関係が示される。

ABSTRACT

The alpha-determinant unifies and interpolates the notion of the determinant and permanent. We determine the irreducible decomposition of the cyclic module of $gl_n(C)$ defined by the alpha-determinant. The degeneracy of the irreducible decomposition is determined by the content polynomial of a given partition.

研究の動機と目的

• 可換変数をもつ行列の $\alpha$-行列式が生成する $U(\frak{gl}_n(\bbC))$-循環的加群の構造を特定すること。
• パrameter $\alpha \in \bbC$ に応じて、この加群の非可約分解がどのように変化するかを理解すること。
• 加群がシュール加群 $E^\lambda$ の直和に分解され、重複度 $f^\lambda$ をもつ条件を特定し、分解が退化する場合を特徴づけること。
• この $\alpha$-行列式と分割の内容多項式との間の関係を確立すること。

提案手法

• 著者らは、多項式環 $\bbC[x_{ij}]$ 内の $\alpha$-行列式の $U(\frak{gl}_n(\bb{C}))$-軌道として、循環的加群 $V_n^{(\alpha)} = U(\frak{gl}_n(\bb{C})) \cdot \det_\alpha(X)$ を定義する。
• 著者らは、$\frak{gl}_n(\bb{C})$ の $\bb{C}[x_{ij}]$ 上への作用を、$\beta = \sqrt{-\alpha}$ を用いて $\rho^{(\alpha)}_n(E_{ij}) = \sum_{k=1}^n \beta^{|i-k|-|j-k|} x_{ik} \partial_{jk}$ としての微分作用素により記述する。
• 非可約分解は、シュール加群 $E^\lambda$、ウェイルの構成、および $\frak{gl}_n(\bb{C})$ の特徴のフロベニウス公式を用いて分析される。
• 著者らは、$\sigma$ の巡回数を表す共役関数 $\nu_n(\sigma)$ を用いて、$\det_\alpha(X)$ をイマナンタンツ $\mathrm{Imm}_\lambda(X)$ の線形結合として表現する。
• 分解における $E^\lambda$ の出現を決定する内容多項式 $f_\lambda(\alpha)$ を導出する。
• 極限 $\alpha \to \infty$ を分析し、$\det_\infty(X)$ をちょうど1つの巡回をもつ置換の和として定義し、その対応する循環的加群 $V_n^{(\infty)}$ が、ハンク型分割 $\lambda = (k,1^{n-k})$ のシュール加群にのみ分解され、重複度 $\binom{n-1}{k-1}$ をもつことを示す。

実験結果

リサーチクエスチョン

• RQ1 どの $\alpha$ の値に対して、循環的加群 $V_n^{(\alpha)}$ がシュール加群 $E^\lambda$ の直和に分解され、重複度 $f^\lambda$ をもつのか。
• RQ2 $\alpha$ が $\bbC$ 全体を走るとき、$V_n^{(\alpha)}$ の非可約分解はどのように変化するか。特に $\alpha = \pm 1/k$ のような特別な値においては。
• RQ3 内容多項式 $f_\lambda(\alpha)$ は、$V_n^{(\alpha)}$ の分解における $E^\lambda$ の存在を決定する上で果たす役割は何か。
• RQ4 $\alpha = \infty$ のとき、循環的加群の構造はどのようなものか。また、$\alpha$-行列式の極限とどのように関係するか。
• RQ5 $\alpha$-行列式は、表現空間内の標準的ベクトルとして解釈可能か。また、どのような対称性をもつのか。

主な発見

• $\alpha = \frac{1}{k}$（$k=1,\dots,n-1$）の場合、循環的加群 $V_n^{(1/k)}$ は $\bigoplus_{\lambda \vdash n, \lambda'_1 \leq k} (E^\lambda)^{\oplus f^\lambda}$ に分解され、ここで $\lambda'_1$ は $\lambda$ の最初の列の長さを表す。
• $\alpha = -\frac{1}{k}$ の場合、分解は $\bigoplus_{\lambda \vdash n, \lambda_1 \leq k} (E^\lambda)^{\oplus f^\lambda}$ に同型であり、ここで $\lambda_1$ は $\lambda$ の最初の行の長さを表す。
• 一般の $\alpha \in \bbC \setminus \{\pm 1, \pm \frac{1}{2}, \dots, \pm \frac{1}{n-1}\}$ に対して、加群 $V_n^{(\alpha)}$ は $\bbC^n \otimes \cdots \otimes \bbC^n$ に同型であり、$\bigoplus_{\lambda \vdash n} (E^\lambda)^{\oplus f^\lambda}$ に分解される。
• 極限 $\det_\infty(X)$ は $\lim_{|\alpha| \to \infty} \alpha^{1-n} \det_\alpha(X)$ として定義され、対応する循環的加群 $V_n^{(\infty)}$ は、ハンク型分割 $\lambda = (k,1^{n-k})$ のシュール加群にのみ分解され、重複度 $\binom{n-1}{k-1}$ をもつ。
• 内容多項式 $f_\lambda(\alpha)$ は、$\det_\alpha(X)$ の展開におけるイマナンタンツ $\mathrm{Imm}_\lambda(X)$ の係数を決定し、$f_\lambda(\alpha) \neq 0$ であることは、$\lambda$ が $V_n^{(\alpha)}$ の分解に現れることと同値である。
• $\alpha$-行列式は豊富な対称性をもつ。各シュール加群 $E^\lambda$ は、$\alpha$-行列式によって生成される標準的基底をもつため、$\det_\alpha(X)$ は非常に対称的な表現を生成する。