pith. sign in

arxiv: 2504.14397 · v3 · submitted 2025-04-19 · 🧮 math.RA · math.RT

Deformation Theory and Hopf Actions on Koszul Algebras

A. V. Shepler , S. Witherspoon This is my paper

Pith reviewed 2026-05-22 18:03 UTC · model grok-4.3

classification 🧮 math.RA math.RT
keywords PBW deformationsHopf actionsKoszul algebrassmash productsHecke algebrasdeformation theoryHochschild cohomology
0
0 comments X

The pith

Hopf actions on Koszul algebras produce all PBW deformations as Hopf-Koszul Hecke algebras.

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

This paper develops graded deformations of algebras over noncommutative bases, with emphasis on smash products from Hopf algebra actions on quadratic algebras. It shows that the fibers of such graded deformations are filtered algebras satisfying the PBW property. The authors apply Alexander-Whitney and Eilenberg-Zilber maps for twisted tensor products to move homological data between resolutions. This converts abstract conditions on Hochschild cocycles and Gerstenhaber brackets into concrete criteria for the existence of PBW deformations. A reader would care because the work supplies an explicit classification of a family of noncommutative algebras arising from Hopf symmetry.

Core claim

We consider graded deformations and PBW deformations of algebras defined over noncommutative algebras. We explain how fibers of graded deformations correspond to filtered algebras admitting a PBW property, with focus on smash product algebras for Hopf algebras acting on quadratic algebras. In particular, we describe all PBW deformations arising from Hopf actions on Koszul algebras, giving Hopf-Koszul Hecke algebras. Alexander-Whitney and Eilenberg-Zilber maps for twisted tensor products transfer homological information between resolutions and convert conditions on Hochschild cocycles and Gerstenhaber brackets into explicit PBW conditions.

What carries the argument

Alexander-Whitney and Eilenberg-Zilber maps for twisted tensor products, which transfer homological information between resolutions to convert Hochschild cocycle and Gerstenhaber bracket conditions into explicit PBW criteria for smash products.

If this is right

  • Fibers of graded deformations of smash products correspond exactly to filtered algebras with the PBW property.
  • Hopf actions on Koszul algebras produce PBW deformations if and only if the transferred Hochschild cocycle and Gerstenhaber bracket conditions hold.
  • All such PBW deformations are Hopf-Koszul Hecke algebras.
  • The homological conditions become explicit algebraic relations on the action and the deformation parameters.

Where Pith is reading between the lines

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

  • The same chain-map technique might classify PBW deformations for actions on algebras that are not quadratic or not Koszul.
  • The construction supplies a source of new examples of Hecke algebras carrying Hopf symmetry that could be tested in representation theory.
  • The method suggests a route to deformation classifications in braided or quantum settings where similar twisted tensor products appear.

Load-bearing premise

The algebras are quadratic Koszul algebras that admit a Hopf algebra action, so smash products exist and the chain maps can translate homological conditions into PBW criteria.

What would settle it

A concrete Hopf action on a Koszul algebra such as a polynomial ring, for which the associated graded deformation either satisfies the PBW property without meeting the derived cocycle conditions or fails the PBW property while satisfying those conditions.

read the original abstract

We consider graded deformations and PBW deformations of algebras defined over noncommutative algebras. We explain how fibers of graded deformations correspond to filtered algebras admitting a PBW property, with focus on smash product algebras for Hopf algebras acting on quadratic algebras. In particular, we describe all PBW deformations arising from Hopf actions on Koszul algebras, giving Hopf-Koszul Hecke algebras. Alexander-Whitney and Eilenberg-Zilber maps for twisted tensor products transfer homological information between resolutions and convert conditions on Hochschild cocycles and Gerstenhaber brackets into explicit PBW conditions.

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.

Referee Report

0 major / 2 minor

Summary. The manuscript develops a framework for graded deformations and PBW deformations of algebras over noncommutative bases, with particular focus on smash-product constructions arising from Hopf algebra actions on quadratic Koszul algebras. The central claim is an explicit description of all PBW deformations obtained in this manner, which the authors term Hopf-Koszul Hecke algebras; this description is obtained by transporting Hochschild cocycle and Gerstenhaber bracket conditions into PBW criteria via Alexander-Whitney and Eilenberg-Zilber maps on twisted tensor products of resolutions.

Significance. If the central claims are verified, the work supplies a concrete homological criterion for the PBW property in the setting of Hopf actions on Koszul algebras. The approach correctly invokes standard tools (Hochschild cohomology, Gerstenhaber brackets, and the Alexander-Whitney/Eilenberg-Zilber maps for twisted tensor products) to convert abstract deformation conditions into explicit algebraic relations, which is a genuine strength and may facilitate explicit computations and new examples in noncommutative deformation theory.

minor comments (2)
  1. [Section 3] The definition of the smash-product filtration and the precise statement of the PBW criterion (likely in the main theorem) would benefit from an explicit reference to the relevant Hochschild cocycle condition being translated.
  2. [Section 2] Notation for the twisted tensor product resolution is introduced late; moving a brief reminder of the Alexander-Whitney and Eilenberg-Zilber maps to the preliminaries would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the positive evaluation of the framework developed for graded and PBW deformations of algebras over noncommutative bases, with emphasis on Hopf actions on Koszul algebras. The recommendation for minor revision is appreciated. As the report contains no enumerated major comments, we have no specific points to address in detail below.

Circularity Check

0 steps flagged

No significant circularity; derivation uses standard external homological tools

full rationale

The paper's central derivation applies the Alexander-Whitney and Eilenberg-Zilber maps (standard tools from homological algebra) to transfer Hochschild cocycle and Gerstenhaber bracket conditions into explicit PBW criteria for smash products arising from Hopf actions on quadratic Koszul algebras. These maps and the underlying resolutions are not derived or fitted within the paper, nor justified via self-citation chains. The description of Hopf-Koszul Hecke algebras follows directly from converting the homological data without reducing any prediction or uniqueness claim to an input by construction. The approach is self-contained against external benchmarks in homological algebra, with no self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citations.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

Review based solely on abstract; full list of assumptions and parameters not available. Standard domain assumptions in Koszul duality and Hopf algebra theory are invoked.

axioms (1)
  • domain assumption Koszul algebras admit quadratic resolutions with controlled homological properties.
    Invoked implicitly when discussing transfer of homological information for Koszul algebras.
invented entities (1)
  • Hopf-Koszul Hecke algebras no independent evidence
    purpose: To designate the PBW deformations obtained from Hopf actions on Koszul algebras.
    New terminology introduced to name the resulting class of algebras.

pith-pipeline@v0.9.0 · 5617 in / 1341 out tokens · 65179 ms · 2026-05-22T18:03:03.058871+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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

29 extracted references · 29 canonical work pages

  1. [1]

    Poincar´ e-Birkhoff-Witt Theorem for quadratic algebras of Koszul type,

    A. Braverman and D. Gaitsgory, “Poincar´ e-Birkhoff-Witt Theorem for quadratic algebras of Koszul type,” J. Algebra 181 (1996), 315–328

    work page 1996

  2. [2]

    Noncommutative deformations of Kleinian singularities,

    W. Crawley-Boevey and M. P. Holland, “Noncommutative deformations of Kleinian singularities,” Duke Math. J. 22 (1998), no. 3, 605–635

    work page 1998

  3. [3]

    Degenerate affine Hecke algebras and Yangians,

    V. G. Drinfeld, “Degenerate affine Hecke algebras and Yangians,” Funct. Anal. Appl. 20 (1986), 58–60

    work page 1986

  4. [4]

    Continuous Hecke algebras,

    P. Etingof, W. L. Gan, and V. Ginzburg, “Continuous Hecke algebras,” Transform. Groups 10 (2005), no. 3–4, 423–447

    work page 2005

  5. [5]

    Symplectic reflection algebras, Calogero-Moser space, and deformed Harish-Chandra homomorphism,

    P. Etingof and V. Ginzburg, “Symplectic reflection algebras, Calogero-Moser space, and deformed Harish-Chandra homomorphism,” Invent. Math. 147 (2002), no. 2, 243–348

    work page 2002

  6. [6]

    Barbasch-Sahi algebras and Dirac cohomology,

    J. Flake, “Barbasch-Sahi algebras and Dirac cohomology,” Trans. Amer. Math. Soc. 371 (2019), no. 10, 6883–6902

    work page 2019

  7. [7]

    Hopf-Hecke algebras, infinitesimal Cherednik algebras, and Dirac cohomology,

    J. Flake and S. Sahi, “Hopf-Hecke algebras, infinitesimal Cherednik algebras, and Dirac cohomology,” Pure Appl. Math. Q. 17 (2021), no. 4, 1549–1597

    work page 2021

  8. [8]

    Quantized symplectic oscillator algebras of rank one,

    W. L. Gan and A. Khare, “Quantized symplectic oscillator algebras of rank one,” J. Algebra 310 (2007), no. 2, 671–707

    work page 2007

  9. [9]

    Algebraic cohomology and deformation theory,

    M. Gerstenhaber and S. Schack, “Algebraic cohomology and deformation theory,” Deformation theory of algebras and structures and applications (Il Ciocco, 1986), NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., 247, Kluwer Acad. Publ., Dordrecht (1988), 11–264

    work page 1986

  10. [10]

    Goodearl, K. R. and Warfield, Jr., R. B., An introduction to noncommutative Noetherian rings , London Mathematical Society Student Texts, 61, Second Edition, Cambridge University Press, Cam- bridge, 2004

    work page 2004

  11. [11]

    Hochschild homology of twisted tensor products,

    J. A. Guccione and J. J. Guccione, “Hochschild homology of twisted tensor products,” K-Theory 18 (1999), 363–400

    work page 1999

  12. [12]

    Generalized nil-Coxeter algebras, cocommutative algebras, and the PBW property,

    A. Khare, “Generalized nil-Coxeter algebras, cocommutative algebras, and the PBW property,” in Groups, rings, group rings, and Hopf algebras, 139–168, Contemp. Math., 688, Amer. Math. Soc., Providence, RI, 2017

    work page 2017

  13. [13]

    Center and representations of infinitesimal Hecke algebras of sl2,

    A. Khare and A. Tikaradze, “Center and representations of infinitesimal Hecke algebras of sl2,” Comm. Alg. 38 (2010) no. 2, 405–439

    work page 2010

  14. [14]

    T. Y. Lam, Lectures on modules and rings. (English summary) Graduate Texts in Mathematics, 189, Springer-Verlag, New York, 1999

    work page 1999

  15. [15]

    Weyl algebras for quantum homogeneous spaces,

    G. Letzter, S. Sahi, and H. Salmasian, “Weyl algebras for quantum homogeneous spaces,” J. Algebra 655 (2024), 651–721

    work page 2024

  16. [16]

    Li, Gr¨ obner bases in ring theory, World Scientific Publishing Company, Singapore, 2011

    H. Li, Gr¨ obner bases in ring theory, World Scientific Publishing Company, Singapore, 2011

    work page 2011

  17. [17]

    The General PBW Property

    H. Li, “The General PBW Property”, Algebra Colloq. 14 : 4 (2007), 541-–554

    work page 2007

  18. [18]

    Cuspidal local systems and graded Hecke algebras. I,

    G. Lusztig, “Cuspidal local systems and graded Hecke algebras. I,” Inst. Haute Etudes Sci. Publ. Math. 67 (1988), 145–202. DEFORMATION THEORY AND HOPF ACTIONS ON KOSZUL ALGEBRAS 47

    work page 1988

  19. [19]

    Affine Hecke algebras and their graded version,

    G. Lusztig, “Affine Hecke algebras and their graded version,” J. Amer. Math. Soc. 2 (1989), no. 3, 599–635

    work page 1989

  20. [20]

    Von Neumann finiteness of tensor products of algebras

    S. Montgomery, “Von Neumann finiteness of tensor products of algebras”, Comm. Algebra 11(6) (1983), 595-610

    work page 1983

  21. [21]

    Classification of graded Hecke algebras for complex reflection groups,

    A. Ram and A.V. Shepler, “Classification of graded Hecke algebras for complex reflection groups,” Comment. Math. Helv. 78 (2003), 308–334

    work page 2003

  22. [22]

    Idealizer rings and noncommutative projective geometry,

    D. Rogalski, “Idealizer rings and noncommutative projective geometry,” J. Algebra 279 (2004), 791– 809

    work page 2004

  23. [23]

    Inverses and Zero Divisors in Matrix Rings,

    J. C. Shepherdson, “Inverses and Zero Divisors in Matrix Rings,” Proc. London Math. Soc. 3-1 (1951), 71–85

    work page 1951

  24. [24]

    Deforming group actions on Koszul algebras,

    A.V. Shepler and S. Witherspoon, “Deforming group actions on Koszul algebras,” Math. Research Lett. 25 (2018), no. 5, 1613–1644

    work page 2018

  25. [25]

    Resolutions for twisted tensor products,

    A.V. Shepler and S. Witherspoon, “Resolutions for twisted tensor products,” Pacific J. Math. 298 (2019), no. 2, 445–469

    work page 2019

  26. [26]

    Twisted tensor products: Alexander-Whitney and Eilenberg- Zilber maps,

    A.V. Shepler and S. Witherspoon, “Twisted tensor products: Alexander-Whitney and Eilenberg- Zilber maps,” arXiv:2411.04102

    work page arXiv

  27. [27]

    Infinitesimal Hecke algebras of soN,

    A. Tsymbaliuk, “Infinitesimal Hecke algebras of soN,” J. Pure Appl. Algebra 219 (2015), 2046–2061

    work page 2015

  28. [28]

    Poincar´ e-Birkhoff-Witt deformations of smash product algebras from Hopf actions on Koszul algebras,

    C. Walton and S. Witherspoon, “Poincar´ e-Birkhoff-Witt deformations of smash product algebras from Hopf actions on Koszul algebras,” Algebra Number Theory 8 (2014), no. 7, 1701–1731

    work page 2014

  29. [29]

    Homological transcendence degree,

    A. Yekutieli and J. J. Zhang, “Homological transcendence degree,” Proc. London Math. Soc. (3) 93 (2006), 105–137. Department of Mathematics, University of North Texas, Denton, TX 76201, USA Email address : ashepler@unt.edu Department of Mathematics, Texas A&M University, College Station, TX 77843, USA Email address : sjw@tamu.edu

    work page 2006