Abstract:We introduce a certain quantum superalgebra in the Drinfeld realization and show that the quantum affine superalgebra of type $B$ is its homomorphic image (conjecturally isomorphic). We also define a braid group action on quantum affine superalgebra for any choice of parity.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the Drinfeld realization of quantum affine superalgebras of type B and its relationship with the Drinfeld - Jimbo realization. Specifically, the authors introduce a particular Drinfeld realization of a quantum superalgebra and show that the quantum affine superalgebra of type B is its homomorphic image (conjecturally isomorphic). Moreover, they also define the braid group action on the quantum affine superalgebra for any parity choice.
### Main contributions
1. **Introducing a new Drinfeld realization**: The authors introduce a new Drinfeld realization for the quantum affine superalgebra of type B, which is the quantum analogue of the quantum loop algebra.
2. **Braid group action**: Define the braid group action on the quantum affine Lie superalgebra of type B.
3. **Beck homomorphism**: Use the braid group action to construct the Beck homomorphism from the new Drinfeld realization to the Drinfeld - Jimbo realization and prove that it is an epimorphism.
4. **Isomorphism conjecture**: The authors conjecture that the new Drinfeld realization and the Drinfeld - Jimbo realization are actually isomorphic.
### Specific content
- **Section 2**: Review the basic concepts of the orthogonal - symplectic Lie superalgebra of type B, including root systems, Dynkin diagrams, affine Weyl groupoids, etc.
- **Section 3**: Review the Drinfeld - Jimbo realization of the quantum affine superalgebra of type B and its basic q - Jacobi identities.
- **Section 4**: Define the braid group action on the orthogonal - symplectic Lie superalgebra of type B and give specific formulas.
- **Section 5**: Introduce a new Drinfeld realization and define a mapping from the new Drinfeld realization to the Drinfeld - Jimbo realization, and prove that this mapping is an epimorphism.
### Mathematical formulas
The mathematical formulas involved in the paper include but are not limited to:
- **Definition of generators**:
\[
X^\pm_i(z) := \sum_{r \in \mathbb{Z}} X^\pm_{i,r} z^{-r}, \quad K^\pm_i(z) := K^\pm_i \exp\left(\pm (q - q^{-1}) \sum_{t > 0} H_{i,\pm t} z^{\mp t}\right)
\]
- **Commutation relations of generators**:
\[
[H_{i,t}, H_{j,s}] = \delta_{t + s,0} u_{i,j,t} \frac{C^t - C^{-t}}{q - q^{-1}}
\]
\[
[H_{i,t}, X^\pm_j(z)] = \pm u_{i,j,t} C^{-(t \pm |t|)/2} z^t X^\pm_j(z)
\]
- **Serre relations between generators**:
\[
\text{Sym}_{z_1, z_2} \left[ X^\pm_i(z_1), \left[ X^\pm_i(z_2), X^\pm_j(w) \right] \right] = 0
\]
### Conclusion
By introducing a new Drinfeld realization and defining the braid group action, the authors successfully construct the Beck homomorphism from the new Drinfeld realization to the Drinfeld - Jimbo realization and prove that it is an epimorphism. This result provides an important basis for further research on the representation theory of these superalgebras.