pith. sign in

arxiv: 2605.16950 · v2 · pith:ABHBHCWBnew · submitted 2026-05-16 · 🧮 math.RT

Quasi-Poisson Modules and Harish-Chandra AD-Modules

Malihe Yousofzadeh This is my paper

Pith reviewed 2026-05-19 18:59 UTC · model grok-4.3

classification 🧮 math.RT
keywords quasi-Poisson modulesLie-Rinehart pairsHarish-Chandra modulescuspidal modulesLie superalgebrasderivationstensor modules
0
0 comments X

The pith

Simple cuspidal quasi-Poisson modules over a Lie-Rinehart pair correspond one-to-one with simple cuspidal Harish-Chandra modules.

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

The paper introduces quasi-Poisson modules over Lie-Rinehart pairs. It proves a one-to-one correspondence between the simple cuspidal quasi-Poisson modules over the pair where the base algebra is a tensor product of Laurent polynomials in m variables with an exterior algebra in n variables and the simple cuspidal Harish-Chandra modules over the algebra obtained by adding one more Laurent variable. It also classifies all such simple cuspidal quasi-Poisson modules by showing each is a tensor product of the base algebra with an admissible module for the Lie superalgebra gl(m+1,n) under a prescribed action.

Core claim

For the Lie-Rinehart pair (dot A, dot fk) with dot A equal to C[t1^±1, …, tm^±1] tensor Lambda_n and dot fk equal to the derivations of dot A, there is a one-to-one correspondence between simple cuspidal quasi-Poisson modules over this pair and simple cuspidal Harish-Chandra A fk-modules where A is C[t0^±1] tensor dot A and fk is the derivations of A. Each such simple cuspidal quasi-Poisson module is realized as the tensor module dot A tensor Omega where Omega is an admissible gl(m+1,n)-module under a prescribed action.

What carries the argument

The one-to-one correspondence between simple cuspidal quasi-Poisson modules over (dot A, dot fk) and simple cuspidal Harish-Chandra modules over the extended pair, together with the explicit realization of each module as dot A tensor an admissible gl(m+1,n)-module.

If this is right

  • Every simple cuspidal quasi-Poisson module arises explicitly from an admissible module of the Lie superalgebra gl(m+1,n).
  • Properties and invariants of the corresponding Harish-Chandra modules transfer directly to the quasi-Poisson modules.
  • The classification reduces questions about these quasi-Poisson modules to the known theory of admissible representations of gl(m+1,n).

Where Pith is reading between the lines

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

  • The same bijection technique might apply to other base algebras or to non-cuspidal modules.
  • The explicit tensor realization could help compute characters or supports in related superalgebra representations.
  • Similar correspondences may exist when the exterior algebra factor is replaced by other graded algebras.

Load-bearing premise

The results depend on fixing the base algebra exactly as the tensor product of m Laurent polynomials with an n-dimensional exterior algebra and restricting attention to simple cuspidal modules.

What would settle it

Exhibiting one simple cuspidal quasi-Poisson module over the given Lie-Rinehart pair that cannot be expressed as the tensor product dot A tensor Omega for any admissible gl(m+1,n)-module or that fails to match any simple cuspidal Harish-Chandra module under the stated map.

read the original abstract

We introduce the notion of quasi-Poisson modules over Lie-Rinehart pairs and prove that for the Lie-Rinehart pair $(\dot A,\dot\fk)$ in which $\dot A=\bbbc[t_1^{\pm1},\ldots,t_m^{\pm1}]\ot\Lam_n$ and $\dot\fk={\rm Der}(\dot A)$, there is a one-to-one correspondence between simple cuspidal quasi-Poisson modules over $(\dot A,\dot\fk)$ and simple cuspidal Harish-Chndra $A\fk$-modules for $A:=\bbbc[t_0^{\pm1}]\ot \dot A$ and $\fk:={\rm Der}(A).$ We also classify simple cuspidal quasi-Poisson modules over the Lie-Rinehart pair $(\dot A,\dot\fk)$ and show that each such module is a tensor module $\dot A\ot \Omega$ for an admissible $\frak{gl}(m+1,n)$-module $\Omega$ via a prescribed action.

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

0 major / 3 minor

Summary. The paper introduces quasi-Poisson modules over Lie-Rinehart pairs and proves a one-to-one correspondence between simple cuspidal quasi-Poisson modules over the pair (dot A, dot fk), where dot A = C[t_1^{pm1}, ..., t_m^{pm1}] ot Lambda_n and dot fk = Der(dot A), and simple cuspidal Harish-Chandra A fk-modules for the extended pair A = C[t_0^{pm1}] ot dot A with fk = Der(A). It further classifies all such simple cuspidal quasi-Poisson modules as tensor modules dot A ot Omega, where Omega is an admissible gl(m+1,n)-module equipped with a prescribed action.

Significance. If the stated correspondence and classification hold, the work connects quasi-Poisson structures on Lie-Rinehart pairs to the theory of Harish-Chandra modules and reduces the classification of cuspidal simples to admissible representations of the general linear Lie superalgebra gl(m+1,n). This provides a concrete, explicit description in a specific algebraic setting that may serve as a model for further results on modules over derivations of Laurent polynomial rings tensored with exterior algebras.

minor comments (3)
  1. [Abstract] Abstract: 'Harish-Chndra' is a typographical error and should read 'Harish-Chandra'.
  2. [Introduction / Definitions] The definition of the quasi-Poisson module structure (likely in the section introducing the notion) would benefit from an explicit side-by-side comparison with the standard Poisson module axioms to clarify precisely which compatibility conditions are relaxed.
  3. [Classification section] Notation for the exterior algebra factor Lambda_n and the precise meaning of 'admissible' for the gl(m+1,n)-module Omega should be recalled or referenced at the start of the classification argument to improve readability for readers outside the immediate subfield.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and significance assessment of our work on quasi-Poisson modules and the correspondence with Harish-Chandra modules. The recommendation for minor revision is noted, and we will incorporate any necessary clarifications in the revised manuscript.

Circularity Check

0 steps flagged

No significant circularity detected in derivation chain

full rationale

The paper introduces quasi-Poisson modules over Lie-Rinehart pairs as a new notion and states theorems establishing a bijective correspondence with Harish-Chandra modules plus a classification as tensor modules over admissible gl(m+1,n)-modules. These are presented as independent algebraic constructions and verifications for the specified cuspidal simple modules over the given dot A and Der(dot A). No self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citations appear in the abstract or described claims. The structural choices (specific dot A, cuspidal restriction) define the intended scope rather than serving as unverified inputs that the results collapse into by construction. The derivation remains self-contained against external module-theoretic benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work relies on standard definitions and properties of Lie-Rinehart pairs, derivations, and module categories from prior literature; no free parameters, fitted constants, or new postulated entities beyond the introduced module notion are apparent from the abstract.

axioms (1)
  • standard math Standard axioms for Lie-Rinehart pairs and derivation actions on commutative algebras
    Invoked implicitly when defining the pairs (dot A, dot fk) and (A, fk).

pith-pipeline@v0.9.0 · 5713 in / 1280 out tokens · 49163 ms · 2026-05-19T18:59:10.818499+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.