Coxeter 群 $D_4$ 的自由量子类似物
Free quantum analogue of Coxeter group $D_4$
AI总结：
本文定义了自由量子群 $D_4^+$，通过为 $4\ imes4$ 矩阵构造行列式一的自由类似物，并将其施加于自由超八面体群 $H_4^+$，同时给出了其表示范畴的详细组合描述。
摘要：
我们定义了量子群 $D_4^+$——半超八面体群 $D_4$（Coxeter 系列 $D$ 的最小代表）的一个自由量子版本。为此，我们构造了 $4\ imes4$ 矩阵行列式为 1 这一性质的一个自由类似物。此类行列式类似物通常很难为一般自由量子群定义，而我们的结果仅对矩阵大小 $N=4$ 成立。然后，通过在自由超八面体群 $H_4^+$ 上施加这一广义行列式条件，定义了自由 $D_4^+$。此外，我们给出了 $D_4^+$ 的表示范畴的详细组合描述。
英文摘要：
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 $4\times4$ 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^+$.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
