Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userFree quantum analogue of Coxeter group $D_4$
79
0
0.0
(
0
)
Authors
Daniel Gromada
Ask ChatGPT about the research
No Arabic abstract
We define the quantum group $D_4^+$ -- a free quantum version of the demihyperoctahedral group $D_4$ (the smallest representative of the Coxeter series $D$). In order to do so, we construct a free analogue of the property that a $4times4$ matrix has determinant one. Such analogues of determinants are usually very hard to define for free quantum groups in general and our result only holds for the matrix size $N=4$. The free $D_4^+$ is then defined by imposing this generalized determinant condition on the free hyperoctahedral group $H_4^+$. Moreover, we give a detailed combinatorial description of the representation category of $D_4^+$.
rate research
Read More
We explain the notion of $q$-deformed real numbers introduced in our previous work and overview their main properties. We will also introduce $q$-deformed Conway-Coxeter friezes.
This paper studies classical weight modules over the $imath$quantum group $mathbf{U}^{imath}$ of type AI. We introduce the notion of based $mathbf{U}^{imath}$-modules by generalizing the notion of based modules over the quantum groups. We prove that each finite-dimensional irreducible classical weight $mathbf{U}^{imath}$-module with integer highest weight is a based $mathbf{U}^{imath}$-module. As a byproduct, a new combinatorial formula for the branching rule from $mathfrak{sl}_n$ to $mathfrak{so}_n$ is obtained.
We investigate a certain linear combination $K(vec{x})=K(a;b,c,d;e,f,g)$ of two Saalschutzian hypergeometric series of type ${_4}F_3(1)$. We first show that $K(a;b,c,d;e,f,g)$ is invariant under the action of a certain matrix group $G_K$, isomorphic to the symmetric group $S_6$, acting on the affine hyperplane $V={(a,b,c,d,e,f,g)inBbb C^7colon e+f+g-a-b-c-d=1}$. We further develop an algebra of three-term relations for $K(a;b,c,d;e,f,g)$. We show that, for any three elements $mu_1,mu_2,mu_3$ of a certain matrix group $M_K$, isomorphic to the Coxeter group $W(D_6)$ (of order 23040), and containing the above group $G_K$, there is a relation among $K(mu_1vec{x})$, $K(mu_2vec{x})$, and $K(mu_3vec{x})$, provided no two of the $mu_j$s are in the same right coset of $G_K$ in $M_K$. The coefficients in these three-term relations are seen to be rational combinations of gamma and sine functions in $a,b,c,d,e,f,g$. The set of $({|M_K|/|G_K|atop 3})=({32atop 3})=4960$ resulting three-term relations may further be partitioned into five subsets, according to the Hamming type of the triple $(mu_1,mu_2,mu_3) $ in question. This Hamming type is defined in terms of Hamming distance between the $mu_j$s, which in turn is defined in terms of the expression of the $mu_j$s as words in the Coxeter group generators. Each three-term relation of a given Hamming type may be transformed into any other of the same type by a change of variable. An explicit example of each of the five types of three-term relations is provided.
The semidirect product of a finitely generated group dual with the symmetric group can be described through so-called group-theoretical categories of partitions (covers only a special case; due to Raum--Weber, 2015) and skew categories of partitions (more general; due to Maassen, 2018). We generalize these results to the case of graph categories, which allows to replace the symmetric group by the group of automorphisms of some graph.
Induced representations for quantum groups are defined starting from coisotropic quantum subgroups and their main properties are proved. When the coisotropic quantum subgroup has a suitably defined section such representations can be realized on associated quantum bundles on general embeddable quantum homogeneous spaces.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
