---
abstract: 'A triangular quantum deformation of $ osp(2/1) $ from the classical $r$-matrix including an odd generator is presented with its full Hopf algebra structure. The deformation maps, twisting element and tensor operators are considered for the deformed $ osp(2/1)$. It is also shown that its subalgebra generated by the Borel subalgebra is self-dual.'
---

[**Super-Jordanian Quantum Superalgebra $ U_h(osp(2/1)) $**]{}

Introduction
============

Both Lie and quantum superalgebras play important roles in various contexts of theoretical physics. These objects are also of great interest in modern mathematics. The simplest and the most fundamental Lie superalgebra is $ osp(2/1), $ and it is in a similar position to $ sl(2) $ in the theory of Lie superalgebra. Namely, the understanding of its structure and representations is the basics to the higher rank superalgebras. This means that the quantization of $ osp(2/1) $ is also fundamental to study quantum superalgebras. The recent work shows that there exist three distinct bialgebra structures on $ osp(2/1) $ and all of them are coboundary [@JS]. We therefore have three distinct quantization for $osp(2/1)$. Two of them are wellknown [@KR; @CK] but one is still incomplete. Despite a lot of investigations of quantum superalgebras, it is a bit surprising that we do not have a complete list of quantization of $osp(2/1).$ In this paper, we wish to complete the list by giving a full Hopf superalgebra structure of the not yet completed quantization of $ osp(2/1). $ We also discuss some algebraic properties of this quantization of $ osp(2/1)$ such as twisting element, tensor operators, self-duality and so on.

The plan of this paper is as follows. The next section is a short review of bialgebra structures on $ osp(2/1) $ and its quantization. We shall make clear known and unknown results on the quantization. In §3, a quantization of $ osp(2/1) $ is presented with deformed commutation relations and a full Hopf structure. This completes the list of quantization of $ osp(2/1). $ The quantized $ osp(2/1) $ is triangular so that it has a basis satisfying undeformed commutation relations. The maps connecting the bases of deformed and undeformed commutation relations are given in §4. The twisting element for this quantization is investigated and given as power series in the deformation parameter up to order three in §5. In §6, the tensor operators for adjoint representation of the quantized $ osp(2/1) $ are given. In §7, we discuss self-duality of the Borel subalgebra of the quantized $ osp(2/1). $

Bialgebras on $osp(2/1)$ and quantization
=========================================

The Lie superalgebra $ osp(2/1) $ has three even and two odd elements. Let $ J_0,\; J_{\pm} $ be even elements and $ v_{\pm} $ be odd ones, then $ osp(2/1) $ is defined by the relations & & \[J\_0, v\_\] = v\_, { v\_+, v\_- } = - J\_0,\
& & \[J\_0, J\_ \] = J\_, = 2J\_0,\
& & J\_ = 4 v\_\^2, \[J\_, v\_ \] = 0, \[J\_, v\_ \] = v\_. \[udcom\] The even elements span the $sl(2)$ subalgebra. Note that $ osp(2/1) $ and its universal enveloping algebra are generated by $ v_{\pm} $ and $J_0.$

The bialgebra structures on $osp(2/1)$ are classified in [@JS]. The authors, by using computer, show that all the possible bialgebra structures are coboundary and there are three inequivalent classical $r$-matrices. & & r\_1 = J\_0 J\_+,\
& & r\_2 = J\_0 J\_+ - v\_+ v\_+,\
& & r\_3 = t(J\_0 J\_+ + J\_0 J\_- - v\_+ v\_+ - v\_- v\_-). \[r123\] The parameter $t$ in $r_3$ becomes irrelevant in quantization, since it can be absorbed into a deformation parameter. However, it cannot be removed by a change of the basis in $ osp(2/1).$ The $r$-matrices $ r_1, r_2 $ satisfy the classical Yang-Baxter equation, while $ r_3 $ satisfies the modified classical Yang-Baxter equation. The quantization of these bialgebras has been considered. The $q$-deformation of $ osp(2/1) $ considered in [@KR] corresponds to $r_3$ and it is a quasi-triangular Hopf superalgebra. The irreducible representations and some applications of the $q$-deformed $ osp(2/1) $ are studied in [@Sal]. The $r$-matrix $r_1$ consists of the elements in $ sl(2) $ subalgebra and $r_1$ is identical to the classical $r$-matrix of the Jordanian deformation of $ sl(2). $ Thus one can quantize $osp(2/1)$ using the inclusion $ sl(2) \subset osp(2/1). $ This is done in [@CK] where the Drinfel’d twist[@dri] for $ sl(2) $ is applied to $osp(2/1)$ and the obtained Hopf superalgebra is triangular. For these two quantum superalgebras, their full Hopf structures, universal $R$-matrices and dual quantum supergroups have been obtained.

On the other hand, the quantization of $r_2$ remains unfinished, though there are two publications [@Kul; @JS2]. Kulish tried to find a twisting element that gives rise to the universal $R$-marix whose classical counterpart is $ r_2$ [@Kul]. He observed that the quantum $R$-matrix in fundamental representation corresponding to $r_2$ can be obtained from the one for $q$-deformed $osp(2/1)$ by contraction. This $R$-matrix is triangular so that consistent with that $r_2$ solves the classical Yang-Baxter equation. With this $R$-matrix and the FRT-method [@FRT], the subalgebra generated by $ J_0 $ and $v_+$ is quantized. It is also shown that this $R$-matrix can be decomposed into Jordanian $sl(2)$ part and additional factor. This suggest that the twisting element would be a product of $sl(2)$ Jordanian twist and a factor containing $v_+$. The conjectured form of the twisting element is given in [@Kul], but it contains unknown factors. Juszczak and Sobczyk take the same $R$-matrix to construct the dual quantum supergroup [@JS2]. By the FRT-method, the quantum supergroup was explicitly constructed. Then from the duality, they obtain the quantization of the subalgebra generated by $ J_0, J_+ $ and $v_+$. In the next section, we shall give full quantization of $osp(2/1)$.

Quantum superalgebra $U_h(osp(2/1))$
====================================

We denote the generators of the quantized $ osp(2/1) $ by $(H, V_{\pm})$. Their classical limits are given by $(J_0, v_{\pm})$, respectively. We introduce two additional elements $(X, Y)$ whose classical limit are $(J_+ , J_-), $ respectively. With the same notations, the classical bialgebra structure is summarized as follows: The classical $r$-matrix reads r = H X - X H - 2 V\_[+]{} V\_[+]{}. \[cr\] The classical co-commutators, defined as (g) = \[r, (g 1 + 1 g)\], g osp(2/1), \[cocom\] are given by & & (H) = - r,\
& & (X) = 0,\
& & (Y) = X Y - Y X + 2 V\_[+]{} V\_[-]{} + 2 V\_[-]{} V\_[+]{},\
& & (V\_[+]{}) = X V\_[+]{} - V\_[+]{} X,\
& & (V\_[-]{}) = X V\_[-]{} - V\_[-]{} X. \[sdel\]

We take a quite naive approach for quantization. We have all classical data of $osp(2/1)$ bialgebra. The quantized algebra must have the following properties: (i) The classical co-commutator must be maintained in the classical limit. (ii) The quantum coproduct is a homomorphism of the algebra, and coassociative. (iii) We know from the previous works [@Kul; @JS2] that $X$ must be primitive. With these informations, one can write down the algebraic relations and the quantum coproducts. A similar approach for quantization is discussed in [@LM] where quantum coproducts obtained first then commutation relations are derived. In the present case, the commutation relations read & & \[H, V\_[+]{}\] = V\_[+]{} (hX), \[H, V\_[-]{}\] = - V\_[-]{} (hX) - (hX) V\_[-]{},\
& & { V\_[+]{}, V\_[-]{} } = - H, \[H, X\] = (hX),\
& & \[H, Y\] = - Y (hX) - (hX) Y + h V\_[-]{} (hX) V\_[+]{} - h V\_[+]{} (hX) V\_[-]{},\
& & \[X, Y\] = 2 H, V\_[+]{}\^[2]{} = (hX), V\_[-]{}\^[2]{} = - Y,\
& & \[X, V\_[+]{}\] = \[Y, V\_[-]{}\] = 0, \[X, V\_[-]{}\] = V\_[+]{},\
& & \[Y, V\_[+]{}\] = V\_[-]{} (hX) + (hX) V\_[-]{}, \[alg\] where $h$ is the deformation parameter and $ h \rightarrow 0 $ gives the classical limit. The quantum coproducts $\Delta$ read & & (H) = H T\^[-1]{} + T H + 2h V\_[+]{} T\^[1/2]{} V\_[+]{} T\^[-1/2]{},\
& & (X) = X 1 + 1 X,\
& & (Y) = Y T\^[-1]{} + T Y + 2h V\_[+]{} T\^[1/2]{} T\^[-1/2]{} V\_[-]{} + 2h T\^[1/2]{} V\_[-]{} V\_[+]{} T\^[-1/2]{},\
& & (V\_) = V\_ T\^[-1/2]{} + T\^[1/2]{} V\_, \[copro\] where $ T = \exp(hX).$ We see that there is only one primitive element. It is straightforward to verify that the commutation relations and the coproduct are consistent with the axioms. The counit $\epsilon$ and the antipode $S$ follow form the coproduct and they are given by (H) = (V\_) = (X) = (Y) = 0, \[counit\] and

[lclcl]{} S(H) = -H - 2hV\_+\^2, &   & S(V\_+) = -V\_+, &  & S(V\_-) = -V\_- + V\_+\
S(X) = -X, & & S(Y) = -Y + hH + h\^2 V\_+\^2. & &

\[antipode\] The relations (\[copro\])-(\[antipode\]) define a quantum superalgebra. We denote this algebra by $ \Uh. $ By construction, the algebra $\Uh$ is a triangular Hopf superalgebra and a one parameter deformation of the algebra $ U(ops(2/1))$ so that the algebra $\Uh $ has three generators, $ H $ and $ V_{\pm}. $

Deformation maps
================

It is known that a triangular Hopf algebra can be obtained from a Lie algebra by Drinfel’d twist [@dri]. The algebra obtained by Drinfel’d twist has deformed coproduct and deformed antipode, while the commutation relations and the counit remain undeformed. This can be extended to superalgebras. The quantum superalgebra $ \Uh $ defined above is a triangular Hopf superalgebra and has deformed commutation relations. This means that there exist maps that connect generators satisfying deformed commutation relations and undeformed ones. In this section, we seek such deformation maps. We first give a general class of such maps, then give two explicit examples.

An ansatz for a general class of maps may be assumed as $$\begin{aligned}
&&V_{+} = f_{1} (J_{+})\, v_{+}\qquad H = f_{2} (J_{+})\, J_{0},
\nonumber\\
&&V_{-} = f_{3} (J_{+})\, v_{-} + u(J_{+})\, v_{+} + w (J_{+})\,
v_{+} J_{0},
\label{eq:genmap}\end{aligned}$$ where we introduce $(f_{1}, f_{2}, f_{3}; u, w)$ as functions of $J_{+}$ only. The elements of $ \Uh $ with undeformed commutation relations are denoted by the same notations as the classical $ osp(2/1)$. An additive function $f(J_{+})$ in the expression of $H$ may be absorbed by a similarity transformation. To ensure correct classical limits, the above introduced functions are required to satisfy the limiting properties: $$(f_{1}, f_{2}, f_{3}; u, w)\,\rightarrow (1, 1, 1; 0, 0)
\label{eq:flimit}$$ as $h \rightarrow 0$. The operators $T^{\pm 1} \equiv \exp(\pm hX)$ may now be expressed as $$\begin{aligned}
T &=& h J_{+}\,(f_{1}(J_{+}))^{2} + \sqrt{1 + h^2 J_{+}^{2}\,
(f_{1}(J_{+}))^{4}},\nonumber\\
T^{-1} &=& - h J_{+}\,(f_{1}(J_{+}))^{2} + \sqrt{1 + h^2 J_{+}^{2}\,
(f_{1}(J_{+}))^{4}}.
\label{eq:TTinv}\end{aligned}$$ Substituting the ansatz (\[eq:genmap\]) in the defining algebraic relations systematically, we, for a [*given*]{} function $f_{1}$, obtain a set of [*six*]{} nonlinear equations for [*four*]{} unknown functions $(f_{2}, f_{3}; u, w)$: $$\begin{aligned}
&&f_{2}(J_{+}) \left(2 J_{+}\,f_{1}^{\prime}(J_{+}) +
f_{1}(J_{+})\right) - \sqrt{ 1 + h^{2}J_{+}^{2} (f_{1}(J_{+}))^{4}}\,
f_{1}(J_{+}) = 0,\nonumber\\
&&2 J_{+}\,f_{2}(J_{+})\,f_{3}^{\prime} (J_{+}) - f_{2}(J_{+})\,
f_{3}(J_{+}) + \sqrt{1 + h^{2} J_{+}^{2} (f_{1}(J_{+}))^{4}}\,
f_{3}(J_{+}) = 0,\nonumber\\
&&2 J_{+}\,f_{2}(J_{+})\,u^{\prime}(J_{+}) + f_{2}(J_{+})\,u(J_{+})
+ \sqrt{1 + h^{2} J_{+}^{2} (f_{1}(J_{+}))^{4}}\,u(J_{+})\nonumber\\
&&\phantom{qqqqqqqqqqqqqqqqqqq}-
\frac{h^{2}}{2}J_{+}\,(f_{1}(J_{+}))^{3} = 0,\nonumber\\
&&J_{+}\,f_{1}(J_{+})\,w(J_{+}) - f_{1}(J_{+})\,f_{3}(J_{+})
+ f_{2}(J_{+}) = 0,\nonumber\\
&&2 J_{+}\,f_{1}(J_{+})\,u(J_{+}) + J_{+}^{2}\,
f_{1}^{\prime}(J_{+})\,w(J_{+}) - J_{+}\,f_{1}^{\prime}(J_{+})\,
f_{3}(J_{+})\nonumber\\
&&\phantom{qqqqqqqqqqqqqqqqqqq}+ \frac{1}{2} J_{+}\,
f_{1}(J_{+})\,w(J_{+}) =0,\nonumber\\
&&f_{3}(J_{+})\,f_{2}^{\prime}(J_{+}) + J_{+}\,f_{2}(J_{+})\,
w^{\prime}(J_{+}) - J_{+}\,w(J_{+})\,f_{2}^{\prime}(J_{+})
+ \frac{1}{2} f_{2}(J_{+})\,w(J_{+}) \nonumber\\
&&\phantom{qqqqqqqqqqqqqqqqqqq}+ \frac{1}{2}\,\sqrt{1 + h^{2}
J_{+}^{2}\,(f_{1}(J_{+}))^{4}}\,w(J_{+}) = 0.
\label{eq:fdiff}\end{aligned}$$ We made an identification $ {\displaystyle [J_0, f(J_+)] = J_+ \frac{d}{dJ_+}f(J_+)} $ on a function $f(J_+)$. These equations may then be solved consistently and the classical limit (\[eq:flimit\]) may be implemented through proper choice of integration constants. This leads to the following solution: $$\begin{aligned}
&&f_{2} (J_{+}) = \frac{\sqrt{1 + h^{2} J_{+}^{2}\,
(f_{1}(J_{+}))^{4}}}
{f_{1}(J_{+}) + 2 J_{+}\,f_{1}^{\prime}(J_{+})}\,f_{1}(J_{+}),
\qquad f_{3}(J_{+}) = \frac{1}{f_{1}(J_{+})},\nonumber\\
&&u(J_{+}) = -\frac{1}{4}\,w(J_{+}) + \frac{1}{2}\,
\frac{f_{1}^{\prime}(J_{+})}{(f_{1}(J_{+}))^{2}}\,f_{2}(J_{+}),
\qquad w(J_{+}) = \frac{1 - f_{2}(J_{+})}{J_{+}\,f_{1}(J_{+})}.
\label{eq:fsolve}\end{aligned}$$ We see that for a given function $ f_1$ other functions are uniquely determined. This shows that deformation maps are not unique.

Even for the invertible maps it is useful to consider the general solution starting from the other end. So we consider the following class of inverse maps given by $$\begin{aligned}
&&v_{+} = g_{1} (T)\, V_{+},\qquad J_{0} = g_{2} (T)\, H,\nonumber\\
&&v_{-} = g_{3} (T)\, V_{-} + a (T)\, V_{+} + b (T)\, V_{+} H,
\label{eq:ingenmap}\end{aligned}$$ where $(g_{1}, g_{2}, g_{3}; a, b)$ are functions of $T$ only. In the classical limit $h \rightarrow 0$, these functions obey the following limiting properties $$(g_{1}, g_{2}, g_{3}; a, b)\,\rightarrow (1, 1, 1; 0, 0).
\label{eq:glimit}$$ Substituting the above ansatz (\[eq:ingenmap\]) in the defining algebra, we, as before, obtain a set of six coupled nonlinear equations: $$\begin{aligned}
&&(T^{2} - 1)\,g_{1}^{\prime}(T)\,g_{2}(T) + \frac{1}{2}\,
(T + T^{-1})\,g_{1}(T)\,g_{2}(T) - g_{1}(T) =0,\nonumber\\
&&(T^{2} - 1)\,g_{2}(T)\,g_{3}^{\prime}(T) - \frac{1}{2}\,
(T + T^{-1})\,g_{2}(T)\,g_{3}(T) + g_{3}(T) =0,\nonumber\\
&&(T^{2} - 1)\,g_{2}(T)\,a^{\prime}(T) + \left(1 + \frac{1}{2}\,
(T + T^{-1})\,g_{2}(T)\right)\, a(T) + \frac{h}{4}
(T - T^{-1})\,g_{2}(T)\,g_{3}(T) =0,\nonumber\\
&&(T^{2} - 1)\,g_{2}(T)\,b^{\prime}(T) + \left(1 + \frac{1}{2}\,
(T + T^{-1})\,g_{2} (T)\,- (T^{2} - 1)\, g_{2}^{\prime}(T) \right)\,
b(T) + 2 hT\,g_{2}^{\prime}(T)\,g_{3}(T) = 0,\nonumber\\
&&(T - T^{-1})\,g_{1}(T)\,b(T) + 2 h ( g_{2}(T) - 1 ) = 0,
\nonumber\\
&&\left((T + T^{-1})\,g_{1}(T) + 2 (T^{2} - 1)\,g_{1}^{\prime}(T)
\right)\,b(T) + 8 g_{1}(T)\,a(T) - 4 hT\,g_{1}^{\prime}(T)\,
g_{3}(T) = 0,
\label{eq:gset}\end{aligned}$$ where we have used the identity $ {\displaystyle [H, g(T)] = \frac{1}{2}(T^2-1) \frac{d}{dT}g(T)}$. Treating the function $g_{1}(T)$ as known and taking the boundary conditions (\[eq:glimit\]) into account the remaining functions may be solved unambiguously as follows: $$\begin{aligned}
&&g_{2}(T) = 2\,\frac{g_{1}(T)}{(T+T^{-1})\,g_{1}(T) + 2 (T^{2} - 1)
\,g_{1}^{\prime}(T)}\qquad g_{3}(T) = \frac{1}{g_{1}(T)}\nonumber\\
&&a(T) = - \frac{h}{4}\,\tanh\left(\frac{h X}{2}\right)\,
(g_{1}(T))^{-1},\qquad b(T) = \frac{2 h}{T - T^{-1}}\,
\frac{1 - g_{2}(T)}{g_{1}(T)}.
\label{eq:gsolve}\end{aligned}$$

We now give two examples of the maps obtained above. The first choice of $f_1(J_+)$ and $ g_1(T) $ is f\_[1]{}(J\_[+]{}) = , g\_[1]{}(T) = T\^[-1/2]{}, \[1stc\] and the second choice is f\_[1]{}(J\_[+]{}) = , g\_[1]{}(T) = (). \[2ndc\] The first choice gives the map & & V\_+ = e\^[/4]{} v\_+, H = e\^[-/2]{} J\_0,\
& & V\_- = e\^[-/4]{} v\_- + e\^[/4]{} () v\_+ + v\_+ J\_0,\
& & X = , Y = -4V\_-\^2, = - (1-2hJ\_+), \[defmap1\] and its inverse & & v\_+ = e\^[-hX/2]{} V\_+, J\_0 = e\^[hX]{}[H]{},\
& & v\_- = e\^[hX/2]{} V\_- - e\^[hX/2]{} () V\_+ - V\_+ H, \[inmap\]\
& & J\_ = 4 v\_\^2. We call the map (\[defmap1\]) first deformation map. The induced quantum coproducts for $ J_0, J_{\pm} $ and $ v_{\pm} $ are obtained from (\[inmap\]) and (\[copro\]). & & (J\_0) = J\_0 1 + e\^ J\_0 + 2h v\_+ e\^ v\_+ e\^[/2]{},\
& & (J\_+) = J\_+ e\^[-]{} + 1 J\_+,\
& & (v\_+) = v\_+ e\^[-/2]{} + 1 v\_+,\
& & () = 1 + 1 . \[copro2\] $ \Delta(v_-), \Delta(J_-) $ are quite messy, so we do not give them here. Now $ \sigma $ is the only primitive element. One can see that, with a slight change of conventions, the coproducts (\[copro2\]) are identical to the ones in [@Kul] and [@JS2]. Thus the first deformation map connects the basis of $\Uh$ in [@Kul; @JS2] to ours. The map is also a natural extension of the similar map [@NA1] for Jordanian $ sl(2) $ to $ \Uh. $

The second choice (\[2ndc\]) gives the map & & V\_+ = v\_+, H = J\_0, V\_- = v\_- + v\_+,\
& & X = (J\_+) = ( )\_, Y = -4V\_-\^2, \[anodefm\] and its inverse & & v\_+ = () V\_+, J\_0 = H, v\_- = () V\_- - ( ) V\_+,\
& & J\_+ = , J\_- = -4v\_-\^2. \[inanodefm\] We call the map (\[anodefm\]) second deformation map. The map is a natural extension of the similar map [@ACC] for Jordanian $ sl(2) $ to $ \Uh. $

The irreducible representations of $ \Uh $ are identical to the ones of the classical $ osp(2/1),$ since $ \Uh $ has undeformed commutation relations. The representation matrices for $ H, X, Y $ and $V_{\pm}$ are obtained by the deformation maps. Because deformation maps are not unique, we have many different matrices for a element of $ \Uh. $ As examples, the fundamental and the adjoint representation matrices by the first and the second deformation maps are given in Appendix.

Twisting elements for the maps
==============================

Twisting elements are the most fundamental objects for triangular quantum (super) algebras, since all such deformations are caused by appropriate twists. In other words, the twisting element contains all information about the deformation. The universal $R$-matrix is immediately constructed from the twisting element. In this section, the twisting element for $ \Uh $ is investigated and it is given as a power series in the deformation parameter $h$. The series up to $O(h^3)$ is explicitly given. The higher order terms can, in principle, be obtained in a similar way. In many literatures, twisting elements are given in terms of the classical generators. Here the twisting element for $\Uh$ is presented in terms of deformed generators ($H, X, Y, V_{\pm}$), since, as seen in the previous section, the coproducts for deformed generators are far simpler in form than the undeformed ones. Thus the twisting element has deformation map dependence in its expression. We shall give the twisting element for the first and second deformation maps, respectively. The relation of deformation maps to twisting elements is studied in [@ACCS; @CQ] for Jordanian deformation of $ sl(2) $ and $ gl(2).$

The general structure of the twisting element corresponding to the given maps may be described as follows. Let $m$ be a deformation map and $m^{-1}$ be its inverse $$m:(V_{\pm}, H) \rightarrow (v_{\pm}, J_{0}),\qquad
  m^{-1}:(v_{\pm}, J_{0}) \rightarrow (V_{\pm}, H)
  \label{eq:mminv}$$ the classical $(\Delta_0)$ cocommutative and the quantum $(\Delta)$ non-cocommutative coproducts may be related [*via*]{} the twisting element $ {\cal G}$ as $$\G\,\Delta \circ m^{-1}(\phi)\,\G^{-1} = (m^{-1} \otimes m^{-1})
 \circ \Delta_0(\phi)\qquad \forall \phi \in U(osp(2/1),
 \label{eq:maptwist}$$ where the twisting element $\G$ satisfies the cocycle condition $$(\G \otimes 1)\,((\Delta \otimes \hbox{id})\G)
  = (1 \otimes \G)\,((\hbox{id} \otimes \Delta)\G).
  \label{eq:cocycle}$$ In the present case we, corresponding to the maps discussed in the previous section, obtain a series expansion of the twisting element in powers of the deformation parameter $h$: $$\G = 1 \otimes 1 + h \G_{1} + h^{2} \G_{2} + h^{3} \G_{3} +\cdots.
\label{eq:series}$$ For the first map these expansion coefficients of the twisting element reads $$\begin{aligned}
  && \G_{1} = 2 X \otimes H + 2 V_{+} \otimes V_{+},\nonumber\\
  && \G_{2} = \frac{\G_{1}^{2}}{2!} + 2 X \otimes XH + XV_{+}
  \otimes V_{+},\nonumber\\
  && \G_{3} = \frac{\G_{1}^{3}}{3!} +
  \frac{1}{2} \G_{1} (2X \otimes XH + XV_{+} \otimes V_{+}) +
  \frac{1}{2} (2X \otimes XH + XV_{+} \otimes V_{+}) \G_{1}\nonumber\\
  &&\phantom{G_{3} =} + X \otimes X^{2}H - \frac{1}{4} V_{+} \otimes
  X^{2}V_{+} - \frac{1}{12} X^{2}V_{+} \otimes V_{+}
  + \frac{5}{6} XV_{+} \otimes XV_{+}
  \label{eq:twist1}\end{aligned}$$ and for the second map they are given by $$\begin{aligned}
  && \G_{1} = X \otimes H - H \otimes X + 2 V_{+} \otimes V_{+},
  \nonumber\\
  && \G_{2} = \frac{\G_{1}^{2}}{2!} + \frac{1}{4} (H \otimes X^{2} +
  X^{2} \otimes H + 2 XV_{+} \otimes V_{+} - 2 V_{+} \otimes XV_{+}),
  \nonumber\\
  && \G_{3} = \frac{\G_{1}^{3}}{3!} +
  \frac{1}{8} \G_{1} (H \otimes X^{2} + X^{2} \otimes H
  + 2 XV_{+} \otimes V_{+} - 2 V_{+} \otimes XV_{+})\nonumber\\
  &&\phantom{\G_{3} =} + \frac{1}{8} (H \otimes X^{2} + X^{2} \otimes H
  + 2 XV_{+} \otimes V_{+} - 2 V_{+} \otimes XV_{+}) \G_{1}\nonumber\\
  &&\phantom{G_{3} =} - \frac{1}{24} (2 XH \otimes X^{2}
  - 2 X^{2} \otimes XH + X^{2}H \otimes X - X \otimes X^{2}H
  - 6 XV_{+} \otimes XV_{+})\nonumber\\
  &&\phantom{\G_{3} =} - \frac{1}{12} (V_{+} \otimes X^{2}V_{+}
  + X^{2}V_{+} \otimes V_{+} + 2 XV_{+} \otimes XV_{+}).
  \label{eq:twist2}\end{aligned}$$

It may be checked that the twist operators corresponding to the two maps described above satisfy the cocycle condition (\[eq:cocycle\]) upto the desired order in $h$. Moreover, following [@ACCS], we may interrelate the above two twist operators pertaining to two different maps.

Let us, for the purpose of avoiding confusion, denote two mapping functions, given in (\[1stc\]) and (\[2ndc\]), by $g_{1}$ and ${\hat g}_{1}$; and the corresponding twist operators, given in (\[eq:twist1\]) and (\[eq:twist2\]), by $\G$ and $\hat{\G}$, respectively. Following [@ACCS] these mapping functions may be related by a similarity relation: $$U^{-1} g_{1}(T) U = \hat{g}_{1}(T)\quad\Rightarrow\quad
U^{-1} T U = f_{1}(\hat{g}_{1}(T)).
\label{eq:simrel}$$ As discussed in [@ACCS], for the purpose of demonostrating the equivalence of two maps, it is [*sufficient*]{} to ensure the relation (\[eq:simrel\]). The transforming operator $U$ may be expressed in a series by direct computation: U = ( ( - h X - (h X)\^[2]{} + (h X)\^[3]{} ) H ). \[eq:Uval\] Now the two relevant twist operators, described above, may be related [*[\` a]{} la*]{} [@ACCS] as = ( U\^[-1]{} U\^[-1]{}) ( ( U ) ). \[eq:GGrel\]

Tensor operators
================

We obtained the twisting element $ {\cal G}$ up to $O(h^3)$ in the previous section. The higher order computation seems to be difficult. As mentioned in the previous section, it is important to obtain a closed form of the twisting element. Let us now recall that tensor operators for twisted algebras are obtained from the undeformed ones by using the twisting element [@Fio]. Let ${\bf t}, \ {\bf t}_0$ be tensor operators for deformed and undeformed algebras, respectively. Then = (id S)([F]{} ([**t**]{}\_0 1)[F]{}\^[-1]{}), \[tt0\] where ${\cal F} = {\cal G}^{-1} $ is the twisting element and $ \mu $ is the product of algebra, $ \mu(a\otimes b) = ab. $ Thus obtaining the explicit form of tensor operators could be the first step to obtain a closed form of twisting elements. Note also that tensor operators for various Lie algebras appear in many context of physics. The consideration of tensor operators has physical importance.

We start with the definition of tensor operators. Let $a, b$ be elements of $\Uh$ and $ {\bf t},
{\bf s}$ be a operator acting on a given space. We assume that $ (a \otimes b) ({\bf t} \otimes {\bf s}) = (-)^{p(b)p({\bf t})} a{\bf t} \otimes b {\bf s}, $ where $p(b)$ and $ p({\bf t}) $ take $ \pm 1 $ depending on even or odd. The adjoint action of $ a$ on ${\bf t}$ is defined by a ([**t**]{}) = (id S) (a) ([**t**]{} 1). \[DEFad\] It follows from this definition that ab([**t**]{}) = [ad]{} a b([**t**]{}). \[adab\] Thus ${\rm ad}$ gives a representation of the algebra \[a, b\]([**t**]{}) = \[[ad]{}a, [ad]{} b\]([**t**]{}), {a, b }([**t**]{}) = {[ad]{}a, [ad]{} b}([**t**]{}). \[adrep\] Let ${\cal I}$ be a set of indices, $ \{\; {\bf t}_i,\ i \in {\cal I} \; \}$ be a set of operators and $ D(a) $ be a representation matrix of $a$. If the operators $ {\bf t}_i $ form a representation basis of the algebra, namely a([**t**]{}\_i) = \_[j ]{} D(a)\_[ji]{} [**t**]{}\_j, \[deften\] we call $ {\bf t}_i $ tensor operators for the representation $D$.

The explicit expressions of $ \Uh $ adjoint action for an even operator ${\bf t}$ are given by & & [ad ]{} X([**t**]{}) = \[X, [**t**]{}\],\
& & [ad ]{} V\_+([**t**]{}) = \[V\_+ T\^[-1/2]{}, T\^[1/2]{}[**t**]{}\]T\^[1/2]{},\
& & [ad ]{} H([**t**]{}) = \[HT\^[-1]{}, T[**t**]{}\]T - 2h(T[**t**]{}V\_+\^2 + V\_+T\^[1/2]{} [**t**]{} V\_+T\^[1/2]{}), \[adeven\]\
& & [ad ]{} V\_-([**t**]{}) = \[V\_- T\^[-1/2]{}, T\^[1/2]{}[**t**]{}\]T\^[1/2]{} + T\^[1/2]{} [**t**]{} V\_+,\
& & [ad ]{} Y([**t**]{}) = \[YT\^[-1]{}, T[**t**]{}\]T + {HT\^[-1]{}, T[**t**]{}}T -2hT\^[1/2]{}(V\_+[**t**]{}V\_- + V\_-[**t**]{}V\_+)T\^[1/2]{}\
& &  - H([**t**]{}),and for a odd operator ${\bf t}$ & & [ad ]{} X([**t**]{}) = \[X, [**t**]{}\],\
& & [ad ]{} V\_+([**t**]{}) = {V\_+ T\^[-1/2]{}, T\^[1/2]{}[**t**]{}} T\^[1/2]{},\
& & [ad ]{} H([**t**]{}) = \[HT\^[-1]{}, T[**t**]{}\]T - 2h(T[**t**]{}V\_+\^2 - V\_+T\^[1/2]{} [**t**]{} V\_+T\^[1/2]{}), \[adodd\]\
& & [ad ]{} V\_-([**t**]{}) = {V\_- T\^[-1/2]{}, T\^[1/2]{}[**t**]{}} T\^[1/2]{} - T\^[1/2]{} [**t**]{} V\_+,\
& & [ad ]{} Y([**t**]{}) = \[YT\^[-1]{}, T[**t**]{}\]T + {HT\^[-1]{}, T[**t**]{}}T + 2hT\^[1/2]{}(V\_+[**t**]{}V\_- + V\_-[**t**]{}V\_+)T\^[1/2]{}\
& &  - H([**t**]{}).Let us consider the tensor operators for the adjoint representation, since for the representation tensor operators are given in terms of the elements of algebra itself. For comparison, we start with tensor operators for the classical $ osp(2/1). $ With the index set $ {\cal I} = \{1, 1/2, 0, -1/2, -1 \}, $ it is obvious that the tensor operators for the adjoint representation (\[adjrep\]) of $ osp(2/1) $ are given by \_1 = J\_+, \_[1/2]{} = v\_+, \_0 = J\_0, \_[-1/2]{} = v\_-, \_[-1]{} = J\_-. \[tenundef\] Since the first and second deformation maps give the different form of matrices for $ H, X, Y $ and $ V_{\pm},$ we have two different expressions of tensor operators for $ \Uh. $ Of course, these two expressions are related each other. The adjoint representation matrices by the first deformation map are found in (\[1stdefmat\]). The explicit forms of the tensor operators become & & \_1 = T\^[-1]{} (hX),\
& & \_[1/2]{} = V\_+ T\^[-3/2]{},\
& & \_0 = HT\^[-1]{} + T\^[-1]{}(hX),\
& & \_[-1/2]{} = V\_- T\^[1/2]{} + 2hHV\_+ T\^[-1/2]{} + V\_+ T\^[-1/2]{} (hX),\
& & \_[-1]{} = YT + 2hH\^2 -2hV\_- V\_+ T + hH((hX) + T\^[-1]{})\
& &    + (5T\^[-1]{} - 3(hX)) (hX). \[tenfor1\] The tensor operators for the adjointe representation (\[2nddefmat\]) by the second deformation map are given by & & = \_1 = T\^[-1]{} (hX),\
& & = \_[1/2]{} = V\_+ T\^[-3/2]{},\
& & = \_0 = HT\^[-1]{} + T\^[-1]{}(hX),\
& & = \_[-1/2]{} - \_[1/2]{} = V\_- T\^[1/2]{} + 2hHV\_+ T\^[-1/2]{} + V\_+T\^[-1/2]{}((hX) - T\^[-1]{}),\
& & = \_[-1]{} - 2h\_0 + \_1\
& &   = YT + 2hH\^2 -2hV\_- V\_+ T + hH(hX) - (hX) (hX). \[tenfor2\] The relation to (\[tenfor1\]) is also given in (\[tenfor2\]). It can be seen that the first three tensor operators, that reduced to the Borel subalgebra of $ osp(2/1) $ in the classical limit, are identical in both expressions.

Self-duality of Borel subalgebra
================================

It is known that the Jordanian quantization of $ sl(2)$ Borel subalgebra generated by $ J_0, J_+ $ is self-dual [@Vla1]. We show the similar is true for $ \Uh. $ Let $ {\cal B} $ be a quantization of the Borel subalgebra of $ osp(2/1)$ generated by $ H, X $ and $ V_+$ and $\{\; E_{k\ell m} = H^k X^{\ell} V_+^m,\ k, \ell \in {\mathbb Z}_{\geq 0},\ m = 0, 1 \; \} $ be its basis. Let $\{\; e^{k\ell m} = H^k X^{\ell} V_+^m,\ k, \ell \in {\mathbb Z}_{\geq 0},\ m = 0, 1 \; \} $ be the basis of the algebra $ {\cal B}^* $ dual to $ {\cal B} $ such that $ <E_{k\ell m}, e^{pqr}> = \delta_{k,p} \delta_{\ell,q} \delta_{m,r}. $ Then by definition of the duality & & E\_[km]{} E\_[k’’ m’]{} = f\_[km, k’’ m’]{}\^[pqr]{} E\_[pqr]{}, (E\_[km]{}) = g\^[pqr, p’q’r’]{}\_[km]{} E\_[pqr]{} E\_[p’q’r’]{},\
& & e\^[pqr]{} e\^[p’q’r’]{} = g\^[pqr, p’q’r’]{}\_[km]{} e\^[km]{}, (e\^[pqr]{}) = f\_[km, k’’ m’]{}\^[pqr]{} e\^[km]{} e\^[k’’ m’]{}, \[dualdef\] where the sum over the repeated indices is understood. We follow [@FG] in order to determine the commutation relations and the coproducts for $ x = e^{100}, y = e^{010} $ and $ z = e^{001}. $ It is not difficult to see that & & f\_[k-100, 100]{}\^[km]{} = k\_[,0]{}\_[m,0]{},   k = 1, 2,\
& & f\_[k00 001]{}\^[ km]{} = \_[,0]{}\_[m,1]{}, k = 0, 1, 2,\
& & f\_[001 001]{}\^[ km]{} = (-1)\^[k+1]{}2h \_[,0]{}\_[m,0]{}, k = 1, 2, It follows that e\^[k00]{} = , e\^[k01]{} = , z\^2 = 2h (1-e\^[-x]{}). \[z2\] We also see that & & f\_[100, 010]{}\^[  110]{} = f\_[010, 100]{}\^[  110]{} = 1, f\_[100, 010]{}\^[  k00]{} = -f\_[010, 100]{}\^[  k00]{} = (-1)\^k h, k = 1, 2, (-1)\^k,\
& & f\_[100, 010]{}\^[  km]{} = f\_[010, 100]{}\^[  km]{} = 0,\
& & f\_[100, 001]{}\^[  101]{} = f\_[001, 100]{}\^[ 101]{} = 1, f\_[100, 001]{}\^[  km]{} = f\_[100, 001]{}\^[  km]{} = 0, and & & f\_[010, 001]{}\^[  011]{} = f\_[001, 010]{}\^[  011]{} = 1, f\_[010, 001]{}\^[  k01]{} = - f\_[001, 010]{}\^[  k01]{} = (-1)\^k, k = 0, 1, 2,\
& & f\_[010, 001]{}\^[  km]{} = f\_[001, 010]{}\^[  km]{} = 0, It follows the commutation relations \[x, y\] = 2h(e\^[-x]{}-1), = 0, = hxe\^[-x]{}. \[comBs\]

The coproducts for $ x, y $ and $ z$ are obtained from the observation & & g\^[100 000]{}\_[ 100]{} = g\^[000 100]{}\_[ 100]{} = 1, g\^[pqr p’q’r’]{}\_[ 100]{} = 0,\
& & g\^[000 010]{}\_[ 010]{} = 1, g\^[010 k00]{}\_[ 010]{} = (-1)\^k, k = 0, 1, 2,\
& & g\^[001 k01]{}\_[ 010]{} = (-)\^k, k = 0, 1, 2,\
& & g\^[pqr p’q’r’]{}\_[ 010]{} = 0,\
& & g\^[000 001]{}\_[001]{} = 1, g\^[001 k00]{}\_[001]{} = (-)\^k, k= 0, 1, 2,\
& & g\^[pqr p’q’r’]{}\_[ 001]{} = 0, The coproducts read (x) = x 1 + 1 x, (y) = y e\^[-x]{} + 1 y + z z e\^[-x/2]{}, (z) = z e\^[-x/2]{} + 1 z. \[coproBs\] We have a unique primitive element. Note that $ x, y$ are even and $ z $ are odd. The counit and antipode are calculated from the coproducts & & (x) = (y) = (z) = 0,\
& & S(x) = -x, S(y) = -ye\^x + (e\^x - 1), S(z) = -z e\^[x/2]{}. \[eSBs\] Thus $ {\cal B}^* $ is a Hopf algebra defined by the relations (\[z2\]), (\[comBs\]), (\[coproBs\]) and (\[eSBs\]). It is easy to see that the algebra $ {\cal B} $ is isomorphic to $ {\cal B}^*.$ The isomorphism $\rho$ is given by (H) = y e\^[x/2]{}, (X) = x, (V\_+) = z e\^[x/4]{}. \[BtoBs\]

Concluding remarks
==================

We gave a explicit Hopf algebra structure of quantization of $ osp(2/1) $ with the classical $r$-matrix $r_2$. It is a distinct triangular deformation of $ osp(2/1) $ from the one by embedding of $ sl(2) $ into $ osp(2/1) $[@CK]. We now have all Hopf algebra structures obtained form the bialgebras on $ osp(2/1).$ However, one should not say that quantization of $ osp(2/1) $ is completed, since the universal ${\cal R}$-matrix of our $ \Uh $ and the twisting element have not been evaluated as closed form expressions. There may be some approaches to find the objects, for instance, power series expansion in §5 or tensor operators as mentioned in §6. Recall also that because of the self-duality of the quantized Borel subalgebra of $ sl(2) $ the quantum double construction from the Borel subalgebra gives rise to the universal $R$-matrix of whole Jordanian $ sl(2) $[@Vla1; @Vla2; @BH]. It is observed that the quantized Borel subalgebra ${\cal B} $ of $ osp(2/1) $ is self-dual in §7. We expect that the quantum double construction gives the universal $R$-matrix of the whole $ \Uh.$ We hope that one can write down a closed form of the twisting element and the universal $R$-matrix by an approach mentioned above. This will be a future work.

Appendix {#appendix .unnumbered}
========

In this appendix, the fundamental and the adjoint representation matrices for $osp(2/1)$ and $ \Uh $ are summarized.

\(1) fundamental representation of $ osp(2/1) $

[lll]{} J\_0 = (

[ccc]{} 1 & 0 & 0\
0 & 0 & 0\
0 & 0 & -1

)\_, & v\_+ = (

[ccc]{} 0 & 1 & 0\
0 & 0 & 1\
0 & 0 & 0

)\_, & v\_- = (

[rrr]{} 0 & 0 & 0\
-1 & 0 & 0\
0 & 1 & 0

)\_,\
J\_+ =  (

[ccc]{} 0 & 0 & 1\
0 & 0 & 0\
0 & 0 & 0

)\_, & J\_- =  (

[ccc]{} 0 & 0 & 0\
0 & 0 & 0\
1 & 0 & 0

)\_. &

\[fundrep\]

\(2) fundamental representation of $\Uh$ by first deformation map

[lll]{} H = (

[rrr]{} 1 & 0 & h\
0 & 0 & 0\
0 & 0 & -1

)\_, & V\_+ = (

[ccc]{} 0 & 1 & 0\
0 & 0 & 1\
0 & 0 & 0

)\_, & V\_- = (

[rrr]{} 0 & - & 0\
-1 & 0 & -\
0 & 1 & 0

)\_,\
J\_+ =   (

[ccc]{} 0 & 0 & 1\
0 & 0 & 0\
0 & 0 & 0

)\_, & J\_- = (

[ccc]{} - & 0 & -\
0 & 0 & 0\
1 & 0 &

)\_. &

\[fundrepdef\]

\(3) fundamental representation of $\Uh$ by second deformation map

The second deformation map does not deform the fundamental representation. The matrices for $ H, V_{\pm} $ and $ J_{\pm} $ are the same as (\[fundrep\]).

\(4) adjoint representation of $ ops(2/1) $

The representation basis is the algebra itself. The basis is taken as $ (J_+, v_+, J_0, v_-, J_-). $

[ll]{} J\_+ = (

[rrrrr]{} 0 & 0 & -1 & 0 & 0\
0 & 0 & 0 & 1 & 0\
0 & 0 & 0 & 0 & 2\
0 & 0 & 0 & 0 & 0\
0 & 0 & 0 & 0 & 0

)\_, & v\_+ = (

[rrrrr]{} 0 & & 0 & 0 & 0\
0 & 0 & - & 0 & 0\
0 & 0 & 0 & - & 0\
0 & 0 & 0 & 0 & -1\
0 & 0 & 0 & 0 & 0

)\_,\
J\_0 = diag(1, , 0, -, -1 ), \[matundef\]\
&\
v\_- = (

[rrrrr]{} 0 & 0 & 0 & 0 & 0\
-1 & 0 & 0 & 0 & 0\
0 & - & 0 & 0 & 0\
0 & 0 & & 0 & 0\
0 & 0 & 0 & - & 0

)\_, & J\_- = (

[rrrrr]{} 0 & 0 & 0 & 0 & 0\
0 & 0 & 0 & 0 & 0\
-2 & 0 & 0 & 0 & 0\
0 & 1 & 0 & 0 & 0\
0 & 0 & 1 & 0 & 0

)\_.

\[adjrep\]

\(5) adjoint representation of $\Uh$ by first deformation map

[ll]{} X = (

[rrrrr]{} 0 & 0 & -1 & 0 & -2h\
0 & 0 & 0 & 1 & 0\
0 & 0 & 0 & 0 & 2\
0 & 0 & 0 & 0 & 0\
0 & 0 & 0 & 0 & 0

)\_, & V\_+ = (

[rrrrr]{} 0 & & 0 & & 0\
0 & 0 & - & 0 & -\
0 & 0 & 0 & - & 0\
0 & 0 & 0 & 0 & -1\
0 & 0 & 0 & 0 & 0

)\_,\
H = (

[rrrrr]{} 1 & 0 & 0 & 0 & -h\^2\
0 & & 0 & & 0\
0 & 0 & 0 & 0 & 2h\
0 & 0 & 0 & - & 0\
0 & 0 & 0 & 0 & -1

)\_, & V\_- = (

[rrrrr]{} 0 & 0 & 0 & - & 0\
-1 & 0 & - & 0 & -\
0 & - & 0 & & 0\
0 & 0 & & 0 & h\
0 & 0 & 0 & - & 0

)\_,\
\

\[1stdefmat\]

\(6) adjoint representation of $\Uh$ by second deformation map

[ll]{} X = (

[rrrrr]{} 0 & 0 & -1 & 0 & 0\
0 & 0 & 0 & 1 & 0\
0 & 0 & 0 & 0 & 2\
0 & 0 & 0 & 0 & 0\
0 & 0 & 0 & 0 & 0

)\_, & V\_+ = (

[rrrrr]{} 0 & & 0 & 0 & 0\
0 & 0 & - & 0 & 0\
0 & 0 & 0 & - & 0\
0 & 0 & 0 & 0 & -1\
0 & 0 & 0 & 0 & 0

)\_,\
H = diag(1, , 0, -, -1 ), &\
V\_- = (

[rrrrr]{} 0 & 0 & 0 & - & 0\
-1 & 0 & 0 & 0 & -\
0 & - & 0 & 0 & 0\
0 & 0 & & 0 & 0\
0 & 0 & 0 & - & 0

)\_, & Y = (

[rrrrr]{} 0 & 0 & & 0 & 0\
0 & 0 & 0 & - & 0\
-2 & 0 & 0 & 0 & -\
0 & 1 & 0 & 0 & 0\
0 & 0 & 1 & 0 & 0

)\_.

\[2nddefmat\] $X, V_+$ and $ H $ remain undeformed by this map.

[99]{} C. Juszczak and J. T. Sobczyk, (1998) 4982. P. P. Kulish and N. Yu. Reshetikhin, (1989) 143. E. Celeghini and P. P. Kulish, (1998) L79. H. Saleur, *Nucl. Phys.* [**B336**]{} (1990) 363. V. G. Drinfeld, *Leningrad Math. J.* [**1**]{} (1990) 1419. P. P. Kulish, *Super-Jordanian deformation of the orthosymplectic Lie superalgebras*, math.QA/9806104. C. Juszczak and J. T. Sobczyk, *Czech. J. Phys.* [**48**]{} (1998) 1375. N. Yu. Reshetikhin, L. A. Takhtadzhyan and L. D. Faddeev, *Leningrad Math. J.* [**1**]{} (1990) 193. V. Lyakhovsky and A. Mudrov, (1992) L1139. N. Aizawa, (1999) 5921. B. Abdesselam, A. Chakrabarti and R. Chakrabarti, (1996) 2883. B. Abdesselam, A. Chakrabarti, R. Chakrabarti and J. Segar, (1999) 765. R. Chakrabarti and C. Quesne, (1999) 2511. G. Fiore, (1998) 3437,  see also [@NA1]. A. A. Vladimirov, (1993) 2573. C. Fronsdal and A. Galindo, (1993) 59. A. A. Vladimirov, *On quasitriangular Hopf algebras related to the Borel subalgebra of $ sl_2$*, hep-th/9401101. A. Ballesteros and J. Herranz, (1996) L311.
