Hopf Ore extensions (Q2199645)

Following the interest aroused by some applications of Ore extensions to the study of Hopf algebras (among which it stands out [\textit{M. Beattie} et al., J. Algebra 225, No. 2, 743--770 (2000; Zbl 0948.16026)]), \textit{A. N. Panov}, Math. Notes 74, No. 3, 401--410 (2003); translation from Mat. Zametki 74, No. 3, 425--434 (2003; Zbl 1071.16035)] started a systematic investigation of the Ore extensions in the class of Hopf algebras. Concretely, Panov found necessary and sufficient conditions for an Ore extension $R[x; \sigma, \delta]$ over a Hopf $\Bbbk$-algebra $R$ ($\Bbbk$ a commutative ring with $1$) to have a structure of a Hopf algebra itself, extending that of $R$, under the additional assumption of $x$ being a skew-primitive element (i.e., $\Delta(x) = g \otimes_\Bbbk x + x \otimes_\Bbbk h$, for some $g, h \in R$). Later, \textit{K. A. Brown} et al. [J. Pure Appl. Algebra 219, No. 6, 2405--2433 (2015; Zbl 1312.16031)] revisited Panov's result, under the assumption that $\Bbbk$ is a field, by allowing $\Delta(x)$ to be more general (namely, \[ \Delta(x) = a \otimes_\Bbbk x + x \otimes_\Bbbk b + v(x \otimes_\Bbbk x) + w \tag{$*$} \] for certain $a,b \in R$, $v,w \in R\otimes_\Bbbk R$) and they raised the question if one can always change the variable $x$ so that $\Delta(x)$ has the form $(*)$. A positive answer would allow for a complete description of Hopf Ore extensions. The present paper contributes to the investigation by showing that if $R$ is a Noetherian Hopf algebra over a field $\Bbbk$ such that $R \otimes_\Bbbk R$ is a domain, then (up to a change of variable) $\Delta(x) = g \otimes_\Bbbk x + x \otimes_\Bbbk 1 + w$ where $g$ is a group-like element in $R$ and $w \in R \otimes_\Bbbk R$. As a particular case of interest, the author proves that if $R$ is a Noetherian cocommutative Hopf algebra of finite Gelfand-Kirillov dimension over an algebraically closed field of characteristic zero which is also a domain, then $R \otimes_\Bbbk R$ is a domain and the aforementioned result applies.