8e5c13d35a4e98e7.tex
1: \begin{definition}[$\cO_{{\bf p},\lambda}(GL_n)$] \cite[Theorem~3]{AST}\label{D:HAST}
2: Take $\cO_{{\bf p},\lambda}(GL_n)$ to be the Hopf algebra generated by $\bU:=(u_{ij})_{1 \leq i,j \leq n}$ and grouplike elements ${\sf D}^{\pm 1}$ satisfying the relations of \cref{L:RAST}(a,b), with 
3: $\Delta(u_{ij})=\sum_{k=1}^n u_{ik}\otimes u_{kj}$ and $\varepsilon(u_{ij})=\delta_{ij}$ and with antipode given by
4: \[
5: \begin{array}{rl}
6: \bigskip
7: S(u_{jk})&=\frac{\textstyle \prod_{m=k+1}^{n}\left(-q_{km}\right)}{\textstyle \prod_{m=j+1}^{n}\left(-q_{jm}\right)} \,{\sf D}^{-1}\,\bigg(\sum_{f\in [\hat{j},\hat{k}]}\sigma(p,f)\prod_{i\in \hat{j}} u_{i,f(i)}\bigg)\\
8: 
9: &=\frac{\textstyle\prod_{m=1}^{j-1}\left(-p_{jm}\right)}{\textstyle\prod_{m=1}^{k-1}\left(-p_{km}\right)}\,\bigg(\sum_{g\in [\hat{k},\hat{j}]}\sigma(q^{-1},g)\prod_{i\in \hat{k}} u_{g(i),i}\bigg) \,{\sf D}^{-1},
10: \end{array}
11: \]
12: where $\hat{\ell}:=\{1,2,\dots,n\}\setminus\{\ell\}$, and $[\hat{\ell},\hat{\ell'}]$ denotes the set of bijections from  $\hat{\ell}$ to $\hat{\ell'}$, and \linebreak $\sigma(r,h):=\prod_{j<j',h(j)>h({j'})} (-r_{h(j),h({j'})})$ for $r =p,q$ and $h=f,g$.
13: \end{definition}
14: