SearcharxivSearch

arXiv · q-alg/9501021

The fundamental invariant of the Hecke algebra $H_n(q)$ characterizes the representations of $H_n(q)$, $S_n$, $SU_q(N)$ and $SU(N)$

Abstract

The irreducible representations (irreps) of the Hecke algebra $H_n(q)$ are shown to be completely characterized by the fundamental invariant of this algebra, $C_n$. This fundamental invariant is related to the quadratic Casimir operator, ${\cal{C}}_2$, of $SU_q(N)$, and reduces to the transposition class-sum, $[(2)]_n$, of $S_n$ when $q\rightarrow 1$. The projection operators constructed in terms of $C_n$ for the various irreps of $H_n(q)$ are well-behaved in the limit $q\rightarrow 1$, even when approaching degenerate eigenvalues of $[(2)]_n$. In the latter case, for which the irreps of $S_n$ are not fully characterized by the corresponding eigenvalue of the transposition class-sum, the limiting form of the projection operator constructed in terms of $C_n$ gives rise to factors that depend on higher class-sums of $S_n$, which effect the desired characterization. Expanding this limiting form of the projection operator into a linear combination of class-sums of $S_n$, the coefficients constitute the corresponding row in the character table of $S_n$. The properties of the fundamental invariant are used to formulate a simple and efficient recursive procedure for the evaluation of the traces of the Hecke algebra. The closely related quadratic Casimir operator of $SU_q(N)$ plays a similar role, providing a complete characterization of the irreps of $SU_q(N)$ and - by constructing appropriate projection operators and then taking the $q\rightarrow 1$ limit - those of $SU(N)$ as well, even when the quadratic Casimir operator of the latter does not suffice to specify its irreps.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

J. Katriel, B. Abdesselam, A. Chakrabarti. 1995-01-17. The fundamental invariant of the Hecke algebra $H_n(q)$ characterizes the representations of $H_n(q)$, $S_n$, $SU_q(N)$ and $SU(N)$. https://doi.org/10.1063/1.531218

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Higher-Dimensional Algebra I: Braided Monoidal 2-Categories

We begin with a brief sketch of what is known and conjectured concerning braided monoidal 2-categories and their applications to 4d topological quantum field theories and 2-tangles (surfaces embedded in 4-dimensional space). Then we give concise definitions of semistrict monoidal 2-categories and braided monoidal 2-categories, and show how these may be unpacked to give long explicit definitions similar to, but not quite the same as, those given by Kapranov and Voevodsky. Finally, we describe how to construct a semistrict braided monoidal 2-category Z(C) as the `center' of a semistrict monoidal category C. This is analogous to the construction of a braided monoidal category as the center, or `quantum double', of a monoidal category. As a corollary, our construction yields a strictification theorem for braided monoidal 2-categories.

q-alg

Idempotents of Hecke algebras of type A

We use a skein-theoretic version of the Hecke algebras of type A to present three-dimensional diagrammatic views of Gyoja's idempotent elements, based closely on the corresponding Young diagram. In this context we give straightforward calculations for the eigenvalues of two natural central elements in the Hecke algebras, namely the full curl and the sum of the Murphy operators. We discuss their calculation also in terms of the framing factor associated to the appropriate irreducible representation of the quantum group SU(N,q).

q-alg

Dual Affine Quantum Groups

Let $\hat{\mathfrak{g}}$ be an untwisted affine Kac-Moody algebra, with its Sklyanin-Drinfel'd structure of Lie bialgebra, and let $\hat{\mathfrak{h}}$ be the dual Lie bialgebra. By dualizing the quantum double construction - via formal Hopf algebras - we construct a new quantum group $U_q(\hat{\mathfrak{h}})$, dual of $U_q(\hat{\mathfrak{g}})$. Studying its restricted and unrestricted integer forms and their specializations at roots of 1 (in particular, their classical limits), we prove that $U_q(\hat{\mathfrak{h}})$ yields quantizations of $\hat{\mathfrak{h}}$ and $\hat{G}^\infty$ (the formal group attached to $\hat{\mathfrak{g}}$), and we construct new quantum Frobenius morphisms. The whole picture extends to the untwisted affine case the results known for quantum groups of finite type.

q-alg