User Tools

Site Tools


higher_hyperoctahedral_series

This is an old revision of the document!


Higher hyperoctahedral series

The higher hyperoctahedral series is a family $(H_N^{[s]})_{N\in \N,\,s\in\{3,\ldots,\infty\}}$ of compact matrix quantum groups introduced by Banica, Curran and Speicher in [BanCuSp10]. Each $H_N^{[s]}$ interpolates the quantum group $H_N^{(s)}$ of the hyperoctahedral series with parameter $s$ and the free hyperoctahedral quantum group $H_N^{+}$, both of the corresponding dimension $N$.

Definition

Given $N\in \N$ and $s\in\N\cup\{\infty\}$ with $s\geq 3$, the quantum group $H_N^{[s]}$ of the hyperoctahedral series with parameter $s$ for dimension $N$ is the compact matrix quantum group $(C(H_N^{[s]}),u)$ where $u=(u_{i,j})_{i,j=1}^N$ organizes the generators $\{u_{i,j}\}_{i,j=1}^N$ of the (unital) universal C*-algebra

$$C(H_N^{[s]})\colon\hspace{-0.66em}= C^\ast_1\big\langle\{u_{i,j}\}_{i,j=1}^N\big\,\vert \,u=\overline u, \, uu^t=u^tu=I_N\otimes 1\,$$

$${\color{white}C(H_N^{(s)})\colon\hspace{-0.66em}= C^\ast_1\big\langle\{u_{i,j}\}_{i,j=1}^N\big\,\vert \,}\forall_{i,j,k=1}^N: i\neq j\Rightarrow u_{i,k}u_{j,k}=u_{k,i}u_{k,j}=0,$$

$${\color{white}C(H_N^{(s)})\colon\hspace{-0.66em}= C^\ast_1\big\langle\{u_{i,j}\}_{i,j=1}^N\big\,\vert \,}\forall_{i,j,k,l=1}^N: u_{i,j}^2u_{k,l}=u_{k,l}u_{i,j}^2,$$

$${\color{white}C(H_N^{(s)})\colon\hspace{-0.66em}= C^\ast_1\big\langle\{u_{i,j}\}_{i,j=1}^N\big\,\vert \,}s<\infty \Rightarrow \forall a,b\in \{u_{i,j}\}_{i,j=1}^n: $$

$${\color{white}C(H_N^{(s)})\colon\hspace{-0.66em}= C^\ast_1\big\langle\{u_{i,j}\}_{i,j=1}^N\big\,\vert \,}(s\text{ odd} \Rightarrow (ab)^{\frac{s-1}{2}}a=(ba)^{\frac{s-1}{2}}b),\, (s\text{ even}\Rightarrow (ab)^{\frac{s}{2}}=(ba)^{\frac{s}{2}})\big\rangle,$$

where $\overline u=(u^\ast_{i,j})_{i,j=1}^N$ is the complex conjugate of $u$ and $u^t=(u_{j,i})_{i,j=1}^N$ the transpose, where $I_N$ is the identity $N\!\times \!N$-matrix and where $1$ is the unit of the universal $C^\ast$-algebra.

If $s<\infty$, the definition can also be expressed by saying that the fundamental corpresentation matrix $u$ of $H_N^{[s]}$ is cubic and satisfies the $s$-mixing relations. In particular, $u$ satisfies the ultracubic relations, which is to say $u_{i,j}u_{l,m}u_{i,k}=u_{k,i}u_{l,m}u_{k,j}=0$ for all $i,j,k,l,m=1,\ldots,N$.

Had one allowed $s=2$ in the definition, one would have obtained the hyperoctahedral group $H_N^{[2]}\colon\hspace{-0.66em}=H_N$.

The quantum groups of the higher hyperoctahedral series are group-theoretical hyperoctahedral orthogonal easy quantum groups and can therefore be written as a semi-direct product with its diagonal subgroup [RaWe15]:

$$C(H_N^{[s]})\cong C^\ast\langle \{a_i\}_{i=1}^n \,\vert\, \forall_{i,j=1}^n: a_i^2=1,\, s<\infty\Rightarrow (a_ia_j)^s=1\rangle\bowtie C(S_N)$$

for all $N\in \N$ and $s\in\N\cup\{\infty\}$ with $3\leq s$, where $C(S_N)$ denotes the continuous functions over the symmetric group of dimension $N$ (considered as the subgroup of $\mathrm{GL}(\C,N)$ given by all permutation matrices).

Basic Properties

The fundamental corepresentation matrix $u$ of $H_N^{[s]}$ is in particular orthogonal. Hence, $H_N^{[s]}$ is a compact quantum subgroup of the free orthogonal quantum group $O_N^+$.

Moreover, $u$ is also cubic especially, implying that $H_N^{[s]}$ is a compact quantum subgroup of the free hyperoctahedral quantum group $H_N^{+}$, the free counterpart of the hyperoctahedral group $H_N$.

If $I$ denotes the closed two-sided ideal of $C(H_N^{[s]})$ generated by the relations $u_{i,j}u_{k,l}=u_{k,l}u_{i,j}$ for any $i,j,k,l=1,\ldots, N$, then $C(H_N^{[s]})/I$ is isomorphic to the $C^\ast$-algebra $C(H_N)$ of continuous functions on the hyperoctahedral group $H_N$, the subgroup of $\mathrm{GL}(N,\C)$ given by orthogonal matrices with integer entries. Hence, $H_N^{[s]}$ is a compact quantum supergroup of $H_N$.

Similarly, if $J$ is the closed two-sided ideal of $C(H_N^{[s]})$ generated by the relations $acb=bca$ for any $a,b,c\in \{u_{i,j}\}_{i,j=1}^N$, then $C(H_N^{[s]})/J$ is isomorphic to the $C^\ast$-algebra $C(H_N^\ast)$ of the half-liberated hyperoctahedral quantum group $H_N^\ast$. Hence, $H_N^{[s]}$ is a compact quantum supergroup of $H_N^\ast$.

For every $s\in \N$ with $s\geq 3$ the quantum groups $(H_N^{[s]})_{N\in \N}$ of the higher hyperoctahedral series with parameter $s$ are an easy family of compact matrix quantum groups, i.e., the intertwiner spaces of their corepresentation categories are induced by a category of partitions. More precisely, it is a group-theoretical hyperoctahedral category of partitions that induces the corepresentation categories of $(H_N^{[s]})_{N\in \N}$. Canonically, if $s<\infty$, it is generated by $h_s$ [RaWe14], the partition whose word representation is given by $(\mathsf{ab})^s$. See also categories of the higher hyperoctahedral series. The corepresentation categories of $(H_N^{[\infty]})_{N\in\N}$ are induced by $\Paabaab$.

Representation theory

Cohomology

References


[BanCuSp10] Banica, Teodor and Curran, Stephen and Speicher, Roland, 2010. Classification results for easy quantum groups. Pacific Journal of Mathematics, 247, pp.1-26.
[RaWe15] Raum, Sven and Weber, Moritz, 2015. Easy quantum groups and quantum subgroups of a semi-direct product quantum group. Journal of Noncommutative Geometry, 9, pp.1261–1293.
[RaWe14] Raum, Sven and Weber, Moritz, 2014. The combinatorics of an algebraic class of easy quantum groups. Infinite Dimensional Analysis, Quantum Probability and related topics, 17.
higher_hyperoctahedral_series.1581056902.txt.gz · Last modified: 2021/11/23 11:56 (external edit)