On $U(\mathfrak{h})$-free modules of finite rank over $\mathfrak{sl}(2)$

Dimitar Grantcharov; Kaiming Zhao; Khoa Nguyen

Reviewed by Pith at T0; open to challenge.

T0 means a machine referee read the full paper against a public rubric. The mark states how deep the mechanical check went, never who wrote it. the ladder, T0–T4 →

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

T0 review · grok-4.3

sl(2)-modules free of finite rank over U(h) allow the weighting functor to identify their coherent families.

2026-06-29 01:47 UTC pith:WQLBAZYF

load-bearing objection The paper identifies coherent families from U(h)-free sl(2)-modules, gives recursive socle filtrations for Jordan block indecomposables, and derives simplicity criteria for Weyl algebra exponentials.

arxiv 2606.28096 v1 pith:WQLBAZYF submitted 2026-06-26 math.RT

On U(mathfrak{h})-free modules of finite rank over mathfrak{sl}(2)

Dimitar Grantcharov , Khoa Nguyen , Kaiming Zhao This is my paper

classification math.RT

keywords sl(2)-modulesU(h)-free modulescoherent familiesweighting functorJordan blockssocle filtrationsWeyl algebraexponential modules

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper examines representations of sl(2) that remain free of finite rank when restricted to the enveloping algebra of a fixed Cartan subalgebra h. These objects supply a source of non-weight modules. The authors show that the weighting functor applied to any such module produces a coherent family whose structure is completely determined by the freeness condition. They also treat a subclass of indecomposable examples built from Jordan blocks and supply a recursive description of the successive quotients in their socle series. The same machinery yields explicit criteria that decide when certain exponential modules coming from the first Weyl algebra are simple.

Core claim

We study sl(2)-modules that are free of finite rank over U(h), where h is a fixed Cartan subalgebra of sl(2). These modules form a natural class of non-weight modules. The coherent families obtained from this class via the weighting functor are identified. We also study a distinguished class of indecomposable U(h)-free modules defined in terms of Jordan blocks and give a recursive description of their socle filtrations. Finally, we apply the general results to exponential modules arising from the first Weyl algebra and obtain simplicity criteria for these modules.

What carries the argument

Finite-rank U(h)-free sl(2)-modules, which serve as the input to the weighting functor that produces identifiable coherent families.

Load-bearing premise

The modules under study are free of finite rank over U(h) and the weighting functor produces coherent families whose structure can be identified from this freeness condition alone.

What would settle it

An explicit sl(2)-module that is free of rank two over U(h) but whose coherent family under the weighting functor fails to match any of the identified families would falsify the identification.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

Coherent families arising from any finite-rank U(h)-free module are now explicitly described.
Indecomposable modules built from Jordan blocks admit a recursive description of their socle filtrations.
Simplicity criteria are now available for the exponential modules that arise from the first Weyl algebra.

Where Pith is reading between the lines

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

The same freeness condition may simplify the structure of non-weight modules for other low-rank simple Lie algebras.
The simplicity criteria for Weyl-algebra exponentials could be used to test whether certain differential-operator modules remain irreducible.

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

The paper identifies coherent families from U(h)-free sl(2)-modules, gives recursive socle filtrations for Jordan block indecomposables, and derives simplicity criteria for Weyl algebra exponentials.

read the letter

This paper studies sl(2)-modules free of finite rank over U(h). It identifies the coherent families produced by the weighting functor on this class. It also treats a family of indecomposable examples built from Jordan blocks and supplies a recursive description of their socle filtrations. The final section applies the setup to exponential modules coming from the first Weyl algebra and extracts simplicity criteria.

The concrete identifications and the recursive filtration formula are the clearest new pieces. They organize a slice of non-weight modules in a usable way and turn the freeness condition into explicit structure. The Weyl algebra application is a direct payoff that specialists can check against known examples.

The claims rest on standard Lie algebra constructions and the weighting functor, with no visible circularity or free parameters in the abstract. The Jordan block construction for indecomposables is a reasonable choice that fits the existing literature on non-weight modules.

A minor limitation is that the abstract is high-level, so the exact scope of the recursive description and the completeness of the simplicity criteria are not fully visible without the proofs. Nothing in the stated results points to a load-bearing gap, but edge cases in the filtrations could still need checking.

The work is aimed at people already working on sl(2) representations or coherent families. A reader who needs explicit criteria for these modules will get something usable. It is the sort of targeted, technically grounded paper that deserves a serious referee.

Referee Report

0 major / 1 minor

Summary. The manuscript studies sl(2)-modules that are free of finite rank over U(h) for a fixed Cartan subalgebra h. These form a class of non-weight modules. The paper identifies the coherent families obtained from this class via the weighting functor, examines a distinguished class of indecomposable U(h)-free modules defined via Jordan blocks and provides a recursive description of their socle filtrations, and applies the results to exponential modules from the first Weyl algebra to derive simplicity criteria.

Significance. If the claims hold, the work advances the structure theory of non-weight modules over sl(2) by linking U(h)-freeness to coherent families and providing explicit filtrations and simplicity criteria with applications to Weyl algebra representations. The recursive socle filtration description and functorial identification represent concrete structural contributions in representation theory.

minor comments (1)

The abstract refers to 'the weighting functor' and 'exponential modules' without defining them in the provided summary; ensure these are introduced with precise references to prior literature or definitions in §1 or §2.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary and positive assessment of the significance of our work on U(h)-free sl(2)-modules. The referee's description accurately reflects the manuscript's contributions regarding coherent families, socle filtrations, and applications to Weyl algebra modules. No major comments were raised in the report.

Circularity Check

0 steps flagged

No circularity; derivation self-contained in standard Lie algebra constructions

full rationale

The abstract and available description outline a study of U(h)-free sl(2)-modules of finite rank, identification of coherent families via the weighting functor, recursive socle filtrations for Jordan block modules, and simplicity criteria for Weyl algebra exponential modules. These rest on freeness over U(h) and standard functorial constructions without any quoted reduction of a claimed result to a fitted parameter, self-citation chain, or definitional equivalence. No load-bearing step is shown to be equivalent to its inputs by construction. The reader's assessment of score 2.0 aligns with this; the work is grounded in conventional representation theory without internal circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only abstract available; no explicit free parameters, axioms, or invented entities identifiable. Standard background from Lie algebra theory is assumed but not detailed.

pith-pipeline@v0.9.1-grok · 5641 in / 1011 out tokens · 31032 ms · 2026-06-29T01:47:36.251695+00:00 · methodology

0 comments

read the original abstract

We study $\mathfrak{sl}(2)$-modules that are free of finite rank over $U(\mathfrak h)$, where $\mathfrak h$ is a fixed Cartan subalgebra of $\mathfrak{sl}(2)$. These modules form a natural class of non-weight modules. The coherent families obtained from this class via the weighting functor are identified. We also study a distinguished class of indecomposable $U(\mathfrak h)$-free modules defined in terms of Jordan blocks and give a recursive description of their socle filtrations. Finally, we apply the general results to exponential modules arising from the first Weyl algebra and obtain simplicity criteria for these modules.

discussion (0)

Reference graph

Works this paper leans on

16 extracted references · 4 canonical work pages

[1]

Bahturin, A

Y. Bahturin, A. Shihadeh, Graded torsion-freesl(2)-modules of rank 2,J. Algebra Its Appl.212022
[2]

R. E. Block, The irreducible representation of the Lie algebrasl(2)and of the Weyl algebra,Adv. Math.39(1981), 69–110

1981
[3]

Futorny, S

V. Futorny, S. Lopes, E. Mendon¸ ca, Representations of Smith algebras which are free over the Cartan subalgebra,J. Algebra,655(2024) 405–423

2024
[4]

Grantcharov, K

D. Grantcharov, K. Nguyen, Exponentiation and Fourier transform of tensor modules ofsl(n+1)J. Pure Appl. Algebra226(2022), 106972

2022
[5]

Grantcharov, K

D. Grantcharov, K. Nguyen, Exponential modules ofosp(1∣2), arXiv:2511.00287

work page arXiv
[6]

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

D. Grantcharov, K. Nguyen, K. Zhao, A family of simpleU(h)-free modules of rank 2 oversl(2), arXiv:2601.21197

work page arXiv
[7]

Y. He, Y. Cai, R. Lu, A class of new simple modules forsl n+1 and the Witt algebra,J. Algebra541 (2020), 415–435

2020
[8]

Lifting free modules to generalized Weyl algebras

S. Lopes, J. Nilsson, Lifting free modules to generalized Weyl algebras, arXiv:2512.01520

work page arXiv
[9]

F. J. P. Martin, C. T. Prieto, Construction of simple non-weightsl 2-modules of arbitrary rank,J. Algebra472(2017), 172–194

2017
[10]

Mazorchuk, Lectures onsl 2(C)-modules,Imperial College Press, London, 2010

V. Mazorchuk, Lectures onsl 2(C)-modules,Imperial College Press, London, 2010

2010
[11]

Mendon¸ ca,U(h)-finite modules and weight modules I: weighting functors, almost-coherent families and categoryA irr, arXiv:2411.18390

E. Mendon¸ ca,U(h)-finite modules and weight modules I: weighting functors, almost-coherent families and categoryA irr, arXiv:2411.18390

work page arXiv
[12]

Nilsson, Simplesl(n+1)–module structure onU(h),J

J. Nilsson, Simplesl(n+1)–module structure onU(h),J. Algebra424(2015), 294–329

2015
[13]

Nilsson, U(h)-free modules and coherent families,J

J. Nilsson, U(h)-free modules and coherent families,J. Pure Appl. Algebra220(2016), 1475–1488

2016
[14]

H. Tan, K. Zhao,W + n andW n–module structures onU(h),J. Algebra424(2015), 357–375

2015
[15]

H. Tan, K. Zhao, Irreducible modules over Witt algebrasW n and oversl(n+1),Algebras Represent. Theory21(2018), 787-806

2018
[16]

Williamson, On a family of non-weight modules over Witt-type Lie algebras and superalgebras, J

S. Williamson, On a family of non-weight modules over Witt-type Lie algebras and superalgebras, J. Algebra569(2021), 180–194. Department of Mathematics, University of Texas at Arlington, Arlington, TX 76021, USA Email address:grandim@uta.edu Department of Mathematics and Statistics, Queen’s University, Kingston, ON K7L 3N6, Canada Email address:k.nguyen@q...

2021

[1] [1]

Bahturin, A

Y. Bahturin, A. Shihadeh, Graded torsion-freesl(2)-modules of rank 2,J. Algebra Its Appl.212022

[2] [2]

R. E. Block, The irreducible representation of the Lie algebrasl(2)and of the Weyl algebra,Adv. Math.39(1981), 69–110

1981

[3] [3]

Futorny, S

V. Futorny, S. Lopes, E. Mendon¸ ca, Representations of Smith algebras which are free over the Cartan subalgebra,J. Algebra,655(2024) 405–423

2024

[4] [4]

Grantcharov, K

D. Grantcharov, K. Nguyen, Exponentiation and Fourier transform of tensor modules ofsl(n+1)J. Pure Appl. Algebra226(2022), 106972

2022

[5] [5]

Grantcharov, K

D. Grantcharov, K. Nguyen, Exponential modules ofosp(1∣2), arXiv:2511.00287

work page arXiv

[6] [6]

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

D. Grantcharov, K. Nguyen, K. Zhao, A family of simpleU(h)-free modules of rank 2 oversl(2), arXiv:2601.21197

work page arXiv

[7] [7]

Y. He, Y. Cai, R. Lu, A class of new simple modules forsl n+1 and the Witt algebra,J. Algebra541 (2020), 415–435

2020

[8] [8]

Lifting free modules to generalized Weyl algebras

S. Lopes, J. Nilsson, Lifting free modules to generalized Weyl algebras, arXiv:2512.01520

work page arXiv

[9] [9]

F. J. P. Martin, C. T. Prieto, Construction of simple non-weightsl 2-modules of arbitrary rank,J. Algebra472(2017), 172–194

2017

[10] [10]

Mazorchuk, Lectures onsl 2(C)-modules,Imperial College Press, London, 2010

V. Mazorchuk, Lectures onsl 2(C)-modules,Imperial College Press, London, 2010

2010

[11] [11]

Mendon¸ ca,U(h)-finite modules and weight modules I: weighting functors, almost-coherent families and categoryA irr, arXiv:2411.18390

E. Mendon¸ ca,U(h)-finite modules and weight modules I: weighting functors, almost-coherent families and categoryA irr, arXiv:2411.18390

work page arXiv

[12] [12]

Nilsson, Simplesl(n+1)–module structure onU(h),J

J. Nilsson, Simplesl(n+1)–module structure onU(h),J. Algebra424(2015), 294–329

2015

[13] [13]

Nilsson, U(h)-free modules and coherent families,J

J. Nilsson, U(h)-free modules and coherent families,J. Pure Appl. Algebra220(2016), 1475–1488

2016

[14] [14]

H. Tan, K. Zhao,W + n andW n–module structures onU(h),J. Algebra424(2015), 357–375

2015

[15] [15]

H. Tan, K. Zhao, Irreducible modules over Witt algebrasW n and oversl(n+1),Algebras Represent. Theory21(2018), 787-806

2018

[16] [16]

Williamson, On a family of non-weight modules over Witt-type Lie algebras and superalgebras, J

S. Williamson, On a family of non-weight modules over Witt-type Lie algebras and superalgebras, J. Algebra569(2021), 180–194. Department of Mathematics, University of Texas at Arlington, Arlington, TX 76021, USA Email address:grandim@uta.edu Department of Mathematics and Statistics, Queen’s University, Kingston, ON K7L 3N6, Canada Email address:k.nguyen@q...

2021