REVIEW 2 major objections 5 minor 15 references
On partial representations of pointed Hopf algebras
T0 review · 2 major / 5 minor · reviewed 2026-08-09 · deepseek-v4-flash
Pith's one-line read This paper proves that the partial representation algebra of a pointed Hopf algebra decomposes as a direct sum of ideals indexed by the components of the groupoid attached to its grouplike group.
desk verdict Solid block decomposition for partial representation algebras of pointed Hopf algebras, but the characteristic-zero issue with the averaging formula needs fixing before it covers all fields. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The paper's load-bearing device is a uniqueness theorem for convolution idempotent maps (Theorem 1.8): if f,g: C → A are convolution idempotents that agree on the coradical C_0 and satisfy f*g = g*f = g, then f = g on all of C; this relies on the coradical filtration being exhaustive. Around this, the paper builds central idempotents P_X^A in any symmetric partial H-module algebra A, indexed by P1(G), and their orbit-averages Γ_X^A = (1/|G_X|) Σ_{$g^{{-1}}$∈X} P_{gX}^A, which satisfy h·Γ_X^A = (h·1_A)Γ_X^A for every h ∈ H. Since H_par is isomorphic to the partial smash product A_par#H (Theorem 1.4), centrality of Γ_X in H_par follows, and the decomposition of A into the ideals AΓ_{X_k} lifts to H_par.
What would settle it
Find two convolution idempotent maps f,g: C → A that agree on the coradical and satisfy f*g = g*f = g yet differ somewhere in C; because Theorem 1.8 is the step that forces h·Γ_X = ε_h Γ_X, such a pair would destroy the H-invariance of the blocks and the decomposition of Theorem 2.12.
Extended reading notes
Core claim
The central claim, Theorem 2.12, states that if H is a pointed Hopf algebra with invertible antipode and finite group G of grouplike elements, and if X_1,...,X_n represent the equivalence classes of P1(G) (subsets of G containing the identity, where X ~ Y when some g ∈ G has $g^{{-1}}$ ∈ X and gX = Y), then H_par decomposes as a direct sum H_par = ⊕_{k=1}^n H_par Γ_{X_k} of unital ideals. Each Γ_{X_k} is a central idempotent built by averaging the fine idempotents P_X = ∏_{x∈X}(x·1)∏_{y∉X}(1−y·1) over the orbit of X under the partial G-action. The block decomposition is the same combinatorial one that governs the partial group algebra of G.
Load-bearing premise
The whole argument leans on the theorem that two convolution-idempotent maps into an algebra that agree on the coradical and satisfy one-sided intertwinings must be identical everywhere; if that uniqueness fails, the stability of the blocks under the partial action breaks.
Editorial extensions
If this is right
- H_par always contains a copy of H as a unital ideal: Γ_G H_par ≅ H, so H_par ≅ (1−Γ_G)H_par ⊕ H.
- The base algebra A_par admits the refined decomposition A_par ≅ ⊕_{L≤G} q(G,L) A_par P_L, where q(G,L) counts subsets of P1(G) whose stabilizer is conjugate to L.
- For H equal to the group algebra KG, the theorem recovers the known isomorphism between K_par G and the algebra of the groupoid associated to G.
- For the two 8-dimensional rank-one pointed Hopf algebras worked out in the paper, explicit bases for every block of H_par are computed, showing finite and infinite-dimensional blocks coexisting.
Reading between the lines
- If Theorem 1.8 is the only place pointedness is used, the same block decomposition should hold for any Hopf algebra whose coradical is a finite-dimensional Hopf subalgebra and whose antipode is invertible; pointedness is sufficient, not obviously necessary.
- The explicit bases in the two rank-one examples suggest that each block tends to be either a finite-dimensional truncated polynomial ring or an honest polynomial ring, so H_par is finite-dimensional exactly when no block with an infinite polynomial part occurs; this could be tested by computing block dimensions for other rank-one data.
- The multiplicative section θ_H from Theorem 2.14 embeds H as a unital ideal of H_par, and a natural next question is whether the complementary ideal (1−Γ_G)H_par can be identified in general, rather than only in examples.
- One could use the same averaging construction with equivalence classes replaced by stabilizer conjugacy classes to produce an explicit matrix-algebra decomposition of H_par, mirroring the full block form of the partial group algebra.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves a structural decomposition theorem for the partial representation algebra Hpar of a pointed Hopf algebra H with finite group G of grouplike elements and invertible antipode. The main result (Theorem 2.12) states that Hpar is a direct sum of unital ideals HparΓ_X indexed by the equivalence classes of P1(G) under the relation X∼Y iff gX=Y for some g with g^{-1}∈X. The proof introduces convolution idempotent techniques, a set of idempotents P_X in the base algebra Apar, and averaging idempotents Γ_X; it also establishes isomorphisms AP_X ≃ AP_{gX} and, in the examples, computes explicit bases for Hpar for two 8-dimensional rank-one Hopf algebras.
Significance. If the main result holds, it gives a concrete block decomposition of Hpar for pointed Hopf algebras, directly generalizing the group case of Dokuchaev–Exel–Piccione and providing a framework for explicitly describing partial representations. The paper is largely self-contained, with explicit inverse maps for the AP_X isomorphisms and detailed worked examples, which are valuable for the community. The main reservation is that the central construction uses division by |G_X| without a characteristic hypothesis, so the principal theorem is not established over fields whose characteristic divides these orders.
major comments (2)
- [§2.2, Lemma 2.7; §2.3, Proposition 2.11 and Theorem 2.12] The element Γ_A^X is defined as (1/|G_X|) Σ_{g^{-1}∈X} P^A_{gX}, but no condition is imposed on the ground field K. If char K divides |G_X|, this expression is not defined. For instance, for H=KZ_p over a field of characteristic p and X=G=Z_p, one has |G_X|=p=0 in K, so the definition is meaningless. Since Theorem 2.12 and its predecessors rely on this Γ_X, the main decomposition is unproved for pointed Hopf algebras over fields of positive characteristic. The theorem should be restated with a characteristic-zero hypothesis, or with char K ∤ |G_X| for all X, or the definition of Γ_A^X should be changed to the orbit sum Σ_{Y∼X} P^A_Y and the proofs of Lemma 2.7, Lemma 2.18 and Theorem 2.19 reworked accordingly.
- [Unnumbered paragraph after Lemma 2.7] The displayed equality Γ_A^X = (1/|G_X|) Σ_{g^{-1}∈X} P^A_{gX} = Σ_{Y∼X} P^A_Y is not a valid way to bypass the positive-characteristic problem. The middle sum equals |G_X|·Σ_{Y∼X} P^A_Y, since each term P^A_{gX} appears exactly |G_X| times; when |G_X|=0 in K this sum is 0, while the orbit sum on the right is generally nonzero (for example, X=G in KZ_p). Thus the asserted equality is false in positive characteristic, and the orbit-sum formula cannot simply be read off from the averaged expression. The definition of Γ_A^X must be made independently of division by |G_X| for the proof to cover arbitrary fields.
minor comments (5)
- [§1.1] There are two distinct statements labeled Theorem 1.2: the universal property of Hpar (from [3, Theorem 4.2]) and the universal property of Apar (from [3, Theorem 4.12]). Please renumber the second one to avoid confusion.
- [§2.3] The cross-reference "by Proposition 2.7" in the paragraph after the definition of Γ_X appears to mean Lemma 2.7; please correct the reference.
- [Example 1.5] In the sentence "the components of G(C)", the symbol C should be G; the groupoid is G(G).
- [§3.2, basis lists] In the basis items, the element written "P{1,g,g2g3}" is a typo for "P{1,g,g^2,g^3}", and similarly in §3.3.
- [Theorem 2.14 and Corollary 2.15] The proof that θ_H induces an isomorphism H ≃ Γ_G Hpar is incomplete as written: the authors show pH∘θ_H = id_H, but they do not explicitly justify that θ_H is surjective onto Γ_G Hpar. This follows because every element of Γ_G Hpar is Γ_G times a finite product of [h_i]'s and Γ_G[h_1]...[h_n] = Γ_G[h_1...h_n], but this argument should be added.
Circularity Check
No significant circularity: the block decomposition is derived from explicitly constructed idempotents and proved centrality; the cited framework is prior independent work.
full rationale
The paper's central claim, Theorem 2.12, is not a rewording of its inputs. The idempotents P_X are defined directly from the partial action via products of central idempotents g·1_A, and the Γ_X are then shown, by explicit computation, to be central idempotents of A and then of Hpar. The identity Γ_X = Σ_{Y∼X} P_Y is proved, not assumed, and the decomposition A = ⊕ AΓ_{X_k} follows from the already-proved orthogonality and completeness of the P_X together with the centrality of Γ_X. The lifting to Hpar uses the established isomorphism Hpar ≃ Apar#H from [3], which is prior independent work, and the centrality of Γ_X in the partial smash product is verified directly. The main technical lemma, Theorem 1.8, is proved internally from the standard exhaustiveness of the coradical filtration, cited to [15]; it is not a self-citation and does not assume the target result. The isomorphisms AP_X ≃ AP_{GX} are constructed via explicit maps φ_X and ψ_X, not by fiat. Citations to [3] and [12] involve current authors but are not load-bearing in a circular way: [3] supplies the general Hpar framework and [12] is mentioned only as related work. The only substantive concern, that Γ_X and ψ_X divide by |G_X| and hence may be undefined in positive characteristic, is a correctness gap for part of the stated generality, not a circularity: it does not make any derivation equivalent to its own inputs. Overall, no step in the derivation chain reduces by construction to a fitted parameter, a renamed known result, or a self-citation chain.
Assumptions & free parameters
assumptions (3)
- domain assumption H is a pointed Hopf algebra with finite group of grouplike elements G and invertible antipode.
- standard math The coradical filtration (C_n)_{n≥0} of any coalgebra is exhaustive: C = ∪_n C_n.
- domain assumption The algebra H_par is isomorphic to the partial smash product A_par#H, with the canonical partial action of H on A_par.
invented entities (2)
-
central idempotent Γ_X = (1/|G_X|) Σ_{g^{-1}∈X} P_{gX}
independent evidence
-
family of idempotents P_X = ∏_{x∈X} (x·1_A) ∏_{y∉X} (1_A − y·1_A) for X ∈ P1(G)
independent evidence
Cite this review
Pith. "Pith review of On partial representations of pointed Hopf algebras." pith.science (2026). https://pith.science/paper/U4XOPB6F
@misc{pith2026250203642,
author = {Pith},
title = {Pith review of: On partial representations of pointed Hopf algebras},
year = {2026},
howpublished = {\url{https://pith.science/paper/U4XOPB6F}},
note = {Machine review of arXiv:2502.03642}
}
abstract
Partial representations of Hopf algebras were motivated by the theory of partial representations of groups. Alves, Batista e Vercruysse introduced partial representations of a Hopf algebra and showed that, as in the case of partial groups actions, a partial $H$-action on an algebra $A$ leads to a partial representation on the algebra of linear endomorphisms of $A$, and a left module $M$ over the partial smash product of $A$ by $H$ carries also a partial representation of $H$ on its algebra of linear endomorphisms. Moreover, partial representations of $H$ correspond to left modules over a Hopf algebroid $H_{par}$. It is known from a result by Dokuchaev, Exel and Piccione that when $H$ is the algebra of a finite group $G$, then $H_{par}$ is isomorphic to the algebra of a finite groupoid determined by $G$. In this work we show that if $H$ is a pointed Hopf algebra with finite group $G$ of grouplikes then $H_{par}$ can be written as a direct sum of unital ideals indexed by the components of the same groupoid associated to the group $G$.
Reference graph
Works this paper leans on
-
[1]
Enveloping actions for pa rtial Hopf actions
Marcelo Muniz S Alves and Eliezer Batista. Enveloping actions for pa rtial Hopf actions. Communications in Algebra, 38(8):2872–2902, 2010
work page 2010
-
[2]
Partial corepresentations of Hopf algebras
Marcelo Muniz S Alves, Eliezer Batista, Felipe Castro, Glauber Quad ros, and Joost Vercruysse. Partial corepresentations of Hopf algebras. Journal of algebra , 577:74–135, 2021
work page 2021
-
[3]
Pa rtial representations of Hopf algebras
Marcelo Muniz S Alves, Eliezer Batista, and Joost Vercruysse. Pa rtial representations of Hopf algebras. Journal of algebra , 426:137–187, 2015
work page 2015
-
[4]
S. Caenepeel and E. de Groot. Corings applied to partial Galois th eory. In KALLA SL, CHAWLA M M. Proceedings of the International Conference on Mathema tics and Applications. Kuwait: Kuwait University, volume 117, 2005
work page 2005
-
[5]
Partial (co) actions of H opf algebras and partial Hopf-galois theory
Stefaan Caenepeel and Kris Janssen. Partial (co) actions of H opf algebras and partial Hopf-galois theory. Communications in Algebra , 36(8):2923–2946, 2008
work page 2008
-
[6]
M. Dokuchaev and R. Exel. Associativity of crossed products by partial actions, enveloping actions and partial representations. Trans. Amer. Math. Soc. , 357(5):1931–1952, 2005
work page 1931
-
[7]
Partial repres entations and partial group algebras
Michael Dokuchaev, Ruy Exel, and Paolo Piccione. Partial repres entations and partial group algebras. J. Algebra, 226(1):505–532, 2000
work page 2000
-
[8]
Part ial actions and Galois theory
Michael Dokuchaev, Miguel Ferrero, and Antonio Paques. Part ial actions and Galois theory. J. Pure Appl. Algebra, 208(1):77–87, 2007
work page 2007
Show all 15 references
-
[9]
Isomorphisms of partial group r ings
Michael Dokuchaev and J Simon. Isomorphisms of partial group r ings. Communications in Algebra , 44(2):680–696, 2016
2016
-
[10]
Circle actions on C*-algebras, partial automorphisms and a generalized Pimsner-Voiculescu exact sequence
Ruy Exel. Circle actions on C*-algebras, partial automorphisms and a generalized Pimsner-Voiculescu exact sequence. J. Funct. Analysis , 122:361–401, 1994
1994
-
[11]
Partial actions of groups and actions of inverse semig roups
Ruy Exel. Partial actions of groups and actions of inverse semig roups. Proc. Amer. Math. Soc. , 126(12):3481–3494, 1998
1998
-
[12]
Pa rtial representations of connected and smash product Hopf algebras
Tiago Luiz Ferrazza, William Hautekiet, and Arthur Alves Neto. Pa rtial representations of connected and smash product Hopf algebras. arXiv preprint arXiv:2404.17303 , 2024
2024 arXiv
-
[13]
Finite-dimensional Hopf algebr as of rank one in characteristic zero
Leonid Krop and David E Radford. Finite-dimensional Hopf algebr as of rank one in characteristic zero. Journal of Algebra , 302(1):214–230, 2006
2006
-
[14]
Hopf algebras and their actions on rings
Susan Montgomery. Hopf algebras and their actions on rings . Number 82. American Mathematical Soc., 1993
1993
-
[15]
Hopf algebras, volume 49
David E Radford. Hopf algebras, volume 49. World Scientific, 2012. ON PARTIAL REPRESENTATIONS OF POINTED HOPF ALGEBRAS 42 A. R. Alves Neto Departamento de Matem´atica, Universidade Tecnol ´ogica Federal do Paran ´a, Brazil Email address : arthurntcwb@yahoo.com.br M. M. Alves De...
2012
Reviewed August 9, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.