THE CONSTRUCTION OF BRAID HOPF ALGEBRA (Q4532450)

For an \(n\times n\) matrix \(T=(t_{ij})\), let \(T_1=T\otimes I\) with matrix entries \((T_1)_{ij,kl}=t_{ik}\delta_{jl}\) and \(T_2=I\otimes T\) with matrix entries \((T_2)_{ij,kl}=\delta_{ik}t_{jl}\) and \((T\otimes T)_{ij}:=\sum^n_{k=1}t_{ik}\otimes t_{kj}\). For an \(n^2\times n^2\) matrix \(R=(R_{ij,kl})\), by \(R^{t_1}\) and \(R^{t_2}\) we mean the matrices whose entries satisfy the relation: \(R_{ij,kl}=R^{t_1}_{kj,il}=R^{t_2}_{il,kj}\). This paper first constructs a braid Hopf algebra over \(\mathbb{C}\) as follows. Let \(R\) be an invertible \(n^2\times n^2\) matrix with entries contained in \(\mathbb{C}\) such that \(R^{t_2}\) is invertible. Define \(H_R\) to be an algebra over \(\mathbb{C}\) with generators \(T=(t_{ij})_{1\leq i,j\leq n}\) and \(T^-=(t^-_{ij})_{1\leq i,j\leq n}\) and relations \(RT_1T_2=T_2T_1R\), \(R^-T_1T^-_2=T^-_2T_1R^-\), \(T(T^-)^t=I\) and \((T^-)^tT=I\), where \(R^-=(R^{t_2})^{-1}\). Then \(H_R\) is a bialgebra with the coproduct \(\Delta\) and counit \(\varepsilon\) given by \(\Delta(T)=T\otimes T\), \(\Delta(T^-)=T^-\otimes T^-\), \(\varepsilon(T)=I\) and \(\varepsilon(T^-)=I\). Let \(D\) and \(W\) be \(n\times n\) matrices with entries given by \(D_{ij}=\sum^n_{\alpha=1}R^-_{ji,\alpha\alpha}\) and \(W_{ij}=\sum^n_{\alpha=1}R^-_{\alpha\alpha,ij}\). Suppose \(D\) and \(W\) are invertible matrices. Then in \(H_R\), \(T^-DT^tD^{-1}=I\), \(W^{-1}T^tWT^-=I\). Moreover, \(T(WD)^t=(WD)^tT\) and \((WD)T^-=T^-(WD)\). Furthermore, \(H_R\) is a Hopf algebra with the antipode \(S\) acting on the generators as follows: \(S(T)=(T^-)^t\), \(S(T^-)=DT^tD^{-1}\). Next, this paper proves the following result. Let \(R\) be an invertible \(n^2\times n^2\) matrix such that QYBE is satisfied and \((R^{t_2})^{-1}\) exists. If there exists a group-like element \(g\) in \(A_R\) such that the localization \(A_R[g^{-1}]\) is a Hopf algebra, then \(H_R^-\cong A_R[g^{-1}]\) as braid Hopf algebras and \(H_R\cong A_R[g^{-1}]\) as Hopf algebras, where \(A_R\) is the FRT-bialgebra attached to \(R\).