Pointed Hopf actions on central simple division algebras

Cris Negron; Pavel Etingof

arxiv: 1907.07822 · v1 · pith:ZPWL4P7Anew · submitted 2019-07-18 · 🧮 math.RA · math.QA

Pointed Hopf actions on central simple division algebras

Pavel Etingof , Cris Negron This is my paper

Pith reviewed 2026-05-24 19:50 UTC · model grok-4.3

classification 🧮 math.RA math.QA

keywords pointed Hopf algebrascentral simple division algebrasHopf actionsNichols algebrasquantum groupsTaft algebrasdivision rings

0 comments

The pith

Pointed Hopf algebras admit faithful actions on central simple division algebras in all families considered.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines actions of finite-dimensional pointed Hopf algebras on central simple division algebras in characteristic zero. Unlike earlier results showing that most such Hopf algebras cannot act faithfully on fields, the authors construct explicit faithful actions for each family they study. These families include bosonizations of Nichols algebras of finite Cartan type, small quantum groups, generalized Taft algebras with non-nilpotent skew primitives, and one non-Cartan example. A sympathetic reader cares because the non-commutative nature of division algebras appears to allow faithful actions that commutative fields block.

Core claim

In all examples considered, the given Hopf algebra admits a faithful action on a central simple division algebra, and we construct such a division algebra. This holds for all bosonizations of Nichols algebras of finite Cartan type, small quantum groups, generalized Taft algebras with non-nilpotent skew primitive generators, and the non-Cartan example.

What carries the argument

Explicit constructions of central simple division algebras carrying faithful Hopf module algebra structures from the pointed Hopf algebras.

If this is right

These pointed Hopf algebras inject into the structure of automorphisms or derivations on the division algebra via the faithful action.
Central simple division algebras can serve as non-commutative replacements for fields when studying Hopf actions.
The constructed actions provide concrete instances of Hopf module algebras that are division rings.
Invariants under these actions live inside non-commutative central simple algebras rather than fields.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The result may extend to other families of pointed Hopf algebras beyond those examined.
Division algebras could be used systematically to realize actions that fail on commutative rings.
This raises the question of whether every finite-dimensional pointed Hopf algebra admits a faithful action on some central simple division algebra.
The constructions might connect to questions about Galois correspondences in non-commutative settings.

Load-bearing premise

The listed families of pointed Hopf algebras are representative enough that the constructions indicate the general situation.

What would settle it

An example from one of the listed families, such as a small quantum group or a bosonization of a Nichols algebra of finite Cartan type, that admits no faithful action on any central simple division algebra.

read the original abstract

We examine actions of finite-dimensional pointed Hopf algebras on central simple division algebras in characteristic 0. (By a Hopf action we mean a Hopf module algebra structure.) In all examples considered, we show that the given Hopf algebra does admit a faithful action on a central simple division algebra, and we construct such a division algebra. This is in contrast to earlier work of Etingof and Walton, in which it was shown that most pointed Hopf algebras do not admit faithful actions on fields. We consider all bosonizations of Nichols algebras of finite Cartan type, small quantum groups, generalized Taft algebras with non-nilpotent skew primitive generators, and an example of non-Cartan type.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper gives explicit constructions showing that four families of pointed Hopf algebras admit faithful actions on central simple division algebras.

read the letter

The main takeaway is that the authors build faithful Hopf module algebra structures for bosonizations of finite-Cartan Nichols algebras, small quantum groups, generalized Taft algebras with non-nilpotent skew primitives, and one non-Cartan example, all acting on central simple division algebras in characteristic zero. These stand in contrast to the Etingof-Walton results that most pointed Hopf algebras fail to act faithfully on fields. The constructions are new relative to the field case and are presented as direct examples rather than general theorems. The paper does a clean job of spelling out the module algebra actions for each listed family and of keeping the scope limited to what it can actually verify. The citation pattern tracks the relevant earlier literature on Nichols algebras and field actions without unnecessary self-reference. The central claims rest on concrete constructions rather than fitted parameters or circular reductions, which keeps the logical burden low. One soft spot is that everything stays case-by-case; there is no attempt at a statement that would cover arbitrary pointed Hopf algebras, and the abstract makes that boundary explicit. A second minor point is that the verification of faithfulness and centrality of the division algebras depends on the details of the module structures, which a referee would want to check line by line. The work is aimed at specialists already comfortable with pointed Hopf algebras and their actions on noncommutative algebras. Readers looking for concrete positive examples in this narrow subfield will find usable material here. The paper shows clear engagement with the literature and produces falsifiable constructions, so it deserves a serious referee even if the results remain limited to the families treated. I would send it to peer review.

Referee Report

0 major / 2 minor

Summary. The manuscript examines actions of finite-dimensional pointed Hopf algebras on central simple division algebras in characteristic zero. For the families consisting of bosonizations of Nichols algebras of finite Cartan type, small quantum groups, generalized Taft algebras with non-nilpotent skew primitive generators, and one non-Cartan example, the authors construct faithful Hopf actions and the corresponding division algebras. This is presented as a contrast to the Etingof-Walton result that most pointed Hopf algebras do not admit faithful actions on fields.

Significance. The constructions supply explicit examples of pointed Hopf algebras that act faithfully on central simple division algebras rather than only on fields. This enlarges the known range of Hopf actions on noncommutative division rings and supplies concrete data for further study of the representation theory of these Hopf algebras.

minor comments (2)

[Introduction] The introduction would benefit from a brief statement of the precise definition of 'faithful action' used throughout (e.g., injectivity of the Hopf algebra into the endomorphism ring of the division algebra).
[§3] Notation for the skew-primitive generators in the generalized Taft algebra family is introduced without an explicit reference to the coproduct formula; adding the formula in §3 would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading and positive report, including the recommendation to accept the manuscript.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper restricts itself to explicit constructions of faithful actions for four enumerated families of pointed Hopf algebras (bosonizations of finite-Cartan Nichols algebras, small quantum groups, generalized Taft algebras, and one non-Cartan example). These are presented as direct verifications rather than a universal derivation. No load-bearing self-citation, fitted-parameter prediction, or self-definitional reduction is indicated; the contrast with Etingof-Walton is external. The central claim therefore remains independent of its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard facts from Hopf algebra theory and the representation theory of Nichols algebras; no free parameters, invented entities, or ad-hoc axioms are visible in the abstract.

axioms (1)

standard math Standard axioms of Hopf algebras over fields of characteristic zero
Invoked implicitly throughout the abstract when discussing pointed Hopf algebras and their actions.

pith-pipeline@v0.9.0 · 5633 in / 1164 out tokens · 15931 ms · 2026-05-24T19:50:48.392342+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We consider all bosonizations of Nichols algebras of finite Cartan type, small quantum groups, generalized Taft algebras with non-nilpotent skew primitive generators, and an example of non-Cartan type.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 3.1. Suppose T(n,m,α) acts on a central simple algebra A … there exists c ∈ A^{n/m} such that x·a = ca − ζ^{|a|}ac …

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages

[1]

Andruskiewitsch and H.-J

N. Andruskiewitsch and H.-J. Schneider. Finite quantum groups over abelian groups of prime exponent. In Ann. Sci. ´Ec. Norm. Sup´ er., volume 35, pages 1–26. Elsevier, 2002

work page 2002
[2]

Andruskiewitsch and H.-J

N. Andruskiewitsch and H.-J. Schneider. On the classiﬁc ation of ﬁnite-dimensional pointed Hopf algebras. Ann. of Math. , pages 375–417, 2010

work page 2010
[3]

I. Angiono. On Nichols algebras of diagonal type. J. Reine Angew. Math. , 2013(683):189–251, 2013

work page 2013
[4]

I. Angiono. Distinguished pre-Nichols algebras. Transform. Groups, 21(1):1–33, 2016

work page 2016
[5]

Angiono and A

I. Angiono and A. G. Iglesias. Liftings of Nichols algebr as of diagonal type II. All liftings are cocycle deformations. Selecta Math. , 25(1), 2019. 23

work page 2019
[6]

V. A. Artamonov. Actions of pointed Hopf algebras on quan tum torus. Ann. Univ. Ferrara , 51(1):29–60, 2005

work page 2005
[7]

Brown and K

K. Brown and K. R. Goodearl. Lectures on algebraic quantum groups . Birkh¨ auser, 2012

work page 2012
[8]

Cohen, D

M. Cohen, D. Fischman, and S. Montgomery. Hopf Galois ext ensions, smash products, and Morita equivalence. J. Algebra , (133):351–372, 1990

work page 1990
[9]

Cuadra and P

J. Cuadra and P. Etingof. Finite dimensional Hopf action s on central division algebras. Int. Math. Res. Not. , 2017(5):1562–1577, 2016

work page 2017
[10]

De Concini and V

C. De Concini and V. G. Kac. Representations of quantum g roups at roots of 1. In Operator algebras, unitary representations, enveloping algebras, and invariant theory (Paris, 1989) , volume 92 of Progr. Math., pages 471–506. Birkh¨ auser Boston, Boston, MA, 1990

work page 1989
[11]

P. Etingof. Galois bimodules and integrality of PI como dule algebras over invariants. J. Noncommut. Geom., 9(2):567–602, 2015

work page 2015
[12]

Etingof and C

P. Etingof and C. W alton. Pointed Hopf actions on ﬁelds, I. Transform. Groups, 20(4):985– 1013, 2015

work page 2015
[13]

Etingof and C

P. Etingof and C. W alton. Finite dimensional Hopf actio ns on algebraic quantizations. Algebra Number Theory, 10(10):2287–2310, 2016

work page 2016
[14]

Etingof and C

P. Etingof and C. W alton. Pointed Hopf actions on ﬁelds, II. J. Algebra, 460:253–283, 2016

work page 2016
[15]

M. Gra˜ na. On Nichols algebras of low dimension. Contemp. Math , 267:111–134, 2000

work page 2000
[16]

Heckenberger

I. Heckenberger. The Weyl groupoid of a Nichols algebra of diagonal type. Invent. Math. , 164(1):175–188, 2006

work page 2006
[17]

Heyneman and D

R. Heyneman and D. Radford. Reﬂexivity and coalgebras o f ﬁnite type. J. Algebra, 28(2):215– 246, 1974

work page 1974
[18]

G. Lusztig. Quantum groups at roots of 1. Geom. Dedicata, 35(1):89–113, 1990

work page 1990
[19]

G. Lusztig. Introduction to quantum groups . Springer Science & Business Media, 2010

work page 2010
[20]

Mastnak, J

M. Mastnak, J. Pevtsova, P. Schauenburg, and S. Withers poon. Cohomology of ﬁnite- dimensional pointed hopf algebras. Proc. Lond. Math. Soc. , 100(2):377–404, 2010

work page 2010
[21]

Masuoka and D

A. Masuoka and D. Wigner. Faithful ﬂatness of Hopf algeb ras. J. Algebra , 170(1):156–164, 1994

work page 1994
[22]

C. Negron. Braided Hochschild cohomology and Hopf acti ons. J. Noncommut. Geom. , 13(1):1–33, 2019

work page 2019
[23]

W. D. Nichols. Bialgebras of type one. Comm. Algebra, 6(15):1521–1552, 1978

work page 1978
[24]

Skryabin and F

S. Skryabin and F. Van Oystaeyen. The Goldie theorem for H-semiprime algebras. J. Algebra, 305(1):292–320, 2006

work page 2006
[25]

E. J. Taft and R. L. Wilson. On antipodes in pointed Hopf a lgebras. J. Algebra, 29(1):27–32, 1974. E-mail address : etingof@mth.mit.edu Department of Mathematics, Massachusetts Institute of Tec hnology, Cambridge, MA 02139 E-mail address : negronc@mit.edu Department of Mathematics, Massachusetts Institute of Tec hnology, Cambridge, MA 02139

work page 1974

[1] [1]

Andruskiewitsch and H.-J

N. Andruskiewitsch and H.-J. Schneider. Finite quantum groups over abelian groups of prime exponent. In Ann. Sci. ´Ec. Norm. Sup´ er., volume 35, pages 1–26. Elsevier, 2002

work page 2002

[2] [2]

Andruskiewitsch and H.-J

N. Andruskiewitsch and H.-J. Schneider. On the classiﬁc ation of ﬁnite-dimensional pointed Hopf algebras. Ann. of Math. , pages 375–417, 2010

work page 2010

[3] [3]

I. Angiono. On Nichols algebras of diagonal type. J. Reine Angew. Math. , 2013(683):189–251, 2013

work page 2013

[4] [4]

I. Angiono. Distinguished pre-Nichols algebras. Transform. Groups, 21(1):1–33, 2016

work page 2016

[5] [5]

Angiono and A

I. Angiono and A. G. Iglesias. Liftings of Nichols algebr as of diagonal type II. All liftings are cocycle deformations. Selecta Math. , 25(1), 2019. 23

work page 2019

[6] [6]

V. A. Artamonov. Actions of pointed Hopf algebras on quan tum torus. Ann. Univ. Ferrara , 51(1):29–60, 2005

work page 2005

[7] [7]

Brown and K

K. Brown and K. R. Goodearl. Lectures on algebraic quantum groups . Birkh¨ auser, 2012

work page 2012

[8] [8]

Cohen, D

M. Cohen, D. Fischman, and S. Montgomery. Hopf Galois ext ensions, smash products, and Morita equivalence. J. Algebra , (133):351–372, 1990

work page 1990

[9] [9]

Cuadra and P

J. Cuadra and P. Etingof. Finite dimensional Hopf action s on central division algebras. Int. Math. Res. Not. , 2017(5):1562–1577, 2016

work page 2017

[10] [10]

De Concini and V

C. De Concini and V. G. Kac. Representations of quantum g roups at roots of 1. In Operator algebras, unitary representations, enveloping algebras, and invariant theory (Paris, 1989) , volume 92 of Progr. Math., pages 471–506. Birkh¨ auser Boston, Boston, MA, 1990

work page 1989

[11] [11]

P. Etingof. Galois bimodules and integrality of PI como dule algebras over invariants. J. Noncommut. Geom., 9(2):567–602, 2015

work page 2015

[12] [12]

Etingof and C

P. Etingof and C. W alton. Pointed Hopf actions on ﬁelds, I. Transform. Groups, 20(4):985– 1013, 2015

work page 2015

[13] [13]

Etingof and C

P. Etingof and C. W alton. Finite dimensional Hopf actio ns on algebraic quantizations. Algebra Number Theory, 10(10):2287–2310, 2016

work page 2016

[14] [14]

Etingof and C

P. Etingof and C. W alton. Pointed Hopf actions on ﬁelds, II. J. Algebra, 460:253–283, 2016

work page 2016

[15] [15]

M. Gra˜ na. On Nichols algebras of low dimension. Contemp. Math , 267:111–134, 2000

work page 2000

[16] [16]

Heckenberger

I. Heckenberger. The Weyl groupoid of a Nichols algebra of diagonal type. Invent. Math. , 164(1):175–188, 2006

work page 2006

[17] [17]

Heyneman and D

R. Heyneman and D. Radford. Reﬂexivity and coalgebras o f ﬁnite type. J. Algebra, 28(2):215– 246, 1974

work page 1974

[18] [18]

G. Lusztig. Quantum groups at roots of 1. Geom. Dedicata, 35(1):89–113, 1990

work page 1990

[19] [19]

G. Lusztig. Introduction to quantum groups . Springer Science & Business Media, 2010

work page 2010

[20] [20]

Mastnak, J

M. Mastnak, J. Pevtsova, P. Schauenburg, and S. Withers poon. Cohomology of ﬁnite- dimensional pointed hopf algebras. Proc. Lond. Math. Soc. , 100(2):377–404, 2010

work page 2010

[21] [21]

Masuoka and D

A. Masuoka and D. Wigner. Faithful ﬂatness of Hopf algeb ras. J. Algebra , 170(1):156–164, 1994

work page 1994

[22] [22]

C. Negron. Braided Hochschild cohomology and Hopf acti ons. J. Noncommut. Geom. , 13(1):1–33, 2019

work page 2019

[23] [23]

W. D. Nichols. Bialgebras of type one. Comm. Algebra, 6(15):1521–1552, 1978

work page 1978

[24] [24]

Skryabin and F

S. Skryabin and F. Van Oystaeyen. The Goldie theorem for H-semiprime algebras. J. Algebra, 305(1):292–320, 2006

work page 2006

[25] [25]

E. J. Taft and R. L. Wilson. On antipodes in pointed Hopf a lgebras. J. Algebra, 29(1):27–32, 1974. E-mail address : etingof@mth.mit.edu Department of Mathematics, Massachusetts Institute of Tec hnology, Cambridge, MA 02139 E-mail address : negronc@mit.edu Department of Mathematics, Massachusetts Institute of Tec hnology, Cambridge, MA 02139

work page 1974