pith. sign in

arxiv: 2604.18369 · v1 · submitted 2026-04-20 · 🧮 math.RT

Simple modules over truncated current Lie algebras of the Witt algebra

Hao Chang , Ruiying Hou , Jinxin Hu This is my paper

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

classification 🧮 math.RT
keywords simple modulestruncated current Lie algebrasWitt algebrap-charactersheightclassificationmodular representationsLie algebra modules
0
0 comments X

The pith

Simple modules over truncated current Lie algebras of the Witt algebra are completely classified when the p-character has height at most one.

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

The paper studies finite-dimensional simple modules for the truncated current Lie algebra W_ℓ constructed from the Witt algebra W. It delivers a full classification up to isomorphism for those modules whose p-character has height at most one. This classification matters for building a concrete understanding of how representations work for these algebras in positive characteristic. The work also examines a family of simple modules where the p-character height is greater than one.

Core claim

The central claim is that all simple W_ℓ-modules with p-character of height at most one can be classified completely up to isomorphism. This is done under the assumption that the base field is algebraically closed of characteristic p > 3. The paper further investigates a family of simple modules with p-characters of height greater than one.

What carries the argument

The p-character χ of height at most one for modules over the truncated current Lie algebra W_ℓ = W ⊗ k[t]/(t^{ℓ+1}).

Load-bearing premise

The base field must be algebraically closed of characteristic p greater than 3 for the classification to hold.

What would settle it

The discovery of a simple finite-dimensional W_ℓ-module with a p-character of height one not matching any in the provided classification list would falsify the completeness claim.

read the original abstract

Let $\Bbbk$ be an algebraically closed field of characteristic $p>3$, and let $W$ denote the $p$-dimensional Witt algebra, the first example of a non-classical simple Lie algebra. For a non-negative integer $\ell$, consider the associated truncated current Lie algebra $W_\ell=W \otimes \Bbbk[t]/(t^{\ell+1})$. In this paper, we first study simple $W_\ell$-modules having $p$-character $\chi$ of height at most one, and provide a complete classification of such modules up to isomorphism. We then investigate a family of simple $W_\ell$-modules whose $p$-characters have height greater than one.

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

2 major / 2 minor

Summary. The paper studies finite-dimensional simple modules over the truncated current Lie algebra W_ℓ = W ⊗ k[t]/(t^{ℓ+1}), where W is the p-dimensional Witt algebra. Over an algebraically closed field of characteristic p>3, it claims a complete classification up to isomorphism of those simple W_ℓ-modules whose p-characters have height at most one; it then examines a separate family of simple modules whose p-characters have height greater than one.

Significance. If the stated classification holds, the result supplies a concrete list of isomorphism classes for a natural truncation of the current algebra of a non-classical simple Lie algebra in positive characteristic. Such explicit classifications remain uncommon and provide a foundation for further work on restricted and non-restricted representations of current algebras. The manuscript employs standard tools of modular Lie algebra representation theory and separates the height-≤1 case cleanly from the height>1 investigation.

major comments (2)
  1. [§3, Theorem 3.8] §3, Theorem 3.8: the proof that every simple module with height-1 p-character is isomorphic to one of the listed modules relies on the vanishing of a certain cohomology group; the argument would be strengthened by an explicit reference to the dimension formula or spectral sequence used to obtain that vanishing.
  2. [§4.1, Proposition 4.3] §4.1, Proposition 4.3: the construction of the family with height >1 is given explicitly, but the claim that these modules are simple is verified only for generic parameters; a uniform argument covering all parameters in the family would remove the need for the genericity assumption.
minor comments (2)
  1. [§3] The notation for the truncated current algebra W_ℓ is introduced in the abstract and §1 but is not repeated in the statement of the main classification theorem; adding a brief reminder would improve readability.
  2. Several citations to earlier results on Witt algebra modules appear without page or theorem numbers; supplying these would help readers locate the precise statements being invoked.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive evaluation and the constructive suggestions that help strengthen the manuscript. We address each major comment below and have revised the paper accordingly.

read point-by-point responses

  1. Referee: [§3, Theorem 3.8] §3, Theorem 3.8: the proof that every simple module with height-1 p-character is isomorphic to one of the listed modules relies on the vanishing of a certain cohomology group; the argument would be strengthened by an explicit reference to the dimension formula or spectral sequence used to obtain that vanishing.

    Authors: We appreciate this suggestion. In the revised version we have added an explicit reference to the Hochschild-Serre spectral sequence (together with the dimension formula for the relevant cohomology groups of the Witt algebra) that establishes the required vanishing. A short paragraph explaining the application of the spectral sequence has been inserted immediately before the conclusion of the proof of Theorem 3.8. revision: yes

  2. Referee: [§4.1, Proposition 4.3] §4.1, Proposition 4.3: the construction of the family with height >1 is given explicitly, but the claim that these modules are simple is verified only for generic parameters; a uniform argument covering all parameters in the family would remove the need for the genericity assumption.

    Authors: We thank the referee for this observation. Upon re-examination we have replaced the genericity assumption with a uniform argument that works for all parameters. The revised proof of Proposition 4.3 proceeds by direct verification that any proper submodule would contradict the explicit action of the generators on the given basis, without restricting the parameters; the argument relies only on the defining relations of W_ℓ and the height of the p-character. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The provided abstract and description contain no equations, derivations, fitted parameters, or self-citations that could form a load-bearing chain. The central claim is a direct statement of a complete classification of simple modules up to isomorphism for p-characters of height at most one, under standard assumptions on the base field and algebra. No step reduces by construction to its own inputs, and the result is presented as an independent classification without visible self-referential reductions or renamed empirical patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on the standard definition of the Witt algebra, the construction of truncated current algebras, and the notion of p-character height; no free parameters, invented entities, or non-standard axioms are visible in the abstract.

axioms (2)
  • domain assumption k is algebraically closed of characteristic p > 3
    Stated at the beginning of the abstract as the setting for the Witt algebra W.
  • standard math W_ℓ is defined as W ⊗ k[t]/(t^{ℓ+1})
    The truncated current Lie algebra is introduced directly from the Witt algebra.

pith-pipeline@v0.9.0 · 5414 in / 1200 out tokens · 45269 ms · 2026-05-10T03:10:44.808203+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages

  1. [1]

    Chaffe, Category O for Takiff Lie algebras

    M. Chaffe, Category O for Takiff Lie algebras . Math. Z. 304, 14 (2023)

    work page 2023

  2. [2]

    Chaffe and L

    M. Chaffe and L. Topley, Modular representations of truncated current Lie algebras . arXiv:2311.08208

    work page arXiv

  3. [3]

    Chaffe and L

    M. Chaffe and L. Topley, Category O for truncated current Lie algebras . Canad. J. Math. 76, 5 (2024), 1795--1821

    work page 2024

  4. [4]

    Chang, \"Uber Wittsche Lie-Ringe

    H.-J. Chang, \"Uber Wittsche Lie-Ringe . Abh. Math. Sem. Univ. Hamburg 14 (1941), 151--184

    work page 1941

  5. [5]

    Feldvoss and D

    J. Feldvoss and D. K. Nakano, Representation Theory of the Witt ALgebra . J. Algebra 203 (1998), 447--469

    work page 1998

  6. [6]

    J. C. Jantzen, Representations of Lie algebras in prime characteristic . in: A. Broer (Ed.), Representation Theories and Algebraic Geometry, in: Proceedings, Montreal, NATO ASI Series, vol. C 514, Kluwer, Dordrecht, 1998, pp. 185--235

    work page 1998

  7. [7]

    Mazorchuk and C

    V. Mazorchuk and C. S\"oderberg, Category o for Takiff sl _2 . J. Math. Phys. 60 (2019), no. 11, 15 pp

    work page 2019

  8. [8]

    Shu, Generalized restricted Lie algebras and the representations of Zassenhaus algebra

    B. Shu, Generalized restricted Lie algebras and the representations of Zassenhaus algebra . J. Algebra 204 (1998), 549--572

    work page 1998

  9. [9]

    Strade, Representations of the Witt algebra

    H. Strade, Representations of the Witt algebra . J. Algebra 49 (1977), 595--605

    work page 1977

  10. [10]

    Strade, Simple Lie Algebras over Fields of Positive Characteristic I: Structure Theory

    H. Strade, Simple Lie Algebras over Fields of Positive Characteristic I: Structure Theory . Gruyter Expositions in Mathematics 38, Walter de Gruyter & Co., Berlin, 2004

    work page 2004

  11. [11]

    Strade and R

    H. Strade and R. Farnsteiner, Modular Lie algebras and their representations . Monographs and Textbooks in Pure and Applied Mathematics, 116, Marcel Dekker, Inc., New York, 1988

    work page 1988

  12. [12]

    S. J. Takiff, Rings of invariant polynomials for a class of Lie algebras . Trans. Amer. Math. Soc. 160 (1971), 249--262

    work page 1971