arxiv: 2604.00450 · v2 · submitted 2026-04-01 · 🧮 math.RA

Recognition: no theorem link

Point modules over the universal enveloping algebras of color Lie algebras

Shu Minaki

Authors on Pith no claims yet

Pith reviewed 2026-05-13 22:37 UTC · model grok-4.3

classification 🧮 math.RA

keywords point modulesuniversal enveloping algebracolor Lie algebraArtin-Schelter regularq'-Heisenberg normal elementtruncated point schemesgraded algebrasnoncommutative geometry

0 comments

The pith

The point modules over universal enveloping algebras of color Lie algebras are determined by a newly defined q'-Heisenberg normal element.

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

The paper introduces the concept of a q'-Heisenberg normal element in Z-graded algebras to organize modules connected to point modules. It uses this to identify exactly what the point modules are for Artin-Schelter regular algebras that arise as universal enveloping algebras of color Lie algebras. It also identifies a specific integer beyond which the inverse system of truncated point schemes stops changing. A reader would care because point modules provide a way to understand the noncommutative geometry associated with these algebras, similar to how points work in classical algebraic geometry.

Core claim

For an Artin-Schelter regular algebra that is the universal enveloping algebra of a color Lie algebra, the set of point modules is determined using the structure provided by a q'-Heisenberg normal element, and there exists a concrete integer such that the inverse system of the truncated point schemes becomes constant after that point.

What carries the argument

The q'-Heisenberg normal element, which is defined for a Z-graded k-algebra and provides the structure for sets of modules related to point modules.

Load-bearing premise

The universal enveloping algebra of the color Lie algebra must be Artin-Schelter regular, and the q'-Heisenberg normal element must act in the specific way needed to determine the point modules.

What would settle it

An explicit example of a color Lie algebra where the enveloping algebra is Artin-Schelter regular but the point modules do not match the described set or the truncated schemes do not become constant at the predicted integer.

read the original abstract

Let $k$ be an algebraically closed field with characteristic $0$. In this paper, we define the notion of a $q'$-Heisenberg normal element of a $\mathbb{Z}$-graded $k$-algebra. This $q'$-Heisenberg normal element gives the structure of some sets of modules related to point modules. Also, we determine the set of point modules over an Artin--Schelter regular algebra obtained as the universal enveloping algebra of a color Lie algebra. Moreover, we give a concrete integer such that the inverse system of truncated point schemes of it is constant.

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

The paper defines a q'-Heisenberg normal element to classify point modules over enveloping algebras of color Lie algebras and gives an explicit stabilizing integer for the truncated schemes.

read the letter

The main takeaway is that this work introduces the q'-Heisenberg normal element in a Z-graded algebra and applies it to determine the point modules over the Artin-Schelter regular universal enveloping algebra of a color Lie algebra, together with a concrete integer N where the inverse system of truncated point schemes becomes constant. That combination of a new element and explicit classification is the core contribution. The results are stated for an algebraically closed field of characteristic zero, which keeps the setting standard for this area of noncommutative geometry. What the paper does well is deliver concrete output rather than abstract existence: an explicit set of point modules and a specific stabilizing N. In a field where many results stay at the level of existence or general properties, this level of explicitness is useful for anyone computing examples or building further geometric invariants. The new notion appears tailored to the color grading and the q' twist, so it does not immediately reduce to earlier Heisenberg-type elements in the ordinary Lie case. The soft spot sits in the central step. The claim that the q'-Heisenberg normal element controls the point modules and produces the stable truncated schemes rests on the element remaining normal under the color bracket and inducing the right filtration. The abstract presents this as following from the definition, but the color twist on the relations could require extra checks on the grading or the color function to preserve normality and the exact sequence of schemes. If the proofs supply those verifications in detail, the argument holds; if they treat the behavior as automatic, that part needs tightening. This paper is aimed at specialists in noncommutative projective geometry who work with graded algebras, point modules, and enveloping constructions from Lie structures. A reader already following Artin-Schelter regular algebras and their module classifications will find the explicit results worth examining. It deserves serious peer review because the claims are specific, the new element is clearly motivated, and the potential utility in the subfield is real even if the color-graded normality step requires careful confirmation.

Referee Report

0 major / 3 minor

Summary. The paper defines a q'-Heisenberg normal element in a Z-graded k-algebra (k algebraically closed of char 0) and uses it to classify the point modules over the universal enveloping algebra U of a color Lie algebra L, where U is asserted to be Artin-Schelter regular. It further identifies a concrete integer N such that the inverse system of truncated point schemes of U stabilizes.

Significance. If the claims hold, the work supplies an explicit classification of point modules for this family of AS-regular algebras and a concrete stabilization result for their truncated point schemes. The new q'-Heisenberg normal element supplies a graded tool that may apply to other enveloping constructions; the stabilization statement is a strong, falsifiable outcome.

minor comments (3)

[Introduction / §2] The abstract states that U is AS regular, but the manuscript should include a brief self-contained argument or reference establishing this regularity in the color-graded setting (e.g., via the PBW-type basis or the color bracket relations).
[Definition of q'-Heisenberg normal element] Notation for the color function and the precise commutation relations in U should be fixed once at the beginning and used consistently; the current presentation occasionally switches between q and q' without explicit cross-reference.
[Main classification theorem] An illustrative low-dimensional example (e.g., a 3-dimensional color Lie algebra) would make the concrete integer N and the stabilized point scheme easier to verify.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive and accurate summary of our manuscript, including the definition of the q'-Heisenberg normal element, the classification of point modules over the universal enveloping algebra of a color Lie algebra, and the explicit stabilization result for the inverse system of truncated point schemes. We appreciate the recognition of the potential utility of the q'-Heisenberg normal element in other contexts. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

Derivation proceeds from new definition without reduction to inputs

full rationale

The paper introduces the q'-Heisenberg normal element as a fresh definition in a Z-graded algebra and then applies it to classify point modules over the universal enveloping algebra of a color Lie algebra (assumed Artin-Schelter regular). No equations or steps in the provided abstract or description reduce a claimed prediction or classification back to a fitted parameter, self-citation chain, or definitional tautology; the concrete integer for stabilization of the inverse system of truncated point schemes follows from the module structure induced by the new element rather than presupposing it. The central results remain independent of the inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claims rest on the standard field assumptions plus the newly introduced definition of the q'-Heisenberg normal element; no free parameters or invented physical entities are mentioned.

axioms (1)

standard math k is an algebraically closed field of characteristic zero
Standard background assumption stated at the beginning of the abstract for the base field.

invented entities (1)

q'-Heisenberg normal element no independent evidence
purpose: To endow certain sets of modules with additional structure related to point modules
Newly defined object introduced in the paper to obtain the module classification

pith-pipeline@v0.9.0 · 5384 in / 1302 out tokens · 41892 ms · 2026-05-13T22:37:09.835591+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages

[1]

M. Artin. Geometry of quantum planes. InAzumaya algebras, actions, and modules (Bloomington, IN, 1990), volume 124 ofContemp. Math., pages 1–15. Amer. Math. Soc., Providence, RI, 1992

work page 1990
[2]

Artin and W

M. Artin and W. F. Schelter. Graded algebras of global dimension 3.Adv. in Math., 66(2):171–216, 1987

work page 1987
[3]

Artin, J

M. Artin, J. Tate, and M. Van den Bergh. Some algebras associated to automorphisms of elliptic curves. InThe Grothendieck Festschrift, Vol. I, volume 86 ofProgr. Math., pages 33–85. Birkh¨ auser Boston, Boston, MA, 1990

work page 1990
[4]

Artin, J

M. Artin, J. Tate, and M. Van den Bergh. Modules over regular algebras of dimension 3.Invent. Math., 106(2):335–388, 1991

work page 1991
[5]

Artin and J

M. Artin and J. J. Zhang. Abstract Hilbert schemes.Algebr. Represent. Theory, 4(4):305–394, 2001. 16 SHU MINAKI

work page 2001
[6]

Belmans, K

P. Belmans, K. De Laet, and L. Le Bruyn. The point variety of quantum polynomial rings.J. Algebra, 463:10–22, 2016

work page 2016
[7]

Cassidy and M

T. Cassidy and M. Vancliff. Corrigendum: Generalizations of graded Clifford algebras and of com- plete intersections.J. Lond. Math. Soc. (2), 90(2):631–636, 2014

work page 2014
[8]

X.-W. Chen, T. Petit, and F. Van Oystaeyen. Note on the cohomology of color Hopf and Lie algebras. J. Algebra, 299(1):419–442, 2006

work page 2006
[9]

Chirvasitu and R

A. Chirvasitu and R. Kanda. Flat families of point schemes for connected graded algebras.Michigan Math. J., 73(1):195–208, 2023

work page 2023
[10]

S. C. Coutinho.A primer of algebraicD-modules, volume 33 ofLondon Mathematical Society Student Texts. Cambridge University Press, Cambridge, 1995

work page 1995
[11]

Dixmier.Enveloping algebras, volume 11 ofGraduate Studies in Mathematics

J. Dixmier.Enveloping algebras, volume 11 ofGraduate Studies in Mathematics. American Mathe- matical Society, Providence, RI, 1996. Revised reprint of the 1977 translation

work page 1996
[12]

Itaba and K

A. Itaba and K. Ueyama. Hochschild cohomology related to graded down-up algebras with weights (1, n).J. Algebra Appl., 20(7):Paper No. 2150131, 19, 2021

work page 2021
[13]

E. E. Kirkman and L. W. Small.q-analogs of harmonic oscillators and related rings.Israel J. Math., 81(1-2):111–127, 1993

work page 1993
[14]

Levasseur

T. Levasseur. Some properties of noncommutative regular graded rings.Glasgow Math. J., 34(3):277– 300, 1992

work page 1992
[15]

Li and F

H.-S. Li and F. Van Oystaeyen.Zariskian filtrations, volume 2 ofK-Monographs in Mathematics. Kluwer Academic Publishers, Dordrecht, 1996

work page 1996
[16]

D.-M. Lu, J. H. Palmieri, Q.-S. Wu, and J. J. Zhang. Regular algebras of dimension 4 and their A∞-Ext-algebras.Duke Math. J., 137(3):537–584, 2007

work page 2007
[17]

J. C. McConnell and J. C. Robson.Noncommutative Noetherian rings, volume 30 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, revised edition, 2001. With the cooperation of L. W. Small

work page 2001
[18]

I. Mori. B-construction and C-construction.Comm. Algebra, 41(6):2071–2091, 2013

work page 2071
[19]

A. V. Odesskii and B. L. Feigin. Sklyanin’s elliptic algebras.Funktsional. Anal. i Prilozhen., 23(3):45– 54, 96, 1989

work page 1989
[20]

K. L. Price. Homological properties of color Lie superalgebras. InAdvances in ring theory (Granville, OH, 1996), Trends Math., pages 287–293. Birkh¨ auser Boston, Boston, MA, 1997

work page 1996
[21]

K. L. Price. Generic Lie colour algebras.Bull. Austral. Math. Soc., 71(2):327–335, 2005

work page 2005
[22]

R. Ree. Generalized Lie elements.Canadian J. Math., 12:493–502, 1960

work page 1960
[23]

Rogalski

D. Rogalski. Noncommutative projective geometry. InNoncommutative algebraic geometry, vol- ume 64 ofMath. Sci. Res. Inst. Publ., pages 13–70. Cambridge Univ. Press, New York, 2016

work page 2016
[24]

Scheunert

M. Scheunert. Generalized Lie algebras.J. Math. Phys., 20(4):712–720, 1979

work page 1979
[25]

Vakil.The rising sea—foundations of algebraic geometry

R. Vakil.The rising sea—foundations of algebraic geometry. Princeton University Press, Princeton, NJ, 2025

work page 2025
[26]

Van Oystaeyen and L

F. Van Oystaeyen and L. Willaert. Examples and quantum sections of schematic algebras.J. Pure Appl. Algebra, 120(2):195–211, 1997

work page 1997
[27]

Vancliff

M. Vancliff. An example of a quadratic AS-regular algebra without any point modules. InRecent advances in noncommutative algebra and geometry, volume 801 ofContemp. Math., pages 255–259. Amer. Math. Soc., Providence, RI, 2024

work page 2024
[28]

Vancliff, K

M. Vancliff, K. Van Rompay, and L. Willaert. Some quantumP 3s with finitely many points.Comm. Algebra, 26(4):1193–1208, 1998

work page 1998
[29]

Vancliff and P

M. Vancliff and P. P. Veerapen. Point modules over regular graded skew Clifford algebras.J. Algebra, 420:54–64, 2014

work page 2014
[30]

J. Vitoria. Equivalences for noncommutative projective spaces. arXiv:1001.4400v3

work page arXiv
[31]

J. J. Zhang. Twisted graded algebras and equivalences of graded categories.Proc. London Math. Soc. (3), 72(2):281–311, 1996. Department of Mathematics, Graduate School of Science, Tokyo University of Science, 1-3 Kagurazaka, Shinjuku-ku, Tokyo, 162-8601, JAPAN Email address:1125704@ed.tus.ac.jp

work page 1996