Hopf Ore extensions

DOI10.1007/S10468-019-09901-8MaRDI QIDQ2199645zbMATH OpenOpenAlexFDO

Publication date 11 September 2020

Published in Algebras and Representation Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1902.02237

crossed products Hopf algebras Ore extensions

Twisted and skew group rings, crossed products (16S35) Hopf algebras and their applications (16T05) Homological dimension (category-theoretic aspects) (18G20)

Abstract: Brown, O'Hagan, Zhang, and Zhuang gave a set of conditions on an automorphism

s i g m a

and a

s i g m a

-derivation

d e l t a

of a Hopf

k

-algebra

R

for when the skew polynomial extension

T = R [x, s i g m a, d e l t a]

of

R

admits a Hopf algebra structure that is compatible with that of

R

. In fact, they gave a complete characterization of which

s i g m a

and

d e l t a

can occur under the hypothesis that

D e l t a (x) = a o t i m e s x + x o t i m e s b + v (x o t i m e s x) + w

, with

a, b i n R

and

v, w i n R o t i m e s_{k} R

, where

D e l t a : R o R o t i m e s_{k} R

is the comultiplication map. In this paper, we show that after a change of variables one can in fact assume that

, with

is a grouplike element in

R

and

w i n R o t i m e s_{k} R,

when

R o t i m e s_{k} R

is a domain and

R

is noetherian. In particular, this completely characterizes skew polynomial extensions of a Hopf algebra that admit a Hopf structure extending that of the ring of coefficients under these hypotheses. We show that the hypotheses hold for domains

R

that are noetherian cocommutative Hopf algebras of finite Gelfand-Kirillov dimension.

Review text

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.

Recommendations

Cites work

Cited in

(10)

This page was built for publication: Hopf Ore extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2199645)