\section*{Introduction}

\subsubsection*{The context}
Let $ \Bbbk$ be an algebraically closed field. The super Jordan plane is the
graded algebra $\mathcal{B}$
presented by generators $x_1, x_2$ with defining relations
\begin{align}\label{eq:def-super-jordan}
&x_1^2, & &x_2 x_{21} - x_{21} x_2 - x_1 x_{21},
\end{align}
where $x_{21} = x_2 x_1 + x_1 x_2$. It is known that $\mathcal{B}$ has Gelfand-Kirillov dimension 2.
The braided vector space $(V,c)$ with basis $\{x_1, x_2\}$ and braiding
\begin{align}\label{eq:braidingsuperjordan}
c(x_i\otimes x_1) &= - x_1\otimes x_i, & c(x_i\otimes x_2) &= (- x_2 +x_1)\otimes x_i,& i &=1,2,
\end{align}
determines a structure of braided Hopf algebra on $\mathcal{B}$ in the sense of \cite{Tak}.

The Jordan plane and the super Jordan plane play a central role
in the study of pointed Hopf algebras over abelian groups with finite
Gelfand-Kirillov dimension in  \cite{aah-triang}, assuming $\operatorname{char}  \Bbbk = 0$.

\medbreak
Let $p > 2$ be a prime.
Assume  that $\operatorname{char}  \Bbbk = p$.
Motivated by \cite{clw} that deals with the restricted Jordan plane,
it is shown in \cite{aah-oddchar} that many analogues of the Nichols algebras from \cite{aah-triang} have
finite dimension (see \cite{ABDF} for examples in characteristic 2).
Among them the \emph{restricted} super Jordan plane i.e. the algebra
presented by $x_1, x_2$ with relations \eqref{eq:def-super-jordan} and
\begin{align}\label{eq:def-super-jordan-restricted}
& x_{21}^p, && x_2^{2p}.
\end{align}
We began the study of the Drinfeld doubles of (suitable bosonizations of)
the Jordan plane and its restricted analogue in \cite{ap}
showing among other results that they fit into exact
sequences relating the enveloping algebra of $\mathfrak{sl}_2( \Bbbk)$, the algebras of functions on some algebraic groups
and their restricted analogues.
In the present paper we carry out a similar analysis of the super Jordan plane and its restricted version.
We start in Section \ref{sec:recollections} with  brief discussions on various topics needed later:
Yetter-Drinfeld supermodules, restricted Lie superalgebras and Nichols algebras.
In Section \ref{sec:preliminaries} we first record presentations of duals and doubles of finite-dimensional Hopf
algebras arising as bosonizations; this is essentially straightforward but useful for further computations.
Then we present the objects of our interest: the super Jordan plane, its restricted version and their duals.
Finally we deal with different descriptions as bosonization of the same Hopf algebra. This allows to define
alternatively the Hopf superalgebras $\widetilde{\mathcal{D}}$ and $\mathcal{D}$ discussed below.

\subsubsection*{The double of the super Jordan plane}
Here we just need that $\operatorname{char}  \Bbbk \neq 2$. As in \cite{aah-triang}
we realize the braided vector space $(V,c)$ with $c$ given by \eqref{eq:braidingsuperjordan}
as Yetter-Drinfeld module over the group algebra $ \Bbbk \mathbb Z$, hence
we have the Hopf algebra $\mathtt{H} \coloneqq \mathcal{B}\# \Bbbk\mathbb Z$.
Then we consider the dual super Jordan plane $\mathcal{B}^d$ described just before Lemma \ref{lema:dual-jordan}.
The Sweedler dual of $ \Bbbk \mathbb Z$ is spanned by the characters of $\mathbb Z$ and the Lie algebra of the one-dimensional torus.
Hence its smallest Hopf subalgebra realizing $\mathcal{B}^d$ is isomorphic to $ \Bbbk[\zeta] \otimes  \Bbbk C_2$.
Here $C_N$ stands for the cyclic group of order $N$ and $\zeta$ is an indeterminate.
Thus we may consider $\mathtt{K} \coloneqq \mathcal{B}^d \# ( \Bbbk[\zeta] \otimes  \Bbbk C_2)$ and
define $\mathtt{D} = \mathtt{H} \bowtie \mathtt{K}^{\operatorname{op}}$ with respect to a suitable pairing between $\mathtt{H}$ and $\mathtt{K}^{\operatorname{op}}$. It turns out that
there exists a Hopf superalgebra $\widetilde{\mathcal{D}}$ such that $\mathtt{D} \simeq  \widetilde{\mathcal{D}} \#  \Bbbk C_2$;
this justifies a posteriori the adjective super given to $\mathcal{B}$. Thus the study of
$\mathtt{D}$ reduces to that of $\widetilde{\mathcal{D}}$.
We present basic properties of $\widetilde{\mathcal{D}}$ in Proposition \ref{prop:Db} including the defining relations
and a PBW-basis. Next we show in Theorem \ref{prop:Db-exact} that $\widetilde{\mathcal{D}}$ fits into an exact  sequence of
Hopf superalgebras
$\mathcal{O}(\mathfrak{G})\hookrightarrow \widetilde{\mathcal{D}}\twoheadrightarrow U(\mathfrak{osp}(1|2))$,
where $\mathfrak{G}$ is an algebraic supergroup explicitly described.
For the next result, Theorem \ref{thm:Z}, we need $\operatorname{char}  \Bbbk = p > 2$; then $\widetilde{\mathcal{D}}$ is free module of finite rank over a central Hopf subalgebra $Z = \mathcal{O}(\mathbf B)$ where $\mathbf B$ is a solvable connected algebraic group.
We close Section \ref{sec:double-superjordan} establishing some basic ring-theoretical properties of
$\widetilde{\mathcal{D}}$.

\subsubsection*{The double of the restricted super Jordan plane} In Section \ref{sec:double-restricted-superjordan}
we assume that $\operatorname{char}  \Bbbk = p > 2$. We realize $(V,c)$ with the braiding \eqref{eq:braidingsuperjordan} in
$\yd{ \Bbbk C_{2p}}$.
Let $D(H)$ be the Drinfeld double of the bosonization $H = \mathscr{B}(V)\# \Bbbk C_p$.
Again there exists a Hopf superalgebra $\mathcal{D}$
such that $D(H) \simeq  \mathcal{D} \#  \Bbbk C_2$, thus we may focus on $\mathcal{D}$.
We present basic properties of $\mathcal{D}$ in Proposition \ref{prop:cD-as-Hopf-superalgebra}
and show in Theorem \ref{prop:cD-as-super-abelian-extension} an exact  sequence of
Hopf superalgebras
$\mathbf R \xhookrightarrow[]{\iota} \mathcal{D}  \xrightarrowdbl[]{\pi} \mathfrak u(\mathfrak{osp}(1|2))$
where $\mathbf R$ is a local commutative Hopf algebra and $\mathfrak u(\mathfrak{osp}(1|2))$
is the restricted enveloping algebra.
We conclude that the simple $\mathcal{D}$-modules are the same as those of $\mathfrak u(\mathfrak{osp}(1|2))$
and we present them as quotients of Verma modules.
See Theorem \ref{th:irrep-restricted-super-jordan} and Proposition \ref{prop:irrep-cD}.

\medbreak
The extensions of Hopf superalgebras mentioned above fit into a 9-term commutative diagram
where all columns and rows are exact sequences:
\begin{align}\label{eq:diagram-exact sequences}
\begin{aligned}
\xymatrix{ & \mathcal{O}(\mathbf G)  \ar@{^{(}->}[r] \ar@{^{(}->}[d] & \mathcal{O}(\mathbf B) \ar@{^{(}->}[d] \ar@{->>}[r] & \mathcal{O}(\mathbf G_a^3) \ar@{^{(}->}[d]
\\
& \mathcal{O}(\mathfrak{G})  \ar@{^{(}->}[r] \ar@{->>}[d] & \widetilde{\mathcal{D}} \ar@{->>}[r] \ar@{->>}[d] & U(\mathfrak{osp}(1|2)) \ar@{->>}[d]
\\
& \mathbf R \ar@{^{(}->}[r] & \mathcal{D} \ar@{->>}[r] & \mathfrak u(\mathfrak{osp}(1|2))
}
\end{aligned}
\end{align}
See Theorem \ref{thm:diagram-exact sequences}. This is an analogue of \cite[(0.2)]{ap} for the Jordan plane.

\section{Recollections}\label{sec:recollections}

\subsection{Conventions}
We denote by $\mathbb F_p$ the field of $p$ elements. If $\ell < n \in\mathbb N_0$, then we set $\mathbb I_{\ell, n}=\{\ell, \ell +1,\dots,n\}$, $\mathbb I_n = \mathbb I_{1, n}$. Let $A$ be an algebra and $a_1,\dots,a_n\in A$, $n\in\mathbb N$. We denote by $ \Bbbk\langle a_1,\dots,a_n\rangle$ the subalgebra generated by $a_1,\dots,a_n$.
We identify $\mathcal{V}^*\otimes \mathcal{V}^*\simeq (\mathcal{V}\otimes \mathcal{V})^*$, where $\mathcal{V}$ is a finite-dimensional vector space, by
\begin{align}\label{eq:dual-tensor-product}
\langle f\otimes f', x\otimes y \rangle &= \langle f,x\rangle \langle f',y \rangle, & f,f'\in \mathcal{V}^*, x,y\in \mathcal{V}.
\end{align}

The cyclic group of order $n$ is denoted by $C_n$ and the infinite cyclic group by $\Gamma$. They are always written multiplicatively. The center of a group $G$ is denoted $Z(G)$; similarly for the center of an algebra.

Let $L$ be a Hopf algebra. The kernel of the counit $\varepsilon$ is denoted $L^+$, the antipode (always assumed bijective) by ${\mathcal S}$ or by ${\mathcal S}_L$, the
space of primitive elements of $L$ is denoted by ${\mathcal P}(L)$ and the group of group-likes by $G(L)$.
The space of $g,h$-primitives is ${\mathcal P}_{g,h}(L) =\{x \in L: \Delta(x) = x\otimes h + g \otimes x\}$ where $g,h \in G(L)$.
We assume that the reader has some familiarity with the theory of Hopf algebras particularly with the
notions of Yetter-Drinfeld module and bosonization (or biproduct), see e.g. \cite{Rad-libro}.
The category of Yetter-Drinfeld modules over $L$ is denoted by $\customyd{L}$.

The category of super vector spaces is denoted by $\operatorname{\textsf{sVec}}$. If $\mathcal{X}\in\operatorname{\textsf{sVec}}$, and $x\in\mathcal{X}_i$,
then we write $|x| = i$. We set $|\mathcal{X}| \coloneqq \mathcal{X}_0 \cup \mathcal{X}_1$.
The symmetric tensor category $\operatorname{\textsf{sVec}}$ is identified with a full tensor subcategory of $\customyd{ \Bbbk C_2}$.
An object $M\in\customyd{ \Bbbk C_2}$ is in $\operatorname{\textsf{sVec}}$ if the two following conditions are satisfied:
\begin{enumerate}[leftmargin=*,start=0]
\item\label{svect-equivalence-1} For every $a\in M$ such that $\epsilon \xrightharpoonup[]{} a = a$, $\delta(a) = 1 \otimes a$ (then $a$ is even).

\item\label{svect-equivalence-2} For every $a\in M$ such that $\epsilon \xrightharpoonup[]{} a = -a$, $\delta(a) = \epsilon \otimes a$ (then $a$ is odd).
\end{enumerate}

Let $\mathcal{A}$ be a superalgebra, i.e. an algebra in $\operatorname{\textsf{sVec}}$; $\mathcal{A}$ is super commutative if $a b = (-1)^{|a||b|} b a$ for all $a,b\in|\mathcal{A}|$.

The algebra of regular functions on an (affine) algebraic super group $G$ is denoted $\mathcal{O}(G)$. This is by definition a finitely generated super commutative Hopf algebra. See \cite{Masuoka} for the definitions.
As usual, $\mathbf G_a$ is the additive algebraic group $( \Bbbk,+)$ and $\mathbf G_m$ is the multiplicative algebraic group $( \ku^{\times},\cdot)$.

Let $R$ be the polynomial algebra $ \Bbbk[\zeta]$ with the unique Hopf algebra structure such that $\zeta\in{\mathcal P}(R)$. Let $R_p$ be the quotient Hopf algebra $R/(\zeta^p- \zeta)$.

Let $V =  \Bbbk\{X_1,\dots,X_m\}$ be a vector space of dimension $m\in\mathbb N$. We denote by $\Lambda(V) = \Lambda(X_1,\dots,X_m)$ the exterior algebra of $V$.

We denote by $[k]^{[n]} \coloneqq \prod_{i=1}^{n} (k+i-1)$ $k\in \Bbbk$, $n\in\mathbb N$ the raising factorial, we also define $[k]^{[0]} \coloneqq 1$ for every $k\in \Bbbk$. The unsigned Stirling numbers $\stirling{n}{k}$ are defined as the coefficients of the `raising factorial' polynomial:
\begin{align*}
[X]^{[n]} = \prod_{i=1}^{n} (X+i-1) = \sum_{k=0}^n \stirling{n}{k} X^k \in \mathbb Z[X].
\end{align*}

Recall that a sequence of morphisms of Hopf  (super)algebras
$A\xhookrightarrow[]{\iota} C \xrightarrowdbl[]{\pi} B$
is exact, and $C$ is an extension of $A$ by $B$, if
\begin{multicols}{2}
	\begin{enumerate}[leftmargin=*,label=\rm{(\roman*)}]
\item\label{suc-exacta-1} $\iota$ is injective.
\item\label{suc-exacta-2} $\pi$ is surjective.
\item\label{suc-exacta-3} $\ker\pi = C\iota(A)^+$.
\item\label{suc-exacta-4} $\iota(A) = C^{\operatorname{co} \pi}$.
	\end{enumerate}
\end{multicols}
We write $B = C / \hspace{-3pt} / A$ i.e. $B$ is the Hopf algebra quotient of $C$ by $A$.

\begin{remark}\label{remark-exact-sequence-hopf}
	If $A\xhookrightarrow[]{\iota} C$ is faithfully flat and $\iota(A)$ is stable by the left adjoint action of $C$ then
	\ref{suc-exacta-1}, \ref{suc-exacta-2} and \ref{suc-exacta-3} imply \ref{suc-exacta-4}, see \cite[1.2.5, 1.2.14]{ad}, \cite{Sch}.
\end{remark}

\subsection{A brief review of Yetter-Drinfeld supermodules}\label{subsub:brief-YDsuper}
In this Subsection, $\operatorname{char}  \Bbbk \neq 2$. See \cite{aay-pointedsuphopf} for more details.
Let $\mathcal{A}$ be a Hopf superalgebra. The category of Yetter-Drinfeld supermodules over $\mathcal{A}$,
denoted by $\customyds{\mathcal{A}}$, consists of super vector spaces $\mathcal{X}$ such that:
\begin{enumerate}[leftmargin=*,label=\rm{(\roman*)}]
\item $\mathcal{X}$ is a left supermodule over $\mathcal{A}$ with action $\rightharpoonup$.
\item $\mathcal{X}$ is a left supercomodule over $\mathcal{A}$ with coaction $\delta$.
\item For every $a\in|\mathcal{A}|$ and $u\in |\mathcal{X}|$:
\begin{align*}
\delta(a\rightharpoonup x) = (-1)^{|v_{(-1)}|(|a_{(2)}|+ |a_{(3)}|) + |a_{(2)}||a_{(3)}|}
a_{(1)} x_{(-1)} {\mathcal S}(a_{(3)})\otimes a_{(2)}\rightharpoonup x_{(0)}.
\end{align*}
\end{enumerate}

Then $\customyds{\mathcal{A}}$ is a braided tensor category. Namely, if
$\mathcal{X},\mathcal{Z} \in \customyds{\mathcal{A}}$, then the super vector space $\mathcal{X}\otimes \mathcal{Z}$
is an object in $\customyds{\mathcal{A}}$  via
\begin{align*}
&a\rightharpoonup (x\otimes z) = (-1)^{|a_{(2)}||x|} a_{(1)}\rightharpoonup x \otimes a_{(2)} \rightharpoonup z, &\\
&\delta(x \otimes z) = (-1)^{|x_{(0)}||z_{(-1)}|} x_{(-1)} z_{(-1)}\otimes(x_{(0)}\otimes z_{(0)}), & \forall x\in|\mathcal{X}|, z\in|\mathcal{Z}|.
\end{align*}
The braiding $c\colon\mathcal{X}\otimes \mathcal{Z}\longrightarrow \mathcal{Z}\otimes\mathcal{X}$ is given by:
\begin{align}\label{eq:braiding-yds}
c(x\otimes z) &= (-1)^{|x_{(0)}||z|} x_{(-1)}\rightharpoonup z \otimes x_{(0)}.
\end{align}

\medbreak
There is an embedding functor of braided tensor categories
\begin{align}\label{eq:embedding-functor}
\mathfrak{i}\colon {}^{\mathcal{A} }_{\mathcal{A} }\mathcal{YDS} &\longrightarrow \customyd{\mathcal{A}\# \Bbbk C_2}, &
\mathcal{X} \longmapsto \mathfrak{i}(\mathcal{X})
\end{align}
where $\mathfrak{i}(\mathcal{X}) = \mathcal{X}$ as vector space with
action $\rightharpoonup$ and coaction $\delta$ as:
\begin{align*}
&\begin{aligned}
a\# \epsilon^k \rightharpoonup x &= (-1)^{|x|k} a\rightharpoonup x,\\
\delta(x) &= x_{(-1)}\# \epsilon^{|x_{(0)}|}\otimes x_{(0)},
\end{aligned} & \forall a\in\mathcal{A}, x\in|\mathcal{X}|, k\in\mathbb I_{0, 1}.
\end{align*}

\subsubsection*{The super bosonization \cite{aay-pointedsuphopf}}
Let $\mathcal{R}$ be a Hopf algebra in  ${}^{\mathcal{A} }_{\mathcal{A} }\mathcal{YDS}$.
The comultiplication is written $\Delta_\mathcal{R}(h)= h^{(1)}\otimes h^{(2)}$ for $h\in\mathcal{R}$.
The  Hopf superalgebra $\mathcal{R}\, \natural \,  \mathcal{A}$  is $\mathcal{R} \otimes \mathcal{A}$ as a super vector space with structure given by:
\begin{align*}
(h \, \natural \,  a)(f\, \natural \,  b) &\coloneqq (-1)^{|a_{(2)}||f|} h(a_{(1)}\rightharpoonup f)\, \natural \,  a_{(2)} b, \\
\Delta(h\, \natural \,  a) &\coloneqq (-1)^{|(h^{(2)})_{(0)}||a_{(1)}|} h^{(1)}\, \natural \,  (h^{(2)})_{(-1)} a_{(1)} \otimes (h^{(2)})_{(0)} \, \natural \,  a_{(2)},\\
\varepsilon(h\, \natural \,  a) &= \varepsilon_\mathcal{R}(h) \varepsilon_\mathcal{A}(a),\quad \quad\quad 1\coloneqq 1_{\mathcal{R}}\, \natural \,  1_{\mathcal{A}},\\
{\mathcal S}(h\, \natural \,  a) &= (-1)^{|h_{(0)}||a|} (1\, \natural \,  {\mathcal S}_\mathcal{A}(h_{(-1)}a))({\mathcal S}_\mathcal{R}(h_{(0)})\, \natural \,  1).
\end{align*}
There is a canonical isomorphism $(\mathcal{R}\, \natural \,  \mathcal{A})\#  \Bbbk C_2 \simeq \mathfrak{i}(\mathcal{R})\#(\mathcal{A} \#  \Bbbk C_2)$.

\subsection{Restricted  Lie superalgebras} A Lie superalgebra $\mathfrak g = \mathfrak g_0\oplus \mathfrak g_1$ is restricted if
$\mathfrak g_0$ is a restricted Lie algebra  with $p$-operation $x\mapsto x^{[p]}$ such that
\begin{align*}
[x^{[p]},z] &= (\operatorname{ad} x)^p (z) & \text{for all } x&\in \mathfrak g_0, z\in\mathfrak g.
\end{align*}
We refer to \cite[Chapter 3]{bmpz} for a detailed exposition.
The \emph{restricted enveloping algebra} of the restricted Lie superalgebra $\mathfrak g$ is defined as
\begin{align*}
\mathfrak u(\mathfrak g)\coloneqq U(\mathfrak g)/ \langle x^{[p]} - x^p : x\in\mathfrak g_0 \rangle,
\end{align*}
where $U(\mathfrak g)$ is the enveloping algebra. Assume for simplicity that $\dim \mathfrak g < \infty$
and let $\{x_1,\dots,x_r\}$, $\{y_1,\dots,y_k\}$ be bases of $\mathfrak g_0$ and $\mathfrak g_1$ respectively.
Then the Hopf superalgebra $\mathfrak u(\mathfrak g)$ has dimension $p^r2^k$; indeed it has a PBW-basis
\begin{align*}
\{x_1^{n_1}\cdots x_r^{n_r} y_1^{m_1}\cdots y_k^{m_k}\colon n_1,\dots,n_r\in\mathbb I_{0,p-1}, m_1,\dots,m_k\in\mathbb I_{0, 1}\}.
\end{align*}

\subsubsection{The ortho-symplectic Lie superalgebra $\mathfrak g = \mathfrak{osp}(1|2)$ }
For our purposes we recall its structure:
$\mathfrak g_0 \simeq \mathfrak{sl}_2( \Bbbk)$ with Cartan generators $\{e, f, h\}$; $\mathfrak g_1 =  \Bbbk\{\psi_+, \psi_-\}$ is the natural $\mathfrak{sl}_2( \Bbbk)$-module, hence the bracket is
\begin{align*}
[e, \psi_+] &= 0, & [h, \psi_+] &= \psi_+, & [f, \psi_+] &= \psi_-,\\
[e, \psi_-] &= \psi_+, & [h, \psi_-] &= -\psi_-, & [f, \psi_-] &= 0,
\\
[\psi_+,\psi_+] &= 2e, & [\psi_-,\psi_-] &= -2f, & [\psi_+,\psi_-] &= -h.
\end{align*}

\emph{Assume now that $\operatorname{char}  \Bbbk = p$.}
The algebra $\mathfrak g$ has a $p$-structure given by
\begin{align*}
e^{[p]} &= 0, & h^{[p]} &= h, & f^{[p]} &= 0.
\end{align*}
Below we consider the enveloping algebra $U(\mathfrak{osp}(1|2))$ and its restricted version $\mathfrak u(\mathfrak{osp}(1|2))$
which are Hopf superalgebras with suitable PBW-bases.

\subsection{Nichols algebras} A braided vector space is a pair $(\mathcal{V}, c)$ where $\mathcal{V}$ is a vector space and
$c \in GL(\mathcal{V}^{\otimes 2})$ satisfies the braid equation
\begin{align*}
(c\otimes \operatorname{id})(\operatorname{id}\otimes c)(c\otimes \operatorname{id}) = (\operatorname{id}\otimes c)(c\otimes \operatorname{id})(\operatorname{id}\otimes c).
\end{align*}
Then the braid group $\mathbb B_n$ acts on $\mathcal{V}^{\otimes n}$; the Nichols algebra $\mathscr{B}(\mathcal{V})$ is defined taking the quotient of
the quantum symmetrizer in each degree. See \cite{A-leyva} for details.
A realization of $(\mathcal{V}, c)$ over a Hopf algebra $L$ is a structure of Yetter-Drinfeld $L$-module on $\mathcal{V}$
such that $c$ coincides with the categorical braiding. Then $\mathscr{B}(\mathcal{V})$ is a Hopf algebra in $\customyd{L}$ and the bosonization $\mathscr{B}(\mathcal{V}) \# L$ is a Hopf algebra.
If $\mathcal{V}$ is finite-dimensional, then the dual vector space $\mathcal{V}^*$ is braided with the transpose braiding $c^*$--recall the identification \eqref{eq:dual-tensor-product}:
\begin{align}\label{eq:braiding-transpose}
\langle c^*(f\otimes f'), x\otimes y \rangle &= \langle f\otimes f', c(x\otimes y)\rangle, & f,f'\in \mathcal{V}^*, x,y\in \mathcal{V}.
\end{align}

\medbreak
Similarly a realization of $(\mathcal{V},c)$ over a Hopf superalgebra $\mathcal{A}$ is a structure of Yetter-Drinfeld
$\mathcal{A}$-supermodule on $\mathcal{V}$ such that $c$ coincides with the categorical braiding.
Then $\mathscr{B}(\mathcal{V})$ is a Hopf algebra in $\customyds{\mathcal{A}}$ and the bosonization $\mathscr{B}(\mathcal{V}) \# \mathcal{A}$ is a Hopf
superalgebra.
Notice that there is an isomorphism $\mathfrak{i}(\mathscr{B}(\mathcal{V}))\simeq \mathscr{B}(\mathfrak{i}(\mathcal{V}))$  where $\mathfrak{i}$
is as in \eqref{eq:embedding-functor}, see \cite[\S 1.7]{aay-pointedsuphopf}.

\medbreak
If $(\mathcal{V},c)$ admits a realization over a Hopf superalgebra, then necessarily $\mathcal{V}$ is $C_2$-graded
and $c$ preserves the grading of $\mathcal{V} \otimes \mathcal{V}$; such $(\mathcal{V},c)$ might be called a super braided vector space,
a concept already present in \cite[(53), p. 1610]{Kulish-Sklyanin}. Indeed there is bijective correspondence between
super braided vector spaces and solutions of the super Yang-Baxter equation, see \emph{loc. cit.}

\section{Preliminaries}\label{sec:preliminaries}

\subsection{The dual and the double of a bosonization}
Let $L$ be a Hopf algebra and $\mathcal{V}\in\customyd{L}$; we assume that $\dim L <\infty$ and $\dim\mathscr{B}(\mathcal{V})<\infty$.
In this subsection we describe explicitly the dual and the double of the bosonization
$A \coloneqq \mathscr{B}(\mathcal{V})\# L$. In particular we show that
$A^* \simeq \mathscr{B}(\mathcal{V}^*)\# L^*$,
and that $\mathcal{V}^*$ has the transpose braiding \eqref{eq:braiding-transpose}.
We need some notation. First, we have morphisms of Hopf algebras
$A\overset{\pi }{\underset{\iota}{\rightleftarrows}} L$ such that $\pi \iota = \operatorname{id}$.
Next we fix
\begin{itemize}[leftmargin=*]\renewcommand{\labelitemi}{$\circ$}
\item  a basis  $\{v_1,\dots,v_n\}$ of $\mathcal{V}$; its dual basis is denoted by $\{w_1,\dots,w_n\}$;
\item a basis $\{h_1,\dots,h_m\}$ of $L$; its dual basis is denoted by $\{f_1,\dots,f_m\}$.
\end{itemize}
The braided tensor categories $\customyd{L}\simeq \customyd{L^*}$ are equivalent via the functor
\begin{align*}
F\colon \customyd{L}\longrightarrow\customyd{L^*}
\end{align*} defined as follows. If $\mathcal{X}\in \customyd{L}$, then $F(\mathcal{X}) = \mathcal{X}$ with structure
\begin{align*}
f\rightharpoonup v &= \langle f, {\mathcal S}(v_{(-1)}) \rangle v_{(0)}, & \delta(v) &= \sum_{i=0}^m {\mathcal S}^{-1}(f_i)\otimes h_i\rightharpoonup v, & v\in \mathcal{X}, f\in L^*,
\end{align*}
see \cite[Prop. 2.2.1]{g2}.
Let $\mathcal{W}\coloneqq F(\mathcal{V}^*)$.
\begin{lemma} \cite[Lemma 2.6]{g}
As a  braided vector space, $\mathcal{W}\in\customyd{L^*}$ is isomorphic to $(\mathcal{V}^*,c^*)$. Hence
$\dim\mathscr{B}(\mathcal{W}) = \dim\mathscr{B}(\mathcal{V}) <\infty$. \qed
\end{lemma}

\begin{prop}\label{prop:dual-of-a-bosonization}
$A^* \simeq \mathscr{B}(\mathcal{W})\# L^*$.
\end{prop}
\begin{proof}
By transposing the maps $\pi$ and $\iota$ above,
we get maps $A^*\overset{\iota^*}{\underset{\pi ^*}{\rightleftarrows}} L^*$ with $\iota^*\pi ^* = \operatorname{id}$. Then
$A^*\simeq \mathcal{R} \# L^*$, where $\mathcal{R} = (A^*)^{\operatorname{co}\iota^*}$ is a braided Hopf algebra in $\customyd{L^*}$. Since $A = \bigoplus_{n\in\mathbb N_0} A^n$ is graded, so are
$A^*= \bigoplus_{n\in\mathbb N_0} (A^*)^n$ and $\mathcal{R}= \bigoplus_{n\in\mathbb N_0} \mathcal{R}^n$. We proceed in three steps:

\subsubsection*{(i) Find a basis of $\mathcal{R}^1\in\customyd{L^*}$.}
Since $A^1 \simeq \mathcal{V}\otimes L$, $(A^*)^1 \simeq\mathcal{V}^*\otimes L^*$ as a vector space.
Given $w\in \mathcal{V}^*$ and $f\in L^*$ we set $w\underline{\#}f \coloneqq w\otimes f \in(A^*)^1$ by
\begin{align*}
\langle w\underline{\#} f, v\# h\rangle &= \langle w, v\rangle \langle f, h\rangle, & \forall v\in \mathcal{V}, h\in L.
\end{align*}
Then $\{w_i\underline{\#} f_j\colon i\in \mathbb I_n, j\in\mathbb I_m \}$ is a basis of $(A^*)^1$. Let $\overline{w}_i \coloneqq w_i\underline{\#} \varepsilon$, $i\in \mathbb I_n$. We claim that $\{\overline{w}_1,\dots,\overline{w}_n\}$ is a basis of $\mathcal{R}^1$.
For this, we compute
\begin{align*}
\langle\Delta(\overline{w}_i), 1\# h_\ell \otimes v_j\# h_k\rangle &= \langle w_i,h_\ell\rightharpoonup v_j\rangle \varepsilon(h_k),\\
\langle \Delta(\overline{w}_i), v_j\# h_k\otimes 1\# h_\ell\rangle &= \varepsilon(h_k h_\ell) \delta_{i,j},
\end{align*}
for all $i,j \in \mathbb I_n$, $k,\ell\in \mathbb I_m$. Since $\Delta$ preserves the grading, we have
\begin{align*}
\Delta(\overline{w}_i) &= \sum_{\ell,k = 1}^{m} \varepsilon(h_k h_\ell) w_i\underline{\#} f_k \otimes f_\ell + \sum_{\ell,k = 1}^m \sum_{j=1}^n \langle w_i,h_\ell\rightharpoonup v_j\rangle \varepsilon(h_k)  f_\ell \otimes w_j\underline{\#}f_k\\
&=\overline{w}_i \otimes 1 +  \sum_{\ell = 1}^m \sum_{j=1}^n  \langle w_i,h_\ell\rightharpoonup v_j\rangle f_\ell \otimes \overline{w}_j.
\end{align*}
Then $\overline{w}_i\in\mathcal{R}^1$ because $\iota^*(\overline{w}_j)=0$ for all $j\in \mathbb I_n$.
Since the $\overline{w}_i$'s are linearly independent and $\dim \mathcal{R}^1 = \dim \mathscr{B}(\mathcal{V})^1 = \dim \mathcal{V}$, the claim follows.

\subsubsection*{(ii) $\mathcal{R}^1\simeq \mathcal{W}$ in $\customyd{L^*}$.}
To compute the action and coaction of $\mathcal{R}^1$ we need the multiplication of elements of the form $(w\underline{\#}f) f'$ and $f'(w\underline{\#}f)$ for $f,f'\in L^*$, $w\in \mathcal{V}^*$. Since $A^0\simeq L$, $(A^*)^0\simeq L^*$, we see that
\begin{align*}
\langle (w\underline{\#} f) f', v\# h\rangle &= \langle w\underline{\#} ff', v\# h\rangle, \\
\langle f' (w\underline{\#} f), v\# h\rangle &= \langle f'_{(1)}\rightharpoonup w \underline{\#} f'_{(2)}f, v\#h\rangle
\end{align*}
for all $v\in \mathcal{V}$, $h\in L$. Then
\begin{align*}
f'(w\underline{\#} f) &= f'_{(1)}\rightharpoonup w \underline{\#} f'_{(2)}f
&&\text{and}&  (w\underline{\#} f) f' &= w\underline{\#} ff'
\end{align*}
for $w\in \mathcal{V}^*, f,f'\in L^*$. Hence the action of $L^*$ in $\mathcal{R}^1$ is given by
\begin{align*}
f\rightharpoonup \overline{w}_i &= f_{(1)} (w_i\underline{\#} \varepsilon) {\mathcal S}(f_{(2)}) = f_{(1)}\rightharpoonup w_i \underline{\#} f_{(2)}{\mathcal S}(f_{(3)}) \\
&=f_{(1)}\rightharpoonup w_i\underline{\#} \varepsilon(f_{(2)})\varepsilon = f\rightharpoonup w_i \underline{\#} \varepsilon \\
&= \sum_{j=1}^{n} \langle f, (v_j)_{(-1)}\rangle \langle w_i, (v_j)_{(0)}\rangle \overline{w}_j,\quad i\in\mathbb I_n, f\in L^*.
\end{align*}
The formula for the coaction follows from the comultiplication above:
\begin{align*}
\delta(\overline{w}_i) &= (\iota^*\otimes \operatorname{id})\circ \Delta(\overline{w}_i) = \sum_{\ell=1}^{m}\sum_{j=1}^{n} \langle w_i, h_\ell\rightharpoonup v_j\rangle f_\ell\otimes \overline{w}_j, & i\in \mathbb I_n.
\end{align*}
Thus $\mathcal{W}\simeq \mathcal{R}^1$ in $\customyd{L^*}$.

\subsubsection*{(iii) $\mathcal{R} \simeq \mathscr{B}(\mathcal{W})\simeq\mathscr{B}(\mathcal{V}^*)$} Let $\mathcal{R}'$ be the braided Hopf subalgebra of $\mathcal{R}$ generated by $\mathcal{R}^1$. Then $\mathcal{R}'$ is a pre-Nichols algebra of $\mathcal{R}^1 \simeq \mathcal{W}$. Thus
\begin{align*}
\dim \mathscr{B}(\mathcal{W}) \leq \dim \mathcal{R}' \leq \dim \mathcal{R} = \dim \mathscr{B}(\mathcal{V}) = \dim\mathscr{B}(\mathcal{W});
\end{align*}
hence $\mathcal{R}' = \mathcal{R} = \mathscr{B}(\mathcal{W})$ and the result follows.
\end{proof}

Next we describe the relations of the Drinfeld double $D(A)$ of $A$.
Recall that this is the Hopf algebra
whose underlying coalgebra is $ A\otimes A^{* \operatorname{op}}$ and with multiplication defined as follows.
Let $a\bowtie r:= a \otimes r$ in $D(A)$. Then
\begin{align*}
(a\bowtie r)(a'\bowtie r') &= \big\langle r_{(1)},a'_{(1)}\big\rangle \big\langle r_{(3)}, {\mathcal S}(a'_{(3)}) \big\rangle (aa'_{(2)}\bowtie r'r_{(2)}), &
\end{align*}
$a, A'\in A$, $r, r'\in A^{* \operatorname{op}},$
where $r r' = m(r\otimes r')$ is  in $A^*$, not in $A^{* \operatorname{op}}$.

\begin{remark}\label{rem:double} \cite{dt}
If $A$ is not finite-dimensional, we may define its double
with respect to another Hopf algebra $B$ provided with
a skew-pairing,  i.~e. a linear map
$\tau\colon A\otimes B\to  \Bbbk$ satisfying
\begin{align}\label{eq:skew-pairing}
\begin{aligned}
\tau(a\widetilde a\otimes b) &= \tau(a \otimes b_{(1)}) \tau(\widetilde a \otimes b_{(2)}),&
\tau(1 \otimes b) &= \varepsilon(b), & a,\widetilde a &\in A,
\\
\tau(a \otimes \widetilde bb) &= \tau(a_{(1)} \otimes b) \tau(a_{(2)} \otimes \widetilde b),&
\tau(a \otimes 1) &= \varepsilon(a), &b, \widetilde b &\in B.
\end{aligned}
\end{align}
Let $\sigma\colon (A \otimes B)\otimes (A \otimes B)\to   \Bbbk$ be the
2-cocycle  associated to $\tau$, where $A \otimes B$ has the structure of tensor product Hopf algebra, that is
\begin{align*}
\sigma(a\otimes b, \widetilde{a}\otimes \widetilde{b}) &= \varepsilon(a)\varepsilon(\widetilde{b}) \tau(\widetilde{a}\otimes b), & a,\widetilde{a} &\in A, b,\widetilde{b} &\in B.
\end{align*}
Then the double of $A$ (with respect to $B$ and $\tau$) is the
Hopf algebra $A\otimes B$ twisted by $\sigma$, i.~e. $A \bowtie B \eqqcolon (A\otimes B)_{\sigma}$.

\end{remark}

\medbreak
We fix the following presentations for $\mathscr{B}(\mathcal{V})$, $\mathscr{B}(\mathcal{W})^{\operatorname{op}}$ and $D(L)$:
\begin{align}\label{eq:general-presentation-by-generators-and-relations-for-Nichols}
\begin{aligned}
\mathscr{B}(\mathcal{V}) &=  \Bbbk \langle v_1,\dots,v_n \vert r_1,\dots,r_{n_1}\rangle,
\\ \mathscr{B}(\mathcal{W})^{\operatorname{op}} &=  \Bbbk \langle w_1,\dots,w_n \vert r'_1,\dots,r'_{n_2}\rangle,
\\
D(L) &= \Bbbk \langle s_1,\dots,s_{m_0}, s'_1,\dots, s'_{m_1} \vert \widetilde{r}_1,\dots,\widetilde{r}_{n_3}\rangle,
\end{aligned}
\end{align}
with $s_1,\dots,s_{m_0}$ and $s'_1,\dots, s'_{m_1}$ generators of $L$ and $(L^*)^{\operatorname{op}}$ respectively. Then we have the following presentation for $D(A)$.

\begin{prop}\label{prop:the-double-in-general}
The algebra $D(A)$ is presented by generators $v_1,\dots,v_n$, $w_1,\dots,w_n$, $s_1,\dots,s_{m_0}$, $s'_0,\dots, s'_{m_1}$ with relations \eqref{eq:general-presentation-by-generators-and-relations-for-Nichols} and

\begin{align}\label{eq:relations-doble-general}
\begin{aligned}
s'_i v_j &= \langle (s'_i)_{(1)}, (v_j)_{(-1)} \rangle (v_j)_{(0)} (s'_i)_{(2)}, \quad (i,j)\in\mathbb I_{m_1}\times \mathbb I_n, \\
w_i s_j &= \sum_{\ell=1}^n \langle w_i, (s_j)_{(1)}\rightharpoonup v_\ell\rangle (s_j)_{(2)} w_\ell, \quad (i,j)\in\mathbb I_{n}\times \mathbb I_{m_0}, \\
w_i v_j &= \langle w_i, v_j\rangle 1 + \sum_{\ell=1}^n \langle w_i, (v_j)_{(-1)}\rightharpoonup v_\ell\rangle (v_j)_{(0)} w_\ell\\
+\sum_{k=1}^m \sum_{\ell,t=1}^n &\langle w_i, (v_j)_{(-2)}\rightharpoonup v_\ell\rangle \langle w_\ell, h_k\rightharpoonup v_t \rangle
\langle \overline{w}_t, {\mathcal S}((v_j)_{(0)}) \rangle (v_j)_{(-1)} f_k,\\
& \quad (i,j)\in\mathbb I_n\times \mathbb I_n.
\end{aligned}
\end{align}
Hence $D(A)$ admits a triangular decomposition
\begin{align}\label{eq:triag-decomp-in-general}
D(A) \simeq \mathscr{B}(\mathcal{V})\otimes D(L) \otimes \mathscr{B}(\mathcal{W})^{\operatorname{op}}.
\end{align}
\end{prop}
\begin{proof}
Let $A$ be the algebra presented by generators and relations as above. By definition of $D(A)$ and the formulas above there exists an algebra map $A\twoheadrightarrow  D(A)$. Hence $\dim A \geq D(A)$. By definition of $A$ there exist morphisms
\begin{align*}
\psi_1&\colon \mathscr{B}(\mathcal{V})\longrightarrow A,& \psi_2&\colon \mathscr{B}(\mathcal{W})^{\operatorname{op}} \longrightarrow A, &\psi_3&\colon D(L)\longrightarrow A.
\end{align*}
Let $m\colon A\otimes A\longrightarrow A$ be the multiplication. We have a linear map
\begin{align}\label{eq:triag-decomp}
\phi\colon\mathscr{B}(\mathcal{V})\otimes D(L) \otimes \mathscr{B}(\mathcal{W})^{\operatorname{op}} \xrightarrow{\psi_1\otimes\psi_2\otimes\psi_3} A\otimes A\otimes A \xrightarrow{m\circ(m\otimes\operatorname{id})} A
\end{align}
which is surjective by \eqref{eq:relations-doble-general}, since every product of the generators can be rewritten to get
a sum of elements of the form $abc$ with $a\in\mathscr{B}(\mathcal{V})$, $b\in D(L)$ and $c\in \mathscr{B}(\mathcal{W})^{\operatorname{op}}$. Thus
\begin{align*}
\dim D(A) = \dim \mathscr{B}(\mathcal{V})\cdot \dim D(L) \cdot\dim\mathscr{B}(\mathcal{W})^{\operatorname{op}} \geq \dim A,
\end{align*}
hence $D(A)\simeq A$. As for \eqref{eq:triag-decomp-in-general},
\eqref{eq:triag-decomp} provides the desired isomorphism.
\end{proof}

\subsection{Objects of interest}
In this Subsection we introduce the braided vector spaces of our interest and their Nichols algebras, cf. \cite{aah-triang,aah-oddchar}.

\subsubsection*{Braided vector spaces
The braided vector space  $\left(\mathcal{V}(-1, 2), c\right) \eqqcolon \left(V, c_{V}\right)$, called the $-1$-block in \cite{aah-triang},
has a basis $\{x}%{\mathbf x_1,x}%{\mathbf x_2\}$ and braiding
\begin{align}\tag{\ref{eq:braidingsuperjordan}}
c(x_i\otimes x_1) &= - x_1\otimes x_i, & c(x_i\otimes x_2) &= (- x_2 +x_1)\otimes x_i,& i &=1,2.
\end{align}
For simplicity we denote
$\left(W, c_{W}\right) \coloneqq \left(\mathcal{V}(-1,2)^*, c^*\right)$,  cf. \eqref{eq:braiding-transpose}.
Let $\{u_1,u_2\}$ be the basis of $W$ given by $\langle u_i, x_j \rangle = 1 - \delta_{i,j}$, $i,j\in \mathbb I_2$.
In this basis $c_{W}$ is
\begin{align}\label{eq:braidingsuperjordandual}
c_{W}( u_1\otimes u_i) &= -u_i\otimes  u_1, &
c_{W}( u_2\otimes u_i) &= u_i \otimes ( u_1 - u_2), & i &=1,2.
\end{align}
Then $(W,c_W)\simeq (V,c_V^{-1})$ as braided vector spaces, via  $u_1\mapsto x_1$, $u_2\mapsto -x_2$.

\subsubsection*{The super Jordan plane} This is the graded algebra
\begin{align*}
\mathcal{B} =  \Bbbk \langle x_1, x_2 \vert x_1^2, x_2 x_{21} - x_{21} x_2 - x_1 x_{21}\rangle
\end{align*}
with the  braided Hopf algebra structure extending the braiding \eqref{eq:braidingsuperjordan}, cf. \cite{Tak}.

\begin{lemma}
	\begin{enumerate}[leftmargin=*,label=\rm{(\alph*)}]
\item \cite{aah-triang} ($\operatorname{char}  \Bbbk \neq 2$) The ordered monomials
\begin{align}\label{eq:monomials:jordan}
x_1^{n_1} x_{21}^{n_{21}} x_2^{n_2}
\end{align}
with $(n_1, n_{21}, n_2) \in\mathbb I_{0, 1} \times \mathbb N_{0} \times \mathbb N_{0}$ form a basis of $\mathcal{B}$ and $\operatorname{GKdim} \mathcal{B} = 2$.

\medbreak
\item ($\operatorname{char}  \Bbbk = 0$) \cite{aah-triang} $\mathcal{B}$ is isomorphic to  $\mathscr{B}(V)$ as braided Hopf algebras.

\medbreak
\item ($\operatorname{char}  \Bbbk = p$) \cite{aah-oddchar}
The restricted super Jordan plane $\mathcal{B}/ \langle x_{21}^p, x_2^{2p}\rangle$
is isomorphic to $\mathscr{B}(V)$ as braided Hopf algebras. The ordered monomials \eqref{eq:monomials:jordan} with
$(n_1, n_{21}, n_2) \in\mathbb I_{0, 1} \times \mathbb I_{0, p-1} \times \mathbb I_{0,2p-1}$ form a basis of $\mathscr{B}(V)$.  \qed
	\end{enumerate}
\end{lemma}

Set $u_{21} \coloneqq u_1 u_2 + u_2 u_1$.
We define the \emph{dual super Jordan plane}  as
the algebra $\mathcal{B}^d$ presented by generators $u_1$ and $u_2$ with defining relations
\begin{align}\label{eq:relations-H-dual}
u_1^2 &=0, &  u_2 u_{21} &= u_{21} u_2 - u_1 u_{21}
\end{align}
with the  braided Hopf algebra structure extending the braiding \eqref{eq:braidingsuperjordandual}, cf. \cite{Tak}.
Observe that $\mathcal{B}^d$ is not isomorphic to $\mathcal{B}$ as braided Hopf algebras.
The \emph{restricted dual Jordan plane} is the quotient of $\mathcal{B}^d$ by the relations
\begin{align}\label{eq:relations-H-dual2}
u_2^{2p}&=0, & u_{21}^p&=0.
\end{align}

\begin{lemma} \label{lema:dual-jordan}
	\begin{enumerate}[leftmargin=*,label=\rm{(\alph*)}]
\item\label{item:Jordandual} ($\operatorname{char}  \Bbbk = 0$) $\mathcal{B}^d\simeq \mathscr{B}(W)$ as braided Hopf algebras.

\medbreak
\item\label{item:Jordandual-restricted} ($\operatorname{char}  \Bbbk = p$) The restricted dual Jordan plane
is isomorphic to $\mathscr{B}(W)$ as braided Hopf algebras. It has dimension $4p^2$; indeed the
monomials
\begin{align}\label{eq:monomials:jordan-dual}
u_1^{n_1} u_{21}^{n_{21}} u_2^{n_2}
\end{align}
with $(n_1, n_{21}, n_2) \in\mathbb I_{0, 1} \times \mathbb I_{0, p-1} \times \mathbb I_{0,2p-1}$ form a basis of $\mathscr{B}(W)$.
	\end{enumerate}
\end{lemma}

\begin{proof} Since $\mathcal{B}^d \simeq \mathcal{B}$ as algebras, the monomials \eqref{eq:monomials:jordan-dual}
with  $(n_1, n_{21}, n_2) \in\mathbb I_{0, 1} \times \mathbb N_{0} \times \mathbb N_{0}$
form a linear basis of $\mathcal{B}^d$.
It is easy to see that
$u_1^2$ and $u_{21} u_2  - u_2 u_{21}  + u_1 u_{21}$ are primitive in $T(W)$, hence
$\mathcal{B}^d$ is a pre-Nichols algebra of $W$.
Now $\mathscr{B}(V)$ and $\mathscr{B}(W)$ have the same graded dimension by \cite[Lemma 2.6]{g}. Then \ref{item:Jordandual} follows.
For \ref{item:Jordandual-restricted} we prove by induction that
\begin{align}\label{eq:coproduct-dual-super-jordan}
\begin{aligned}
\Delta(u_{21}^n) =& \sum_{\ell=0}^{1}\sum_{k=0}^{n-\ell}\binom{n-\ell}{k} n^\ell u_1^\ell
u_{21}^{n-k-\ell} \otimes u_1^\ell u_{21}^k, \\
\Delta(u_2^{2n}) =& \sum_{\ell=0}^1\sum_{k=0}^{n-\ell} \sum_{t=0}^{k} \binom{n-\ell}{k}\binom{k}{t} n^\ell
[k-n+\ell]^{[t]}
u_2^{2(n-k)-\ell}\otimes u_1^\ell u_{21}^t u_2^{2(k-t)},
\end{aligned}
\end{align}
for all $n\in\mathbb N_0$.
So $u_{21}^p, u_2^{2p}\in {\mathcal P}(\mathcal{B}^d)$ and $\mathcal{B}^d/(u_{21}^p, u_2^{2p})$ is a pre-Nichols algebra of $W$;
hence  $\mathcal{B}^d/(u_{21}^p, u_2^{2p}) \simeq \mathscr{B}(W)$ by dimension counting.
\end{proof}

\subsection{Change of bosonization}\label{sub:change-boso}

Let $L$ be a Hopf algebra and let $\mathtt{C}$ be a group provided with a group homomorphism
$\mathtt{C} \to \Aut_{\text{Hopf}} (L)$. Then $L$ is a Hopf algebra in $\yd{ \Bbbk \mathtt{C}}$ (with trivial coaction)
and we may consider the smash product $L \rtimes  \Bbbk \mathtt{C} \coloneqq L \#  \Bbbk \mathtt{C}$.
Let $\xymatrix{L \rtimes  \Bbbk \mathtt{C} \ar@<0.5ex>@{->}[r]^{\quad\pi} &   \Bbbk \mathtt{C} \ar@<0.5ex>@{->}[l]^{\quad \iota}}$ be the natural projection and inclusion. We show that under certain conditions, $L \rtimes  \Bbbk \mathtt{C}$ can be
alternatively described as $\mathscr{L}^{\mathtt{F}} \#  \Bbbk \mathtt{C}$ for a genuine braided Hopf algebra
$\mathscr{L}^{\mathtt{F}}$ in $\yd{ \Bbbk \mathtt{C}}$.

Namely, suppose that
$L = R \# U$ where $U$ is a Hopf algebra and $R$ is a Hopf algebra in $\yd{U}$.
Let $\AubH{U} (R)$ be the group of automorphisms of
Hopf algebras in $\yd{U}$, i.e. preserving multiplication, comultiplication, action and coaction.
There is a morphism of groups
\begin{align*}
\AubH{U} (R) &\to \Aut_{\text{Hopf}}(L),&
\AubH{U} (R) \ni \varsigma &\mapsto \varsigma \otimes \operatorname{id} \in \Aut_{\text{Hopf}}(L).
\end{align*}
We fix a group $\mathtt{C}$ and a morphism of groups
$\mathtt{C} \to \Aut_{\text{Hopf}} (L)$  factorizing through $\AubH{U} (R)$.
Furthermore we assume that $U = U'\otimes  \Bbbk \gpdos$ where $U'$ a Hopf algebra and $\gpdos$ is a group.

\begin{prop} \label{prop:change-boso}
\begin{enumerate}[leftmargin=*,label=\rm{(\alph*)}]
\item\label{item:change-boso-a}  Given $\mathtt{F} \in \operatorname{Hom}_{\emph{gps}} \left(\gpdos, Z(\mathtt{C})\right)$, there exists
a Hopf algebra $\mathscr{L}^{\mathtt{F}}$ in $\yd{ \Bbbk \mathtt{C}}$ such that  $L \rtimes  \Bbbk \mathtt{C} \simeq \mathscr{L}^{\mathtt{F}} \#  \Bbbk \mathtt{C}$.

\medbreak
\item\label{item:change-boso-b} Let
$\varpi^{\mathtt{F}}: \gpdos \times \mathtt{C} \to \mathtt{C}$ be the morphism of groups given by
$\varpi^{\mathtt{F}} (\gamma, c) = \mathtt{F}(\gamma) c$, $\gamma \in \gpdos$, $c \in \mathtt{C}$,
and let
\begin{align*}
\gpdos^{\mathtt{F}} \coloneqq \ker \varpi^{\mathtt{F}} = \{(\gamma, \mathtt{F}(\gamma)^{-1}): \gamma \in \gpdos\}.
\end{align*}
\end{enumerate}
\noindent
Then $\mathscr{L}^{\mathtt{F}}$ decomposes as $\mathscr{L}^{\mathtt{F}} \simeq R^{\mathtt{F}} \sharp( U' \otimes  \Bbbk \gpdos^{\mathtt{F}})$ (braided bosonization in $\yd{ \Bbbk \mathtt{C}}$) where
$R^{\mathtt{F}}  = R$ as a subalgebra and $U'$-module but
with $\gpdos^{\mathtt{F}} \simeq \gpdos$ acting by
\begin{align*}
\gamma \rightharpoonup r  &= \mathtt{F}(\gamma)^{-1} \cdot \left(\gamma \cdot r\right),&
r \in R, \gamma &\in \gpdos.
\end{align*}

\begin{enumerate}[leftmargin=*, resume,label=\rm{(\alph*)}]
\item\label{item:change-boso-c} Assume that
\begin{enumerate}[leftmargin=*,label=\rm{(\roman*)}]
\item\label{item:change-boso-c-1} $\mathtt{C}$ and $\gpdos$ are abelian and $\mathtt{F}$ has a section
$\vartheta \in \operatorname{Hom}_{\emph{gps}} \left(\mathtt{C}, \gpdos\right)$,

\item\label{item:change-boso-c-2} For every $r\in R$ and $c\in \mathtt{C}$, $c \cdot r = \vartheta(c) \cdot r$.
\end{enumerate}
\end{enumerate}
Let $\gptres^{\mathtt{F}} \coloneqq \ker \mathtt{F} \times \{e\}$.  Then the subalgebra
$R^{\mathtt{F}} \sharp U' \otimes  \Bbbk \gptres^{\mathtt{F}}$ has a structure of Hopf algebra denoted $\mathcal{L}^{\mathtt{F}}$
such that $ \Bbbk \mathtt{C} \hookrightarrow \mathscr{L}^{\mathtt{F}} \twoheadrightarrow \mathcal{L}^{\mathtt{F}}$ is exact.
Furthermore $R^{\mathtt{F}}$ is a Hopf algebra in $\yd{U' \otimes  \Bbbk \gptres^{\mathtt{F}}}$.
\end{prop}

\begin{proof} \ref{item:change-boso-a}:
Let $\pi^{\mathtt{F}}: L \rtimes  \Bbbk \mathtt{C} \to  \Bbbk \mathtt{C}$ be  the Hopf algebra projection given by
\begin{align*}
\pi^{\mathtt{F}} (r \# u \otimes \gamma \otimes c) &= \varepsilon(r)\varepsilon(u) \, \mathtt{F}(\gamma) c,&
r \in R,\ u \in U', \  &\gamma \in \gpdos, \ c\in  \mathtt{C}.
\end{align*}
Then $\pi^{\mathtt{F}}\iota = \operatorname{id}_{ \Bbbk \mathtt{C}}$ and the claim follows from \cite{Rad-libro} taking the subalgebra
\begin{align*}
\mathscr{L}^{\mathtt{F}} \coloneqq \left(L \rtimes  \Bbbk \mathtt{C}\right)^{\text{co }\pi^{\mathtt{F}}} = R \cdot U' \otimes  \Bbbk \gpdos^{\mathtt{F}}.
\end{align*}

\ref{item:change-boso-b} The Hopf algebra maps $\xymatrix{\mathscr{L}^{\mathtt{F}} \ar@<0.5ex>@{->}[r]^{p^{\mathtt{F}}} &  U' \otimes  \Bbbk  \gpdos^{\mathtt{F}} \ar@<0.5ex>@{->}[l]^{\imath^{\mathtt{F}}}}$ given  by
\begin{align*}
&\begin{aligned}
p^{\mathtt{F}} (r \# u \otimes \gamma \mathtt{F}(\gamma)^{-1}) &= \varepsilon(r)\varepsilon(u) (1\# \gamma \mathtt{F}(\gamma)^{-1}),
\\
\imath^{\mathtt{F}} (u \otimes \gamma \mathtt{F}(\gamma)^{-1}) &= 1 \# u \otimes \gamma \mathtt{F}(\gamma)^{-1},
\end{aligned}
& r \in R,\ u \in U', \  &\gamma \in \gpdos,
\end{align*}
satisfy $p^{\mathtt{F}}\imath^{\mathtt{F}} = \operatorname{id}_{ \Bbbk \gpdos^{\mathtt{F}}}$. Hence
$R^{\mathtt{F}} \coloneqq \left(\mathscr{L}^{\mathtt{F}} \right)^{\text{co } p^{\mathtt{F}}}$ and the claim follows.

\ref{item:change-boso-c} By \ref{item:change-boso-c-1},
$\gpdos^{\mathtt{F}} \simeq \gptres^{\mathtt{F}} \times\mathtt{C}^{\vartheta}$ where
$\mathtt{C}^{\vartheta} = \{(\vartheta(c)^{-1}, c): c\in \mathtt{C} \}$ and using also \ref{item:change-boso-c-1},
$\mathtt{C}^{\vartheta}$ is central in $\mathscr{L}^{\mathtt{F}}$.
Now the multiplication provides a linear isomorphism
\begin{align*}
\mathscr{L}^{\mathtt{F}} \simeq R^{\mathtt{F}} \sharp( U' \otimes  \Bbbk \gpdos^{\mathtt{F}})
\simeq R^{\mathtt{F}} \sharp\big( U' \otimes ( \Bbbk \gptres^{\mathtt{F}} \times  \Bbbk \mathtt{C}^{\vartheta})\big)
\simeq\left( R^{\mathtt{F}} \sharp U' \otimes  \Bbbk \gptres^{\mathtt{F}}\right) \otimes  \Bbbk \mathtt{C}^{\vartheta}.
\end{align*}
Then the quotient $\mathcal{L}^{\mathtt{F}} \simeq \mathscr{L}^{\mathtt{F}}/ \Bbbk (\mathtt{C}^{\vartheta})^+ \mathscr{L}^{\mathtt{F}}$ is isomorphic as an algebra
to the subalgebra $R^{\mathtt{F}} \sharp U' \otimes  \Bbbk \gptres^{\mathtt{F}}$. The rest is clear.
\end{proof}

The situation that we have in mind is when $\mathtt{C} = C_N$ and $R = \oplus_{i \in C_N} R_i$
has a $C_N$-grading of Hopf algebras in $\yd{U}$. For instance,
let $\mathcal{V} \in \yd{ \Bbbk \gpdos}$ be $C_N$-graded and take $R = \mathscr{B}(\mathcal{V})$ (or any pre-Nichols algebras whose defining relations are $C_N$-homogeneous).
We fix $\omega \in \mathbb G_N$ (what amounts in this case to fix a quasi-triangular structure
on $ \Bbbk C_{N}$) and let act $C_N$ on $R_i$ by $\omega^i$.

We discuss two specific examples of interest in this paper.
In the rest of this Section $\operatorname{char}  \Bbbk \neq 2$, in particular $\operatorname{char}  \Bbbk = 0$ is allowed.
Recall that $R =  \Bbbk[\zeta]$ with $\zeta$ primitive and $\Gamma \simeq \mathbb Z$.
We fix generators
\begin{align}\label{eq:generators-groups}
C_2 &= \langle \epsilon \rangle, & \Gamma &= \langle \mathbf{g} \rangle.
\end{align}

\begin{example}
We realize  $(V, c)$, with braiding \eqref{eq:braidingsuperjordan}, in $\customyd{ \Bbbk\Gamma}$ by
\begin{align}\label{eq:realization-yd-Gamma}
\mathbf{g}\rightharpoonup x}%{\mathbf x_1 &= -x}%{\mathbf x_1, & \mathbf{g} \rightharpoonup x}%{\mathbf x_2 &= -x}%{\mathbf x_2 + x}%{\mathbf x_1, & \delta(x}%{\mathbf x_i) &= \mathbf{g} \otimes x}%{\mathbf x_i,
& i &=1,2.
\end{align}
Since the ideal of $T(V)$ generated by the relations \eqref{eq:def-super-jordan} belongs to $\customyd{ \Bbbk\Gamma}$,
$\mathcal{B}$ is a Hopf algebra in $\customyd{ \Bbbk\Gamma}$ hence we have
\begin{align}\label{eq:def-hopfuno}
\mathtt{H} &\coloneqq \mathcal{B}\# \Bbbk\Gamma.
\end{align}
Now thinking on $V$ as purely odd and taking $\mathtt{C} = C_2$, $\gpdos = \Gamma$, $L = \mathtt{H}$,
$U =  \Bbbk \Gamma$ and $\mathtt{F}:\Gamma \to C_2$ the standard projection, we have
$\mathtt{H} \rtimes  \Bbbk C_2 \simeq \widetilde{\mathcal{H}} \#  \Bbbk C_2$ where
\begin{align}\label{eq:def-cH}
\widetilde{\mathcal{H}} \simeq \mathcal{B} \, \natural \,  \Bbbk\Gamma,
\end{align}
that corresponds to the realization of $V$ in $\customyds{ \Bbbk\Gamma}$ by
\begin{align}\label{eq:realization-yds-Gamma}
&\mathbf{g}\rightharpoonup x}%{\mathbf x_1 = x}%{\mathbf x_1, \ \mathbf{g} \rightharpoonup x}%{\mathbf x_2 = x}%{\mathbf x_2 - x}%{\mathbf x_1, \ \delta(x}%{\mathbf x_i) = \mathbf{g} \otimes x}%{\mathbf x_i, \
|x_i| = 1,& i &\in \mathbb I_2.
\end{align}
Since $\mathtt{F}$ admits no section, there is no further decomposition.
\end{example}

\begin{example}
Analogously we realize $(W, c_{W})$, cf. \eqref{eq:braidingsuperjordandual}, in $\customyd{R\otimes \Bbbk C_2}$ by
\begin{align} \label{eq:realization-yd-polring}
&\begin{aligned}
\zeta\rightharpoonup u}%{\mathbf u_i &= u}%{\mathbf u_i,& \epsilon\rightharpoonup u}%{\mathbf u_i, &= -u}%{\mathbf u_i, \\
\delta(u}%{\mathbf u_1) &= \epsilon \otimes u}%{\mathbf u_1, & \delta(u}%{\mathbf u_2) &= \epsilon\otimes u}%{\mathbf u_2 - \zeta\epsilon\otimes u}%{\mathbf u_1,
\end{aligned}
& i &=1,2.
\end{align}
As before $\mathcal{B}^d$ is a Hopf algebra in $\customyd{R\otimes \Bbbk C_2}$ hence we have
\begin{align}\label{eq:def-hopfdos}
\mathtt{K} &\coloneqq \mathcal{B}^d \#(R\otimes \Bbbk C_2).
\end{align}
Now thinking on $W$ as a purely odd super vector space and taking $\mathtt{C} = C_2\simeq \gpdos$, $L = \mathtt{K}$,
$U = R\otimes \Bbbk C_2$ and $\mathtt{F} = \operatorname{id}_{C_2}$, we have
$\mathtt{K}\rtimes  \Bbbk C_2 \simeq \widetilde{\mathscr{K}} \#  \Bbbk C_2$, where
$\widetilde{\mathscr{K}} \simeq \mathcal{B}^d \, \natural \, ( R \otimes  \Bbbk C_2)$;
furthermore $ \Bbbk C_2$ is central and
\begin{align}\label{eq:def-cK}
\widetilde{\mathcal{K}}
&\coloneqq \widetilde{\mathscr{K}} / \hspace{-3pt} /  \Bbbk C_2  \simeq \mathcal{B}^d \, \natural \, R.
\end{align}
Here
the last corresponds to the realization of $W$ in $\customyds{R}$ by
\begin{align}\label{eq:realization-yds-polring}
&\begin{aligned}
\zeta\rightharpoonupu}%{\mathbf u_i &= u}%{\mathbf u_i,& |u_i| &= 1,& i &=1,2,
\\
\delta(u}%{\mathbf u_1) &= 1\otimes u}%{\mathbf u_1, & \delta(u}%{\mathbf u_2) &= 1\otimes u}%{\mathbf u_2 - \zeta\otimes u}%{\mathbf u_1.&&
\end{aligned}\end{align}

\end{example}

The superalgebras $\widetilde{\mathcal{H}}$ and $\widetilde{\mathcal{K}}$ admit a suitable Hopf pairing that allows an alternative
characterization of the Hopf superalgebra $\widetilde{\mathcal{D}}$, see Remark \ref{rem:widetildeD-doble}.

\section{The double of the super Jordan plane}\label{sec:double-superjordan}

\subsection{The  definition}
We define the  Drinfeld double $\mathtt{D}$ of
$\mathtt{H} = \mathcal{B}\# \Bbbk\Gamma$, see \eqref{eq:def-hopfuno}, with respect to a suitable pairing with
$\mathtt{K} = \mathcal{B}^d\#(R \otimes  \Bbbk C_{2})$, see \eqref{eq:def-hopfdos}.
Then we show that there exists a Hopf superalgebra $\widetilde{\mathcal{D}}$ such that $\mathtt{D} \simeq \widetilde{\mathcal{D}} \#  \Bbbk C_2$.
In this way  $\widetilde{\mathcal{D}}$ is fundamental to the study of the Drinfeld double $\mathtt{D}$; among other characteristics, it bears a triangular decomposition \eqref{eq:Dtilde-triang-decomp}.

\medbreak
To start with the Hopf algebras $\mathtt{H}$ and $\mathtt{K}$ have PBW-basis, denoted by $\mathsf{B}_{\mathtt{H}}$,
$\mathsf{B}_{\mathtt{K}}$, given by the ordered monomials \eqref{eq:monomials:jordan}
or \eqref{eq:monomials:jordan-dual} multiplied accordingly by elements of the groups $\Gamma$ and $C_2$,
or powers of $\zeta$.
The comultiplications of $\mathtt{H}$, respectively $\mathtt{K}$ satisfy $x}%{\mathbf x_1, x}%{\mathbf x_2 \in {\mathcal P}_{\mathbf{g}, 1}(\mathtt{H})$,
$u}%{\mathbf u_1  \in {\mathcal P}_{\epsilon, 1}(\mathtt{K})$ and
\begin{align}\label{eq:comultiplication-Hb1}
\Delta(u}%{\mathbf u_2) &= u}%{\mathbf u_2\otimes 1 + \epsilon\otimes u}%{\mathbf u_2 - \epsilon\zeta\otimes u}%{\mathbf u_1.
\end{align}

\begin{lemma}
The algebra $\mathtt{H}$ is presented by generators $x}%{\mathbf x_1,x}%{\mathbf x_2,\mathbf{g}, \mathbf{g}^{-1}$ and relations
\eqref{eq:def-super-jordan},
\begin{align}\label{eq:Relaciones-Hb}
\mathbf{g} x}%{\mathbf x_1 &= -x}%{\mathbf x_1\mathbf{g} , & \mathbf{g} x}%{\mathbf x_2 &= -x}%{\mathbf x_2 \mathbf{g} + x}%{\mathbf x_1\mathbf{g}, &
\mathbf{g} ^{\pm 1} \mathbf{g} ^{\mp 1} &= 1.
\end{align}
Also, $\mathtt{K}$ is presented by generators $ u}%{\mathbf u_1, u}%{\mathbf u_2,\zeta, \epsilon$ and relations
\eqref{eq:def-super-jordan} (in the $u_i$'s),
\begin{align}
\label{eq:relation-epsilon}
\epsilon ^2 & = 1, & \epsilon \zeta & = \zeta\epsilon,
\\
\label{eq:Relaciones-Kb1}
\epsilon u_1 & = -u_1 \epsilon, & \epsilon u_2 & = -u_2 \epsilon,
\\
\label{eq:Relaciones-Kb}
\zeta u}%{\mathbf u_1  &= u}%{\mathbf u_1\zeta + u}%{\mathbf u_1, &  \zeta u}%{\mathbf u_2  &= u}%{\mathbf u_2\zeta + u}%{\mathbf u_2. \hspace{50pt}\qed
\end{align}
\end{lemma}

We define the Drinfeld double of $\mathtt{H}$ as  $\mathtt{D} \coloneqq \mathtt{H} \bowtie \mathtt{K}^{\operatorname{op}}$, see Remark \ref{rem:double},
with respect to the unique skew-pairing $\tau: \mathtt{H} \otimes \mathtt{K}^{\operatorname{op}} \to  \Bbbk$
such that
\begin{align*}
\tau(x}%{\mathbf x_1 \otimes u_1) &= 0, & \tau(x}%{\mathbf x_1\otimes u_2) &= 1, & \tau(x}%{\mathbf x_1\otimes\zeta) &=0, & \tau(x}%{\mathbf x_1\otimes\epsilon) &=0,
\\
\tau(x}%{\mathbf x_2\otimes u}%{\mathbf u_1) &= 1, & \tau(x}%{\mathbf x_2\otimes u}%{\mathbf u_2) &= 0, &  \tau(x}%{\mathbf x_2\otimes\zeta) &=0, & \tau(x}%{\mathbf x_2\otimes\epsilon) &=0,
\\
\tau(\mathbf{g} ^{\pm 1}\otimes u}%{\mathbf u_1) &= 0, & \tau(\mathbf{g} ^{\pm 1}\otimes u}%{\mathbf u_2) &=0,& \tau(\mathbf{g} ^{\pm 1}\otimes\zeta) &= \pm 1,
 & \tau(\mathbf{g} ^{\pm 1}\otimes\epsilon) &= -1.
\end{align*}

\begin{prop}\label{prop:presentation-tilde-D-0}
The algebra $\mathtt{D}$ is presented by generators $x}%{\mathbf x_1$, $x}%{\mathbf x_2$, $\zeta$, $\mathbf{g}$, $\epsilon$, $u}%{\mathbf u_1$, $u}%{\mathbf u_2$ with relations \eqref{eq:def-super-jordan} (in the $ x}%{\mathbf x_i$'s and in the $u}%{\mathbf u_i$'s), \eqref{eq:Relaciones-Hb},
\eqref{eq:relation-epsilon}, \eqref{eq:Relaciones-Kb1},
\begin{align}
\label{eq:Relaciones-Kb-op}
u}%{\mathbf u_1 \zeta  &= \zetau}%{\mathbf u_1 + u}%{\mathbf u_1, & u}%{\mathbf u_2\zeta &= \zetau}%{\mathbf u_2 + u}%{\mathbf u_2,
\\
\label{eq:Relaciones-D0-part2}
\epsilon \mathbf{g} &= \mathbf{g} \epsilon,& \zeta \mathbf{g} &= \mathbf{g} \zeta,
\\
\label{eq:genpi-xb}
\epsilon x}%{\mathbf x_1 &= - x}%{\mathbf x_1\epsilon, &\epsilon x}%{\mathbf x_2 &= - x}%{\mathbf x_2\epsilon,
\\ \label{eq:zeta-xi}
\zeta x}%{\mathbf x_1 &= x}%{\mathbf x_1 \zeta + x}%{\mathbf x_1, & \zeta x}%{\mathbf x_2 &= x}%{\mathbf x_2 \zeta + x}%{\mathbf x_2,
\\
u}%{\mathbf u_2 \mathbf{g} &= -\mathbf{g} u}%{\mathbf u_2 + \mathbf{g} u}%{\mathbf u_1, & u}%{\mathbf u_1 \mathbf{g} &= -\mathbf{g} u}%{\mathbf u_1,
\\
\label{eq:Relaciones-D0-part1}
u}%{\mathbf u_1 x}%{\mathbf x_1 &= -x}%{\mathbf x_1 u}%{\mathbf u_1, &
u}%{\mathbf u_1 x}%{\mathbf x_2 &= -x}%{\mathbf x_2 u}%{\mathbf u_1 +(1-\mathbf{g}\epsilon),
\\  u}%{\mathbf u_2 x}%{\mathbf x_2 &= -x}%{\mathbf x_2 u}%{\mathbf u_2 +\mathbf{g}\epsilon \zeta + x}%{\mathbf x_2 u}%{\mathbf u_1,
& u}%{\mathbf u_2 x}%{\mathbf x_1 &= -x}%{\mathbf x_1 u}%{\mathbf u_2 +(1-\mathbf{g}\epsilon) + x}%{\mathbf x_1 u}%{\mathbf u_1,
\end{align}

The family $\mathsf{B}_{\mathtt{D}}$ consisting of the monomials
\begin{align}\label{eq:base_D_0}
\begin{aligned}
x}%{\mathbf x_1^{n_1} x}%{\mathbf x_{21}^{n_{21}} x}%{\mathbf x_2^{n_2} \mathbf{g}^n \zeta^m u}%{\mathbf u_1^{m_1} u}%{\mathbf u_{21}^{m_{21}} u}%{\mathbf u_2^{m_2} \epsilon^k
\end{aligned}
\end{align}
with  $(k,n_1,m_1,n,n_2,n_{21},m,m_2,m_{21})\in \mathbb I_{0,1}^3\times \mathbb Z \times \mathbb N_0^5$ is a basis of $\mathtt{D}$.
\end{prop}
\begin{proof}
Let $A$ be the algebra presented as in the statement;
then $A\twoheadrightarrow \mathtt{D}$. As $\mathsf{B}_{\mathtt{D}}$ is a basis of $ \mathtt{D}$ by construction, the corresponding monomials are linearly independent in $A$.
Let $S= \{x}%{\mathbf x_1,x}%{\mathbf x_{21},x}%{\mathbf x_2,\mathbf{g},\zeta,u}%{\mathbf u_1,u}%{\mathbf u_{21},u}%{\mathbf u_2, \epsilon\}$ with $x}%{\mathbf x_{21}$ and $u}%{\mathbf u_{21}$  as before,
ordered by $x}%{\mathbf x_1<x}%{\mathbf x_{21}<x}%{\mathbf x_2<\mathbf{g}<\zeta<u}%{\mathbf u_1<u}%{\mathbf u_{21}<u}%{\mathbf u_2<\epsilon$.
From the defining relations we have
\begin{align*
&u}%{\mathbf u_{21} x}%{\mathbf x_1 = x}%{\mathbf x_1 u}%{\mathbf u_{21},
\quad \epsilon u}%{\mathbf u_{21} =  u}%{\mathbf u_{21}\epsilon, \quad u}%{\mathbf u_1 x}%{\mathbf x_{21} =  x}%{\mathbf x_{21} u}%{\mathbf u_1,
\quad \epsilon x}%{\mathbf x_{21} = x}%{\mathbf x_{21} \epsilon,
\\
&u}%{\mathbf u_{21} x}%{\mathbf x_2 = x}%{\mathbf x_2 u}%{\mathbf u_{21} + (\mathbf{g}\epsilon + 1) u}%{\mathbf u_1,  \quad
\zeta x_{21} = x}%{\mathbf x_{21} \zeta + 2 x}%{\mathbf x_{21},
\\ &u}%{\mathbf u_2 x}%{\mathbf x_{21} = x}%{\mathbf x_{21} u}%{\mathbf u_2 - 2 x}%{\mathbf x_{21} u}%{\mathbf u_1 + x}%{\mathbf x_1(\mathbf{g}\epsilon +1).
\end{align*}
If $a > b\in S$, then $ab$ is a linear combination of monomials $c_1\cdots c_s$ with $c_1\leq c_2\leq\cdots\leq c_s\in S$. Thus  the monomials \eqref{eq:base_D_0}
generate $A$ and  $A\simeq \mathtt{D}$.
\end{proof}

Let $\widetilde{\mathbf{g}}\coloneqq \mathbf{g}\epsilon$ and $\widetilde{\mathcal{D}} \coloneqq  \Bbbk \langle x}%{\mathbf x_1, x}%{\mathbf x_2, u}%{\mathbf u_1, u}%{\mathbf u_2, \widetilde{\mathbf{g}}, \zeta\rangle \hookrightarrow \mathtt{D}$.
\begin{prop}\label{prop:Db}
\begin{enumerate}[leftmargin=*,label=\rm{(\roman*)}]
\item\label{prop:Db-1} A basis of $\widetilde{\mathcal{D}}$ is given by the family $\mathsf{B}$ consisting of monomials
\begin{align*}
&x}%{\mathbf x_1^{n_1} x}%{\mathbf x_{21}^{n_{21}} x}%{\mathbf x_2^{n_2} \widetilde{\mathbf{g}}^n \zeta^m u}%{\mathbf u_1^{m_1} u}%{\mathbf u_{21}^{m_{21}} u}%{\mathbf u_2^{m_2},
&(n_1,m_1,n,n_2,n_{21},m,m_2,m_{21})\in \mathbb I_{0,1}^2\times \mathbb Z \times \mathbb N_0^5.
\end{align*}

\medbreak
\item\label{prop:Db-4} $\widetilde{\mathcal{D}}$ has a triangular decomposition i.e. a linear isomorphism induced by multiplication
\begin{align}\label{eq:Dtilde-triang-decomp}
\widetilde{\mathcal{D}} \simeq \mathcal{B} \otimes ( \Bbbk\Gamma\otimes R) \otimes (\mathcal{B}^d)^{\operatorname{op}}.
\end{align}

\medbreak
\item\label{prop:Db-2} The algebra  $\widetilde{\mathcal{D}}$ is presented by generators $x}%{\mathbf x_1$, $x}%{\mathbf x_2$, $u}%{\mathbf u_1$, $u}%{\mathbf u_2$, $\widetilde{\mathbf{g}}^{\pm1}$, $\zeta$ with defining relations \eqref{eq:def-super-jordan} (in the $x_i$'s and the $u_i$'s), \eqref{eq:Relaciones-Kb-op}, \eqref{eq:zeta-xi},
\eqref{eq:Relaciones-D0-part1} (with $\widetilde{\mathbf{g}}$ instead of $\mathbf{g} \epsilon$) and
\begin{align*}
\widetilde{\mathbf{g}} ^{\pm 1} \widetilde{\mathbf{g}} ^{\mp 1} &= 1, &\zeta \widetilde{\mathbf{g}} &= \widetilde{\mathbf{g}} \zeta, &
\widetilde{\mathbf{g}} x}%{\mathbf x_1 &= x}%{\mathbf x_1\widetilde{\mathbf{g}}, \\
\widetilde{\mathbf{g}} x}%{\mathbf x_2 &= x}%{\mathbf x_2 \widetilde{\mathbf{g}} - x}%{\mathbf x_1\widetilde{\mathbf{g}}, &
u}%{\mathbf u_2 \widetilde{\mathbf{g}} &= \widetilde{\mathbf{g}} u}%{\mathbf u_2 - \widetilde{\mathbf{g}} u}%{\mathbf u_1, & u}%{\mathbf u_1 \widetilde{\mathbf{g}} &= \widetilde{\mathbf{g}} u}%{\mathbf u_1.
\end{align*}

\medbreak
\item\label{prop:Db-3}  $\widetilde{\mathcal{D}}\# \Bbbk C_2\simeq \mathtt{D}$ as Hopf algebras;
here $\widetilde{\mathcal{D}}$ is a Hopf superalgebra with co\-multiplication given by
$\widetilde{\mathbf{g}}\in G(\widetilde{\mathcal{D}}), \, \zeta, u}%{\mathbf u_1\in{\mathcal P}(\widetilde{\mathcal{D}}), \,
x}%{\mathbf x_1, x}%{\mathbf x_2 \in {\mathcal P}_{\widetilde{\mathbf{g}}, 1}(\widetilde{\mathcal{D}})$ and
\begin{align}
\label{eq:comultiplication-Dtilde}
\Delta_{\widetilde{\mathcal{D}}}(u}%{\mathbf u_2) &= u}%{\mathbf u_2\otimes 1 + 1\otimes u}%{\mathbf u_2 - \zeta\otimes u}%{\mathbf u_1,
\end{align}

\end{enumerate}
\end{prop}
\begin{proof}
\ref{prop:Db-1} Argue as in the proof of Proposition \ref{prop:presentation-tilde-D-0}; in turn
\ref{prop:Db-1} implies \ref{prop:Db-4}.

\ref{prop:Db-2} Let $A$ be the algebra as in the statement. Using the commutation relations we have a surjective map of algebras $\phi\colon A\twoheadrightarrow \widetilde{\mathcal{D}}$.
Clearly the family $\mathsf{B}'$ consisting of the  monomials analogous to those in $\mathsf{B}$ generates $A$ and is linearly independent because $\phi(\mathsf{B}') = \mathsf{B}$. Hence $A\simeq \widetilde{\mathcal{D}}$.

\ref{prop:Db-3} Let us identify $ \Bbbk C_2$ with the subalgebra of $\mathtt{D}$ generated by $\epsilon\in G(\mathtt{D})$
by $\iota\colon  \Bbbk C_2 \hookrightarrow \mathtt{D}$.
There is a Hopf algebra map $\pi\colon \mathtt{D}\twoheadrightarrow  \Bbbk C_2$  given by
\begin{align*}
x}%{\mathbf x_1&\mapsto 0, & x}%{\mathbf x_2&\mapsto 0, & u}%{\mathbf u_1&\mapsto 0, & u}%{\mathbf u_2&\mapsto 0, & \mathbf{g}&\mapsto \epsilon, & \zeta&\mapsto 0, & \epsilon &\mapsto \epsilon.
\end{align*}
Then $\pi \iota = \operatorname{id}$ and
$\mathtt{D} \simeq \mathtt{D}^{\operatorname{co} \pi} \#  \Bbbk C_2$.
Clearly $\widetilde{\mathcal{D}}\subseteq \mathtt{D}^{\operatorname{co} \pi}$ because every generator of $\widetilde{\mathcal{D}}$ is
coinvariant, and $\widetilde{\mathcal{D}}$ is a braided Hopf algebra in $\customyd{ \Bbbk C_2}$ with comultiplication $\Delta_{\widetilde{\mathcal{D}}}$ as in \eqref{eq:comultiplication-Dtilde}. But $\widetilde{\mathcal{D}}\# \Bbbk C_2$ contains  $\mathsf{B}_{\mathtt{D}}$, thus $\widetilde{\mathcal{D}} = \mathtt{D}^{\operatorname{co} \pi}$.
Since every generator of $\widetilde{\mathcal{D}}$ is either even or odd, $\widetilde{\mathcal{D}}$ is a Hopf superalgebra.
\end{proof}

\begin{remark} \label{rem:widetildeD-doble}
Recall the Hopf superalgebras $\widetilde{\mathcal{H}}$ \eqref{eq:def-cH} and $\widetilde{\mathcal{K}}$ \eqref{eq:def-cK}.
There are Hopf superalgebra maps $\widetilde{\mathcal{H}}\hookrightarrow \widetilde{\mathcal{D}}$ and $\widetilde{\mathcal{K}}^{\operatorname{op}}\hookrightarrow \widetilde{\mathcal{D}}$
(by the presentation of $\widetilde{\mathcal{D}}$) and
$\widetilde \mathcal{D}$ is isomorphic to the double of $\widetilde\mathcal{H}$ with respect to a suitable skew-pairing, cf. \cite{gzb}.
\end{remark}

\subsection{The double as a super abelian extension}
We show that $\widetilde{\mathcal{D}}$ fits into an exact sequence of Hopf superalgebras
$R \hookrightarrow \widetilde{\mathcal{D}} \twoheadrightarrow U$
with $R$ super commutative and $U$ super cocommutative.

Let $\mathfrak{G}$ be the super algebraic group such that its algebra of functions is
the commutative Hopf superalgebra $\mathcal{O}(\mathfrak{G}) \coloneqq  \Bbbk[X_1,X_2,T^{\pm}]\otimes\Lambda(Y_1,Y_2)$ with
\begin{align*}
|X_1| &= |X_2| = |T| = 0, & |Y_1| &= |Y_2| = 1,
\end{align*}
and comultiplication
\begin{align}\label{eq:comultiplication-of-super-G}
\begin{aligned}
&\begin{aligned}\Delta(X_1) &= X_1 \otimes 1 + T^2 \otimes X_1 + Y_1 T \otimes Y_1,& \Delta(T) &= T\otimes T,\\
\Delta(X_2) &= X_2 \otimes 1 + 1\otimes X_2 + Y_2\otimes Y_2,
\end{aligned}
\\
&\begin{aligned}
\Delta(Y_2) &= Y_2 \otimes 1 + 1 \otimes Y_2, & \Delta(Y_1) &= Y_1 \otimes 1 + T \otimes Y_1.
\end{aligned}
\end{aligned}
\end{align}

\begin{theorem}\label{prop:Db-exact}
There is an exact sequence of Hopf superalgebras
\begin{align}\label{eq:Db-exact}
\mathcal{O}(\mathfrak{G})\hookrightarrow \widetilde{\mathcal{D}}\twoheadrightarrow U(\mathfrak{osp}(1|2)).
\end{align}
\end{theorem}
\begin{proof}
From the defining relations of $\widetilde{\mathcal{D}}$ we deduce that
\begin{align*}
x}%{\mathbf x_{21} x}%{\mathbf x_1 &= x}%{\mathbf x_1 x}%{\mathbf x_{21}, & x}%{\mathbf x_{21} u}%{\mathbf u_1 &= u}%{\mathbf u_1 x}%{\mathbf x_{21}, & u}%{\mathbf u_{21} u}%{\mathbf u_1 &= u}%{\mathbf u_1 u}%{\mathbf u_{21}, \\
\widetilde{\mathbf{g}}  x}%{\mathbf x_{21} &= x}%{\mathbf x_{21} \widetilde{\mathbf{g}}, & x}%{\mathbf x_{21} u}%{\mathbf u_{21} &= u}%{\mathbf u_{21} x}%{\mathbf x_{21}, & \widetilde{\mathbf{g}} u}%{\mathbf u_{21} &= u}%{\mathbf u_{21} \widetilde{\mathbf{g}}.
\end{align*}
Hence the  map $\iota: \mathcal{O}(\mathfrak{G}) \hookrightarrow \widetilde{\mathcal{D}}$ given by
\begin{align*}
Y_1 &\mapsto x}%{\mathbf x_1, & Y_2&\mapsto u}%{\mathbf u_1, & X_1 &\mapsto x}%{\mathbf x_{21}, & X_2 &\mapsto u}%{\mathbf u_{21}, & T&\mapsto \widetilde{\mathbf{g}}
\end{align*}
is a well defined injective morphism of Hopf superalgebras.
Next the  map $\pi\colon \widetilde{\mathcal{D}} \longrightarrow U(\mathfrak{osp}(1|2))$ given by
\begin{align*}
x}%{\mathbf x_1 &\mapsto 0, & x}%{\mathbf x_2 &\mapsto \psi^-, & u}%{\mathbf u_1&\mapsto 0, & u}%{\mathbf u_2&\mapsto \psi^+, & \widetilde{\mathbf{g}}&\mapsto 1, & \zeta&\mapsto -h.
\end{align*}
is a well defined surjective morphism of Hopf superalgebras,
since $\pi(x}%{\mathbf x_{21}) = \pi(u}%{\mathbf u_{21})=0$, $\pi(-x}%{\mathbf x_2^2) = f$ and $\pi(u}%{\mathbf u_2^2) = e$.
We check that $\ker \pi = \widetilde{\mathcal{D}} \iota(\mathcal{O}(\mathfrak{G}))^+$ using the PBW-basis of $\widetilde{\mathcal{D}}$.
Thus \eqref{eq:Db-exact} is exact.
\end{proof}
\subsection{A central Hopf subalgebra} In this Subsection $\operatorname{char}  \Bbbk = p > 2$. We show that $\widetilde{\mathcal{D}}$ has a central Hopf subalgebra $Z = \mathcal{O}(\mathbf B)$, with $\mathbf B$ a solvable algebraic group. We shall need the following commutation relations in $\widetilde{\mathcal{D}}$.
\begin{lemma}\label{lemma:commutation-relations-Db}
The following equalities are valid for all $n,m\in\mathbb N_0$:
\begin{align*}
x}%{\mathbf x_2^{2m} x}%{\mathbf x_{21}^n =& \sum_{k=0}^{m} \binom{m}{k} [n]^{[k]} x}%{\mathbf x_{21}^{n+k} x}%{\mathbf x_2^{2(m-k)},\\
x}%{\mathbf x_2^{2m+1} x}%{\mathbf x_{21}^n =& \sum_{\ell=0}^1 \sum_{k=0}^{m} \binom{m}{k} [n]^{[k+\ell]} x}%{\mathbf x_1^\ell x}%{\mathbf x_{21}^{n+k} x}%{\mathbf x_2^{2(m-k) -\ell + 1}, \\
x}%{\mathbf x_2^{2m} x}%{\mathbf x_1 =& \sum_{k=0}^m (-1)^k [-m]^{[k]} x}%{\mathbf x_1 x}%{\mathbf x_{21}^k x}%{\mathbf x_2^{2(m-k)},\\
x}%{\mathbf x_2^{2m+1} x}%{\mathbf x_1 =& \sum_{\ell=0}^1\sum_{k=0}^m (-1)^{k+\ell} [-m]^{[k]} x_1^\ell x}%{\mathbf x_{21}^{k-\ell + 1} x}%{\mathbf x_2^{2(m-k)+\ell}\\
\widetilde{\mathbf{g}}^n x}%{\mathbf x_2^{2m} =& \sum_{k=0}^m \binom{m}{k} [-n]^{[k]} x}%{\mathbf x_{21}^k x}%{\mathbf x_2^{2(m-k)} \widetilde{\mathbf{g}}^n,\\
\widetilde{\mathbf{g}}^n x}%{\mathbf x_2^{2m+1} =&  \sum_{\ell=0}^1 \sum_{k=0}^m \binom{m}{k} (-1)^{n+1} [-n]^{[k+\ell]} x_1^\ell x}%{\mathbf x_{21}^k x}%{\mathbf x_2^{2(m-k)-\ell+1} \widetilde{\mathbf{g}}^n,\\
x}%{\mathbf x_2^{2m} x}%{\mathbf x_{21}^n =& \sum_{k=0}^{m} \binom{m}{k} [n]^{[k]} x}%{\mathbf x_{21}^{n+k} x}%{\mathbf x_2^{2(m-k)},\\
x}%{\mathbf x_2^{2m+1} x}%{\mathbf x_{21}^n =& \sum_{\ell=0}^1 \sum_{k=0}^{m} \binom{m}{k} [n]^{[k+\ell]} x}%{\mathbf x_1^\ell x}%{\mathbf x_{21}^{n+k} x}%{\mathbf x_2^{2(m-k) -\ell + 1}, \\
\zeta^n x}%{\mathbf x_2^m =& \sum_{\ell=0}^{n} \binom{n}{\ell}m^{n-\ell} x}%{\mathbf x_2^m \zeta^\ell,\\
\zeta^n x}%{\mathbf x_{21}^m =& \sum_{\ell=0}^{n} \binom{n}{\ell}(2m)^{n-\ell} x}%{\mathbf x_{21}^m \zeta^\ell,\\
u}%{\mathbf u_2^{2m} u}%{\mathbf u_1 =& \sum_{k=0}^m (-1)^k [-m]^{[k]} u}%{\mathbf u_1 u}%{\mathbf u_{21}^k u}%{\mathbf u_2^{2(m-k)},\\
u}%{\mathbf u_2^{2m+1} u}%{\mathbf u_1 =& \sum_{\ell=0}^1\sum_{k=0}^m (-1)^{k+\ell} [-m]^{[k]} x_1^\ell u}%{\mathbf u_{21}^{k-\ell + 1} u}%{\mathbf u_2^{2(m-k)+\ell}\\
u}%{\mathbf u_2^{2m} \widetilde{\mathbf{g}}^n  =& \sum_{k=0}^m \binom{m}{k} [-n]^{[k]}  \widetilde{\mathbf{g}}^n u}%{\mathbf u_{21}^k u}%{\mathbf u_2^{2(m-k)},\\
u}%{\mathbf u_2^{2m+1} \widetilde{\mathbf{g}}^n  =&  \sum_{\ell=0}^1 \sum_{k=0}^m \binom{m}{k} (-1)^{n+1} [-n]^{[k+\ell]} x_1^\ell \widetilde{\mathbf{g}}^n u}%{\mathbf u_{21}^k u}%{\mathbf u_2^{2(m-k)-\ell+1},\\
u}%{\mathbf u_2^m \zeta^n  =& \sum_{\ell=0}^{n} \binom{n}{\ell}m^{n-\ell} \zeta^\ell u}%{\mathbf u_2^m ,\\
u}%{\mathbf u_{21}^m \zeta^n  =& \sum_{\ell=0}^{n} \binom{n}{\ell}(2m)^{n-\ell} \zeta^\ell u}%{\mathbf u_{21}^m,\\
u}%{\mathbf u_2 x}%{\mathbf x_{21}^n =& x}%{\mathbf x_{21} u}%{\mathbf u_2 - 2n x}%{\mathbf x_{21}^n u}%{\mathbf u_1 + n x}%{\mathbf x_1 x}%{\mathbf x_{21}^{n-1}(1+\widetilde{\mathbf{g}}),\\
u}%{\mathbf u_{21}^n x}%{\mathbf x_2 =& x}%{\mathbf x_2 u}%{\mathbf u_{21}^n + n (\widetilde{\mathbf{g}} +1) u}%{\mathbf u_1 u}%{\mathbf u_{21}^{n-1},\\
u}%{\mathbf u_2^{2n} x}%{\mathbf x_1 =& x}%{\mathbf x_1 u}%{\mathbf u_2^{2n} - n x}%{\mathbf x_1 u}%{\mathbf u_{21} u}%{\mathbf u_2^{2(n-1)} + n u}%{\mathbf u_1 u}%{\mathbf u_2^{2n-1},\\
u}%{\mathbf u_2^{2n} x}%{\mathbf x_2 =& x}%{\mathbf x_2 u}%{\mathbf u_2^{2n} - n x}%{\mathbf x_2 u}%{\mathbf u_{21} u}%{\mathbf u_2^{2(n-1)} + n \widetilde{\mathbf{g}} u}%{\mathbf u_2^{2n-1} \\
&- n\widetilde{\mathbf{g}} u}%{\mathbf u_1 u}%{\mathbf u_2^{2(n-1)} - n(n-1)
\widetilde{\mathbf{g}} u}%{\mathbf u_{21} u}%{\mathbf u_2^{2(n-1)-1},\\
u}%{\mathbf u_1 x}%{\mathbf x_2^{2n} =& x}%{\mathbf x_2^{2n}u}%{\mathbf u_1 + nx}%{\mathbf x_2^{2(n-1)}x}%{\mathbf x_1\widetilde{\mathbf{g}} - n(n-1) x}%{\mathbf x_{21} x}%{\mathbf x_2^{2(n-2)}x}%{\mathbf x_1\widetilde{\mathbf{g}},\\
u}%{\mathbf u_2 x}%{\mathbf x_2^{2n} =& x}%{\mathbf x_2^{2n} u}%{\mathbf u_2 - 2n x}%{\mathbf x_2^{2n}u}%{\mathbf u_1 + n x}%{\mathbf x_2^{2n-1} - n x}%{\mathbf x_2^{2(n-1)}x}%{\mathbf x_1 \widetilde{\mathbf{g}} \zeta\\
& + n(n-1)x}%{\mathbf x_{21}x}%{\mathbf x_2^{2(n-2)}x}%{\mathbf x_1\widetilde{\mathbf{g}}\zeta - n(2n-1)x}%{\mathbf x_2^{2(n-1)}x}%{\mathbf x_1\widetilde{\mathbf{g}}\\
& + n(n-1)(2n-1) x}%{\mathbf x_{21}x}%{\mathbf x_2^{2(n-2)}x}%{\mathbf x_1\widetilde{\mathbf{g}},
\end{align*}
\begin{align*}
\widetilde{\mathbf{g}}^n x}%{\mathbf x_1 &=  x}%{\mathbf x_1 \widetilde{\mathbf{g}}^n,& \widetilde{\mathbf{g}}^n x}%{\mathbf x_{21}^m &= x}%{\mathbf x_{21}^m \widetilde{\mathbf{g}}^n,& x}%{\mathbf x_1 x}%{\mathbf x_{21}^n &= x}%{\mathbf x_{21}^n x}%{\mathbf x_1,\\
u}%{\mathbf u_{21}^n x}%{\mathbf x_1 &= x}%{\mathbf x_1 u}%{\mathbf u_{21}^n, & x}%{\mathbf x_{21}^n u}%{\mathbf u_1 &= u}%{\mathbf u_1 x}%{\mathbf x_{21}^n.
\end{align*}
\end{lemma}
\begin{proof}
Straightforward by induction.
\end{proof}
For our next statement we need to set up the notation.
Let
\begin{align}\label{eq:alggroup-B}
\mathbf B \coloneqq \left((\mathbf G_a \times \mathbf G_a) \rtimes \mathbf G_m\right) \times \mathbf H_3
\end{align}
be the algebraic group that in the first factor has the semidirect product where $\mathbf G_m$ acts on $\mathbf G_a \times \mathbf G_a$
by
$\lambda_ \cdot(r_1, r_2) =(\lambda^2 r_1, \lambda^2 r_2)$, $\lambda \in  \ku^{\times}$, $r_1, r_2\in \Bbbk$ while in the second factor
appears the Heisenberg group $\mathbf H_3$ i.e. the group of upper triangular matrices with ones in the diagonal.
Let $\zeta^{(p)}\coloneqq \zeta^p-\zeta$ and $Z \coloneqq  \Bbbk \langle x}%{\mathbf x_{21}^p, x}%{\mathbf x_2^{2p}, u}%{\mathbf u_{21}^p, u}%{\mathbf u_2^{2p}, \widetilde{\mathbf{g}}^p,\zeta^{(p)}\rangle \hookrightarrow \widetilde{\mathcal{D}}$. Note that $Z$ is an even subalgebra.

\begin{theorem}\label{thm:Z} \begin{enumerate}[leftmargin=*,label=\rm{(\roman*)}]
\item\label{Z-1} $Z$ is a central Hopf subalgebra of $\widetilde{\mathcal{D}}$.

\smallbreak
\item\label{Z-2} $\widetilde{\mathcal{D}}$ is a finitely generated free $Z$-module.

\smallbreak
\item\label{Z-3} $Z\simeq  \Bbbk[T^{\pm},X_1,\dots,X_5]$ as an algebra. In particular $Z$ is a domain.

\smallbreak
\item\label{Z-4} $Z\simeq \mathcal{O}(\mathbf B)$ as Hopf algebras.
\end{enumerate}
\end{theorem}
\begin{proof}
\ref{Z-1} By Lemma \ref{lemma:commutation-relations-Db} $Z$ is a even central subalgebra of $\widetilde{\mathcal{D}}$. We need to verify that is a subcoalgebra and invariant by the antipode. We have the following comultiplication formulas for every $n\in \mathbb N$
\begin{align*}
\Delta(x}%{\mathbf x_{21}^n) =& \sum_{\ell=0}^{1}\sum_{k=0}^{n-\ell}\binom{n-\ell}{k} n^\ell
x}%{\mathbf x_1^\ell x}%{\mathbf x_{21}^k \widetilde{\mathbf{g}}^{2(n-k)-\ell}\otimes x}%{\mathbf x_1^\ell
x}%{\mathbf x_{21}^{n-k-\ell},\\
\Delta(x}%{\mathbf x_2^{2n}) =& \sum_{\ell=0}^1\sum_{k=0}^{n-\ell} \sum_{t=0}^{k} \binom{n-\ell}{k}\binom{k}{t} n^\ell
[k-n+\ell]^{[t]}\\
&
x}%{\mathbf x_1^\ell x}%{\mathbf x_{21}^t x}%{\mathbf x_2^{2(k-t)} \widetilde{\mathbf{g}}^{2(n-k)-\ell}\otimes x}%{\mathbf x_2^{2(n-k)-\ell},\\
\Delta(u}%{\mathbf u_{21}^n) =& \sum_{\ell=0}^{1}\sum_{k=0}^{n-\ell}\binom{n-\ell}{k} n^\ell
u}%{\mathbf u_1^\ell u}%{\mathbf u_{21}^k \otimes u}%{\mathbf u_1^\ell u}%{\mathbf u_{21}^{n-k-\ell}.
\end{align*}
Hence $u}%{\mathbf u_{21}^p,\zeta^{(p)}\in{\mathcal P}(\widetilde{\mathcal{D}})$, $x}%{\mathbf x_2^{2p},x}%{\mathbf x_{21}^p$ are $(1,\widetilde{\mathbf{g}}^{2p})$-primitive and $\widetilde{\mathbf{g}}^{p}\in G(\widetilde{\mathcal{D}})$. It only remains to calculate $\Delta(u}%{\mathbf u_2^{2p})$. Recall the formula \eqref{eq:coproduct-dual-super-jordan} and
\begin{align*}
\delta(u}%{\mathbf u_2^{2n}) &=\sum_{k=0}^n \sum_{j=0}^{k} \binom{n}{k} \stirling{k}{j} (-1)^k \zeta^j\otimes u}%{\mathbf u_{21}^ku}%{\mathbf u_2^{2(n-k)}, & n\in\mathbb N,
\end{align*}
where $\stirling{k}{j}$ are the Stirling numbers. Since $[\zeta]^{[p]} = \prod_{i=1}^{p} (\zeta+i-1) = \sum_{k=0}^{p} \stirling{p}{k} \zeta^k = \zeta^p - \zeta$, we have
\begin{align}\label{eq:stirling}
\stirling{p}{k} &= 0, \ k=2,\dots,p-1, &
\stirling{p}{p}&=1, &\text{ and }\stirling{p}{1} &= -1.
\end{align}
Then we get $\Delta(u}%{\mathbf u_2^{2p}) = u}%{\mathbf u_2^{2p}\otimes 1 + 1\otimes u}%{\mathbf u_2^{2p} - \zeta^{(p)}\otimes u}%{\mathbf u_{21}^p$.

\ref{Z-2} To prove this we consider another basis of $\widetilde{\mathcal{D}}$ using a different basis of $ \Bbbk[\zeta]$. The family of
polynomials
\begin{align*}
(\zeta^{(p)})^k \zeta^j, && k\in\mathbb N_0, j\in\mathbb I_{0, p-1},
\end{align*}
is a basis of $ \Bbbk[\zeta]$, see the proof of \cite[Prop. 2.6]{ap}. Thus the elements
\begin{align*}
x}%{\mathbf x_1^{n_1} x}%{\mathbf x_{21}^{n_{21}} x}%{\mathbf x_2^{n_2} \widetilde{\mathbf{g}}^n (\zeta^{(p)})^k \zeta^j u}%{\mathbf u_1^{m_1} u}%{\mathbf u_{21}^{m_{21}} u}%{\mathbf u_2^{m_2},
\end{align*}
with $(n_1,m_1,n,n_2,n_{21},k,m_2,m_{21},j)\in \mathbb I_{0,1}^2\times \mathbb N_0^6\times \mathbb I_{0, p-1}$ form a basis of $\widetilde{\mathcal{D}}$. Hence a basis of $\widetilde{\mathcal{D}}$ as a $Z$-module is given by
\begin{align*}
x}%{\mathbf x_1^{n_1} x}%{\mathbf x_{21}^{n_{21}} x}%{\mathbf x_2^{n_2} \widetilde{\mathbf{g}}^n \zeta^j u}%{\mathbf u_1^{m_1} u}%{\mathbf u_{21}^{m_{21}} u}%{\mathbf u_2^{m_2},
\end{align*}
with $(n_1,m_1,n_2,m_2,n_{21},m_{21},j,n)\in \mathbb I_{0, 1}^2\times\mathbb I_{0, 2p-1}^2\times\mathbb I_{0, p-1}^4$.

\ref{Z-3} The map $\phi\colon  \Bbbk[T^{\pm},X_1,\dots,X_5] \longrightarrow Z$ given by
\begin{align*}
T&\mapsto \widetilde{\mathbf{g}}^p, & X_1&\mapsto x}%{\mathbf x_{21}^p, & X_2&\mapsto x}%{\mathbf x_2^{2p}, & X_3&\mapsto -\zeta^{(p)}, & X_4&\mapsto u}%{\mathbf u_{21}^{p}, &
X_5&\mapsto u}%{\mathbf u_2^{2p},
\end{align*}
is the desired isomorphism of algebras.

\ref{Z-4} It is easy to see that $\mathcal{O}(\mathbf B)\simeq  \Bbbk[T^{\pm},X_1,\dots,X_5]$ with comultiplication determined by $T\in G(\mathcal{O}(\mathbf B))$, $X_1, X_2 \in{\mathcal P}_{T^2,1}(\mathcal{O}(\mathbf B))$,
$X_3, X_5\in{\mathcal P}(\mathcal{O}(\mathbf B))$ and
$\Delta(X_5) = X_5\otimes 1 + 1\otimes X_5 + X_3\otimes X_4$.
The claim follows.
\end{proof}

\subsection{Ring theoretical properties of the double}
\begin{prop}
	\begin{enumerate}[leftmargin=*,label=\rm{(\roman*)}]
\item\label{prop:Ring-Prop-1} The algebra $\widetilde{\mathcal{D}}$ admits an exhaustive ascending filtration
$(\widetilde{\mathcal{D}}_n)_{n\in\mathbb N_{0}}$ such that $\operatorname{gr} \widetilde{\mathcal{D}} \simeq  \Bbbk[X_1,\dots,X_5,T^{\pm 1}] \otimes \Lambda(Y_1,\dots,Y_4)$.
\item\label{prop:Ring-Prop-2} The algebras $\mathtt{D}$ and $\widetilde{\mathcal{D}}$ are noetherian.
\item\label{prop:Ring-Prop-3} If $\operatorname{char}  \Bbbk = p > 2$ then $\widetilde{\mathcal{D}}$ is a PI-algebra.
	\end{enumerate}
\end{prop}
\begin{proof}
 \ref{prop:Ring-Prop-1} Let $A$ be the algebra presented by generators $x}%{\mathbf x_1$, $x}%{\mathbf x_2$, $u}%{\mathbf u_1$, $u}%{\mathbf u_2$, $\zeta$, $\widetilde{\mathbf{g}}^{\pm1}$ and $Z_i$, $i \in \mathbb I_4$, with relations $\widetilde{\mathbf{g}}^{\pm 1} \widetilde{\mathbf{g}}^{\mp 1} = 1$.
 The algebra  $A$ is graded with
 \begin{align*}
 \deg x}%{\mathbf x_1 &= \deg u}%{\mathbf u_1 = 3, &  \deg x}%{\mathbf x_2 &= \deg u}%{\mathbf u_2 = 4, & \deg \widetilde{\mathbf{g}}^{\pm 1} &= \pm 1,\\
 \deg Z_1 &= \deg Z_2 = \deg \zeta = 1, & \deg Z_3 &= \deg Z_4 = 2.
 \end{align*}
 The filtration associated to this grading induces a filtration on $\widetilde{\mathcal{D}}$ via the epimorphism $A\twoheadrightarrow\widetilde{\mathcal{D}}$ given by
\begin{align*}
Z_1 &\mapsto x}%{\mathbf x_{21}, & Z_2 &\mapsto u}%{\mathbf u_{21}, & Z_3 &\mapsto x}%{\mathbf x_2^2, & Z_4 &\mapsto u}%{\mathbf u_2^2,
\end{align*}
the remaining generators being mapped to their homonyms.
The relations of $\widetilde{\mathcal{D}}$ imply that $\operatorname{gr} \widetilde{\mathcal{D}}$ is super conmutative with the same parity as $\widetilde{\mathcal{D}}$. Then $\phi\colon  \Bbbk[X_1,\dots,X_5,T^{\pm 1}] \otimes \Lambda(Y_1,\dots,Y_4) \rightarrow \operatorname{gr} \widetilde{\mathcal{D}}$ given by $X_i\mapsto Z_i$, $i \in \mathbb I_4$, and
\begin{align*}
T&\mapsto \widetilde{\mathbf{g}}, & Y_1&\mapsto x}%{\mathbf x_1, & Y_2&\mapsto x}%{\mathbf x_2, & Y_3&\mapsto u}%{\mathbf u_1, & Y_4&\mapsto u}%{\mathbf u_2, & X_5&\mapsto \zeta
\end{align*}
is an isomorphism of algebras by comparison of the Hilbert series.

\ref{prop:Ring-Prop-2} It is well-known that $ \Bbbk[X_1,\dots,X_5,T^{\pm 1}] \otimes \Lambda(Y_1,\dots,Y_4)$ is noetherian,
hence so is $\widetilde{\mathcal{D}}$ by
\ref{prop:Ring-Prop-1} and a fortiori $\mathtt{D}$ which is a finitely generated $\widetilde{\mathcal{D}}$-module.
\ref{prop:Ring-Prop-3} follows from Theorem \ref{thm:Z}, Proposition \ref{prop:cD-as-Hopf-superalgebra} and \cite[Corollary 1.13]{McRob}.
\end{proof}

\section{The double of the restricted super Jordan plane} \label{sec:double-restricted-superjordan}
In this Section, $\operatorname{char}  \Bbbk  = p > 2$.

\subsection{The bosonizations}
Recall that $R_p =  \Bbbk[\zeta]/(\zeta^p- \zeta)$ is a Hopf algebra
with $\zeta$ primitive.
Besides \eqref{eq:generators-groups} we also fix the generators
\begin{align}\label{eq:generators-groups-p}
C_p &= \langle g \rangle, & C_{2p} &= \langle \gamma \rangle.
\end{align}
It is well-known that $ \Bbbk^{C_p} \simeq R_p$, see e.g. \cite[1.3]{ap}.
Hence
$ \Bbbk^{C_{2p}} \simeq R_p \otimes  \Bbbk C_2$ and
the algebra $ \Bbbk^{C_{2p}}$ is presented  by generators $\epsilon$ and $\zeta$ with relations
\begin{align}\label{eq:relations-super-k^gamma}
\epsilon^2 &= 1,
\\\label{eq:relaciones-K-cursiva}
\zeta^p &= \zeta,
\\\label{eq:relations-super-k^gamma2}
 \epsilon \zeta &= \zeta \epsilon.
\end{align}

We consider the realizations of $V$ in $\customyd{ \Bbbk C_{2p}}$ and $W$ in $\customyd{ \Bbbk^{C_{2p}}}$
given by
\begin{align}\label{eq:V_as_YD_module}
&\begin{aligned}
\gamma\rightharpoonup x_1 &= -x_1, & \gamma\rightharpoonup x_2 &= -x_2 + x_1,&
\delta(x_i) &= \gamma\otimes x_i,& i=1,2;
\end{aligned}
\\
\label{eq:W_as_YD_module}
&\begin{aligned}
\zeta\rightharpoonup u_i &= u_i,& \epsilon\rightharpoonup u_i &= -u_i,& i &=1,2,
\\
\delta(u_1) &= \epsilon\otimes u_1, & \delta(u_2) &= \epsilon\otimes u_2-\zeta\epsilon\otimes u_1, &&
\end{aligned}
\end{align}
Thus we have the Hopf algebras
\begin{align*}
H &\coloneqq \mathscr{B}(V)\# \Bbbk C_{2p}, & K &\coloneqq \mathscr{B}(W) \# \Bbbk^{C_{2p}}.
\end{align*}
They have PBW-basis, denoted by $\mathsf{B}_{H}$ and $\mathsf{B}_{K}$,  given by the ordered monomials \eqref{eq:monomials:jordan}
or \eqref{eq:monomials:jordan-dual} with  $(n_1, n_{21}, n_2) \in\mathbb I_{0, 1} \times \mathbb N_{0} \times \mathbb N_{0}$,
multiplied accordingly by elements of the groups $C_p$, $C_{2p}$, or powers of $\zeta$. Then
\begin{align*}
\dim H &= \dim K = 8p^3.
\end{align*}
The comultiplications  are given by $x_1, x_2 \in {\mathcal P}_{\gamma, 1}(H)$,
$u_1 \in {\mathcal P}_{\epsilon, 1}(K)$ and $\Delta_{K}(u}%{\mathbf u_2)$ by \eqref{eq:comultiplication-Hb1}
Therefore there are surjective Hopf algebra maps
\begin{align*}
\mathtt{H} &\twoheadrightarrow H, & \mathtt{K} &\twoheadrightarrow K.
\end{align*}
The basic properties of $H$ and $K\simeq H^*$ follow without difficulties.

\subsection{The double}
In this subsection we show that the Drinfeld double  of $H$ fits into an exact sequence of Hopf algebras
$ \Bbbk C_2 \hookrightarrow D(H) \twoheadrightarrow D$.

\medbreak
We first give a presentation of $D(H)$; for this we need that of $D( \Bbbk C_{2p})$
which follows easily since $D( \Bbbk C_{2p})\simeq  \Bbbk C_{2p}\otimes  \Bbbk^{C_{2p}} \simeq  \Bbbk C_{2p}\otimes R_p \otimes  \Bbbk C_2$.

\begin{prop}\label{prop:double-H}
$D(H)$ is generated by  $x_1, x_2, \zeta, \epsilon, \gamma, u_1, u_2$
with relations \eqref{eq:def-super-jordan}, \eqref{eq:def-super-jordan-restricted}, \eqref{eq:relations-H-dual2}, \eqref{eq:genpi-xb}, \eqref{eq:zeta-xi}, \eqref{eq:relations-super-k^gamma}, \eqref{eq:relaciones-K-cursiva}, \eqref{eq:relations-super-k^gamma2} and
\begin{align}
\label{relations-super-double-kgamma}
\gamma^{2p} &= 1, & \epsilon \gamma &= \gamma \epsilon, \quad \zeta \gamma = \gamma \zeta,
\\\label{eq:relations-H}
\gamma x_1  &= -x_1\gamma, & \gamma x_2 &= (-x_2 + x_1) \gamma,
\\
\label{eq:relations-H-dual-op}
u_1^2 &= 0,  &u_2 u_{21} &= u_{21} u_2 + u_1 u_{21},
\\
\label{eq:relations-H-dual3}
u_i \zeta  &= \zeta u_i  + u_i, & i  &=  1, 2.
\\
\label{eq:relation-DH3}
u_1 x_1 &= -x_1 u_1, & u_1 x_2 &= -x_2 u_1 +(1-\gamma \epsilon),
\\ \label{eq:relation-DH4}
u_2 x_1 &= -x_1 u_2 +(1-\gamma\epsilon) + x_1 u_1, &  u_2 x_2 &= -x_2 u_2 +\gamma \zeta \epsilon + x_2 u_1,
\\ \label{eq:relation-DH5}
u_1 \gamma &= -\gamma u_1, &
u_2 \gamma &=-\gamma u_2 + \gamma u_1.
\end{align}
The comultiplication is determined by $\gamma, \epsilon \in G(D(H))$, $\zeta \in {\mathcal P}(D(H))$,
$x_1, x_2 \in {\mathcal P}_{\gamma, 1}(D(H))$, $u_1 \in {\mathcal P}_{\epsilon, 1}(D(H))$ and \eqref{eq:comultiplication-Hb1}. The monomials
\begin{align*}
x_1^{n_1} x_{21}^{n_{21}} x_2^{n_2} \gamma^i \epsilon^j \zeta^k u_1^{m_1} u_{21}^{m_{21}} u_2^{m_2}
\end{align*}
with $(n_1,m_1,j,n_{21},k,m_{21},i,n_2,m_2)\in \mathbb I_{0, 1}^3\times \mathbb I_{0, p-1}^3\times\mathbb I_{0, 2p-1}^3$ is a PBW-basis of $D(H)$.
\end{prop}
\begin{proof}
This is a direct application of  Proposition \ref{prop:the-double-in-general}.
\end{proof}

Let $t \coloneqq \gamma^p \epsilon$ and $g \coloneqq \gamma^{p+1}$. The Hopf subalgebra generated by $t$ is isomorphic to $ \Bbbk C_2$ and the one generated by $g$ to $ \Bbbk C_p$. By the defining relations $t$ is a central element.
Let $Z_0 =  \Bbbk \langle t \rangle$ and $D \coloneqq D(H)/D(H)Z_0^+$. We use the same symbol for an element in $D(H)$ and its class in $D$.
\begin{prop}\label{prop:definition-of-cD}
\begin{enumerate}[leftmargin=*,label=\rm{(\alph*)}]
\item\label{af: algebra-D-1} The  algebra $D$ is generated by $x_1, x_2, g, \zeta, u_1, u_2, \epsilon$ with relations  \eqref{eq:def-super-jordan}, \eqref{eq:def-super-jordan-restricted}, \eqref{eq:relations-H-dual2}, \eqref{eq:genpi-xb}, \eqref{eq:zeta-xi}, \eqref{eq:relations-H-dual-op}, \eqref{eq:relations-H-dual3}, \eqref{eq:relations-super-k^gamma}, \eqref{eq:relaciones-K-cursiva}, \eqref{eq:relations-super-k^gamma2}
\begin{align}\label{eq:relations-D1}
 \zeta g &= g \zeta, & g^{p} &= 1,
\\
\label{eq:relations-sH}
gx_1  &= x_1g, & g x_2 &=  (x_2  - x_1) g,
\\\label{eq:relations-D3}
u_2 g &= g u_2 - g u_1, & u_1 g &= g u_1,
\\\label{eq:relations-D4}
u_1 x_2 &= -x_2 u_1 +(1-g), &  u_2 x_2 &= -x_2 u_2 +g \zeta + x_2 u_1, & &
\\ \label{eq:relations-D5}
u_2 x_1 &= -x_1 u_2 +(1-g) + x_1 u_1, & u_1 x_1 &= -x_1 u_1, &  \\\label{eq:relations-D6}
\epsilon g&= g \epsilon.
\end{align}

\item\label{af: algebra-D-2} The sequence of Hopf algebras $Z_0 :=  \Bbbk C_2 \hookrightarrow D(H) \twoheadrightarrow D$
is exact.

\item\label{af: algebra-D-3}The algebra $D$ has dimension $32 p^6$ and basis consisting in the monomials
\begin{align*}
x_1^{n_1} x_{21}^{n_{21}} x_2^{n_2} g^n \zeta^m u_1^{m_1} u_{21}^{m_{21}} u_2^{m_2} \epsilon^k
\end{align*}
with $(n_1,m_1,k,n_{21},m,m_{21},n,n_2,m_2)\in \mathbb I_{0, 1}^3\times \mathbb I_{0, p-1}^4\times\mathbb I_{0, 2p-1}^2$
\end{enumerate}
\end{prop}

\begin{proof}
\ref{af: algebra-D-1}: Very similar to the proof of Proposition \ref{prop:presentation-tilde-D-0}.
\ref{af: algebra-D-2} Conditions \ref{suc-exacta-1} and \ref{suc-exacta-2} above
are evident while \ref{suc-exacta-3} is proved considering the basis of $D(H)$
\begin{align*}
x_1^{n_1} x_{21}^{n_{21}} x_2^{n_2} g^n \zeta^m u_1^{m_1} u_{21}^{m_{21}} u_2^{m_2} \epsilon^k (1-t)^\ell
\end{align*}
with $(n_1,m_1,\ell,k,n,m,n_{21},m_{21},n_2,m_2)\in\mathbb I_{0, 1}^4\times\mathbb I_{0, p-1}^4\times\mathbb I_{0, 2p-1}^2$.
Now  Remark \ref{remark-exact-sequence-hopf} gives \ref{suc-exacta-4} since $Z_0$ is central.
The proof of \ref{af: algebra-D-3} is direct.
\end{proof}

\begin{remark}\label{rem:D-doble}
	There is an exact sequence of Hopf algebras
	$\mathcal{O}(\mathbf B) \xhookrightarrow[]{} \mathtt{D} \xrightarrowdbl[]{} D$.
\end{remark}

\subsection{The Hopf superalgebra $\mathcal{D}$}
Here we show that
$D$ is the bosonization of the Hopf superalgebra
$\mathcal{D} :=  \Bbbk \langle x_1, x_2, u_1, u_2, g,\zeta\rangle \hookrightarrow D$ and
that $\mathcal{D}$ is a restricted analogue of the Hopf superalgebra $\widetilde{\mathcal{D}}$.

\begin{prop}\label{prop:cD-as-Hopf-superalgebra}
\begin{enumerate}[leftmargin=*,label=\rm{(\roman*)}]
\item \label{prop:propiedades-cD-5} A PBW-basis of $\mathcal{D}$ is given by the monomials
\begin{align*}
x_1^{n_1} x_{21}^{n_{21}} x_2^{n_2} g^n \zeta^m u_1^{m_1} u_{21}^{m_{21}} u_2^{m_2},
\end{align*}
\end{enumerate}
\noindent $(n_1,m_1,n,m,n_{21},m_{21},n_2,m_2)\in\mathbb I_{0, 1}^2\times\mathbb I_{0, p-1}^4\times\mathbb I_{0, 2p-1}^2$. Thus $\dim \mathcal{D} =16 p^6$.

\medbreak\begin{enumerate}[leftmargin=*,label=\rm{(\roman*)},resume]
\item\label{prop:propiedades-cD-6} $\mathcal{D}$ has a triangular decomposition i.e. a linear isomorphism induced by multiplication
\begin{align}\label{eq:D-cursiva-triang-decomp}
\mathcal{D} \simeq \mathcal{B}(V) \otimes ( \Bbbk C_p\otimes R_p) \otimes \mathcal{B}(W)^{\operatorname{op}}.
\end{align}

\medbreak
\item\label{prop:propiedades-cD-4} $\mathcal{D}$ is generated by $x_1$, $x_2$, $u_1$, $u_2$, $g$, $\zeta$ with relations \eqref{eq:def-super-jordan}, \eqref{eq:def-super-jordan-restricted}, \eqref{eq:relations-H-dual2}, \eqref{eq:zeta-xi}, \eqref{eq:relaciones-K-cursiva}, \eqref{eq:relations-sH},  \eqref{eq:relations-H-dual-op}, \eqref{eq:relations-H-dual3}, \eqref{eq:relations-D1}, \eqref{eq:relations-D3}, \eqref{eq:relations-D4}, \eqref{eq:relations-D5}.

\medbreak
\item\label{prop:propiedades-cD-1} $\mathcal{D}$ is a Hopf superalgebra with comultiplication
given by $g \in G(\mathcal{D})$, $\zeta, u_1 \in {\mathcal P}(\mathcal{D})$,
$x_1, x_2 \in {\mathcal P}_{g, 1}(\mathcal{D})$ and \eqref{eq:comultiplication-Dtilde}.
Indeed $\mathcal{D}\#  \Bbbk C_2 \simeq D$ as Hopf algebras.

\medbreak
\item\label{prop:propiedades-cD-2} There is an exact sequence of Hopf superalgebras
\begin{align*}
\mathcal{O}(\mathbf B) \xhookrightarrow[]{\iota} \widetilde{\mathcal{D}}  \xrightarrowdbl[]{\pi} \mathcal{D}.
\end{align*}
\end{enumerate}
\end{prop}

\begin{proof}
\ref{prop:propiedades-cD-5}, \ref{prop:propiedades-cD-6}, \ref{prop:propiedades-cD-4} are analogous to the ones of
Proposition \ref{prop:Db}.
\ref{prop:propiedades-cD-1} As in Proposition \ref{prop:Db}, show that $\mathcal{D} \simeq D^{\operatorname{co} \varpi}$
where $\varpi\colon D \twoheadrightarrow  \Bbbk C_2$ is given by
\begin{align*}
x_1&\mapsto 0, & x_2&\mapsto 0, & u_1&\mapsto 0, & u_2&\mapsto 0, & g&\mapsto 1, & \zeta&\mapsto 0, & \epsilon &\mapsto \epsilon.
\end{align*}

\ref{prop:propiedades-cD-2} By the presentations of $\widetilde{\mathcal{D}}$ and $\mathcal{D}$ there exist $\pi\colon \widetilde{\mathcal{D}}\twoheadrightarrow \mathcal{D}$ such that
\begin{align*}
\mathbf{g} &\mapsto g, & \zeta &\mapsto\zeta, & x}%{\mathbf x_i&\mapsto x_i, & u}%{\mathbf u_i&\mapsto u_i, & i&=1,2.
\end{align*}
The map $\iota\colon \mathcal{O}(\mathbf B) \hookrightarrow \widetilde{\mathcal{D}}$ is defined as the $\phi$ in the proof of Theorem \ref{thm:Z}. Clearly
$\ker \pi =\widetilde{\mathcal{D}}\iota(\mathcal{O}(\mathbf B))^+$ by the PBW bases. Since $\iota(\mathcal{O}(\mathbf B))$ is central and $\widetilde{\mathcal{D}}$ is a free module over $\iota(\mathcal{O}(\mathbf B))$, the claim follows from Remark \ref{remark-exact-sequence-hopf}.
\end{proof}

\begin{remark}
We may realize $V$ in $\customyds{ \Bbbk C_p}$ and $W$
in $\customyds{R_p}$ by
\begin{align*}
&\begin{aligned}
g\rightharpoonup x_1 &= x_1, \ g\rightharpoonup x_2 = x_2 - x_1, \
\delta(x_i) = g \otimes x_i, \ |x_i| = 1, \ i=1,2;
\end{aligned}
\\
&\begin{aligned}
\zeta\rightharpoonupu}%{\mathbf u_i &= u}%{\mathbf u_i,& |u_i| &= 1,& i &=1,2,
\\
\delta(u}%{\mathbf u_1) &= 1\otimes u}%{\mathbf u_1, & \delta(u}%{\mathbf u_2) &= 1\otimes u}%{\mathbf u_2 - \zeta\otimes u}%{\mathbf u_1.&&
\end{aligned}
\end{align*}
Thus we have the Hopf superalgebras
$\mathcal{H} \coloneqq \mathscr{B}(V) \, \natural \,  \Bbbk C_{p}$, $\mathcal{K} \coloneqq \mathscr{B}(W) \, \natural \, R_p$; clearly
$\dim \mathcal{H} = \dim \mathcal{K} = 4p^3$.
Their comultiplications  are determined by $x_1, x_2 \in {\mathcal P}_{g, 1}(\mathcal{H})$,
$u_1\in {\mathcal P}(\mathcal{K})$, while $\Delta_{\mathcal{K}}(u}%{\mathbf u_2)$ is given by \eqref{eq:comultiplication-Dtilde}.
Therefore there are surjective Hopf algebra maps
$\widetilde{\mathcal{H}} \twoheadrightarrow \mathcal{H}$, $\widetilde{\mathcal{K}}\twoheadrightarrow \mathcal{K}$.
The basic properties of $\mathcal{H}$ and $\mathcal{K}$ follow at once.
Also, there are isomorphisms of Hopf algebras
$H \simeq  \mathcal{H} \# \Bbbk C_2$, $K \simeq \mathcal{K} \#  \Bbbk C_2$.
Finally, there are morphisms of Hopf superalgebras  $\mathcal{H}\hookrightarrow \mathcal{D}$, $\mathcal{K}^{\operatorname{op}}\hookrightarrow \mathcal{D}$,
hence $\mathcal{D} \simeq D(\mathcal{H})$, see \cite{gzb}.
\end{remark}

\subsection{$\mathcal{D}$ as an extension}
We next show that $\mathcal{D}$ fits into an exact sequence of Hopf superalgebras
$\mathbf R \hookrightarrow \mathcal{D} \twoheadrightarrow \mathfrak u$
with $\mathbf R$  super commutative  and $\mathfrak u$ super cocommutative.
First let $\mathbf R$ be the super commutative  Hopf superalgebra
\begin{align*}
\mathbf R \coloneqq  \Bbbk[X_1, X_2, T]/(X_1^p, X_2^p, T^p-1) \otimes \Lambda(Y_1,Y_2)
\end{align*}
with $|X_1| = |X_2| = |T| = 0$, $|Y_1| = |Y_2| = 1$ and comultiplication \eqref{eq:comultiplication-of-super-G}.
Arguing as in Proposition \ref{eq:Db-exact}, we have:
\begin{theorem}\label{prop:cD-as-super-abelian-extension}
There exist Hopf superalgebra maps $\iota$ and $\pi$ such that
\begin{align}\label{eq:cD-exact}
\mathbf R \xhookrightarrow[]{\iota} \mathcal{D}  \xrightarrowdbl[]{\pi} \mathfrak u(\mathfrak{osp}(1|2))
\end{align}
is an exact sequence of Hopf superalgebras. \qed
\end{theorem}

The simple $\mathcal{D}$-supermodules can be determined from the  previous result.

\begin{theorem}\label{th:irrep-restricted-super-jordan}
There are exactly $p$ isomorphism classes of simple $\mathcal{D}$-mo\-dules which have dimensions $1,3,5,\dots,2p-1$.
\end{theorem}

\begin{proof} Being nilpotent, the  ideal $\mathcal{D}\mathbf R ^+ = \langle x_1, x_{21}, u_1, u_{21}, g-1 \rangle$
is contained in the Jacobson radical of $\mathcal{D}$; thus $\operatorname{Irrep} \mathcal{D} \simeq \operatorname{Irrep} \mathfrak u(\mathfrak{osp}(1|2))$
and \cite[Prop. 6.3]{wz} applies.
\end{proof}

\subsection{Simple modules}
We describe the simple $\mathcal{D}$-modules
as quotients of Verma modules reproving Theorem \ref{th:irrep-restricted-super-jordan}.
Let $\mathcal{D} = \oplus_{n\in\mathbb Z}\mathcal{D}^n$ be $\mathbb Z$-graded by
\begin{align*}
\deg x_1 =\deg x_2 = -1, && \deg u_1 =\deg u_2 = 1, && \deg g = \deg \zeta = 0.
\end{align*}
Recall that $D( \Bbbk C_p) \simeq R_p \otimes  \Bbbk C_p$.
Consider the triangular decomposition  \eqref{eq:D-cursiva-triang-decomp}
and the  graded subalgebras
$\mathcal{D}^{> 0} \coloneqq \mathscr{B}(W)^{\operatorname{op}}$, $\mathcal{D}^{< 0}\coloneqq \mathscr{B}(V)$.
Then
\begin{enumerate}
\smallbreak\item $\mathcal{D}^{> 0}\subseteq\oplus_{n\in\mathbb N_0} \mathcal{D}^n$, $\mathcal{D}^{< 0}\subseteq\oplus_{n\in -\mathbb N_0} \mathcal{D}^n$ and $D( \Bbbk C_p)\subseteq \mathcal{D}^0$.

\smallbreak
\item $(\mathcal{D}^{> 0})^0 =  \Bbbk = (\mathcal{D}^{< 0})^0$.

\smallbreak
\item $\mathcal{D}^{\geq0} := D( \Bbbk C_p)\mathcal{D}^{> 0}$ and $\mathcal{D}^{\leq0} := \mathcal{D}^{< 0}D( \Bbbk C_p)$ are subalgebras of $\mathcal{D}$.
\end{enumerate}

In this context the simple modules of $\mathcal{D}$ arise inducing from $\mathcal{D}^{\geq0}$.
The elements of $\Lambda := \operatorname{Irrep} D( \Bbbk C_p)$ are called \emph{weights}.
Since $\mathcal{D}^{> 0}$ is local, the (homogeneous)
projection $\mathcal{D}^{\geq0} \twoheadrightarrow D( \Bbbk C_p)$ allows to identify
$\Lambda \simeq \operatorname{Irrep} \mathcal{D}^{\geq0}$.
The  Verma module associated to $\lambda\in\Lambda$ is
\begin{align*}
M(\lambda) = \operatorname{Ind}^{\mathcal{D}}_{\mathcal{D}^{\geq0}}\lambda = \mathcal{D}\otimes_{\mathcal{D}^{\geq0}} \lambda.
\end{align*}
By a standard argument, $M(\lambda)$ is indecomposable.
Let $L(\lambda)$ be the head of $M(\lambda)$.
The following result is well-known, see for instance \cite[Theorem 2.1]{Vay}.

\begin{lemma} The map $\lambda \mapsto L(\lambda)$ gives a bijection $\Lambda \simeq \operatorname{Irrep} \mathcal{D}$.  \qed
\end{lemma}

The set $\Lambda$ is easy to compute since $D( \Bbbk C_p) \simeq  \Bbbk C_p \otimes R_p$
and $ \Bbbk C_p$ is local. Given $k \in \mathbb F_p$, let $\lambda_k =  \Bbbk w_k$ be the one-dimensional vector space with action
\begin{align*}
g\cdot w_k = w_k, && \zeta\cdot w_k = k w_k.
\end{align*}

\begin{lemma}The map $k \mapsto \lambda_k$ provides a bijection $\mathbb F_p \simeq \Lambda$.
\qed.
\end{lemma}

We fix $k \in \mathbb F_p$ and compute $L(\lambda_k)$.
Since $M(\lambda_k)$ is free as a $\mathcal{D}^{< 0}$-module with basis $w_k$, the elements
\begin{align*}
w_k^{(n_1,n_{21},n_2)} &\coloneqq  x_1^{n_1} x_{21}^{n_{21}} x_2^{n_2} \cdot w_k, & n_1\in\mathbb I_{0, 1},n_{21}\in \mathbb I_{0, p-1},n_2 \in\mathbb I_{0, 2p-1},
\end{align*}
form a linear basis of $M(\lambda_k)$.
This makes $M(\lambda_k)$ a graded module by $\deg w_k^{(n_1,n_{21},n_2)} = \deg (x_1^{n_1} x_{21}^{n_{21}} x_2^{n_2})$, so $M(\lambda_k) =\oplus_{n\leq 0}M(\lambda_k)_{n} $
and $M(\lambda_k)_0 =  \Bbbk w_k$. Any proper submodule of $M(\lambda_k)$ is then contained in $\oplus_{n\leq -1}M(\lambda_k)_{n}$.  Since $L(\lambda_k)$ is the unique simple quotient of $M(\lambda_k)$, we divide the later by proper submodules until we get a simple one.
We start by the submodule $N_k$ of $M(\lambda_k)$ generated by $S_k \coloneqq \{w_k^{(1,0,0)}, w_k^{(0,1,0)} \}$.

\begin{lemma} The submodule $N_k$ is proper.
\end{lemma}
\begin{proof}
The action of $u_1$ and $u_2$ gives
\begin{align*}
u_1 x_1\cdot w_k &= -x_1 u_1\cdot w_k = 0, \qquad u_1 x_{21}\cdot w_k = x_{21} u_1\cdot w_k = 0,\\
u_2 x_1\cdot w_k &= -x_1 u_2 \cdot w_k + (1-g)\cdot w_k + x_1 u_1\cdot w_k= 0,\\
u_2 x_{21}\cdot w_k &= x_{21} u_2 \cdot w_k - 2 x_{21} u_1\cdot w_k + x_1 (1+g)\cdot w_k= 2 x_1 \cdot w_k.
\end{align*}
So $\mathcal{D}^{> 0}\cdot S_k\subseteq S_k$. Then $N_k = \mathcal{D}^{\leq0}\cdot S_k \subseteq \oplus_{n\leq -1}M(\lambda_k)_{n}$
is proper.
\end{proof}
Let $V_k = M(\lambda_k) / N_k$ and let $y_j$ be the class of $w_k^{(0,0,j)}$ in $V_k$.
\begin{lemma}
The family $(y_j)_{j\in\mathbb I_{0, 2p-1}}$ generates linearly $V_k$ and $g$, $ u_1$, $u_{21}$, $x_1$ and $x_{21}$ act trivially on $V_k$.
\end{lemma}
\begin{proof}
We claim that the class of $w_k^{(n_1,n_{21},n_2)} = 0$ in $V_k$ if $(n_1,n_{21})\neq (0,0)$.
It suffices to show that $w_k^{(0,1,n_2)} = 0$ and $w_k^{(1,0,n_2)} = 0$  in $V_k$ for every $n_2$.
This follows by induction on $n_2$ using the analogues for $\mathcal{D}$ of the relations in Lemma \ref{lemma:commutation-relations-Db}. Since $x_{21}$ and $x_1$ commute, they both act trivially on $V_k$:
\begin{align*}
x_{21}\cdot w_k^{(n_1,n_{21},n_2)} = x_1^{n_1} x_{21}^{n_{21}}\cdot w_k^{(0,1,n_2)} = 0,\\
x_1\cdot  w_k^{(n_1,n_{21},n_2)} = x_1^{n_1} x_{21}^{n_{21}} \cdot w_k^{(1,0,n_2)} = 0.
\end{align*}
Then $(y_j)_{j\in\mathbb I_{0, 2p-1}}$ generates linearly $V_k$.
Also $g$, $u_1$ and $u_{21}$ act trivially on these generators by Lemma \ref{lemma:commutation-relations-Db}.
\end{proof}
Set $y_{-1} = y_{2p} = 0$. The action of $\mathcal{D}$ on $V_k$ can be computed inductively:
\begin{align}\label{eq:action-Lk}
\begin{aligned}
&\begin{aligned}
\zeta\cdot y_j &= (k-j)y_j, & g\cdot y_j&= y_j, &
x_2\cdot y_j &= y_{j+1}, & x_1\cdot y_j &= 0,
\end{aligned}
\\
&\begin{aligned}
u_1 \cdot y_j &= 0, &u_2 \cdot y_j &= \begin{cases}
\frac{j}{2} y_{j-1} & \text{if } j \text{ is even,}\\
(\frac{j-1}{2}-k) & \text{if } j \text{ is odd,}
\end{cases}&  j&\in\mathbb I_{0, 2p-1}.
\end{aligned}
\end{aligned}
\end{align}

Now $\widetilde{V}_k := \mathcal{D} y_{2k+1}$ is a proper submodule of $V_k$ because $\mathcal{D}^{> 0}\cdot y_{2k+1} = 0$.

\begin{prop}\label{prop:irrep-cD}
The module $L_k = V_k/ \widetilde{V}_k$ is simple of dimension $2k+1$.
\end{prop}
It follows that $L_k = L(\lambda_k)$, the head of the Verma module $M(\lambda_k)$.

\begin{proof} Let $z_j$ be the class of $y_j$ in $L_k$; the action of $\mathcal{D}$ on the $z_j$'s is still given by \eqref{eq:action-Lk}.
Then $(z_j)_{j\in\mathbb I_{0, 2k}}$ is a basis of $L_k$.
To see that $L_k$ is simple, we show that every $0 \neq z \in L_k$ generates $L_k$. Let $z = \sum_{j=0}^{m} c_j\,z_j$
with $m\leq 2k$ and $c_m\neq 0$. Then $ u_2^m\cdot z\in  \ku^{\times} z_0$, and $\mathcal{D}\cdot z = L_k$.
\end{proof}

\subsection{$\mathcal{O}(\mathfrak{G})$ as an extension}
Let $\mathbf G = (\mathbf G_a \times \mathbf G_a) \rtimes \mathbf G_m$ be the semidirect product where $\mathbf G_m$ acts on $\mathbf G_a \times \mathbf G_a$
by
$\lambda_ \cdot(t_1, t_2) =(\lambda^2 t_1, t_2)$, $\lambda \in  \ku^{\times}$, $t_1, t_2\in \Bbbk$.
Then $\mathcal{O}(\mathbf G)$ is isomorphic to $A :=  \Bbbk[\mathrm{X_1},\mathrm{X_2}, \mathrm{T}^{\pm 1}]$ with
comultiplication given by $\mathrm{T} \in G(A)$, $\mathrm{X_1} \in {\mathcal P}_{\mathrm{T}^2,1}(A)$, $\mathrm{X_2} \in {\mathcal P}(A)$.

\begin{prop}\label{prop:cOG-exact}
There is a short exact sequence of Hopf superalgebras
\begin{align}\label{eq:cOG-exact}
\mathcal{O}(\mathbf G) \xhookrightarrow[]{\iota} \mathcal{O}(\mathfrak{G})  \xrightarrowdbl[]{\pi} \mathbf R,
\end{align}
with morphisms $\iota\colon \mathcal{O}(\mathbf G)\hookrightarrow\mathcal{O}(\mathfrak{G})$, $\pi\colon\mathcal{O}(\mathfrak{G})\longrightarrow \mathbf R$
given by
\begin{align*}
\iota(\mathrm{X_1}) &= X_1^p, & \iota(\mathrm{X_2}) &= X_2^p, & \iota(\mathrm{T}) &= T^p,\\
\pi(X_1) &= X_1, & \pi(X_2) &= X_2, & \pi(T) &= T, & \pi(Y_1)&= Y_1, & \pi(Y_2)&= Y_2.
\end{align*}
\end{prop}
\begin{proof}
Clearly $\pi$ is of Hopf superalgebras by the definition of comultiplication in $\mathcal{O}(\mathfrak{G})$ and $\mathbf R$. In
 $\mathcal{O}(\mathfrak{G})$ we have the following comultiplication formulas
 \begin{align*}
 \Delta(X_1^n) &= \sum_{\ell=0}^{1}\sum_{k=0}^{n-\ell}\binom{n-\ell}{k} n^\ell
 Y_1^\ell X_1^k T^{2(n-k)-\ell}\otimes Y_1^\ell
 X_1^{n-k-\ell},\\
 \Delta(X_2^n) &=\sum_{\ell=0}^{1}\sum_{k=0}^{n-\ell}\binom{n-\ell}{k} n^\ell
 Y_2^\ell X_2^k \otimes Y_2^\ell X_2^{n-k-\ell},
 \end{align*}
$n\in\mathbb N$. Thus $X_1^p \in {\mathcal P}_{\mathrm{T}^{2p},1}(\mathcal{O}(\mathfrak{G}))$, $X_2^p \in {\mathcal P}(\mathcal{O}(\mathfrak{G}))$
and $\iota$ is of Hopf superalgebras. Then $\ker \pi = \mathcal{O}(\mathfrak{G}) \iota(\mathcal{O}(\mathbf G) )^+$, $\iota$ is injective and $\pi$ is surjective, using the PBW bases. Since  $\mathcal{O}(\mathfrak{G})$ is a free $\mathcal{O}(\mathbf G)$-module, Remark \ref{remark-exact-sequence-hopf} applies.
\end{proof}
\subsection{A commutative square}
We summarize the relationship between the Hopf superalgebras studied so far
in the commutative diagram
\begin{align}\tag{\ref{eq:diagram-exact sequences}}
\begin{aligned}
\xymatrix{ & \mathcal{O}(\mathbf G)  \ar@{^{(}->}[r] \ar@{^{(}->}[d] & \mathcal{O}(\mathbf B) \ar@{^{(}->}[d] \ar@{->>}[r] & \mathcal{O}(\mathbf G_a^3) \ar@{^{(}->}[d]
\\
 & \mathcal{O}(\mathfrak{G})  \ar@{^{(}->}[r] \ar@{->>}[d] & \widetilde{\mathcal{D}} \ar@{->>}[r] \ar@{->>}[d] & U(\mathfrak{osp}(1|2)) \ar@{->>}[d]
\\
& \mathbf R \ar@{^{(}->}[r] & \mathcal{D} \ar@{->>}[r] & \mathfrak u(\mathfrak{osp}(1|2))
}
\end{aligned}
\end{align}
\begin{prop}\label{thm:diagram-exact sequences}
All columns and rows in \eqref{eq:diagram-exact sequences} are exact sequences.
\end{prop}

\begin{proof}
Theorems \ref{prop:Db-exact} and \ref{prop:cD-as-super-abelian-extension}, and
and Propositions \ref{prop:cD-as-Hopf-superalgebra} and \ref{prop:cOG-exact} covers everything except the topmost row and the rightmost column.

For the rightmost column we need to prove that the even Hopf subalgebra  $Z' = \left\langle e^p, f^p, h^p-h \right\rangle$ of $U(\mathfrak{osp}(1|2))$ is $\mathcal{O}(\mathbf G_a^3)\simeq  \Bbbk[X_1,X_2,X_3]$. Taking the
basis of $U(\mathfrak{osp}(1|2))$ consisting of monomials
\begin{align*}
f^n (h^p-h)^k h^\ell e^m \psi_+^i \psi_-^j
\end{align*}
with $(n,m,k,\ell,i,j)\in \mathbb N_0^3\times\mathbb I_{0, p-1}\times\mathbb I_{0, 1}^2$, we
see that the assignment
\begin{align*}
X_1&\mapsto f^p, & X_2&\mapsto h^p - h, & X_3&\mapsto e^p,
\end{align*}
gives an algebra isomorphism $Z'\simeq  \Bbbk[X_1,X_2,X_3] \simeq \mathcal{O}(\mathbf G_a^3)$. Comparing comultiplications, the previous isomorphism is of Hopf algebras. $\mathcal{O}(\mathbf G_a^3)$ is stable
by the adjoint action of  $U(\mathfrak{osp}(1|2))$ and a free module over $\mathcal{O}(\mathbf G_a^3)$ using the previous basis, then Remark \ref{remark-exact-sequence-hopf} applies and the column is exact.

We next describe
explicitly the top row. $\phi\colon \mathcal{O}(\mathbf G) \to \mathcal{O}(\mathbf B)$ is given by
\begin{align*}
\mathrm{X_1}&\mapsto X_1, &\mathrm{X_2}&\mapsto X_4, &\mathrm{T}&\mapsto T.
\end{align*}
Recall that $\mathcal{O}(\mathbf B)\simeq  \Bbbk[T^{\pm},X_1,\dots,X_5]$ and $\mathcal{O}(\mathbf G)\simeq  \Bbbk[\mathrm{X_1},\mathrm{X_2}, \mathrm{T}^{\pm 1}]$, cf. Theorem \ref{thm:Z} and Proposition \ref{prop:cOG-exact}. Take
$\psi \colon \mathcal{O}(\mathbf B) \longrightarrow \mathcal{O}(\mathbf G_a^3)$ given by
\begin{align*}
T&\mapsto 1,& X_1 &\mapsto 0,& X_2 &\mapsto -f^p,&
X_3&\mapsto h^p-h,& X_4 &\mapsto 0,& X_5 &\mapsto e^p.
\end{align*}
Now $\phi$ is a injective because it maps a basis into a linearly independent set
while $\psi$ is surjective since the PBW-basis of $\mathcal{O}(\mathbf G_a^3)$ is in its image.
Clearly $\ker \psi \supseteq \mathcal{O}(\mathbf B) \phi(\mathcal{O}(\mathbf G))^+$, the other inclusion follows using the basis of $\mathcal{O}(\mathbf B)$
\begin{align*}
 \tau_m\,X_1^{n}\,X_2^{r}\,X_3^k X_4^{i} X_5^{j}, &&  i,j,k,n,r\in\mathbb N_0, m\in \mathbb Z,
\end{align*}
where $\tau_m$ is given by the formula
$\tau_m = \begin{cases}
(T-1)^m & \text{if } m \geq 0,\\
(T^{-1}-1)^{-m} & \text{if } m < 0
\end{cases}$.
The adjoint action of $\mathcal{O}(\mathbf B)$ is trivial, so $\phi(\mathcal{O}(\mathbf G))$ is invariant. Considering the PBW-bases
of $\mathcal{O}(\mathbf B)$ and $\mathcal{O}(\mathbf G)$, $\phi$ is faithfully flat.
Thus the row is exact.
\end{proof}