[Paper Review] Alpha-determinant cyclic modules of $gl_n(C)$

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

Algebraic structures and combinatorial models7 references4 citations

TL;DR

This paper determines the irreducible decomposition of the cyclic module $V_n^{(eta)} = U(rak{gl}_n(bC)) \cdot \det_\alpha(X)$ generated by the $\alpha$-determinant under the natural action of $\frak{gl}_n(\bbC)$ on polynomial functions. It shows that for $\alpha = \pm 1/k$ with $k=1,\dots,n-1$, the decomposition is isomorphic to a direct sum of Schur modules $E^\lambda$ indexed by partitions $\lambda$ with bounded row or column length, while for generic $\alpha$, the module is isomorphic to the full tensor product $\bbC^n \otimes \cdots \otimes \bbC^n$, realizing all irreducible representations with multiplicity $f^\lambda$. The key result is a complete classification of the decomposition depending on $\alpha$, with a connection to the content polynomial of partitions.

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.

Motivation & Objective

• To determine the structure of the cyclic $U(\frak{gl}_n(\bbC))$-module generated by the $\alpha$-determinant of a matrix with commuting variables.
• To understand how the irreducible decomposition of this module varies with the parameter $\alpha \in \bbC$.
• To identify the conditions under which the module decomposes into a direct sum of Schur modules $E^\lambda$ with multiplicity $f^\lambda$, and to characterize the cases where the decomposition is degenerate.
• To establish a connection between the $\alpha$-determinant and the content polynomial of a partition, which governs the degeneracy of the decomposition.

Proposed method

• The authors define the cyclic module $V_n^{(\alpha)} = U(\frak{gl}_n(\bbC)) \cdot \det_\alpha(X)$ as the $U(\frak{gl}_n(\bbC))$-orbit of the $\alpha$-determinant in the polynomial ring $\bbC[x_{ij}]$.
• They use the action of $\frak{gl}_n(\bbC)$ on $\bbC[x_{ij}]$ via differential operators $\rho^{(\alpha)}_n(E_{ij}) = \sum_{k=1}^n \beta^{|i-k|-|j-k|} x_{ik} \partial_{jk}$ with $\beta = \sqrt{-\alpha}$.
• The irreducible decomposition is analyzed using the theory of Schur modules $E^\lambda$, Weyl's construction, and the Frobenius formula for characters of $\frak{gl}_n(\bbC)$.
• The authors express $\det_\alpha(X)$ as a linear combination of immanants $\mathrm{Imm}_\lambda(X)$ using the class function $\nu_n(\sigma)$, the number of cycles in $\sigma$.
• They derive the content polynomial $f_\lambda(\alpha)$, which determines when $\det_\alpha(X)$ contains the Schur module $E^\lambda$ via the coefficient $f_\lambda(\alpha)$.
• The limit $\alpha \to \infty$ is analyzed to define $\det_\infty(X)$ as the sum over permutations with exactly one cycle, leading to a decomposition into hook-shaped Schur modules.

Experimental results

Research questions

• RQ1 For which values of $\alpha$ does the cyclic module $V_n^{(\alpha)}$ decompose into a direct sum of Schur modules $E^\lambda$ with multiplicity $f^\lambda$?
• RQ2 How does the irreducible decomposition of $V_n^{(\alpha)}$ change as $\alpha$ varies over $\bbC$, particularly at special values like $\alpha = \pm 1/k$?
• RQ3 What is the role of the content polynomial $f_\lambda(\alpha)$ in determining the presence of $E^\lambda$ in the decomposition of $V_n^{(\alpha)}$?
• RQ4 What is the structure of the cyclic module when $\alpha = \infty$, and how does it relate to the limit of the $\alpha$-determinant?
• RQ5 Can the $\alpha$-determinant be interpreted as a canonical vector in a representation space, and what symmetries does it possess?

Key findings

• For $\alpha = \frac{1}{k}$ with $k=1,\dots,n-1$, the cyclic module $V_n^{(1/k)}$ decomposes as $\bigoplus_{\lambda \vdash n, \lambda'_1 \leq k} (E^\lambda)^{\oplus f^\lambda}$, where $\lambda'_1$ is the length of the first column of $\lambda$.
• For $\alpha = -\frac{1}{k}$, the decomposition is $\bigoplus_{\lambda \vdash n, \lambda_1 \leq k} (E^\lambda)^{\oplus f^\lambda}$, where $\lambda_1$ is the length of the first row of $\lambda$.
• For generic $\alpha \in \bbC \setminus \{\pm 1, \pm \frac{1}{2}, \dots, \pm \frac{1}{n-1}\}$, the module $V_n^{(\alpha)}$ is isomorphic to $\bbC^n \otimes \cdots \otimes \bbC^n$, which decomposes as $\bigoplus_{\lambda \vdash n} (E^\lambda)^{\oplus f^\lambda}$.
• The limit $\det_\infty(X)$ is defined as $\lim_{|\alpha| \to \infty} \alpha^{1-n} \det_\alpha(X)$, and the corresponding cyclic module $V_n^{(\infty)}$ decomposes into Schur modules $E^\lambda$ only for hook partitions $\lambda = (k,1^{n-k})$, with multiplicity $\binom{n-1}{k-1}$.
• The content polynomial $f_\lambda(\alpha)$ determines the coefficient of the immanant $\mathrm{Imm}_\lambda(X)$ in the expansion of $\det_\alpha(X)$, and $f_\lambda(\alpha) \neq 0$ if and only if $\lambda$ appears in the decomposition of $V_n^{(\alpha)}$.
• The $\alpha$-determinant possesses a rich symmetry, as each Schur module $E^\lambda$ admits a canonical basis formed by $\alpha$-determinants, implying that $\det_\alpha(X)$ generates a highly symmetric representation.