We present a method to construct induced representations of quantum algebras having the structure of bicrossproduct. We apply this procedure to some quantum kinematical algebras in (1+1)--dimensions with this kind of structure: null-plane quantum Poincare algebra, non-standard quantum Galilei algebra and quantum kappa Galilei algebra.
A nonlinear change of basis allows to show that the non-standard quantum deformation of the (3+1) Poincare algebra has a bicrossproduct structure. Quantum universal R-matrix, Pauli-Lubanski and mass operators are presented in the new basis.
We find the general solution to the twisting equation in the tensor bialgebra $T({\bf R})$ of an associative unital ring ${\bf R}$ viewed as that of fundamental representation for a universal enveloping Lie algebra and its quantum deformations. We suggest a procedure of constructing twisting cocycles belonging to a given quasitriangular subbialgebra ${\cal H}\subset T({\bf R})$. This algorithm generalizes Reshetikhin's approach, which involves cocycles fulfilling the Yang-Baxter equation. Within this framework we study a class of quantized inhomogeneous Lie algebras related to associative ring…
Let X=GM be a finite group factorisation. It is shown that the quantum double D(H) of the associated bicrossproduct Hopf algebra $H=kM\cobicross k(G)$ is itself a bicrossproduct $kX\cobicross k(Y)$ associated to a group YX, where $Y=G\times M^{op}$. This provides a class of bicrossproduct Hopf algebras which are quasitriangular. We also construct a subgroup $Y^θX^θ$ associated to every order-reversing automorphism $θ$ of X. The corresponding Hopf algebra $kX^θ\cobicross k(Y^θ)$ has the same coalgebra as H. Using related results, we classify the first order bicovariant differential calculi on H…
The general framework of bicrossproduct Hopf algebras given by Majid is extended to $Z_2$-graded bicrossproduct Hopf superalgebras. As examples of bicrossproduct Hopf superalgebras we provide the graded algebras of functions on undeformed as well as $κ$-deformed $D=4$ Poincaré supergroups.
We present a unified study of some aspects of quantum bicrossproduct algebras of inhomogeneous Lie algebras, like Poincare, Galilei and Euclidean in N dimensions. The action associated to the bicrossproduct structure allows to obtain a nonlinear action over a new group linked to the translations. This new nonlinear action associates a dynamical system to each generator which is the object of study in this paper.
A family of deformed Hopf algebras corresponding to the classical maximal isometry algebras of zero-curvature N-dimensional spaces (the inhomogeneous algebras iso(p,q), p+q=N, as well as some of their contractions) are shown to have a bicrossproduct structure. This is done for both the algebra and, in a low-dimensional example, for the (dual) group aspects of the deformation.
We consider a generalisation of the Majid's mirror product of a Hopf algebra H, when one of the components of the product is replaced by a twist. This leads to a new "twisted mirror product" construction for cocycle bicrossproduct Hopf algebra where c is a 2-cocycle of "twisting" type. As an application, we obtain a canonical cocycle bicrossproduct for any Hopf algebra H.
It is shown that the family of deformed algebras ${\cal U}_λ(iso_{ω_2... ω_N}(N))$ has a different bicrossproduct structure for each $ω_a=0$ in analogy to the undeformed case.
We give a rigorous proof that the (codimension one) Connes-Moscovici Hopf algebra H_CM is isomorphic to a bicrossproduct Hopf algebra linked to a group factorisation of the group of positively-oriented diffeomorphisms of the real line. We construct a second bicrossproduct U_CM equipped with a nondegenerate dual pairing with H_CM. We give a natural quotient Hopf algebra of H_CM and Hopf subalgebra of U_CM which again are in duality. All these Hopf algebras arise as deformations of commutative or cocommutative Hopf algebras that we describe in each case. Finally we develop the noncommutative dif…
Let $A$ and $B$ be two algebraic quantum groups (i.e. multiplier Hopf algebras with integrals). Assume that $B$ is a right $A$-module algebra and that $A$ is a left $B$-comodule coalgebra. If the action and coaction are matched, it is possible to define a coproduct $Δ_#$ on the smash product $A # B$ making the pair $(A # B,Δ_#)$ into an algebraic quantum group. In this paper, we continue the study of these objects. First, we study the various data of the bicrossproduct $A # B$, such as the modular automorphisms, the modular elements, ... and obtain formulas in terms of the data of the componen…
We show that the $κ$-deformed Poincaré quantum algebra proposed for elementary particle physics has the structure of a Hopf agebra bicrossproduct $U(so(1,3))\cobicross T$. The algebra is a semidirect product of the classical Lorentz group $so(1,3)$ acting in a deformed way on the momentum sector $T$. The novel feature is that the coalgebra is also semidirect, with a backreaction of the momentum sector on the Lorentz rotations. Using this, we show that the $κ$-Poincaré acts covariantly on a $κ$-Minkowski space, which we introduce. It turns out necessarily to be deformed and non-commutative. We …
In this paper, we generalize Majid's bicrossproduct construction. We start with a pair (A,B) of two regular multiplier Hopf algebras. We assume that B is a right A-module algebra and that A is a left B-comodule coalgebra. We recall and discuss the two notions in the first sections of the paper. The right action of A on B gives rise to the smash product A # B. The left coaction of B on A gives a possible coproduct on A # B. We will discuss in detail the necessary compatibility conditions between the action and the coaction for this to be a proper coproduct on A # B. The result is again a regula…
We show that the bicrossproduct model $C[SU_2^*]{\blacktriangleright\!\!\triangleleft} U(su_2)$ quantum Poincare group in 2+1 dimensions acting on the quantum spacetime $[x_i,t]=\imathλx_i$ is related by a Drinfeld and module-algebra twist to the quantum double $U(su_2)\ltimes C[SU_2]$ acting on the quantum spacetime $[x_μ,x_ν]=\imathλε_{μνρ}x_ρ$. We obtain this twist by taking a scaling limit as $q\to 1$ of the $q$-deformed version of the above where it corresponds to a previous theory of $q$-deformed Wick rotation from $q$-Euclidean to $q$-Minkowski space. We also recover the twist result at…
We re-examine all the contractions related with the ${\cal U}_q(su(2))$ deformed algebra and study the consequences that the contraction process has for their structure. We also show using ${\cal U}_q(su(2))\times{\cal U}(u(1))$ as an example that, as in the undeformed case, the contraction may generate Hopf algebra cohomology. We shall show that most of the different Hopf algebra deformations obtained have a bicrossproduct or a cocycle bicrossproduct structure, for which we shall also give their dual `group' versions. The bicovariant differential calculi on the deformed spaces associated with…
We provide the Cartan calculus for bicovariant differential forms on bicrossproduct quantum groups $k(M)\lrbicross kG$ associated to finite group factorizations $X=GM$ and a field $k$. The irreducible calculi are associated to certain conjugacy classes in $X$ and representations of isotropy groups. We find the full exterior algebras and show that they are inner by a bi-invariant 1-form $θ$ which is a generator in the noncommutative de Rham cohomology $H^1$. The special cases where one subgroup is normal are analysed. As an application, we study the noncommutative cohomology on the quantum codo…
Kitaev's lattice models are usually defined as representations of the Drinfeld quantum double $D(H)=H\bowtie H^{*\text{op}} $, as an example of a double cross product quantum group. We propose a new version based instead on $M(H)=H^{\text{cop}}\blacktriangleright\!\!\!\triangleleft H$ as an example of Majid's bicrossproduct quantum group, related by semidualisation or `quantum Born reciprocity' to $D(H)$. Given a finite-dimensional Hopf algebra $H$, we show that a quadrangulated oriented surface defines a representation of the bicrossproduct quantum group $H^{\text{cop}}\blacktriangleright\!\!…
We compute the quantum double, braiding and other canonical Hopf algebra constructions for the bicrossproduct Hopf algebra $H$ associated to the factorization of a finite group into two subgroups. The representations of the quantum double are described by a notion of bicrossed bimodules, generalising the cross modules of Whitehead. We also show that self-duality structures for the bicrossproduct Hopf algebras are in one-one correspondence with factor-reversing group isomorphisms. The example $Z_6Z_6$ is given in detail. We show further that the quantum double $D(H)$ is the twisting of $D(X)$ b…
In this paper we show how to construct explicitly induced representations for bicrossproduct Hopf algebras with abelian kernels starting from one-dimensional characters of the commutative sector. We introduce this technique by means of two concrete physical examples: two quantum deformations of the (1+1) Galilei algebra.
We construct canonical strongly bicovariant differential graded algebra structures on all four flavours of cross product Hopf algebras, namely double cross products $A\hookrightarrow A\bowtie H\hookleftarrow H$, double cross coproducts $A\twoheadleftarrow A {\blacktriangleright\!\!\blacktriangleleft} H\twoheadrightarrow H$, biproducts $A{\buildrel\hookrightarrow\over \twoheadleftarrow}A{\cdot\kern-.33em\triangleright\!\!\!<} B$ and bicrossproducts $A\hookrightarrow A{\blacktriangleright\!\!\triangleleft} H\twoheadrightarrow H$ on the assumption that the factors have strongly bicovariant calcul…
The quantum Galilei group $G_{\varkappa}$ is defined. The bicrossproduct structure of $G_{\varkappa}$ and the corresponding Lie algebra is revealed. The projective representations for the two-dimensional quantum Galilei group are constructed.
We recall the abstract theory of Hopf algebra bicrossproducts and double cross products due to the author. We use it to develop some less-well known results about the quantum double as a twisting, as an extension and as $q$-Lorentz group.
The $\hatκ$-deformed extended Galilei Hopf group algebra, ${\rm Fun}_{\hatκ}(\tilde G_{(m)})$, is introduced. It provides an example of a cocycle bicrossproduct structure, and is shown to be the contraction limit of a pseudoextension of the $κ$-Poincaré group algebra. The possibility of obtaining another deformed extended Galilei groups is discussed, including one obtained from a non-standard Poincaré deformation.
A finite quantum hypergroup is a finite-dimensional unital algebra $A$ over the field of complex numbers. There is a coproduct on $A$, a coassociative map from $A$ to $A\otimes A$ assumed to be unital, but it is not required to be an algebra homomorphism. There is a counit that is supposed to be a homomorphism. Finally, the main extra requirement is the existence of a faithful left integral with the right properties. For such a finite quantum hypergroup, the dual can be constructed. It is again a finite quantum hypergroup. The more general concept of an algebraic quantum hypergroup is studied …
This is an introduction to work on the generalisation to quantum groups of Mackey's approach to quantisation on homogeneous spaces. We recall the bicrossproduct models of the author, which generalise the quantum double. We describe the general extension theory of Hopf algebras and the nonAbelian cohomology spaces $\CH^2(H,A)$ which classify them. They form a new kind of topological quantum number in physics which is visible only in the quantum world. These same cross product quantisations can also be viewed as trivial quantum principal bundles in quantum group gauge theory. We also relate this…
Unitary representations of kinematical symmetry groups of quantum systems are fundamental in quantum theory. We propose in this paper its generalization to quantum kinematical groups. Using the method, proposed by us in a recent paper (olmo01), to induce representations of quantum bicrossproduct algebras we construct the representations of the family of standard quantum inhomogeneous algebras $U_λ(iso_ω(2))$. This family contains the quantum Euclidean, Galilei and Poincaré algebras, all of them in (1+1) dimensions. As byproducts we obtain the actions of these quantum algebras on regular co-spa…
The deformations of the Galilei algebra and their associated noncommutative Newtonian spacetimes are investigated. This is done by analyzing the possible nonrelativistic limits of an eleven generator (pseudo)extended \kap-Poincaré algebra $\tilde{\cal P}_κ$ and their implications for the existence of a first order differential calculus. The additional one-form needed to achieve a consistent calculus on \kap-Minkowski space is shown to be related to the additional central generator entering in the $\tilde{\cal P}_κ$ Hopf algebra. In the process, deformations of the extended Galilei and Galilei …
We show that the quantisation of a connected simply-connected Poisson-Lie group admits a left-covariant noncommutative differential structure at lowest deformation order if and only if the dual of its Lie algebra admits a pre-Lie algebra structure. As an example, we find a pre-Lie algebra structure underlying the standard 3D differential structure on $\C_q[SU_2]$. At the noncommutative geometry level we show that the enveloping algebra $U(\cm)$ of a Lie algebra $\cm$, viewed as quantisation of $\cm^*$, admits a connected differential exterior algebra of classical dimension if and only if $\cm$…
The $(4+4)$-dimensional $κ$-deformed quantum phase space as well as its $(10+10)$-dimensional covariant extension by the Lorentz sector can be described as Heisenberg doubles: the $(10+10)$-dimensional quantum phase space is the double of $D=4$ $κ$-deformed Poincaré Hopf algebra $\mathbb{H}$ and the standard $(4+4)$-dimensional space is its subalgebra generated by $κ$-Minkowski coordinates $\hat{x}_μ$ and corresponding commuting momenta $\hat{p}_μ$. Every Heisenberg double appears as the total algebra of a Hopf algebroid over a base algebra which is in our case the coordinate sector. We exhibi…
In this paper we study the representation theory for certain ``half lattice vertex algebras.'' In particular we construct a large class of irreducible modules for these vertex algebras. We also discuss how the representation theory of these vertex algebras are related to the representation theory of some associative algebras.
Given a simple finite-dimensional Lie algebra and an automorphism of finite order, one defines the notion of a twisted toroidal Lie algebra. In this paper, we construct representations of twisted toroidal Lie algebras from twisted modules over affine and lattice vertex algebras.
In this note we explain, in terms of finite dimensional representations of Lie algebras $\mathfrak{sp}_{2\ell}\subset\mathfrak{sl}_{2\ell}$, a combinatorial coincidence of difference conditions in two constructions of combinatorial bases for standard representations of symplectic affine Lie algebras.
We show that tensoriality constraints in noncommutative Riemannian geometry in the 2-dimensional bicrossproduct model quantum spacetime algebra [x,t]=λx drastically reduce the moduli of possible metrics g up to normalisation to a single real parameter which we interpret as a time in the past from which all timelike geodesics emerge and a corresponding time in the future at which they all converge. Our analysis also implies a reduction of moduli in n-dimensions and we study the suggested spherically symmetric classical geometry in n=4 in detail, identifying two 1-parameter subcases where the Ei…
For q generic or a primitive l-th root of unity, q-Witt algebras are described by means of q-divided power algebras. The structure of the universal q-central extension of the q-Witt algebra, the q-Virasoro algebra, is also determined. q-Lie algebras are investigated and the q-PBW theorem for the universal enveloping algebras of q-Lie algebras is proved. A realization of a class of representations of the q-Witt algebras is given. Based on it, the q-holomorph structure for the q-Witt algebras is constructed, which interprets the realization in the context of representation theory.
An inductive approach to the representation theory of cyclotomic Hecke algebras, inspired by Okounkov and Vershik, is developed. We study the common spectrum of the Jucys-Murphy elements using representations of the simplest affine Hecke algebra. Representations are constructed with the help of a new associative algebra whose underlying vector space is the tensor product of the cyclotomic Hecke algebra with the free associative algebra generated by standard m-tableaux.
Hilbert space representations of the cross product *-algebra of the Hopf *-algebra U_q(su_2) and its module *-algebras O(S^2_{qc}) of Podles' spheres are studied. Two classes of representations are described by explicit formulas for the actions of the generators.
In this paper, we study the representations of the new finite-dimensional pointed Hopf algebras in positive characteristic given in \cite{Cib09}. We find that these Hopf algebras are symmetric algebras. We determine the simple modules and their projective covers over these Hopf algebras. We show that these Hopf algebras are of wild representation type.
We establish a quantum cluster algebra structure on the quantum Grothendieck ring of a certain monoidal subcategory of the category of finite-dimensional representations of a simply-laced quantum affine algebra. Moreover, the (q,t)-characters of certain irreducible representations, among which fundamental representations, are obtained as quantum cluster variables. This approach gives a new algorithm to compute these (q,t)-characters. As an application, we prove that the quantum Grothendieck ring of a larger category of representations of the Borel subalgebra of the quantum affine algebra, defi…
The purpose of this paper is to study representations of simple multiplicative Hom-Lie algebras. First, we provide a new proof using Killing form for characterization theorem of simple Hom-Lie algebras given by Chen and Han, then discuss the representations structure of simple multiplicative Hom-Lie algebras. Moreover, we study weight modules and root space decompositions of simple multiplicative Hom-Lie algebras, characterize weight modules and provide examples of representations of $\mathfrak{sl}_2$-type Hom-Lie algebras.
We begin the study of unitary representations of Hecke algebras of complex reflections groups. We obtain a complete classification for the Hecke algebra of the symmetric group $\mathfrak{S}_n$ over the complex numbers. Interestingly, the unitary representations in the category $\OO$ for the rational Cherednik algebra of type A studied in \cite{ESG} correspond to the unitary representations of the corresponding Hecke algebra via the KZ functor defined in \cite{GGOR}.
In this paper we study of *-representations for polynomial algebras on quantum matrix spaces. We deal with two special cases of the polynomial algebras, namely the algebra of polynomials on quantum complex matrices $\mathrm{Mat_2}$ and on quantum complex symmetric matrices $\mathrm{Mat_2^{sym}}$. For the second algebra we classify all irreducible *-representations by bounded operators in a Hilbert space (up to a unitary equivalence). Moreover, we present a construction of *-representations of the above algebras which enables to obtain the full list of *-representations (sometimes by passing to…
We study some non-semisimple representations of affine Temperley--Lieb algebras and related cellular algebras. In particular, we classify extensions between simple standard modules. Moreover, we construct a completion which is an infinite dimensional cellular algebra.
This paper surveys the representation theory of rational Cherednik algebras. We also discuss the representations of the spherical subalgebras. We describe in particular the results on category O. For type A, we explain relations with the Hilbert scheme of points on C^2. We insist on the analogy with the representation theory of complex semi-simple Lie algebras.
Based on a recent result of Mathas and the author, we prove that Uno's conjecture on representation types of Hecke algebras is true for all Hecke algebras of classical type.
In \cite{DFW} and \cite{Fu07}, little $q$-Schur algebras were introduced as homomorphic images of the infinitesimal quantum groups. In this paper, we will investigate representations of these algebras. We will classify simple modules for little $q$-Schur algebras and classify semisimple little $q$-Schur algebras. Moreover, through the classification of the blocks of little $q$-Schur algebras for $n=2$, we will determine little $q$-Schur algebras of finite representation type in the odd roots of unity case.
We construct a class of new Lie algebras by generalizing the one-variable Lie algebras generated by the quadratic conformal algebras (or corresponding Hamiltonian operators) associated to Poisson algebras and a quasi-derivation found by Xu. These algebras can be viewed as certain twists of Xu's generalized Hamiltonian Lie algebras. The simplicity of these algebras is completely determined. Moreover, we construct a family of multiplicity-free representations of these Lie algebras and prove their irreducibility.
We give a broad study of representation and module theory of Rota-Baxter algebras. Regular-singular decompositions of Rota-Baxter algebras and Rota-Baxter modules are obtained under the condition of quasi-idempotency. Representations of an Rota-Baxter algebra are shown to be equivalent to the representations of the ring of Rota-Baxter operators whose categorical properties are obtained and explicit constructions are provided. Representations from coalgebras are investigated and their algebraic Birkhoff factorization is given. Representations of Rota-Baxter algebras in the tensor category conte…
We prove a highest weight theorem classifying irerducible finite--dimensional representations of quantum affine algebras and survey what is currently known about the structure of these representations.
We complete the classification of the finite dimensional irreducible representations of finite W-algebras associated to even multiplicity nilpotent elements in classical Lie algebras. This extends earlier work where this classification is determined for such representations of integral central character.