Related papers: Noetherian Centralizing Hopf Algebra Extensions an…
Brown, O'Hagan, Zhang, and Zhuang gave a set of conditions on an automorphism $\sigma$ and a $\sigma$-derivation $\delta$ of a Hopf $k$-algebra $R$ for when the skew polynomial extension $T=R[x, \sigma, \delta]$ of $R$ admits a Hopf algebra…
This is a brief survey of some recent developments in the study of infinite dimensional Hopf algebras which are either noetherian or have finite Gelfand-Kirillov dimension. A number of open questions are listed.
We study Hopf-Galois extensions with central invariants for a finite dimensional Hopf algebra. We collect general facts about them and discuss some examples arising in the study of restricted Lie algebras and quantum groups at roots of…
The classification of finite-dimensional pointed Hopf algebras with group S_3 was finished in "The Nichols algebra of a semisimple Yetter-Drinfeld module", arXiv:0803.2430v1 [math.QA], by Andruskiewitsch, Heckenberger and Schneider: there…
This is a contribution to the problem of classifying all deformations - a. k. a. liftings - of the bosonization of a Nichols algebra $\mathfrak{B}(V)$ over a cosemisimple and non-semisimple Hopf algebra $H$. Such a situation arises when the…
We prove new structural results for the rational homotopy type of the classifying space $B\operatorname{aut}(X)$ of fibrations with fiber a simply connected finite CW-complex $X$. We first study nilpotent covers of $B\operatorname{aut}(X)$…
Given an infinite set $\Omega$ and a ring $R$ as well as a group $G$ acting on them, we show that $G$ and a subgroup $H$ share the same canonical relational structure on $\Omega$ if and only if the restriction functor gives an equivalence…
Given a pair of finite groups $F, G$ and a normalized 3-cocycle $\omega$ of $G$, where $F$ acts on $G$ as automorphisms, we consider quasi-Hopf algebras defined as a cleft extension $\Bbbk^G_\omega\#_c\,\Bbbk F$ where $c$ denotes some…
Higher extensions and higher central extensions, which are of importance to non-abelian homological algebra, are studied, and some fundamental properties are proven. As an application, a direct proof of the invariance of the higher Hopf…
Let $k$ be an algebraically closed field of characteristic zero and let $H$ be a noetherian cocommutative Hopf algebra over $k$. We show that if $H$ has polynomially bounded growth then $H$ satisfies the Dixmier-Moeglin equivalence. That…
To any finite metric space $X$ we associate the universal Hopf $\c^*$-algebra $H$ coacting on $X$. We prove that spaces $X$ having at most 7 points fall into one of the following classes: (1) the coaction of $H$ is not transitive; (2) $H$…
Any finite-dimensional quasitriangular Hopf algebra $H$ can be formally extended to a ribbon Hopf algebra $\tilde H$ of twice the dimension. We investigate this extension and its representations. We show that every indecomposable $H$-module…
Let $H$ be a semisimple Hopf algebra, and let $R$ be a noetherian left $H$-module algebra. If $R/R^H$ is a right $H^*$-dense Galois extension, then the invariant subalgebra $R^H$ will inherit the AS-Cohen-Macaulay property from $R$ under…
This paper is the supplement to the section 2 of the paper "Floating bundles and their applications" (math.AT/0102054). Below we construct the denumerable set of extensions of the formal group of geometric cobordisms $F(x\otimes 1,1\otimes…
Let A be a Hopf algebra and H a coalgebra. We shall describe and classify up to an isomorphism all Hopf algebras E that factorize through A and H: that is E is a Hopf algebra such that A is a Hopf subalgebra of E, H is a subcoalgebra in E…
Algebra extensions A < B where A is a left B-module such that the B-action extends the multiplication in A are ubiquitous. We encounter examples of such extensions in the study of group actions, group gradings or more general Hopf actions…
Let $G$ be a connected complex algebraic group and $A$ a connected abelian algebraic group endowed with an algebraic action of $G$ by group automorphisms. In the present note we describe the abelian group $\Ext_{alg}(G,A)$ of algebraic…
We consider the adjoint representation of a Hopf algebra $H$ focusing on the locally finite part, $H_{\text{adfin}}$, defined as the sum of all finite-dimensional subrepresentations. For virtually cocommutative $H$ (i.e., $H$ is finitely…
A ring R shall be called F-noetherian if every finite subset of R is contained in a (left and right) noetherian subring of R . For example, every commutative ring is tightly F-noetherian in the sense that every finite subset of R generates…
Let $i: A\to R$ be a ring morphism, and $\chi: R\to A$ a right $R$-linear map with $\chi(\chi(r)s)=\chi(rs)$ and $\chi(1_R)=1_A$. If $R$ is a Frobenius $A$-ring, then we can define a trace map $\tr: A\to A^R$. If there exists an element of…