REVIEW 4 major objections 4 minor 25 references
Families of Green rings for abelian restricted Lie algebras
T0 review · 4 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read For abelian restricted Lie algebras, the paper proves that a support-theoretic rigidity property called PA holds in the tame and small-finite cases, fails in the wild cases, and is conjectured to characterize representation type.
desk verdict A plausible and genuinely interesting theorem about Green-ring rigidity and representation type, but the positive direction relies on the author's unpublished companion paper, so it is not self-contained. 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 notions of noble point and noble correspondence carry the argument. A closed point $p$ of $\operatorname{Proj} H^*(G,k)$ is noble for a finite group scheme $G$ when it is the cohomological point of a $\pi$-point arising from a subgroup $C<G$ with $kC\cong k[t]/t^p$; two group-scheme structures on the same augmented algebra are in noble correspondence when, at every point noble for both, the two tensor products agree on all modules supported at that point. Property PA demands that the infinitesimal group scheme of the Lie algebra be in noble correspondence with every compatible cocommutative Hopf structure with the same character group. Three mechanisms supply the proofs: the support theory of $\pi$-points, which makes the support of $V\otimes W$ the intersection of the supports and independent of the comultiplication; the classification of cocommutative Hopf structures on $k[x]/x^{p^n}$ for $n=1,2,3$ (and on the Kronecker algebra $k[x,y]/(x^2,y^2)$ in characteristic $2$), which lists every possible structure in the affirmed cases; and, in the tame case, the identity $V_{2n}(p)\otimes V_{2n}(p)\cong 2V_{2n}(p)\oplus(n^2-n)P$ for indecomposable modules supported at a noble point $p$, which determines all tensor-product multiplicities for modules with singleton support.
What would settle it
Find a cocommutative Hopf algebra structure on $k[x]/x^{p^n}$ for $n=2$ or $n=3$, or on the Kronecker algebra in characteristic 2, that is not isomorphic to any representative in the paper's classified list and for which some pair of modules supported at a noble point has a different tensor product from the standard structure; that would disprove Property PA in the finite or tame range. Alternatively, exhibit any abelian restricted Lie algebra of wild representation type whose infinitesimal group scheme has Property PA, which would contradict Theorem 1.3.5 directly.
Extended reading notes
Core claim
The paper's central claim is Theorem 1.3.5. Let $\widetilde{G}$ be the infinitesimal group scheme of an abelian restricted Lie algebra $\mathfrak{g}$. If $\widetilde{G}$ is of tame representation type then $\widetilde{G}$ has Property PA; if $\widetilde{G}$ is of wild representation type then $\widetilde{G}$ does not have Property PA; and if $\widetilde{G}$ is of finite representation type and the principal block $B$ of $k\widetilde{G}$ satisfies $\dim B \le p^3$, then $\widetilde{G}$ has Property PA. Property PA, in Definition 1.3.4, requires that for any cocommutative comultiplication on $A=k\widetilde{G}$ defining a group scheme $G$ with the same character group, the two structures are in noble correspondence: for every closed point $p$ in $\operatorname{Proj} H^*(A,k)$ that is noble for both $G$ and $\widetilde{G}$, and every pair of finite modules $M,N$ with support $\{p\}$, there is an isomorphism $M\otimes N \cong M\otimes' N$. In the range covered, the paper thereby obtains an equivalence between representation type and Green-ring rigidity, and it conjectures the equivalence holds for every abelian restricted Lie algebra.
Load-bearing premise
The affirmative part of the main theorem depends on the completeness of the published classifications of cocommutative Hopf algebra structures on $u(\mathfrak{g})$ when the principal block has dimension at most $p^3$; if any compatible cocommutative comultiplication is missing from those lists, the claimed rigidity could fail for that unclassified structure.
Editorial extensions
If this is right
- For the tame algebra $k[x,y]/(x^2,y^2)$ in characteristic $2$, every cocommutative Hopf structure on the same augmented algebra leaves the Green ring unchanged at noble points: $V_{2m}(p)\otimes V_{2n}(p)\cong V_{2m}(p)\tilde{\otimes} V_{2n}(p)$ for all $m,n$ and every noble $p$.
- For wild abelian restricted Lie algebras, the paper constructs an augmented automorphism that preserves a noble point but changes the tensor product, so the Green ring genuinely varies with the Hopf structure.
- For finite-type algebras with principal block of dimension at most $p^3$, all compatible cocommutative Hopf structures give the same Green ring at the unique closed point, so Property PA holds.
- Property PA thus orders the abelian restricted Lie algebras in the classified range according to representation type, giving a support-theoretic criterion that makes no reference to the Lie bracket.
- The paper conjectures this is a complete characterization: for every abelian restricted Lie algebra, having Property PA should be equivalent to having tame or finite representation type.
Reading between the lines
- An extension the paper leaves implicit: the isotropy automorphisms used to disprove Property PA for wild algebras might also witness failure of Property PA for large finite-type algebras, so proving the conjecture may not require a full classification of Hopf structures in those cases.
- The noble-square formula suggests that for the Kronecker algebra the Green ring at noble points is a stable invariant under deformation of the comultiplication; it would be natural to test whether an analogous stability holds for other tame algebras.
- Because the definitions use only support theory and the cohomological variety, the same noble-correspondence invariant could be applied to finite group schemes not arising from restricted Lie algebras, potentially giving a representation-type detector in a broader setting.
- If the conjecture holds, representation type of an abelian restricted Lie algebra would become computable in small cases by checking finitely many Hopf structures rather than classifying indecomposable modules.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper defines a "noble correspondence" and Property PA for finite group scheme structures on a fixed augmented algebra, and studies, for abelian restricted Lie algebras g, how the Green ring of representations of u(g) changes under different cocommutative Hopf algebra structures. The main Theorem 1.3.5 asserts that the infinitesimal group scheme G~ attached to an abelian restricted Lie algebra has Property PA when G~ is of tame representation type, fails to have Property PA when G~ is of wild representation type, and has Property PA in the finite representation type case provided the principal block has dimension at most p^3. The proof strategy is to classify cocommutative Hopf algebra structures on u(g) for dimensions up to p^3, to verify Green-ring invariance in the finite and tame cases, and to construct explicit automorphisms violating noble correspondence in the wild case.
Significance. If fully established, Theorem 1.3.5 would give a new representation-theoretic characterization of tame versus wild behavior for abelian restricted Lie algebras, phrased in terms of rigidity of the Green ring across compatible Hopf structures. The paper introduces an original definition of Property PA and contains a substantial reduction to the principal block via Proposition 2.2.2, as well as an explicit treatment of the Bašev–Conlon formula in the Kronecker-algebra case. These are valuable contributions. However, the submitted manuscript is not self-contained: several load-bearing proofs are omitted, deferred to the author's unpublished preprint [3], or left as an exercise. The significance is therefore conditional on the companion material being supplied and verified.
major comments (4)
- [Section 3.1 (Propositions 3.1.2 and 3.1.3)] The affirmative finite-type case of Theorem 3.0.1(1) for n=2 and n=3 rests entirely on Propositions 3.1.2 and 3.1.3, which are stated with the sentence "We omit the proofs." These propositions assert exactly the Green-ring equalities R(̃G)=R(G_i) needed to conclude noble correspondence for the orbit representatives in Theorems 2.1.4 and 2.1.5. Without those proofs, the reader cannot verify the central claim that finite-type algebras with principal block of dimension at most p^3 have Property PA. This is a load-bearing omission, not a presentation issue.
- [Section 2.1 (Theorem 2.1.5)] The proof of Theorem 2.1.5 ends with "We leave this as an exercise for the reader" for the verification that the four listed comultiplications are Hopf algebra structures in G_A and are pairwise nonisomorphic. This verification is part of the claimed complete set of orbit representatives for G_A/Aut(A). Since Property PA is quantified over all cocommutative group scheme structures on the fixed algebra A=k[x]/x^{p^3}, any omitted orbit or any misidentification among the listed ones would invalidate the positive direction for n=3. The appeal to the classification in [17] is not by itself enough; the correspondence between isomorphism classes of connected Hopf algebras and orbits of G_A/Aut(A) must be supplied.
- [Section 3.3 (Lemmas 3.3.3 and 3.3.4)] The proof of the Bašev–Conlon formula in Theorem 3.3.8, and hence the tame case of Theorem 3.0.1(3), depends essentially on Lemmas 3.3.3 and 3.3.4, whose proofs are said to be given in the author's unpublished preprint [3]. These lemmas supply the Clebsch–Gordan coefficient structure for tensor products of the modules V_{2n}(p) for arbitrary group scheme structures. An unpublished companion paper is not an acceptable sole reference for a core technical input in a journal submission; the proofs must be included or replaced by published references before the tame case can be considered established.
- [Section 3.2 (Lemma 3.2.3 and Proposition 3.2.4)] The negative wild direction of Theorem 3.0.1(2) relies on Lemma 3.2.3, which is "adapted from the unpublished [3]", and on Proposition 3.2.4, which simply lists automorphisms and states "In each case, we have..." without proof. The proposition must verify that the displayed φ lie in Ω(A,p), that the element x has the claimed order, and that (J_1↑^g_{⟨x⟩})^{φ^{-1}}↓^g_{⟨x⟩} is not isomorphic to nJ_p^s for any n,s≥0. These are nontrivial computations, and they are load-bearing for the claim that wild algebras fail Property PA. The manuscript currently provides no way to check them.
minor comments (4)
- [Section 3.2 (Corollary 3.2.5)] Corollary 3.2.5 as stated says that the infinitesimal group scheme for every unipotent abelian restricted Lie algebra does not have Property PA. This contradicts Theorem 1.3.5 and Propositions 3.1.1–3.1.3, which affirm Property PA in finite and tame cases. The statement should clearly be restricted to wild representation type; as printed it is a significant typographical error.
- [Section 3.2 (Proposition 3.2.4)] There are notational corruptions in Proposition 3.2.4: in the case g=n_1⊕n_1⊕n_1 the algebra is written as A=k[x,y,z]/(xp, yp, zp)n with a stray "n", and in the p>2 case the expression k[x,y]/(x^{p^n}, y^{pn} appears to be missing a superscript brace in the second variable. These should be corrected to avoid ambiguity.
- [Section 1.2 (Theorem 1.2.2 and Corollary 1.2.3)] Theorem 1.2.2 and Corollary 1.2.3 are described as having appeared in the unpublished [3] and are used to reduce the main theorem to unipotent algebras. Since they are asserted to be straightforward consequences of Seligman's structure theorem, including a short proof or a published reference would improve the self-containedness of the paper.
- [Section 1.3 (Definitions 1.3.3 and 1.3.4)] The relationship between Definition 1.3.3 and Definition 1.3.4, and the sentence "It follows from definitions that Property PA is unambiguous for finite abelian unipotent group schemes," could be clarified. In particular, it would help to state explicitly why the character-group condition χ(G)=χ(̃G) is automatic for the abelian unipotent case, since Definition 1.3.3 omits it.
Circularity Check
Affirmative cases of Theorem 1.3.5 rest on unproved Green-ring invariance assertions and on the author's unpublished [3]; the derivation is not self-contained, though not definitionally circular.
-
other
[Section 3.1, before Propositions 3.1.2 and 3.1.3]
"We omit the proofs, as even stating a formula for Clebsch Gordon coefficientsc i,j,ℓ(G)takes considerable space."
Propositions 3.1.2 and 3.1.3 are the entire affirmative content of Theorem 3.0.1(1) for the finite cases |B|≤p^2 and |B|≤p^3: they assert R(̃G)=R(G_1)=R(G_2) and R(̃G)=R(G_i), i.e. full Green-ring invariance under the orbit representatives of Theorems 2.1.4 and 2.1.5. The paper does not prove these equalities; it says 'We omit the proofs' because stating the Clebsch-Gordon coefficients 'takes considerable space'. Since Property PA is quantified over all group scheme structures on the fixed algebra, these unproved equalities are load-bearing. This is an omitted proof, not a definitional reduction; it is flagged per the review rule.
-
self citation load bearing
[Section 3.3, before Lemma 3.3.3]
"The following lemmas are proven in detail in the author's unpublished [3], but essentially generalize, to any G∈G_A, the same ring-theoretic argument outlined originally by Bašev [1]."
Lemmas 3.3.3 and 3.3.4 determine the Clebsch-Gordon coefficients c_{n,m,ℓ}(p) for every group scheme structure on A=k[x,y]/(x^2,y^2); together with Theorem 3.3.8 they yield Corollary 3.3.9, which is exactly the tame case (Theorem 3.0.1(3)) and hence the tame direction of Theorem 1.3.5. The manuscript does not reproduce the proofs; it cites the author's own unpublished preprint [3]. Because [3] is not independently verified here, the central affirmative claim rests on a load-bearing self-citation rather than on reasoning contained in the paper.
1 more flagged steps
-
self citation load bearing
[Section 3.2, Lemma 3.2.3]
"The following lemma is adapted from the unpublished [3]."
Lemma 3.2.3 converts the explicit automorphisms of Proposition 3.2.4 into non-noble-correspondence, and Corollary 3.2.5 uses it to conclude that every unipotent abelian infinitesimal group scheme of wild type fails Property PA. The proof is not given in the manuscript; the lemma is merely 'adapted from the unpublished [3]'. Thus the negative direction of Theorem 1.3.5 also depends on the author's own unpublished work. This is a self-citation burden, not an equivalence-by-construction circularity.
full rationale
The derivation is not definitionally circular: Property PA is defined via noble correspondence and cohomological support, not in terms of the Green-ring equalities that are later asserted; no fitted parameter is renamed as a prediction; and the paper does test its claims against external classifications (Tate–Oort, X. Wang, Nguyen–Wang–Wang) and explicit automorphism constructions. The main defect is self-containment. Section 3.1 omits the proofs of Propositions 3.1.2–3.1.3, which are precisely the Green-ring invariance statements for the p^2 and p^3 finite cases. Section 3.3 sends Lemmas 3.3.3–3.3.4 to the author's unpublished [3]; Lemma 3.2.3 is likewise adapted from [3]. Theorem 2.1.5 leaves the exhaustiveness check for the p^3 orbit classification 'as an exercise', and Section 2.1 notes Theorem 1.2.2 'appeared in the unpublished [3]'. Because Theorem 1.3.5's affirmative cases quantify over every cocommutative Hopf structure on the fixed algebra, any unlisted orbit or unproved Clebsch-Gordan equality would break the claimed invariance. These are load-bearing gaps and self-citations, raising the score to 4, but they are not cases where the conclusion is equivalent to the hypothesis by construction.
Assumptions & free parameters
assumptions (6)
- domain assumption k is an algebraically closed field of positive characteristic p.
- standard math PBW theorem and the adjunction between restricted Lie algebras and finite algebras.
- standard math Seligman's structure theorem for abelian restricted Lie algebras (Theorem 1.2.1).
- standard math Suslin-Friedlander-Bendel homeomorphism N_1(g) to Proj H^*(g,k) and Friedlander-Pevtsova π-point support theory.
- domain assumption Completeness of classifications of cocommutative Hopf structures from Wang [23], Nguyen-Wang-Wang [17], and Wang [24].
- standard math Tate-Oort classification of group schemes of prime order p as either Z/p or G_a(1).
Cite this review
Pith. "Pith review of Families of Green rings for abelian restricted Lie algebras." pith.science (2026). https://pith.science/paper/ZRNQ54BL
@misc{pith2026250602388,
author = {Pith},
title = {Pith review of: Families of Green rings for abelian restricted Lie algebras},
year = {2026},
howpublished = {\url{https://pith.science/paper/ZRNQ54BL}},
note = {Machine review of arXiv:2506.02388}
}
read the original abstract
We find equivalent conditions determining the representation type of abelian restricted Lie algebras in terms of how their Green ring of restricted representations varies with respect to different cocommutative Hopf algebra structures on its restricted universal enveloping algebra. Each compatible cocommutative Hopf algebra structure on a tame algebra is shown to have a correspondence between a certain set of Hopf subalgebras, and the set of minimal thick tensor-ideals having identical ring structure when determined by either the Hopf algebra structure or the base Lie algebra structure (up to a choice of character group). Those of wild representation type are shown never to have such a correspondence.
Reference graph
Works this paper leans on
-
[3]
A tensor-triangular property for categories of representa- tions of restricted Lie algebras
Justin Bloom. “A tensor-triangular property for categories of representa- tions of restricted Lie algebras”. In:arXiv.org(2024).doi:arXiv:2412. 16903v1. 27
work page 2024
-
[17]
Classification of connected Hopf algebras of dimensionp 3 I
Van C. Nguyen, Linhong Wang, and Xingting Wang. “Classification of connected Hopf algebras of dimensionp 3 I”. In:Journal of Algebra424 (2015), pp. 473–505.issn: 0021-8693.doi:https://doi.org/10.1016/ j.jalgebra.2014.09.022.url:https://www.sciencedirect.com/ science/article/pii/S0021869314005390. 28
work page 2015
-
[1]
Representations of the groupZ 2×Z 2 in a field of character- istic 2
V.A. Baˇ sev. “Representations of the groupZ 2×Z 2 in a field of character- istic 2”. rus. In:Dokl. Akad. Nauk SSSR141.5 (1961), pp. 1015–1018
work page 1961
-
[2]
Representations of rank one Lie algebras of characteristic p
Georgia M. Benkart and J. Marshall Osborn. “Representations of rank one Lie algebras of characteristic p”. eng. In:Conference on Lie Algebras and Related Topics. Ed. by David J. Winter. Vol. 933. Lecture notes in mathematics. Berlin: Springer-Verlag, 1982, pp. 1–37.isbn: 0387115633
work page 1982
-
[4]
Certain representation algebras
S. B. Conlon. “Certain representation algebras”. In:Journal of the Aus- tralian Mathematical Society5.1 (1965), 83–99.doi:https://doi.org/ 10.1017/S1446788700025908
-
[5]
Demazure and Peter Gabriel.Groupes alg´ ebriques
Michel. Demazure and Peter Gabriel.Groupes alg´ ebriques. fre. Paris: Mas- son et Cie, 1970.isbn: 0720420342
work page 1970
-
[6]
Karin Erdmann.Blocks of tame representation type and related algebras. eng. Lecture notes in mathematics ; 1428. Berlin ; Springer-Verlag, 1990. isbn: 3540527095
work page 1990
-
[7]
Pavel Etingof et al.Tensor categories. eng. Mathematical surveys and monographs ; volume 205. Providence, Rhode Island: American Mathe- matical Society, 2015.isbn: 9781470420246
work page 2015
Show all 25 references
-
[8]
The cohomology ring of a finite group
Leonard Evens. “The cohomology ring of a finite group”. eng. In:Trans- actions of the American Mathematical Society101.2 (1961), pp. 224–239. issn: 0002-9947
1961
-
[9]
Cohomology of finite group schemes over a field
Eric Friedlander and Andrei Suslin. “Cohomology of finite group schemes over a field”. In:Invent. math.127 (1997), pp. 209–270.doi:10.1007/ s002220050119
1997
-
[10]
Cohomology of infinitesi- mal and discrete groups
Eric M. Friedlander and Brian J. Parshall. “Cohomology of infinitesi- mal and discrete groups”. eng. In:Mathematische annalen273.3 (1986), pp. 353–374.issn: 0025-5831
1986
-
[11]
Π-supports for modules for finite group schemes
Eric M. Friedlander and Julia Pevtsova. “Π-supports for modules for finite group schemes”. In:Duke Mathematical Journal139.2 (2007), pp. 317 – 368.doi:10.1215/S0012-7094-07-13923-1
2007 doi
-
[12]
Representation-Theoretic Sup- port Spaces for Finite Group Schemes
Eric M. Friedlander and Julia Pevtsova. “Representation-Theoretic Sup- port Spaces for Finite Group Schemes”. In:American Journal of Mathe- matics127.2 (2005), pp. 379–420.issn: 00029327, 10806377. (Visited on 08/17/2023)
2005
-
[13]
On the cohomology ring of a finite p-group
E. Golod. “On the cohomology ring of a finite p-group”. rus. In:Dokl. Akad. Nauk SSSR125.4 (1959), pp. 703–706
1959
-
[14]
The modular representation algebra of a finite group
J. A. Green. “The modular representation algebra of a finite group”. eng. In:Illinois journal of mathematics6.4 (1962).issn: 0019-2082
1962
-
[15]
Restricted Lie Algebras of Characteristic p
Nathan Jacobson. “Restricted Lie Algebras of Characteristic p”. eng. In: Transactions of the American Mathematical Society50.1 (1941), pp. 15– 25.issn: 0002-9947
1941
-
[16]
Algebraische Reduction der Scharen quadratischer For- men
L. Kronecker. “Algebraische Reduction der Scharen quadratischer For- men”. deu. In:Sitz. K¨ onigl. Preuss. Akad. Wiss. Berlin(1890), pp. 1375– 1388
-
[18]
A Hopf Algebra Freeness The- orem
Warren D. Nichols and M. Bettina Zoeller. “A Hopf Algebra Freeness The- orem”. eng. In:American journal of mathematics111.2 (1989), pp. 381– 385.issn: 0002-9327
1989
-
[19]
Seligman.Modular Lie algebras
George B. Seligman.Modular Lie algebras. eng. Ergebnisse der Mathe- matik und ihrer Grenzgebiete ; 40. Berlin: Springer-Verlag, 1967
1967
-
[20]
Support Varieties for Infinitesimal Group Schemes
Andrei Suslin, Eric M. Friedlander, and Christopher P. Bendel. “Support Varieties for Infinitesimal Group Schemes”. eng. In:Journal of the Amer- ican Mathematical Society10.3 (1997), pp. 729–759.issn: 0894-0347
1997
-
[21]
Group Schemes of Prime Order
John Tate and Frans Oort. “Group Schemes of Prime Order”. In:Ann. Scient. Ec. Norm. Sup.(1970)
1970
-
[22]
On cohomology algebras for some classifying spaces
B. B. Venkov. “On cohomology algebras for some classifying spaces”. rus. In:Dokl. Akad. Nauk SSSR127.5 (1959), pp. 943–944
1959
-
[23]
Connected Hopf algebras of dimension p2
Xingting Wang. “Connected Hopf algebras of dimension p2”. eng. In: Journal of algebra391 (2013), pp. 93–113.issn: 0021-8693
2013
-
[24]
Isomorphism classes of finite dimensional connected Hopf algebras in positive characteristic
Xingting Wang. “Isomorphism classes of finite dimensional connected Hopf algebras in positive characteristic”. eng. In:Advances in mathematics (New York. 1965)281 (2015), pp. 594–623.issn: 0001-8708
2015
-
[25]
Waterhouse.Introduction to affine group schemes
William C. Waterhouse.Introduction to affine group schemes. eng. Grad- uate texts in mathematics ; 66. New York: Springer-Verlag, 1979.isbn: 0387904212. 29
1979
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.