Skip to content
Preprint

Freeness and divisibility for right $H$-simple left $H$-comodule algebras over a pointed Hopf algebra $H$

Jul 2026 · 0 citations · 26 references
Mathematics

Abstract

Let $H$ be a pointed Hopf algebra and let $A$ be a right $H$-simple left $H$-comodule algebra. We show that every relative $(H,A)$-Hopf module is free as an $A$-module and that this freeness characterizes the class of pointed Hopf algebras. We give a criterion for the category of relative $(H,A)$-Hopf modules to be semisimple. We also show that $A$ can be embedded into a left $H$-comodule algebra of a specific form when $H$ and $A$ are $\mathbb{N}_0$-graded. As a consequence, we prove that if $H$ is finite-dimensional and $A^{\mathrm{co} H}=\Bbbk$, then $A$ is finite-dimensional and $\dim A$ divides $\dim H$.

View source

Similar papers

Preprint Aug 2026

Projectivity and flatness over the endomorphism ring of a finitely generated comodule.

Let $k$ be a commutative ring, $H$ a bialgebra over $k$, $A$ an $H$-algebra and $\mathcal C$ an $(H,A)$-coring, i.e a left $(H,A)$-bimodule which is an $A$-coring in a compatible way. Left $(H,A)$-bimodules and their deformations play a fundamental role in the study of the differential geometry of noncommutative manifo...

Thomas Guédénon · 0 citations
Preprint Sep 2026

A $q$-Weyl Freeness Principle for Nichols Algebras and Pointed Hopf Algebras of Square-Free Dimension

Let $H$ be a pointed Hopf algebra of square-free dimension over an algebraically closed field of characteristic $p>0$. We prove that either $H$ is a group algebra or $\dim H/|\G(H)|=p$, and that in the latter case $H$ belongs to exactly one of two explicit families of rank-one pointed Hopf algebras. We develop a trunca...

Rong-Chuan Xiong · 0 citations
Preprint Aug 2026

Modified induction and a torsion-theoretic equivalence for relative BiHom-Hopf modules

We develop an induction theory for relative BiHom-Hopf modules, the special BiHom-Doi--Hopf case associated with the datum $(H,A,H)$ in which the final copy of $H$ carries its regular right $H$-module coalgebra structure. Let $H$ be a monoidal BiHom-Hopf algebra, let $A$ be a right $H$-BiHom-comodule algebra, and let $...

Qi Jin · 0 citations
Preprint Sep 2026

Normalized quadratic extensions of pointed Hopf algebras

Let $L$ be a finite-dimensional pointed Hopf algebra over an algebraically closed field. We establish an intrinsic characterization of index-two extensions: every Hopf algebra $H$ containing $L$ as a Hopf subalgebra and satisfying $H_0=L_0$ and $\dim H=2\dim L$ is a normalized quadratic extension of $L$. For a fixed su...

Rong-Chuan Xiong · 0 citations
Preprint Sep 2026

Stable Cellularity in Hopfological Algebra

Let $H$ be a nontrivial finite-dimensional nonnegatively graded connected Hopf algebra, with $\ell=\max\{d:H_d\ne0\}$, and let $A\ge0$ be a locally finite $H$-module algebra with finite-dimensional split semisimple, $H$-trivial $A_0$. Under the gap $A_d=0$ for $0<d<\ell$, the shifted standard cells $\{q^{-r}Ae_x:0\le r...

You Qi · 0 citations
Preprint Sep 2026

Kaplansky decompositions of Polish modules

Let $R$ be a countable ring. Given an $R$-module $A$, we call a decomposition $A = \bigoplus_{i \in I} N_i$ a Kaplansky decomposition if each $N_i$ is countable. We characterize the uncountable Polish $R$-modules that admit a Kaplansky decomposition: they are exactly the modules of the form $B \oplus M^{\omega}$, where...

I. Herzog, Gianluca Paolini, S. Shelah · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.