arXiv subjects

Hongying Zhu

Publications and source records attributed to Hongying Zhu.

3 recordsLinked to original sources

arXiv2026

Quantum supersymmetric pairs and the Serre relations via $\mathrm i$Hopf algebras

We study iHopf algebras associated with quantum supergroups of basic type. For a quantum supersymmetric pair $(\mathbf{U}, \mathbf{U}^\imath)$, we realize $\mathbf{U}^\imath$ and $\mathbf{U}$ as the iHopf algebras of the Borel quantum group ${\hat{\mathbf{U}}}_q^{\geq0}$ and the tensor product algebra ${\hat{\mathbf{U}}}_q^{\geq0}\otimes {\hat{\mathbf{U}}}_q^{\geq0}$, respectively, while the coideal subalgebra structure is encoded by an embedding between the iHopf algebras. Moreover, we derive an explicit conversion formula between the iHopf multiplication and the original multiplication, which provides a general mechanism transforming the defining relations of quantum (super)groups into relations of iquantum (super)groups. In particular, all the Serre relations that occur in quasi-split iquantum supergroups of basic type are characterized.

math.QA↗

arXiv2025

Quantum queer superalgebra and its integral form

In this paper, we introduce quantum root vectors for the quantum queer superalgebra ${\boldsymbol U}_{\!{v}}({\mathfrak q_n})$ via a braid-group action, compute their complete commutation relations, and construct a PBW-type basis for the Lusztig integral form ${{\boldsymbol U}_{v,\mathcal{ Z}}}$. This yields an explicit presentation of ${{\boldsymbol U}_{v,\mathcal{ Z}}}$ and provides a way to understand the structure of the quantum queer superalgebra at roots of unity.

math.QA↗

arXiv2024

Braid Group Action and Quantum Queer Superalgebra

In this paper, we present explicit actions of braid group on the universal enveloping superalgebra ${\boldsymbol U}(\mathfrak{q}_n)$ and the quantum queer superalgebra ${\boldsymbol U}_{\!{v}}(\mathfrak{q}_{n})$. Then we provide a new definition of root vectors and some explicit expression for them. With these procedures, we obtain the PBW-type basis containing the product of root vectors.

math.QA↗