Hopf actions on Poisson algebras

Awn Alqahtani; Jason Gaddis; Xingting Wang

REVIEW 5 major objections 5 minor 20 references

Hopf actions on Poisson algebras

T0 review · 5 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper proves that finite-dimensional Hopf algebra actions on the Weyl Poisson algebra, when they preserve the standard filtration, must factor through a group algebra.

desk verdict The paper's headline rigidity result for the Weyl Poisson algebra is not proved as written—Cor. 3.8's quantization is wrong—but the Taft algebra classification is solid and the overall strategy is promising. read the letter →

arxiv 2506.06135 v1 pith:RVRHBM2R submitted 2025-06-06 math.QA math.RA

Awn Alqahtani , Jason Gaddis , Xingting Wang This is my paper

classification math.QAmath.RA MSC 17B6316T05

keywords PoissonalgebraHopfquantumrigidityWeylReesquantizationTaftuniversalenveloping

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Poisson algebras sit on the commutative side of deformation quantization, and this paper asks whether their quantum symmetries are as constrained as those of the Weyl algebras they deform. The main claim is a rigidity theorem: a finite-dimensional Hopf algebra acting on the nth Weyl Poisson algebra $W$ while preserving the standard filtration must act through a finite group of Poisson automorphisms, meaning its action factors through a group algebra. The same conclusion is proved for filtered quadratic Poisson algebras in two variables with nontrivial bracket and, under a genericity condition, for skew-symmetric quadratic Poisson algebras. The proofs work by lifting the action to the Rees algebra and then to an associative quantization where known rigidity results apply. A separate classification shows that linear Taft algebra actions on three-variable Poisson polynomial algebras force very restricted brackets, so genuine Hopf-type symmetries are rare.

What carries the argument

The load-bearing objects are the Rees algebra $R(A)=\bigoplus_n F_n A\,t^n$ of a filtered Poisson algebra and the quantization $P_\lambda=k\langle P_1\rangle/\ker(\sigma_\lambda)$, where $\sigma_\lambda$ is multiplication plus $\lambda$ times the Poisson bracket on $P_1\otimes P_1$. An $H$-action that respects the filtration lifts to $R(A)$ by declaring $h\cdot t=\epsilon(h)t$ and extending to homogeneous components; this converts a Poisson action into a graded action on a commutative algebra. The quantization step turns that graded action into an action on an associative algebra where rigidity theorems for Hopf actions on skew polynomial rings or Weyl algebras take over. For the Taft section, the template is the normalized linear action on $k[u_1,\ldots,u_m]$ in which $g$ scales $u_1$ by $\lambda^{-1}$ and $x$ sends $u_1$ to $u_2$ and annihilates the rest; bracket computations against this action force the Poisson brackets into the three families classified in Theorem 4.4.

What would settle it

Set $z=1$ in the relations displayed for the quantization $B$ in Corollary 3.8 and check whether the quotient $B/(t-1)$ satisfies the defining relations $x_i y_j-y_j x_i=\delta_{ij}$ of the nth Weyl algebra; if the displayed relations give a different quotient, the rigidity claim for $W$ is not settled by this argument.

Watch

Extended reading notes

Core claim

On its own terms, the central discovery is that the rigidity of finite-dimensional Hopf actions on Weyl algebras survives the passage to the Poisson world: for the nth Weyl Poisson algebra $W$ with its standard filtration, any finite-dimensional Hopf algebra action factors through a group algebra (Corollary 3.8). The argument does not attack the Poisson bracket directly. It lifts the action to the Rees algebra $R(W)$, builds a graded associative quantization $B$ of $R(W)$, transfers the action to $B$, and then passes to the quotient $B/(t-1)$, which is meant to be the nth Weyl algebra; at that point the known theorem on finite-dimensional Hopf actions on Weyl algebras applies. The same scheme yields rigidity for filtered quadratic Poisson algebras in two variables and, via quantizations of skew-symmetric Poisson algebras, for a generic family of quadratic Poisson algebras. For Taft algebras, the paper classifies the linear actions on $k[u_1,u_2,u_3]$ and shows the invariant Poisson algebra is not isomorphic to the original, so those actions are rigid in the invariant-ring sense.

Load-bearing premise

The load-bearing premise is that every filtration-preserving Hopf action on the Weyl Poisson algebra can be lifted to a well-defined action on a quantization whose quotient at $t=1$ is genuinely the nth Weyl algebra; if that quotient is a different algebra, the rigidity conclusion for $W$ is not established by this proof.

Editorial extensions

If this is right

For the nth Weyl Poisson algebra $W$, any finite-dimensional Hopf action preserving the standard filtration factors through a group algebra, so no genuine Hopf-type symmetry is added by noncocommutative coproducts.
For a filtered quadratic Poisson algebra on $k[u_1,u_2]$ with nontrivial bracket, the same rigidity holds (Corollary 3.9).
For a generic skew-symmetric quadratic Poisson algebra $P_c$, a graded finite-dimensional Hopf action factors through a group algebra (Corollary 3.7).
Linear Taft algebra actions on $k[u_1,u_2,u_3]$ force the bracket to be trivial, of the form (4.3), or of the form (4.4), and the invariant rings are not isomorphic to the original algebra (Theorem 4.4, Propositions 4.7 and 4.8).
Cocommutative Hopf actions on Poisson algebras extend to the universal enveloping algebra, while the classified Taft actions do not, so the two rigidity mechanisms are genuinely different (Corollary 3.3, Proposition 4.5).

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The proof route suggests a transfer principle: any filtered Poisson algebra whose Rees algebra admits a quantization with a known associative rigidity theorem inherits that rigidity; Corollaries 3.7-3.9 are instances.
Removing the filtration hypothesis from the Weyl Poisson result would resolve the paper's Conjecture 5.3 and match the stronger statement in the abstract.
The three-variable Taft classification could be pushed to $m$ variables by running the same bracket-constraint analysis on the data in Lemma 4.3; whether new nontrivial brackets appear for $m\geq 4$ is open.
The failure of Taft actions to extend to universal enveloping algebras suggests that enveloping-algebra rigidity methods cannot detect these actions, so direct Poisson invariant computations are the right tool there.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Colleague,

The paper has a clear and plausible strategy: lift filtration-preserving Hopf actions on Poisson algebras to Rees algebras, quantize, and then import known rigidity theorems from the associative world. The Taft algebra classification in Section 4 is the most valuable part—it is careful, self-contained, and largely correct. The normalization of the action, the computations of x(g) and the fixed rings, and the non-isomorphism arguments using Poisson automorphism groups (Lemma 4.6, Prop. 4.7) all check out. That section stands on its own.

But the paper's marquee result—rigidity of the Weyl Poisson algebra under filtered finite-dimensional Hopf actions—does not go through as written. Cor. 3.8 defines a quantization B with relations that force z^2 = 0 (take i = j in the x-x or y-y relation) and also set x_i y_j - y_j x_i = 0. The quotient B/(t-1) is therefore the zero algebra, not the nth Weyl algebra, so the appeal to Cuadra–Etingof–Walton is applied to the wrong algebra. This looks like a typo—the intended relations should have [x_i, y_j] = delta_ij z^2 and zero commutators among the x's and among the y's—but as printed the main theorem lacks a valid proof.

There is also a gap in Theorem 3.5, the lifting lemma. The proof computes {hX, hY} and shows it equals h{X,Y}, but the condition for an H-module Poisson algebra is h{X,Y} = {h_1 X, h_2 Y}. The step that rewrites epsilon(h_2) h_1({a,b} t^{n+m}) as h_1({a,b}) h_2(t^{n+m}) implicitly rearranges comultiplication components in a way that requires cocommutativity or a similar hypothesis. For a general noncocommutative H this does not follow. The statement might still be true, but the argument as written is not there.

Two smaller points: the abstract omits the filtration and grading hypotheses that the theorems actually require, which overstates the scope; and the proof of Cor. 3.7 assumes the bicharacter q is nondegenerate, which is stated but not contextualized. These are minor relative to the two issues above.

My recommendation: send this to a serious referee. The strategy is natural, the Taft section deserves an audience, and the main errors look repairable. But do not accept until Cor. 3.8 and Theorem 3.5 are fixed with a correct quantization and a rigorous proof of the lifting lemma. Once repaired, the Weyl rigidity claim is likely true. I would hold off citing the paper until then.

Best, [Name]

Referee Report

5 major / 5 minor

Summary. The paper studies finite-dimensional Hopf algebra actions on Poisson algebras, aiming to prove quantum rigidity: inner faithful actions on certain filtered quadratic Poisson algebras—including the Weyl Poisson algebra and two-variable filtered quadratic Poisson algebras—must factor through a group algebra. The proposed method is to lift actions to Rees algebras and then to associative quantizations, where known rigidity theorems for Weyl algebras, skew polynomial rings, and filtered AS-regular algebras can be invoked. The paper also gives a criterion for extending Hopf actions to universal enveloping algebras and classifies linear Taft algebra actions on low-dimensional Poisson polynomial algebras.

Significance. If the main rigidity theorems were established, they would extend the Cuadra–Etingof–Walton rigidity theorem for Weyl algebras to the Poisson setting and provide a useful toolkit (Rees lifts, quantizations) for studying Hopf actions on Poisson algebras. The paper has clear strengths: explicit constructions of quantizations, use of external classification results, a clean extension criterion for universal enveloping algebras, and detailed Taft algebra classifications with invariant rings. However, the proof of the central rigidity result for the Weyl Poisson algebra (Corollary 3.8) is invalid as printed, and the same obstruction affects Corollary 3.9. The headline claim in the abstract is also stronger than the theorems actually state.

major comments (5)

[§3.3, Corollary 3.8] The algebra B is defined with relations x_i x_j − x_j x_i − δ_ij z^2 = 0 and y_i y_j − y_j y_i − δ_ij z^2 = 0; setting i = j gives z^2 = 0. Consequently B/(t−1) is the zero algebra, not the nth Weyl algebra. Moreover, the relation x_i y_j − y_j x_i = 0 removes the commutators [x_i, y_j] = δ_ij that define the Weyl algebra. Thus [9, Theorem 1.1] is applied to the wrong algebra, and Corollary 3.8 is not established by the displayed argument.
[§3.3, Corollary 3.8] Even after correcting the relations to the evident intended form (x_i y_j − y_j x_i − δ_ij z^2 = 0, with [x_i, x_j] = [y_i, y_j] = 0), the proof does not produce an H-action on B/(z−1). Theorem 3.5 constructs the H-action on R(W) with h·t = ε(h)t, so the ideal (z−1) is not H-stable. If one instead sets h·z = z to make the quotient stable, the Weyl relation [x_i, y_j] = δ_ij z^2 is not preserved: its image under h contains the extra term δ_ij(ε(h) − 1)z^2. This is a load-bearing gap, not merely a typographical issue.
[§3.2, Theorem 3.5] The displayed chain of equalities in the proof contains an invalid step: the equality ε(h_2)ε(h_4){h_1(a), h_3(b)}t^{n+m} = ε(h_2)h_1({a,b}t^{n+m}) is not justified for noncocommutative H. Expanding the right-hand side via the module algebra structure gives {h_{11}·a, h_{12}·b}t^{n+m}, not {h_1·a, h_3·b}t^{n+m}. The theorem itself can be proved directly (using h·(c t^k) = (h·c)t^k), but the proof as printed is incorrect.
[Abstract and Introduction] The abstract and introduction state that any finite-dimensional Hopf algebra acting inner faithfully on these Poisson algebras must factor through a group algebra, omitting the filtration- and grading-preservation hypotheses that the theorems require. Corollary 3.7 assumes the action preserves the grading, Corollary 3.8 assumes preservation of the standard filtration, and Corollary 3.9 assumes preservation of the filtration. The overclaim should be corrected.
[§4, Proposition 4.8(3)] The assertion that P_c^T ≇ P_c fails when c = 0: in that case both algebras are the polynomial ring in three variables with the trivial Poisson bracket and are isomorphic. The statement needs an additional hypothesis such as c ≠ 0 or nondegeneracy of the bracket.

minor comments (5)

[§3.3, Corollary 3.9] The displayed definition of B uses the generator t in the relations (x_1t − tx_1, x_2t − tx_2) although t is not listed among the generators; this should be z. The same t/z confusion appears in the subsequent identification of R_{1/2} and in the quotient B/(t−1). Moreover, this corollary inherits the (z−1)-stability problem noted for Corollary 3.8.
[§3.1, Corollary 3.4] The phrase 'U(W) is the 2 nth Weyl algebra' is likely a typo for 'the nth Weyl algebra'.
[§4, Theorem 4.4(3)] The Jacobi identity computation has an extra factor c in the displayed expression; the intended expression c(u_2h − u_1f) is identically zero because u_2h = u_1f. In addition, the substitution u'_3 = −(bu_2 + cu_3) yields {u_2, u'_3} = −c u_2u'_3 and {u_1, u'_3} = −c u_1u'_3, so the signs in the normal form (4.4) should be checked.
[§5, Example 5.1] The calculation contains apparent typos: 'u1v' and 'v' in the displayed computation should be 'u_1u_2' and 'u_2', respectively.
[References] Reference [5] is listed as 'In preparation'; since Proposition 4.8(2) relies on it, the authors should either provide a proof or cite a published source.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular derivation: the rigidity conclusions are lifted to Rees algebras and then imported from external theorems, not repackaged from the paper's own inputs.

full rationale

I walked the derivation chain. Theorem 3.2 derives extension conditions (3.2)-(3.3) from the defining relations of U(A) rather than assuming them; Theorem 3.5 supplies its own proof of the Poisson-bracket compatibility of the Rees action, with only the underlying H-module-algebra assertion taken from Chan-Walton-Wang-Zhang [4, Lem. 4.2]. Corollary 3.7 reduces P_c to the skew polynomial ring S_q and invokes Etingof-Walton [12, Thm 1.9], an external rigidity theorem; S_q is a genuine deformation, not a renamed version of the conclusion. Corollary 3.8 likewise ends by invoking Cuadra-Etingof-Walton [9, Thm 1.1] for the nth Weyl algebra; the Poisson rigidity of W is not an input to that theorem. The self-citations [16] and [4] are used for bracket classification and filtered-AS-regular rigidity respectively, not for the Weyl-Poisson rigidity itself. I note, as a correctness matter outside the circularity score, that as printed the B in Corollary 3.8 has z^2=0 from the i=j relations, so B/(t-1) is the zero ring rather than the nth Weyl algebra; that is a gap in the reduction, not a circular reduction. No fitted parameter is renamed as a prediction, and no uniqueness claim from the authors' prior work is used to forbid alternatives. Hence no significant circularity.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

The central claims rest on standard Hopf and Poisson algebra definitions plus five external rigidity and classification theorems. No fitted free parameters are introduced, and the paper does not postulate new mathematical entities. The proof-level typos and the gap in the displayed verification of Theorem 3.5 are tracked in the red flags.

assumptions (7)

domain assumption The base field k is algebraically closed of characteristic zero.
Stated at the start of Section 2; needed for the quoted semisimple Hopf action theorem [11] and for the classification results used later.
domain assumption Semisimple Hopf actions on commutative domains factor through group algebras [11, Theorem 1.3].
Used in the introduction and Section 2.4 to justify focusing on nonsemisimple Hopf actions on Poisson domains.
domain assumption Finite-dimensional Hopf actions on Weyl algebras factor through group algebras [9, Theorem 1.1].
The terminal rigidity input for Corollaries 3.4 and 3.8, invoked after the action is lifted to the Weyl algebra.
domain assumption Finite-dimensional Hopf actions on skew polynomial rings factor through group algebras under suitable conditions [12, Theorem 1.9].
Used in Corollary 3.7 after showing that the quantization P_lambda is a skew polynomial ring S_q.
domain assumption Rigidity for finite-dimensional Hopf actions on certain filtered Artin-Schelter regular algebras [4, Theorem 0.1].
Used in Corollary 3.9 for the quotient B/(t-1) arising from a filtered quadratic Poisson algebra in two variables.
domain assumption Allman's classification of graded Taft algebra actions on polynomial rings, giving the normalization (4.1) [3].
The starting point for the Taft algebra classification in Section 4.
domain assumption Classification of filtered quadratic Poisson brackets in two variables [16, Theorem 3.1].
Input to Corollary 3.9, listing the possible forms of {u1,u2} up to change of variables.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Hopf actions on Poisson algebras." pith.science (2026). https://pith.science/paper/RVRHBM2R

@misc{pith2026250606135,
  author       = {Pith},
  title        = {Pith review of: Hopf actions on Poisson algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/RVRHBM2R}},
  note         = {Machine review of arXiv:2506.06135}
}

abstract

We study finite-dimensional Hopf actions on Poisson algebras and explore the phenomenon of quantum rigidity in this context. Our main focus is on filtered (and especially quadratic) Poisson algebras, including the Weyl Poisson algebra in $2n$ variables and certain Poisson algebras in two variables. In particular, we show that any finite-dimensional Hopf algebra acting inner faithfully on these Poisson algebras must necessarily factor through a group algebra-mirroring well-known rigidity theorems for Weyl algebras in the associative setting. The proofs hinge on lifting the Hopf actions to associated Rees algebras, where we construct suitable noncommutative "quantizations" that allow us to leverage classification results for Hopf actions on quantum (or filtered) algebras. We also discuss how group actions on Poisson algebras extend to universal enveloping algebras, and we give partial classifications of Taft algebra actions on certain low-dimensional Poisson algebras.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

[1]

Alev and D

J. Alev and D. R. Farkas. Finite group actions on Poisson algebras. InThe orbit method in geometry and physics (Marseille, 2000), volume 213 of Progr. Math., pages 9–28. Birkh¨ auser Boston, Boston, MA, 2003

work page 2000
[2]

Alev and P

J. Alev and P. Polo. A rigidity theorem for finite group actions on enveloping algebras of semisimple Lie algebras. Adv. Math., 111(2):208–226, 1995

work page 1995
[3]

J. Allman. Actions of finite-dimensional, non-commutative, non-cocommutative Hopf algebras on rings. Master’s thesis, Wake Forest University, 2009

work page 2009
[4]

K. Chan, C. Walton, Y. H. Wang, and J. J. Zhang. Hopf actions on filtered regular algebras. J. Algebra, 397:68–90, 2014

work page 2014
[5]

K. Chan, J. Gaddis, R. Won, and J. J. Zhang. Log ozone groups of polynomial Poisson algebras. In preparation, 2025

work page 2025
[6]

Cline and J

Z. Cline and J. Gaddis. Actions of quantum linear spaces on quantum algebras. J. Algebra, 556:246–286, 2020

work page 2020
[7]

Actions of Taft Algebras on Noetherian Down-Up Algebras

S. Crawford, J. Gaddis, and R. Won. Actions of Taft algebras on noetherian down-up algebras.To appear in Transformation Groups (arxiv preprint:2409.17890) , pages 1–29, 2025

work page Pith review arXiv 2025
[8]

Cuadra, P

J. Cuadra, P. Etingof, and C. Walton. Semisimple Hopf actions on Weyl algebras. Adv. Math., 282:47–55, 2015

work page 2015

Show all 20 references

[9]

Cuadra, P

J. Cuadra, P. Etingof, and C. Walton. Finite dimensional Hopf actions on Weyl algebras. Adv. Math., 302:25–39, 2016

2016
[10]

D˘ asc˘ alescu, C

S. D˘ asc˘ alescu, C. N˘ ast˘ asescu, and c. Raianu.Hopf algebras, volume 235 of Monographs and Textbooks in Pure and Applied Mathematics. Marcel Dekker, Inc., New York, 2001. An introduction

2001
[11]

Etingof and C

P. Etingof and C. Walton. Semisimple Hopf actions on commutative domains. Adv. Math., 251:47–61, 2014

2014
[12]

Etingof and C

P. Etingof and C. Walton. Finite dimensional Hopf actions on algebraic quantizations.Algebra Number Theory, 10(10):2287– 2310, 2016

2016
[13]

Etingof and C

P. Etingof and C. Walton. Finite dimensional Hopf actions on deformation quantizations. Proc. Amer. Math. Soc. , 145(5):1917–1925, 2017

1917
[14]

Gaddis, P

J. Gaddis, P. Veerapen, and X. Wang. Reflection Groups and Rigidity of Quadratic Poisson Algebras. Algebr. Represent. Theory, 26(2):329–358, 2023

2023
[15]

Gaddis and X

J. Gaddis and X. Wang. The Zariski cancellation problem for Poisson algebras. J. Lond. Math. Soc. (2) , 101(3):1250–1279, 2019

2019
[16]

Gaddis, X

J. Gaddis, X. Wang, and D. Yee. Cancellation and skew cancellation for Poisson algebras. Math. Z. , 301(4):3503–3523, 2022

2022
[17]

C. Ma. Invariants of unimodular quadratic polynomial Poisson algebras of dimension 3. arXiv preprint:2302.13588, pages 1–26, 2023

2023 arXiv
[18]

S.-Q. Oh. Poisson enveloping algebras. Comm. Algebra, 27(5):2181–2186, 1999

1999
[19]

Tikaradze

A. Tikaradze. Derived invariants of the fixed ring of enveloping algebras of semisimple Lie algebras. Math. Z., 297(1-2):475– 481, 2021

2021
[20]

Umirbaev

U. Umirbaev. Universal enveloping algebras and universal derivations of Poisson algebras. J. Algebra, 354:77–94, 2012. 17 Najran University, Department of Mathematics, King Abdulaziz Road, Najran 55461, Kingdom of Saudi Arabia Email address : odalqahtani@nu.edu.sa Miami Univer...

2012

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.

[1] [1]

Alev and D

J. Alev and D. R. Farkas. Finite group actions on Poisson algebras. InThe orbit method in geometry and physics (Marseille, 2000), volume 213 of Progr. Math., pages 9–28. Birkh¨ auser Boston, Boston, MA, 2003

work page 2000

[2] [2]

Alev and P

J. Alev and P. Polo. A rigidity theorem for finite group actions on enveloping algebras of semisimple Lie algebras. Adv. Math., 111(2):208–226, 1995

work page 1995

[3] [3]

J. Allman. Actions of finite-dimensional, non-commutative, non-cocommutative Hopf algebras on rings. Master’s thesis, Wake Forest University, 2009

work page 2009

[4] [4]

K. Chan, C. Walton, Y. H. Wang, and J. J. Zhang. Hopf actions on filtered regular algebras. J. Algebra, 397:68–90, 2014

work page 2014

[5] [5]

K. Chan, J. Gaddis, R. Won, and J. J. Zhang. Log ozone groups of polynomial Poisson algebras. In preparation, 2025

work page 2025

[6] [6]

Cline and J

Z. Cline and J. Gaddis. Actions of quantum linear spaces on quantum algebras. J. Algebra, 556:246–286, 2020

work page 2020

[7] [7]

Actions of Taft Algebras on Noetherian Down-Up Algebras

S. Crawford, J. Gaddis, and R. Won. Actions of Taft algebras on noetherian down-up algebras.To appear in Transformation Groups (arxiv preprint:2409.17890) , pages 1–29, 2025

work page Pith review arXiv 2025

[8] [8]

Cuadra, P

J. Cuadra, P. Etingof, and C. Walton. Semisimple Hopf actions on Weyl algebras. Adv. Math., 282:47–55, 2015

work page 2015