Simple gradable $\mathbb{C}\lbrack\mathtt{h}\rbrack$-torsion free $\mathfrak{sl}_2$-modules

Shuoyang Xu; Volodymyr Mazorchuk

Simple gradable $\mathbb{C}\lbrack\mathtt{h}\rbrack$-torsion free $\mathfrak{sl}_2$-modules

T0 review · reviewed 2026-06-26 · grok-4.3

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

Pith's one-line read Simple sl_2-modules that are C[h]-torsion-free of finite rank and cyclically graded are classified and constructed explicitly.

desk verdict The paper delivers an explicit classification plus constructions for the simple sl2-modules that are finite-rank C[h]-torsion-free and cyclically graded by a group of that rank. read the letter →

arxiv 2606.19028 v1 pith:FUOYUG7C submitted 2026-06-17 math.RT

Volodymyr Mazorchuk , Shuoyang Xu This is my paper · ORCID

classification math.RT MSC 17B10

keywords sl_2-modulestorsion-freemodulesgradedsimpleCartansubalgebrafiniterankrepresentationtheory

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

The paper establishes an explicit classification together with explicit constructions for all simple modules over the Lie algebra sl_2 that are torsion-free of finite rank as modules over the polynomial ring C[h] generated by the Cartan element and that additionally carry a grading by a finite cyclic group whose order equals the rank. A sympathetic reader cares because the torsion-free finite-rank condition places these modules in a middle ground between the classical finite-dimensional representations and fully infinite-dimensional ones, while the cyclic grading supplies enough periodicity to make the modules describable by finite data. The result therefore turns an abstract class of representations into a concrete, parametrized list that can be written down and manipulated directly.

What carries the argument

The finite cyclic grading whose order equals the C[h]-torsion-free rank, which reduces the infinite-dimensional module to a finite number of repeated weight spaces on which the actions of the Chevalley generators are given by explicit matrices or shift operators.

What would settle it

A single simple sl_2-module that is C[h]-torsion-free of finite rank yet admits no cyclic grading of order equal to that rank, or a module inside the graded class that fails to be isomorphic to any of the explicitly constructed families.

Watch

Extended reading notes

Core claim

We give an explicit classification as well as an explicit construction of simple sl_2-modules that are torsion-free of finite rank with respect to the action of the Cartan subalgebra and which admit a grading by a finite cyclic group corresponding to the rank of the module.

Load-bearing premise

The modules under consideration admit a grading by a finite cyclic group whose order equals the finite rank of the module.

Editorial extensions

If this is right

Every module in the class arises from a finite set of complex parameters that determine the actions of the raising and lowering generators on a chosen cyclic basis.
Simplicity of each constructed module is decided by concrete arithmetic conditions on those parameters.
The rank fixes both the dimension of the grading group and the number of independent weight spaces that must be tracked.
Any two such modules are isomorphic precisely when their parameter tuples are related by a cyclic shift or a scalar rescaling that preserves the torsion-free condition.

Reading between the lines

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

Tensor products of these modules would inherit a compatible multi-grading whose period is the least common multiple of the individual ranks.
The same grading-plus-torsion-free conditions could be imposed on modules over other rank-one Lie algebras to produce analogous lists.
Characters or formal traces of these modules reduce to finite sums over one period of the cyclic grading.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

The core contribution is a clean list of all such modules together with explicit bases and actions that realize them. The authors show these objects are simple and that nothing else satisfies the three conditions at once.

What stands out is the concreteness: they give generators and relations or matrix realizations that make the modules easy to write down and check. That is useful for anyone who needs to compute with these representations rather than just know they exist in some abstract category.

The grading condition is the main restriction. It cuts the problem down to a manageable size but leaves out torsion-free modules that do not admit such a cyclic grading. The paper is upfront about this scope, so the claim is not overstated. The torsion-freeness and grading interact in a controlled way; the proofs appear to handle the finite-rank case by reducing to linear algebra over the polynomial ring.

No obvious circularity or hidden parameters show up in the abstract or the stated results. The work sits inside the existing literature on weight modules and torsion-free sl2-representations without claiming to reorganize the whole theory.

This is for specialists in infinite-dimensional representations of low-rank Lie algebras who already know the classical finite-dimensional and Verma-module pictures. A reader looking for a broader classification of all simple sl2-modules will find only a slice. The explicitness makes it worth a careful referee report; the arguments look checkable and the scope is narrow enough that gaps would be visible quickly.

Referee Report

0 major / 0 minor

Summary. The paper claims to give an explicit classification as well as an explicit construction of simple sl_2-modules that are torsion-free of finite rank with respect to the action of the Cartan subalgebra and which admit a grading by a finite cyclic group corresponding to the rank of the module.

Significance. If the result holds, this would constitute a contribution to the classification of simple modules over sl_2 by providing explicit constructions for a class of torsion-free modules equipped with a compatible cyclic grading. Explicit classifications in this area are valuable because they enable concrete computations and may serve as a basis for generalizations or comparisons with other module categories such as weight modules.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their report and for accurately summarizing the main results of the manuscript. The referee notes the potential value of explicit classifications for this class of modules. No specific major comments were provided in the report, so we have no individual points to address. We remain available to supply additional details, examples, or clarifications should the referee have further questions.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity identified

full rationale

The paper's abstract states an explicit classification and construction of simple sl_2-modules that are torsion-free of finite rank and admit a finite cyclic grading matching the rank. No equations, parameters, or derivations are supplied that reduce by definition or self-citation to the inputs; the central claim rests on explicit constructions rather than fitted predictions or load-bearing self-references. The provided text is self-contained against external benchmarks with no detectable circular steps.

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

Abstract-only review supplies no information on free parameters, background axioms, or invented entities used in the classification.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Simple gradable $\mathbb{C}\lbrack\mathtt{h}\rbrack$-torsion free $\mathfrak{sl}_2$-modules." pith.science (2026). https://pith.science/paper/FUOYUG7C

@misc{pith2026260619028,
  author       = {Pith},
  title        = {Pith review of: Simple gradable $\mathbbC\lbrack\mathtth\rbrack$-torsion free $\mathfraksl_2$-modules},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FUOYUG7C}},
  note         = {Machine review of arXiv:2606.19028}
}

abstract

We give an explicit classification as well as an explicit construction of simple $\mathfrak{sl}_2$-modules that are torsion-free of finite rank with respect to the action of the Cartan subalgebra and which admit a grading by a finite cyclic group corresponding to the rank of the module.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

15 extracted references · 3 canonical work pages

[1]

Classification of the irreducible representations of sl (2, C )

Block, R. Classification of the irreducible representations of sl (2, C ) . Bull. Amer. Math. Soc. (N.S.) 1 (1979), no. 1, 247--250

1979
[2]

The irreducible representations of the Lie algebra sl (2) and of the Weyl algebra

Block, R. The irreducible representations of the Lie algebra sl (2) and of the Weyl algebra. Adv. in Math. 39 (1981), no. 1, 69--110

1981
[3]

Irreducible skew polynomials over domains

Brown, C.; Pumpl \"u n, S. Irreducible skew polynomials over domains. An. S tiin t . Univ. ``Ovidius'' Constan t a Ser. Mat. 29 (2021), no. 3, 75--89

2021
[4]

How a nonassociative algebra reflects the properties of a skew polynomial

Brown, C.; Pumpl \"u n, S. How a nonassociative algebra reflects the properties of a skew polynomial. Glasg. Math. J. 63 (2021), no. 1, 6--26

2021
[5]

Enveloping algebras

Dixmier, J. Enveloping algebras. Revised reprint of the 1977 translation. Graduate Studies in Mathematics, 11 . American Mathematical Society, Providence, RI, 1996. xx+379 pp

1977
[6]

Simple sl _2 -modules that are torsion free U(h) -mo\-du\-les of rank 1

Grantcharov, D.; Krizka, L.; Mazorchuk, V. Simple sl _2 -modules that are torsion free U(h) -mo\-du\-les of rank 1 . Preprint arXiv:2603.04303

work page arXiv
[7]

A family of simple U( h ) -free modules of rank 2 over sl _2

Grantcharov, D.; Nguyen, K.; Zhao, K. A family of simple U( h ) -free modules of rank 2 over sl _2 . Preprint arXiv:2601.21197

work page arXiv
[8]

Representations of semisimple Lie algebras in the BGG category O

Humphreys, J. Representations of semisimple Lie algebras in the BGG category O . Grad. Stud. Math., 94 American Mathematical Society, Providence, RI, 2008, xvi+289 pp

2008

Show all 15 references

[9]

On category O for affine Grassmannian slices and categorified tensor products

Kamnitzer, J.; Tingley, P.; Webster, B.; Weekes, A.; Yacobi, O. On category O for affine Grassmannian slices and categorified tensor products. Proc. Lond. Math. Soc. (3) 119 (2019), no. 5, 1179--1233

2019
[10]

Lifting free modules to generalized Weyl algebras

Lopes, S.; Nilsson, J. Lifting free modules to generalized Weyl algebras. Preprint arXiv:2512.01520
[11]

Classification of irreducible weight modules

Mathieu, O. Classification of irreducible weight modules. Ann. Inst. Fourier (Grenoble) 50 (2000), no. 2, 537--592

2000
[12]

Lectures on sl _2( C ) -modules

Mazorchuk, V. Lectures on sl _2( C ) -modules. Imperial College Press, London, 2010, x+263 pp

2010
[13]

Simple sl _ n+1 -module structures on U(h)

Nilsson, J. Simple sl _ n+1 -module structures on U(h) . J. Algebra 424 (2015), 294--329

2015
[14]

Simple sl (V) -modules which are free over an abelian subalgebra

Nilsson, J. Simple sl (V) -modules which are free over an abelian subalgebra. Forum Math. 35 (2023), no. 5, 1237--1255

2023
[15]

Galois theory of difference equations

van der Put, M.; Singer, M. Galois theory of difference equations. Lecture Notes in Math. 1666 . Springer-Verlag, Berlin, 1997, viii+180 pp

1997

Pith tools

Reviewed June 26, 2026 · model on record in the stance chip above.

[1] [1]

Classification of the irreducible representations of sl (2, C )

Block, R. Classification of the irreducible representations of sl (2, C ) . Bull. Amer. Math. Soc. (N.S.) 1 (1979), no. 1, 247--250

1979

[2] [2]

The irreducible representations of the Lie algebra sl (2) and of the Weyl algebra

Block, R. The irreducible representations of the Lie algebra sl (2) and of the Weyl algebra. Adv. in Math. 39 (1981), no. 1, 69--110

1981

[3] [3]

Irreducible skew polynomials over domains

Brown, C.; Pumpl \"u n, S. Irreducible skew polynomials over domains. An. S tiin t . Univ. ``Ovidius'' Constan t a Ser. Mat. 29 (2021), no. 3, 75--89

2021

[4] [4]

How a nonassociative algebra reflects the properties of a skew polynomial

Brown, C.; Pumpl \"u n, S. How a nonassociative algebra reflects the properties of a skew polynomial. Glasg. Math. J. 63 (2021), no. 1, 6--26

2021

[5] [5]

Enveloping algebras

Dixmier, J. Enveloping algebras. Revised reprint of the 1977 translation. Graduate Studies in Mathematics, 11 . American Mathematical Society, Providence, RI, 1996. xx+379 pp

1977

[6] [6]

Simple sl _2 -modules that are torsion free U(h) -mo\-du\-les of rank 1

Grantcharov, D.; Krizka, L.; Mazorchuk, V. Simple sl _2 -modules that are torsion free U(h) -mo\-du\-les of rank 1 . Preprint arXiv:2603.04303

work page arXiv

[7] [7]

A family of simple U( h ) -free modules of rank 2 over sl _2

Grantcharov, D.; Nguyen, K.; Zhao, K. A family of simple U( h ) -free modules of rank 2 over sl _2 . Preprint arXiv:2601.21197

work page arXiv

[8] [8]

Representations of semisimple Lie algebras in the BGG category O

Humphreys, J. Representations of semisimple Lie algebras in the BGG category O . Grad. Stud. Math., 94 American Mathematical Society, Providence, RI, 2008, xvi+289 pp

2008