pith. sign in

arxiv: 1906.12246 · v1 · pith:PDT2NCJKnew · submitted 2019-06-28 · 🧮 math.RT · math.QA· math.RA

Quantum generalized Kac--Moody algebras via Hall algebras of complexes

Jonathan D. Axtell , Kyu-Hwan Lee This is my paper

Pith reviewed 2026-05-25 13:23 UTC · model grok-4.3

classification 🧮 math.RT math.QAmath.RA
keywords quantum enveloping algebrageneralized Kac-Moody algebraHall algebraquiver representationsZ_2-graded complexesfinitely presented representations
0
0 comments X

The pith

The quantum enveloping algebra of a symmetric generalized Kac-Moody algebra embeds into a localized Hall algebra of Z_2-graded complexes of quiver representations.

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

This paper establishes an embedding of the quantum enveloping algebra of a symmetric generalized Kac-Moody algebra into a localized Hall algebra built from Z_2-graded complexes of representations of a quiver, possibly with loops. The authors restrict to finitely presented representations and to Z_2-graded complexes of projectives that have finite homology in order to avoid complications from infinite-dimensional projective objects. If correct, this construction supplies a categorical realization of these quantum algebras that generalizes earlier work on ordinary Kac-Moody cases and opens the door to using Hall algebra methods for computations in the generalized setting.

Core claim

We establish an embedding of the quantum enveloping algebra of a symmetric generalized Kac--Moody algebra into a localized Hall algebra of Z_2-graded complexes of representations of a quiver with (possible) loops, by working in the category of finitely-presented representations and the category of Z_2-graded complexes of projectives with finite homology.

What carries the argument

Localized Hall algebra of Z_2-graded complexes of projectives with finite homology over the category of finitely-presented representations of the quiver.

If this is right

  • The quantum enveloping algebra sits inside the localized Hall algebra as a subalgebra.
  • Generalized Kac-Moody algebras admit a Hall algebra realization even when the quiver has loops.
  • The restriction to finite homology categories resolves the infinite-dimensional issues for the embedding.

Where Pith is reading between the lines

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

  • Explicit low-rank examples could be computed to verify the embedding maps generators correctly.
  • The same restriction technique might apply to other Hall algebra constructions involving infinite-dimensional objects.
  • Links could exist to derived Hall algebras or other homological realizations of quantum groups.

Load-bearing premise

That the categories of finitely-presented representations and Z_2-graded complexes of projectives with finite homology are sufficient to overcome difficulties from infinite dimensional projective objects.

What would settle it

A direct computation for a small quiver showing that the image of the embedding fails to close under the Hall algebra product while still satisfying the quantum enveloping relations.

read the original abstract

We establish an embedding of the quantum enveloping algebra of a symmetric generalized Kac--Moody algebra into a localized Hall algebra of $\mathbb Z_2$-graded complexes of representations of a quiver with (possible) loops. To overcome difficulties resulting from the existence of infinite dimensional projective objects, we consider the category of finitely-presented representations and the category of $\mathbb Z_2$-graded complexes of projectives with finite homology.

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 manuscript claims to establish an embedding of the quantum enveloping algebra U_q(g) of a symmetric generalized Kac-Moody algebra g into a localized Hall algebra arising from the category of Z_2-graded complexes of representations of a quiver (possibly with loops). The construction restricts to the subcategory of finitely presented representations together with the subcategory of Z_2-graded complexes of projectives having finite homology, in order to circumvent difficulties posed by infinite-dimensional projective objects while still reproducing the quantum relations via Hall multiplication.

Significance. If the embedding holds, the result supplies a Hall-algebra realization for quantum generalized Kac-Moody algebras that extends earlier constructions for ordinary Kac-Moody cases and handles imaginary roots through the restricted categories. Such a realization could furnish new combinatorial or categorical tools for studying the representation theory of these algebras. The technical device of passing to finitely presented objects and finite-homology complexes is a concrete workaround whose correctness would be of independent interest for Hall-algebra constructions involving infinite-dimensional categories.

major comments (2)
  1. [§3] §3 (definition of the restricted categories): the manuscript must verify that the Grothendieck group of the restricted category of Z_2-graded complexes of projectives with finite homology carries an Euler bilinear form that coincides with the Cartan matrix of g, including on the imaginary root lattice; without an explicit computation or isomorphism statement, it is unclear whether the Hall multiplication reproduces the quantum Serre relations for imaginary roots.
  2. [§4] §4 (Hall algebra multiplication and localization): the claim that the localization inverts precisely the elements needed for the embedding without collapsing the image requires a proof that the restricted categories remain exact (or at least have well-defined, finite-dimensional Ext groups) for the objects corresponding to the generators of U_q(g); the abstract states that the restriction overcomes infinite-dimensional projectives but supplies no check that Hom and Ext remain finite or that the extension-counting still matches the quantum parameter q.
minor comments (2)
  1. [§2] Notation for the Z_2-grading and the finite-homology condition should be introduced with a displayed definition before it is used in the statement of the main theorem.
  2. [§1] The introduction should include a short comparison table or paragraph contrasting the present restricted categories with the unrestricted derived category used in earlier Hall-algebra papers on Kac-Moody algebras.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough reading and for highlighting these technical points. Both concerns can be resolved by adding explicit verifications to the manuscript; we outline the planned additions below.

read point-by-point responses

  1. Referee: [§3] §3 (definition of the restricted categories): the manuscript must verify that the Grothendieck group of the restricted category of Z_2-graded complexes of projectives with finite homology carries an Euler bilinear form that coincides with the Cartan matrix of g, including on the imaginary root lattice; without an explicit computation or isomorphism statement, it is unclear whether the Hall multiplication reproduces the quantum Serre relations for imaginary roots.

    Authors: We agree that an explicit verification is required. In the revised version we will insert a new subsection in §3 that computes the Grothendieck group of the restricted category of Z_2-graded complexes of projectives with finite homology. We will exhibit an isomorphism identifying this group with the root lattice of g and show, by direct computation of the Euler characteristic on the generators, that the induced bilinear form recovers the Cartan matrix on both real and imaginary roots. This computation will also confirm that the Hall multiplication on the corresponding classes satisfies the quantum Serre relations for imaginary roots. revision: yes

  2. Referee: [§4] §4 (Hall algebra multiplication and localization): the claim that the localization inverts precisely the elements needed for the embedding without collapsing the image requires a proof that the restricted categories remain exact (or at least have well-defined, finite-dimensional Ext groups) for the objects corresponding to the generators of U_q(g); the abstract states that the restriction overcomes infinite-dimensional projectives but supplies no check that Hom and Ext remain finite or that the extension-counting still matches the quantum parameter q.

    Authors: We accept that a self-contained argument is needed. In the revised §4 we will prove that both restricted categories are exact and that, for the objects whose classes generate the image of U_q(g), all Hom and Ext groups are finite-dimensional. The proof proceeds by reducing to the finite-presentation and finite-homology conditions, which bound the possible extensions; we then verify that the resulting extension-counting functions coincide with the standard q-powers appearing in the quantum enveloping algebra. This will also show that the chosen localization inverts exactly the required elements without collapsing the subalgebra generated by the Chevalley generators. revision: yes

Circularity Check

0 steps flagged

No circularity: construction via category restriction is independent of the target embedding

full rationale

The provided abstract and context describe a direct embedding construction of U_q(g) into a localized Hall algebra of Z_2-graded complexes, achieved by restricting to finitely-presented representations and Z_2-graded projective complexes with finite homology. No equations, fitted parameters, or predictions appear. No self-citations are quoted as load-bearing for the central claim, and the restriction is presented as a technical workaround rather than a definitional reduction. The derivation chain therefore remains self-contained against external benchmarks such as standard Hall algebra theory and does not reduce to any of the enumerated circular patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available, so no explicit free parameters, axioms, or invented entities can be extracted; the construction appears to rely on standard categories in representation theory.

pith-pipeline@v0.9.0 · 5594 in / 1072 out tokens · 24809 ms · 2026-05-25T13:23:05.983445+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]

    Benkart, S.-J

    G. Benkart, S.-J. Kang, and D. Melville, Quantized enveloping algebras for Borcherds superalgebras, Trans. Amer. Math. Soc. 350 (1998), no. 8, 3297–3319

    work page 1998

  2. [2]

    R. E. Borcherds, Generalized Kac–Moody algebras, J. Algebra 115 (1988), 501–512

    work page 1988

  3. [3]

    , Monstrous moonshine and monstrous Lie superalgebras , Invent. Math. 109 (1992), 405–444

    work page 1992

  4. [4]

    Bridgeland, Quantum groups via Hall algebras of complexes , Ann

    T. Bridgeland, Quantum groups via Hall algebras of complexes , Ann. of Math. (2) 177 (2013), no. 2, 739–759

    work page 2013

  5. [5]

    Burban and O

    I. Burban and O. Schiffmann, On the Hall algebra of an elliptic curve, I , Duke Math. J. 161 (2012), 1171–1231

    work page 2012

  6. [6]

    Cartan and S

    H. Cartan and S. Eilenberg, Homological algebra, Princeton University Press, Princeton, 1956

    work page 1956

  7. [7]

    P. M. Cohn, Free ideal rings and localization in general rings , New Mathematical Monographs 3, Cambridge University Press, Cambridge, 2006

    work page 2006

  8. [8]

    Cramer, Double Hall algebras and derived equivalences , Adv

    T. Cramer, Double Hall algebras and derived equivalences , Adv. Math. 224 (2010), 1097–1120

    work page 2010

  9. [9]

    J. A. Green, Hall algebras, hereditary algebras and quantum groups , Invent. Math. 120 (1995), 361–377. 32 J. D. AXTELL AND K.-H. LEE

    work page 1995

  10. [10]

    Joseph, Quantum groups and their primitive ideals , Ergebnisse der Mathematik und ihrer Grenzgebiete (3), 29, Springer-Verlag, Berlin, 1995

    A. Joseph, Quantum groups and their primitive ideals , Ergebnisse der Mathematik und ihrer Grenzgebiete (3), 29, Springer-Verlag, Berlin, 1995

    work page 1995

  11. [11]

    V. G. Kac, Infinite-dimensional Lie algebras , third edition, Cambridge University Press, Cambridge, 19 90

    work page

  12. [12]

    Kang, Quantum deformations of generalized Kac–Moody algebras an d their modules , J

    S.-J. Kang, Quantum deformations of generalized Kac–Moody algebras an d their modules , J. Algebra 175 (1995), 1041–1066

    work page 1995

  13. [13]

    Kang and O

    S.-J. Kang and O. Schiffmann, Canonical bases for quantum generalized Kac–Moody algebra s, Adv. Math. 200 (2006), no. 2, 455–478

    work page 2006

  14. [14]

    Kaplansky, Modules over Dedekind rings and valuation rings , Trans

    I. Kaplansky, Modules over Dedekind rings and valuation rings , Trans. Amer. Math. Soc. 72 (1952), 327–340

    work page 1952

  15. [15]

    Kapranov, Heisenberg doubles and derived categories , J

    M. Kapranov, Heisenberg doubles and derived categories , J. Algebra 202 (1998), 712–744

    work page 1998

  16. [16]

    Krause, Krull–Schmidt categories and projective covers

    H. Krause, Krull–Schmidt categories and projective covers . Expo. Math. 33 (2015), no.4, 535–549

    work page 2015

  17. [17]

    Peng and J

    L. Peng and J. Xiao, Root categories and simple Lie algebras , J. Algebra 198 (1997), 19–56

    work page 1997

  18. [18]

    , Triangulated categories and Kac–Moody algebras , Invent. Math. 140 (2000), 563–603

    work page 2000

  19. [19]

    Reiten and M

    I. Reiten and M. Van den Bergh, Noetherian hereditary abelian categories satisfying Serr e duality , J. Amer. Math. Soc. 15 (2002), 295–366

    work page 2002

  20. [20]

    Ringel, Hall algebras and quantum groups , Invent

    C. Ringel, Hall algebras and quantum groups , Invent. Math. 101 (1990), no. 3, 583–591

    work page 1990

  21. [21]

    Schiffmann, Lectures on Hall algebras , Geometric methods in representation theory II, S´ emin

    O. Schiffmann, Lectures on Hall algebras , Geometric methods in representation theory II, S´ emin. Co ngr. 24 (2012), 1–141

    work page 2012

  22. [22]

    Xiao, Drinfeld double and Ringel–Green theory of Hall algebras , J

    J. Xiao, Drinfeld double and Ringel–Green theory of Hall algebras , J. Algebra 190 (1997), no. 1, 100–144

    work page 1997

  23. [23]

    Yanagida, A note on Bridgeland’s Hall algebra of two-periodic complex es, Math

    S. Yanagida, A note on Bridgeland’s Hall algebra of two-periodic complex es, Math. Z. 282 (2016), 973–991. Sungkyunkw an University, Suwon 16419, Republic of Korea E-mail address : jaxtell@skku.edu Department of Mathematics, University of Connecticut, Sto rrs, CT 06269, U.S.A. E-mail address : khlee@math.uconn.edu

    work page 2016