pith. sign in

arxiv: 2605.18000 · v1 · pith:C6A57WW7new · submitted 2026-05-18 · 🧮 math.RT · math.RA

Representation theory of the real Gelfand order and real Harish-Chandra modules for mathsf{SL}₂(mathbbm{R})

Igor Burban , Yuriy Drozd This is my paper

Pith reviewed 2026-05-20 00:43 UTC · model grok-4.3

classification 🧮 math.RT math.RA
keywords representation theoryHarish-Chandra modulesGelfand orderSL(2,R)principal blockindecomposable representationsreal Lie groups
0
0 comments X

The pith

The principal block of real Harish-Chandra modules for SL₂(ℝ) relates to finite-dimensional modules over the real Gelfand order.

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

This paper examines the principal block of the category of real Harish-Chandra modules for SL₂(ℝ). It connects this block to the category of finite-dimensional modules over the real Gelfand order. The authors describe several distinguished classes of indecomposable representations arising from this connection. A sympathetic reader would care because the relation turns abstract questions about group representations into concrete problems about modules over a specific algebra. This offers a direct way to classify and understand the structure of these modules.

Core claim

The paper relates the principal block of the category of real Harish-Chandra modules for SL₂(ℝ) to the category of finite dimensional modules over the real Gelfand order and describes several distinguished classes of the corresponding indecomposable representations.

What carries the argument

The real Gelfand order, an associative algebra whose finite-dimensional modules correspond to the principal block of real Harish-Chandra modules.

If this is right

  • Indecomposable representations in the principal block correspond to modules over the real Gelfand order.
  • Several distinguished classes of these indecomposable representations admit explicit descriptions.
  • The algebraic model organizes the structure of real Harish-Chandra modules for this group.

Where Pith is reading between the lines

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

  • The correspondence may simplify explicit computations of extension groups between modules.
  • Similar orders could be constructed for Harish-Chandra modules of other real Lie groups.
  • The approach might connect to classification problems in categories of infinite-dimensional representations.

Load-bearing premise

The real Gelfand order is a well-defined associative algebra whose finite-dimensional module category is closely related to the principal block of real Harish-Chandra modules for SL₂(ℝ).

What would settle it

A mismatch between the indecomposable modules in the principal block and those over the real Gelfand order, or the absence of any functor or equivalence linking the two categories.

read the original abstract

In this article we study the principal block of the category of real Harish-Chandra modules for the group $\mathsf{SL}_2(\RR)$ and relate it to the category of finite dimensional modules over the so-called real Gelfand order. We describe several distinguished classes of the corresponding indecomposable representations.

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 the principal block of the category of real Harish-Chandra modules for SL₂(ℝ) and relates it to the category of finite-dimensional modules over the real Gelfand order. The order is constructed via explicit generators and relations that incorporate the real form of sl₂(ℝ) and the appropriate central character. An equivalence is realized by a functor sending standard modules to indecomposable projectives over the order, and the classification of indecomposables follows from the representation theory of the resulting quiver with relations. Several distinguished classes of indecomposable representations are described.

Significance. If the claimed equivalence holds, the work supplies a concrete algebraic model (via an explicitly presented order and quiver with relations) for the principal block of real Harish-Chandra modules in the SL₂(ℝ) case. The explicit bases, relations, and functor construction constitute a verifiable advance that could serve as a template for analogous questions with other real reductive groups. The classification of indecomposables provides concrete, falsifiable predictions about the structure of the category.

major comments (2)
  1. [§2.3] §2.3, after the definition of the real Gelfand order: the relations are stated to incorporate the real form of sl₂(ℝ), but it is not shown that the resulting algebra is independent of the choice of basis for the real Lie algebra; a short computation verifying that a change of real basis induces an isomorphic order would strengthen the claim that the construction is canonical.
  2. [§4.1] §4.1, Theorem 4.2: the functor is asserted to send standard modules to indecomposable projectives and to induce an equivalence on the principal block; however, the proof sketch does not explicitly verify that the functor is essentially surjective on the indecomposable projectives, which is load-bearing for the equivalence statement.
minor comments (2)
  1. [§3] Notation for the central character is introduced in §1 but reused without re-statement in §3; a brief reminder would improve readability.
  2. [Figure 1] Figure 1 (quiver presentation) has overlapping arrows in the printed version; a larger font or adjusted layout would clarify the relations.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive evaluation of the manuscript and for the helpful comments, which have allowed us to clarify and strengthen several aspects of the presentation. We address each major comment in turn below.

read point-by-point responses

  1. Referee: [§2.3] §2.3, after the definition of the real Gelfand order: the relations are stated to incorporate the real form of sl₂(ℝ), but it is not shown that the resulting algebra is independent of the choice of basis for the real Lie algebra; a short computation verifying that a change of real basis induces an isomorphic order would strengthen the claim that the construction is canonical.

    Authors: We agree that an explicit verification of basis independence would make the canonicity of the real Gelfand order more transparent. In the revised manuscript we have added a short computation immediately following the definition in §2.3. The computation exhibits an explicit algebra isomorphism induced by any change of real basis for sl₂(ℝ), confirming that the presented relations yield an isomorphic order. revision: yes

  2. Referee: [§4.1] §4.1, Theorem 4.2: the functor is asserted to send standard modules to indecomposable projectives and to induce an equivalence on the principal block; however, the proof sketch does not explicitly verify that the functor is essentially surjective on the indecomposable projectives, which is load-bearing for the equivalence statement.

    Authors: The referee correctly notes that the original proof sketch of Theorem 4.2 did not contain an explicit check of essential surjectivity onto the indecomposable projectives. We have expanded the argument in the revised version to include a direct verification: every indecomposable projective arises as the image of a suitable standard module under the functor. With this addition the equivalence of categories is now fully established. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained via explicit generators and relations

full rationale

The paper defines the real Gelfand order through explicit generators and relations incorporating the real form of sl₂(ℝ) and central characters. Equivalence to the principal block of real Harish-Chandra modules is realized by a functor sending standard modules to indecomposable projectives, with all steps using explicit bases, relations, and the representation theory of the resulting quiver with relations. No load-bearing step reduces by construction to a fitted input, self-definition, or self-citation chain; the central claims rest on independent, verifiable algebraic constructions rather than renaming or smuggling prior results.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no explicit free parameters, background axioms, or newly postulated entities; the central claim implicitly rests on the existence and suitability of the real Gelfand order as an algebraic model.

pith-pipeline@v0.9.0 · 5579 in / 1235 out tokens · 71868 ms · 2026-05-20T00:43:44.026953+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.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

  1. [1]

    Alfes, I

    C. Alfes, I. Burban & M. Raum,A classification of polyharmonic Maaß forms via quiver representa- tions, J. Algebra661(2025), 713–756

    work page 2025

  2. [2]

    Auslander & I

    M. Auslander & I. Reiten,Stable equivalence of Artin algebras, Proceedings of the Conference on Orders, Group Rings and Related Topics, 8–71, Lecture Notes in Math.353Springer, Berlin–New York, 1973

    work page 1973

  3. [3]

    Auslander, I

    M. Auslander, I. Reiten & S. Smalo,Galois actions on rings and finite Galois coverings, Math. Scand. 65(1989), no. 1, 5–32

    work page 1989

  4. [4]

    Bennett-Tennenhaus & W

    R. Bennett-Tennenhaus & W. Crawley-Boevey,Semilinear clannish algebras, Proc. Lond. Math. Soc. (3)129(2024), no. 4, Paper No. e12637, 58 pp

    work page 2024

  5. [5]

    Bondarenko,Bundles of semi-chains and their representations, Preprint no

    V. Bondarenko,Bundles of semi-chains and their representations, Preprint no. 88.60, Inst. Math. Acad. Sci. of Ukraine, Kiev, 1988

    work page 1988

  6. [6]

    Bondarenko,Representations of bundles of semi-chains and their applications, St

    V. Bondarenko,Representations of bundles of semi-chains and their applications, St. Petersburg Math. J.,3, (1992), 973–996

    work page 1992

  7. [7]

    Burban & Yu

    I. Burban & Yu. Drozd,Derived categories of nodal algebras, J. Algebra272(2004), no.1, 46–94

    work page 2004

  8. [8]

    Burban & Yu

    I. Burban & Yu. Drozd,Classificafion of real nodal orders,arXiv:2410.05792. 18 IGOR BURBAN AND YURIY DROZD

    work page arXiv

  9. [9]

    Burban & Yu

    I. Burban & Yu. Drozd,Some aspects of the theory of nodal orders, Modern algebra. Vol. 1. Repre- sentation theory, 31–39, Contemp. Math.,829, Amer. Math. Soc., Providence, RI, 2025

    work page 2025

  10. [10]

    Burban & W

    I. Burban & W. Gnedin,Representation theory of the Gelfand quiver and Harish-Chandra modules forSL 2(R),arXiv:2604.00274

    work page arXiv

  11. [11]

    Crawley-Boevey,Functorial filtrations II

    W. Crawley-Boevey,Functorial filtrations II. Clans and the Gelfand problem, J. London Math. Soc. (2)40, no. 1, (1989), 9–30

    work page 1989

  12. [12]

    Curtis & I

    Ch. Curtis & I. Reiner,Methods of Representation Theory. Vol. I. With applications to finite groups and orders, A Wiley-Interscience Publication. John Wiley & Sons, Inc., New York, 1981. xxi+819 pp

    work page 1981

  13. [13]

    Drozd,Finite modules over purely Noetherian algebras, Trudy Mat

    Yu. Drozd,Finite modules over purely Noetherian algebras, Trudy Mat. Inst. Steklov.183(1990), 86–96

    work page 1990

  14. [14]

    Drozd & V

    Yu. Drozd & V. Kirichenko,Finite Dimensional Algebras, Translated from the 1980 Russian original and with an appendix by Vlastimil Dlab. Springer (1994), xiv+249 pp

    work page 1980

  15. [15]

    Drozd, B

    Yu. Drozd, B. Furchin, S. Ovsienko,Categorical constructions in representation theory, Algebraic structures and their applications, 17–43, Kyiv, 1988

    work page 1988

  16. [16]

    Gabriel,Indecomposable representations

    P. Gabriel,Indecomposable representations. IISymposia Mathematica, Vol. XI pp. 81–104, Academic Press, London-New York, 1973

    work page 1973

  17. [17]

    Gelfand,Cohomology of the infinite dimensional Lie algebras; some questions of the integral geom- etry, International Congress of Mathematicians, Nice, 1970

    I. Gelfand,Cohomology of the infinite dimensional Lie algebras; some questions of the integral geom- etry, International Congress of Mathematicians, Nice, 1970

    work page 1970

  18. [18]

    Iyama,Quadratic bimodules and quadratic orders, J

    O. Iyama,Quadratic bimodules and quadratic orders, J. Algebra286(2005), no. 2, 247–306

    work page 2005

  19. [19]

    Januszewski,Rational structures on quivers and a generalization of Gelfand’s equivalence, arXiv:2506.23251

    F. Januszewski,Rational structures on quivers and a generalization of Gelfand’s equivalence, arXiv:2506.23251

    work page arXiv

  20. [20]

    Nazarova & A

    L. Nazarova & A. Roiter,About one problem of I.M.Gelfand, Functional analysis and its applications, vol.7, no. 4, (1973), 54–69

    work page 1973

  21. [21]

    Reiner,Maximal Orders, London Mathematical Society Monographs, New Series28

    I. Reiner,Maximal Orders, London Mathematical Society Monographs, New Series28. The Clarendon Press, Oxford University Press, Oxford, 2003

    work page 2003

  22. [22]

    C. M. Ringel & W. Roggenkamp,Diagrammatic methods in the representation theory of orders, J. Algebra60(1979), no. 1, 11–42

    work page 1979

  23. [23]

    Reiten & Ch

    I. Reiten & Ch. Riedtmann,Skew group algebras in the representation theory of Artin algebras, J. Algebra92(1985), no. 1, 224–282. Universit¨at Paderborn, Institut f ¨ur Mathematik, W arburger Strasse 100, 33098 Pader- born, Germany Email address:burban@math.uni-paderborn.de Institute of Mathematics, National Academy of Sciences of Ukraine, Tereschenkivska...

    work page 1985