Complex quantum groups and their real representations (Q1328904): Difference between revisions

The procedure of real complexification is defined in the class of coquasitriangular \(*\)-Hopf algebras. (For cocommutative algebras it can be decomposed into the complexification and then the realification.) Complex quantum groups \[ Fun (\text{SL}_ q (N,\mathbb{C}; \varepsilon_ 1,\dots, \varepsilon_ N)), \quad Fun (\text{O}_ q (N,\mathbb{C}; \varepsilon_ 1,\dots, \varepsilon_ N)), \quad Fun (\text{Sp}_ n (n,\mathbb{C}; \varepsilon_ 1,\dots, \varepsilon_{2n})) \] are obtained in such way from algebras \[ Fun (\text{SU}_ q (N,\mathbb{R}; \varepsilon_ 1,\dots, \varepsilon_ N)),\quad Fun (\text{O}_ q (N,\mathbb{R}; \varepsilon_ 1,\dots, \varepsilon_ N)),\quad Fun (\text{Sp}_ q (n,\mathbb{R}; \varepsilon_ 1,\dots, \varepsilon_{2n})) \] of Reshetikhin- Takhtadzhyan-Faddeev (for \(q>0\)). In general, real complexification \(A^{\mathbb{C} \mathbb{R}}\) is the twisted product of the initial Hopf algebra \(A\) (of ``holomorphic polynomials'') and the conjugate Hopf algebra \(A^ j\) (of ``antiholomorphic polynomials''). A new feature is that the twist does not depend only on pure algebraical structures but on the \(*\)-structure. So, for example, there exist different one-parameter deformations of the classical groups \(\text{SL} (N,\mathbb{C})\), \(\text{O} (N,\mathbb{C})\), \(\text{Sp} (n,\mathbb{C})\) for different \(\varepsilon_ i= \pm1\). If \(A\) is completely reducible (as in the case of deformations of the classical groups) then \(A^{\mathbb{C} \mathbb{R}}\) is the same and irreducible corepresentations of \(A^{\mathbb{C} \mathbb{R}}\) are numbered by pairs of irreducible corepresentations of \(A\).