Finite-dimensional Irreducible Representations Research Articles

The R-matrix presentation for the rational form of a quantized enveloping algebra

Let Uq(g) denote the rational form of the quantized enveloping algebra associated to a complex simple Lie algebra g. Let λ be a nonzero dominant integral weight of g, and let V be the corresponding type 1 finite-dimensional irreducible representation of Uq(g). Starting from this data, the R-matrix formalism for quantum groups outputs a Hopf algebra URλ(g) defined in terms of a pair of generating matrices satisfying well-known quadratic matrix relations. In this paper, we prove that this Hopf algebra admits a Chevalley–Serre type presentation which can be recovered from that of Uq(g) by adding a single invertible quantum Cartan element. We simultaneously establish that URλ(g) can be realized as a Hopf subalgebra of the tensor product of the space of Laurent polynomials in a single variable with the quantized enveloping algebra associated to the lattice generated by the weights of V. The proofs of these results are based on a detailed analysis of the homogeneous components of the matrix equations and generating matrices defining URλ(g), with respect to a natural grading by the root lattice of g compatible with the weight space decomposition of End(V).

Twisted conjugacy in residually finite groups of finite Prüfer rank

Abstract Suppose 𝐺 is a residually finite group of finite upper rank admitting an automorphism 𝜑 with finite Reidemeister number R ⁢ ( φ ) R(\varphi) (the number of 𝜑-twisted conjugacy classes). We prove that such a 𝐺 is soluble-by-finite (in other words, any residually finite group of finite upper rank that is not soluble-by-finite has the R ∞ R_{\infty} property). This reduction is the first step in the proof of the second main theorem of the paper: suppose 𝐺 is a residually finite group of finite Prüfer rank and 𝜑 is its automorphism. Then R ⁢ ( φ ) R(\varphi) (if it is finite) is equal to the number of equivalence classes of finite-dimensional irreducible unitary representations of 𝐺, which are fixed points of the dual map φ ̂ : [ ρ ] ↦ [ ρ ∘ φ ] \hat{\varphi}\colon[\rho]\mapsto[\rho\circ\varphi] (i.e. we prove the TBFT𝑓, the finite version of the conjecture about the twisted Burnside–Frobenius theorem, for such groups).

Finite dimensional irreducible representations of Lie superalgebra D (2, 1; α)

This paper focuses on the finite dimensional irreducible representations of Lie superalgebra D(2, 1; α). We explicitly construct the finite dimensional representations of the superalgebra D(2, 1; α) by using the shift operator and differential operator representations. Unlike ordinary Lie algebra representation, there are typical and atypical representations for most superalgebras. Therefore, its typical and atypical representation conditions are also given. Our results are expected to be useful for the construction of primary fields of the corresponding current superalgebra of D(2, 1; α).

Matrix elements of SO(3) in sl3 representations as bispectral multivariate functions

We compute the matrix elements of SO(3) in any finite-dimensional irreducible representation of sl3. They are expressed in terms of a double sum of products of Krawtchouk and Racah polynomials which generalize the Griffiths–Krawtchouk polynomials. Their recurrence and difference relations are obtained as byproducts of our construction. The proof is based on the decomposition of a general three-dimensional rotation in terms of elementary planar rotations and a transition between two embeddings of sl2 in sl3. The former is related to monovariate Krawtchouk polynomials and the latter, to monovariate Racah polynomials. The appearance of Racah polynomials in this context is algebraically explained by showing that the two sl2 Casimir elements related to the two embeddings of sl2 in sl3 obey the Racah algebra relations. We also show that these two elements generate the centralizer in U(sl3) of the Cartan subalgebra and its complete algebraic description is given.

Algebraic approach and exact solutions of superintegrable systems in 2D Darboux spaces

Abstract Superintegrable systems in two-dimensional (2D) Darboux spaces were classified and it was found that there exist 12 distinct classes of superintegrable systems with quadratic integrals of motion (and quadratic symmetry algebras generated by the integrals) in the Darboux spaces. In this paper, we obtain exact solutions via purely algebraic means for the energies of all the 12 existing classes of superintegrable systems in four different 2D Darboux spaces. This is achieved by constructing the deformed oscillator realization and finite-dimensional irreducible representation of the underlying quadratic symmetry algebra generated by quadratic integrals respectively for each of the 12 superintegrable systems. We also introduce generic cubic and quintic algebras, generated respectively by linear and quadratic integrals and linear and cubic integrals, and obtain their Casimir operators and deformed oscillator realizations. As examples of applications, we present three classes of new superintegrable systems with cubic symmetry algebras in 2D Darboux spaces.

Minimal boundaries for operator algebras

We study boundaries for unital operator algebras. These are sets of irreducible ∗ * -representations that completely capture the spatial norm attainment for a given subalgebra. Classically, the Choquet boundary is the minimal boundary of a function algebra and it coincides with the collection of peak points. We investigate the question of minimality for the non-commutative counterpart of the Choquet boundary and show that minimality is equivalent to what we call the Bishop property. Not every operator algebra has the Bishop property, but we exhibit classes of examples that do. Throughout our analysis, we exploit various non-commutative notions of peak points for an operator algebra. When specialized to the setting of C ∗ \mathrm {C}^* -algebras, our techniques allow us to provide a new proof of a recent characterization of those C ∗ \mathrm {C}^* -algebras admitting only finite-dimensional irreducible representations.

Affinization of q-oscillator representations of $$U_q(\mathfrak {gl}_n)$$

We introduce a category $\widehat{\mathcal{O}}_{\rm osc}$ of $q$-oscillator representations of the quantum affine algebra $U_q(\widehat{\mathfrak{gl}}_n)$. We show that $\widehat{\mathcal{O}}_{\rm osc}$ has a family of irreducible representations, which naturally corresponds to finite-dimensional irreducible representations of quantum affine algebra of untwisted affine type $A$. It is done by constructing a category of $q$-oscillator representations of the quantum affine superalgebra of type $A$, which interpolates these two family of irreducible representations. The category $\widehat{\mathcal{O}}_{\rm osc}$ can be viewed as a quantum affine analogue of the semisimple tensor category generated by unitarizable highest weight representations of $\mathfrak{gl}_{u+v}$ ($n=u+v$) appearing in the $(\mathfrak{gl}_{u+v},\mathfrak{gl}_\ell)$-duality on a bosonic Fock space.

Explicit constructions of some infinite families of finite-dimensional irreducible representations of the type $${\textsf {E}}_{6}$$ and $${\textsf {E}}_{7}$$ simple Lie algebras

Explicit constructions of some infinite families of finite-dimensional irreducible representations of the type $${\textsf {E}}_{6}$$ and $${\textsf {E}}_{7}$$ simple Lie algebras

Ghost center and representations of the diagonal reduction algebra of osp(1|2)

Reduction algebras are known by many names in the literature, including step algebras, Mickelsson algebras, Zhelobenko algebras, and transvector algebras, to name a few. These algebras, realized by raising and lowering operators, allow for the calculation of Clebsch-Gordan coefficients, branching rules, and intertwining operators; and have connections to extremal equations and dynamical R-matrices in integrable face models. In this paper we continue the study of the diagonal reduction superalgebra A of the orthosymplectic Lie superalgebra osp(1|2). We construct a Harish-Chandra homomorphism, Verma modules, and study the Shapovalov form on each Verma module. Using these results, we prove that the ghost center (center plus anti-center) of A is generated by two central elements and one anti-central element (analogous to the Scasimir due to Leśniewski for osp(1|2)). As another application, we classify all finite-dimensional irreducible representations of A. Lastly, we calculate an infinite-dimensional tensor product decomposition explicitly.

Gruson–Serganova character formulas and the Duflo–Serganova cohomology functor

Abstract We establish an explicit formula for the character of an irreducible finite-dimensional representation of g ⁢ l ⁢ ( m | n ) \mathfrak{gl}(m|n) . The formula is a finite sum with integer coefficients in terms of a basis E μ \mathcal{E}_{\mu} (Euler characters) of the character ring. We prove a simple formula for the behavior of the “superversion” of E μ \mathcal{E}_{\mu} in the g ⁢ l ⁢ ( m | n ) \mathfrak{gl}(m|n) and o ⁢ s ⁢ p ⁢ ( m | 2 ⁢ n ) \mathfrak{osp}(m|2n) -case under the map ds \mathrm{ds} on the supercharacter ring induced by the Duflo–Serganova cohomology functor DS \mathrm{DS} . As an application, we get combinatorial formulas for superdimensions, dimensions and g 0 \mathfrak{g}_{0} -decompositions for g ⁢ l ⁢ ( m | n ) \mathfrak{gl}(m|n) and o ⁢ s ⁢ p ⁢ ( m | 2 ⁢ n ) \mathfrak{osp}(m|2n) .

Transfer Matrices of Rational Spin Chains via Novel BGG-Type Resolutions

We obtain BGG-type formulas for transfer matrices of irreducible finite-dimensional representations of the classical Lie algebras $\mathfrak{g}$, whose highest weight is a multiple of a fundamental one and which can be lifted to the representations over the Yangian $Y(\mathfrak{g})$. These transfer matrices are expressed in terms of transfer matrices of certain infinite-dimensional highest weight representations (such as parabolic Verma modules and their generalizations) in the auxiliary space. We further factorise the corresponding infinite-dimensional transfer matrices into the products of two Baxter $Q$-operators, arising from our previous study (arXiv:2001.04929, arXiv:2104.14518) of the degenerate Lax matrices. Our approach is crucially based on the new BGG-type resolutions of the finite-dimensional $\mathfrak{g}$-modules, which naturally arise geometrically as the restricted duals of the Cousin complexes of relative local cohomology groups of ample line bundles on the partial flag variety $G/P$ stratified by $B_{-}$-orbits.

Coloured $$\mathfrak {sl}_r$$ invariants of torus knots and characters of $${\mathcal {W}}_r$$ algebras

Let $$p<p'$$ be a pair of coprime positive integers. In this note, generalizing Morton’s work in the case of $$\mathfrak {sl}_2$$ , we give a formula for the $$\mathfrak {sl}_r$$ Jones invariants of torus knots $$T (p,p')$$ coloured with the finite-dimensional irreducible representations $$L_r(n\Lambda _1)$$ . When $$r \le p$$ , we show that appropriate limits of the shifted (non-normalized, framing dependent) invariants calculated along $$L_r(nr\Lambda _1)$$ are essentially the characters of certain minimal model principal $${\mathcal {W}}$$ algebras of type $${{\,\textrm{A}\,}}$$ , namely, $${\mathcal {W}}_r(p,p')$$ , up to some factors independent of p and $$p'$$ but depending on r. In particular, these limits are essentially modular. We expect these limits to be the 0-tails of corresponding sequences of invariants. At the end, we formulate a conjecture on limits for $$p<r$$ .

A functional realization of the Gelfand-Tsetlin base

A realization of a finite dimensional irreducible representation of the Lie algebra $\mathfrak{gl}_n$ in the space of functions on the group $\mathrm{GL}_n$ is considered. It is proved that functions corresponding to Gelfand-Tsetlin diagrams are linear combinations of some new functions of hypergeometric type which are closely related to $A$-hypergeometric functions. These new functions are solution of a system of partial differential equations which follows from the Gelfand-Kapranov-Zelevinsky by an "antisymmetrization". The coefficients in the constructed linear combination are hypergeometric constants, that is, they are values of some hypergeometric functions when instead of all arguments ones are substituted.

A functional realization of the Gelfand-Tsetlin base

A realization of a finite dimensional irreducible representation of the Lie algebra $\mathfrak{gl}_n$ in the space of functions on the group $\mathrm{GL}_n$ is considered. It is proved that functions corresponding to Gelfand-Tsetlin diagrams are linear combinations of some new functions of hypergeometric type which are closely related to $A$-hypergeometric functions. These new functions are solution of a system of partial differential equations which follows from the Gelfand-Kapranov-Zelevinsky by an "antisymmetrization". The coefficients in the constructed linear combination are hypergeometric constants, that is, they are values of some hypergeometric functions when instead of all arguments ones are substituted. Bibliography: 16 titles.

Representations of simple noncommutative Jordan superalgebras II

In this article we continue the study of representations of simple finite-dimensional noncommutative Jordan superalgebras. We prove that an irreducible unital bimodule over a simple noncommutative Jordan superalgebra U of degree ≥2 is either an irreducible bimodule over its symmetrized superalgebra U ( + ) or is equal to one of its Peirce components. Applying this result, we describe irreducible finite-dimensional representations of simple noncommutative Jordan superalgebras U ( V , f , ⋆ ) and K ( Γ n , A ) , completing the description of simple finite-dimensional unital bimodules over simple noncommutative Jordan superalgebras over an algebraically closed field of characteristic 0.

Poles of finite-dimensional representations of Yangians

Let $\mathfrak{g}$ be a finite-dimensional simple Lie algebra over $\mathbb{C}$, and let $Y_{\hbar}(\mathfrak{g})$ be the Yangian of $\mathfrak{g}$. In this paper, we study the sets of poles of the rational currents defining the action of $Y_{\hbar}(\mathfrak{g})$ on an arbitrary finite-dimensional vector space $V$. Using a weak, rational version of Frenkel and Hernandez' Baxter polynomiality, we obtain a uniform description of these sets in terms of the Drinfeld polynomials encoding the composition factors of $V$ and the inverse of the $q$-Cartan matrix of $\mathfrak{g}$. We then apply this description to obtain a concrete set of sufficient conditions for the cyclicity and simplicity of the tensor product of any two irreducible representations, and to classify the finite-dimensional irreducible representations of the Yangian double.

Representations of the Yangians Associated with Lie Superalgebras mathfrak {osp}(1|2n)

We give a complete description of the finite-dimensional irreducible representations of the Yangians associated with the orthosymplectic Lie superalgebras mathfrak {osp}_{1|2n}. The representations are classified in terms of their highest weights and are parameterized by n-tuples of monic polynomials in one variable. The arguments rely on explicit constructions of a family of elementary modules of the Yangian for mathfrak {osp}_{1|2}. We show that a wide class of irreducible representations of this Yangian can be produced by taking tensor products of the elementary modules.

Graded decompositions of fusion products in rank 2

We determine the graded decompositions of fusion products of finite-dimensional irreducible representations for simple Lie algebras of rank 2. Moreover, we give generators and relations for these representations and obtain as a consequence that the Schur positivity conjecture holds in this case. The graded Littlewood–Richardson coefficients in the decomposition are parameterized by lattice points in convex polytopes, and an explicit hyperplane description is given in the various types.

Polynomial algebras of superintegrable systems separating in Cartesian coordinates from higher order ladder operators

We introduce the general polynomial algebras characterizing a class of higher order superintegrable systems that separate in Cartesian coordinates. The construction relies on underlying polynomial Heisenberg algebras and their defining higher order ladder operators. One feature of these algebras is that they preserve by construction some aspects of the structure of the gl(n) Lie algebra. Among the classes of Hamiltonians arising in this framework are various deformations of harmonic oscillator and singular oscillator related to exceptional orthogonal polynomials and even Painlevé and higher order Painlevé analogs. As an explicit example, we investigate a new three-dimensional superintegrable system related to Hermite exceptional orthogonal polynomials of type III. Among the main results is the determination of the degeneracies of the model in terms of the finite-dimensional irreducible representations of the polynomial algebra.

Matrix Valued Concomitants of $\text {SL}_{2}(\mathbb {C})$

AbstractTo a finite dimensional representation of a complex Lie group G, an associative algebra of adjoint covariant polynomial maps from the direct sum of m copies of the Lie algebra $\mathfrak {g}$ g of G into an algebra of complex matrices is associated. When the tangent representation of the given representation is irreducible, the center of this algebra of concomitants can be identified with the algebra of adjoint invariant polynomial functions on m-tuples of elements of $\mathfrak {g}$ g . For irreducible finite dimensional representations of $\text {SL}_{2}(\mathbb {C})$ SL 2 ( ℂ ) minimal generating systems of the corresponding algebras of concomitants are determined, both as an algebra and as a module over its center.