pith. sign in

arxiv: 2606.20386 · v1 · pith:BOPUTY37new · submitted 2026-06-18 · 🧮 math.RT

Characters of modules over negative rank-2 Borcherds-Kac-Moody Lie algebras

Souvik Pal , Supravat Sarkar , G. Krishna Teja This is my paper

Pith reviewed 2026-06-26 15:08 UTC · model grok-4.3

classification 🧮 math.RT
keywords Borcherds-Kac-Moody Lie algebrashighest weight modulesVerma modulesmodule charactersKac-Kazhdan equationrank-2 algebrassigned dominant weights
0
0 comments X

The pith

Presentations and characters of highest weight modules over negative rank-2 Borcherds-Kac-Moody algebras are determined when the Kac-Kazhdan equation has a unique interior solution.

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

This paper establishes explicit presentations and characters for certain highest weight modules over Borcherds-Kac-Moody Lie algebras of negative rank two. It focuses on the case where the Kac-Kazhdan equation has exactly one solution inside the root cone, building on earlier results for unique solutions. The work studies maximal vectors in Verma module covers of simple modules associated to a signed dominant integral cone that extends the usual positive cone. A reader would care because these characters encode the weight multiplicities in representations that include non-integrable cases previously less explored in this setting.

Core claim

We obtain presentations and characters of all V's when the Kac-Kazhdan equation has unique solution in the interior of root-cone. This is done by exploring the strictness of lower bounds by Kac and Kazhdan for the count of linearly independent maximal vectors in the weight spaces of the Verma covers M(μ) of L(μ) for μ in P^±, in rank-2 negative type.

What carries the argument

The Verma covers M(μ) of the simple highest weight modules L(μ) for weights μ in the signed-dominant-integral cone P^±, where the Chevalley-Serre relations are multiples of A_ii/2.

If this is right

  • The characters of these modules can be explicitly written down in the unique solution case.
  • The module structures are presented via relations in the Verma covers.
  • This extends the computation of weights and characters from the Weyl vector case to more general modules.
  • The bounds on maximal vectors are achieved as equalities in this scenario.

Where Pith is reading between the lines

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

  • Similar techniques might apply to higher rank cases where multiple solutions occur.
  • Connections could be drawn to integrable modules in other Kac-Moody settings.
  • The approach may help in understanding the full character formulas beyond the unique solution restriction.

Load-bearing premise

The Chevalley-Serre relations in the modules L(μ) for μ in P^± are different from those in P^+ and have not been studied before, which permits the analysis of maximal vectors in their Verma covers.

What would settle it

A direct computation of the dimension of the space of maximal vectors in a specific weight space of M(μ) for a chosen μ in P^± where the Kac-Kazhdan equation has a unique solution, and checking whether it equals the Kac-Kazhdan lower bound.

read the original abstract

Let $\mathfrak{g}=\mathfrak{g}(A)$ be the Borcherds-Kac-Moody Lie algebra (BKM LA), corresponding to a BKM Cartan matrix $A$ filled by negative integers. Let $P^+\subset \mathfrak{h}^*$ the classical dominant integral cone (wherein pairings are non-negative). The non-integrable simple highest weight modules $L(\mu)$'s widely studied were broadly those by Naito ([Trans. Amer. Soc., 1995]), for $\mu$'s dot-linked to $P^+$-translates of sums $- \sum_{j\in J}\alpha_j$ of mutually orthogonal and imaginary simple roots $\alpha_j$'s. Recently, we computed weights of all highest weight $\mathfrak{g}$-modules $V$'s, and characters of $L(\rho)$ for Weyl vector $\rho$ in negative type-$A$. These needed a family of ``integrable'' $L(\mu)$'s for $\mu$'s inside our novel signed-dominant-integral cone $P^{\pm}$ (which generalizes $P^+$). Pairings $\mu(\alpha_i^{\vee})\leq 0$ therein are multiples of $\frac{A_{ii}}{2}$ for all $i$. Nevertheless, $L(\mu)$ contain ``Chevalley-Serre relations'' $f_i^{\frac{2}{A_{ii}}{\mu(\alpha_i^{\vee})}+1}L(\mu)_{\mu}=0$; which differ from relations in $L(\lambda)$ for all $\lambda\in P^+$, and are seemingly unstudied earlier (also by Naito). This paper initiates the study in rank-2, of the module structures and maximal vectors (or Verma embeddings) in the Verma covers $M(\mu)$ of $L(\mu)$'s for $\mu\in P^{\pm}$. In this, our goal is to explore in weight spaces of those Verma covers, the strictness (or otherwise, an uniform equality) of lower bounds by Kac and Kazhdan ([Adv. Math., 1979]) for count of linearly independent maximal vectors. We obtain presentations and characters of all $V$'s when Kac-Kazhdan equation has unique solution in the interior of root-cone. This builds on the unique solution case in Lemma 3.1 from that paper.

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

1 major / 2 minor

Summary. The paper initiates the rank-2 analysis of maximal vectors and Verma embeddings in the covers M(μ) for μ in the signed-dominant-integral cone P^± of negative rank-2 Borcherds-Kac-Moody algebras. It obtains explicit presentations and characters for all such highest-weight modules V when the Kac-Kazhdan equation admits a unique solution inside the root cone, explicitly building on the unique-solution case already established in Lemma 3.1 of a prior paper by the authors.

Significance. If the derivations hold, the work supplies the first concrete character formulas and module presentations inside the new cone P^± for rank 2, extending earlier results on P^+ and on the Weyl vector case. The narrow scoping to the unique-solution regime makes the contribution self-contained once the cited lemma is granted, and the explicit character formulas constitute a falsifiable, checkable output that can serve as a base case for further rank-2 or higher-rank investigations.

major comments (1)
  1. [§3] §3 (or the section containing the main theorem): the central character formulas are obtained by invoking the unique-solution case of the Kac-Kazhdan lower bound from Lemma 3.1 of the prior paper without reproducing its proof or stating the precise hypotheses under which that lemma applies to the present Cartan matrix A. Because the present manuscript’s results are stated to hold precisely when that lemma’s hypothesis is satisfied, the dependence is load-bearing and should be made fully explicit.
minor comments (2)
  1. [Introduction / References] The abstract and introduction refer to “that paper” for Lemma 3.1; the reference list should contain an explicit citation with arXiv number or journal details so that readers can locate the lemma without ambiguity.
  2. [§2] Notation for the cones P^+ and P^± is introduced in the abstract but the precise definition of the root cone and the interior condition on the Kac-Kazhdan solution should be restated once in §2 before the main results.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need to make the dependence on the prior lemma fully explicit. We address the single major comment below and will incorporate the suggested clarification in a revised version of the manuscript.

read point-by-point responses

  1. Referee: [§3] §3 (or the section containing the main theorem): the central character formulas are obtained by invoking the unique-solution case of the Kac-Kazhdan lower bound from Lemma 3.1 of the prior paper without reproducing its proof or stating the precise hypotheses under which that lemma applies to the present Cartan matrix A. Because the present manuscript’s results are stated to hold precisely when that lemma’s hypothesis is satisfied, the dependence is load-bearing and should be made fully explicit.

    Authors: We agree that the dependence on the unique-solution case of Lemma 3.1 is load-bearing and that the hypotheses must be stated explicitly for the rank-2 negative Cartan matrix A under consideration. In the revised manuscript we will insert, immediately preceding the invocation of the lemma in the section containing the main theorem, a self-contained statement of the precise hypotheses of Lemma 3.1 specialized to the present matrix A (including the sign pattern of the off-diagonal entries and the location of the weight inside the signed-dominant-integral cone). This will make the applicability conditions transparent without reproducing the full proof of the lemma. revision: yes

Circularity Check

1 steps flagged

Central result for unique-solution case reduces to self-cited Lemma 3.1

specific steps
  1. self citation load bearing [Abstract]
    "We obtain presentations and characters of all V's when Kac-Kazhdan equation has unique solution in the interior of root-cone. This builds on the unique solution case in Lemma 3.1 from that paper."

    The paper's main theorem for the unique-solution case is explicitly declared to build on Lemma 3.1 of a prior paper by the same authors (signaled by 'that paper'). The derivation of the claimed presentations and characters therefore reduces to the content of that self-citation rather than being re-derived or independently established here.

full rationale

The paper's strongest claim is obtaining presentations and characters precisely when the Kac-Kazhdan equation has a unique solution in the interior of the root-cone. The abstract states this result 'builds on the unique solution case in Lemma 3.1 from that paper.' This is a direct self-citation load-bearing step for the scoped central claim, with no independent derivation supplied in the present text for that case. The remainder of the work (initiating rank-2 study of maximal vectors in P^±) is positioned as exploratory and does not alter the dependence on the prior lemma for the stated result.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work relies on standard mathematical axioms of Lie theory and the authors' previous definitions of the cone and modules.

axioms (2)
  • standard math BKM Cartan matrix A filled by negative integers defines the algebra g(A)
    Standard definition in the theory of Borcherds-Kac-Moody algebras.
  • domain assumption Existence of the signed-dominant-integral cone P^± generalizing P^+
    Introduced in the paper as novel.

pith-pipeline@v0.9.1-grok · 5989 in / 1335 out tokens · 31436 ms · 2026-06-26T15:08:29.295607+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

53 extracted references · 1 canonical work pages

  1. [1]

    Arunkumar and S

    G. Arunkumar and S. Rani, A study on free roots of Borcherds-Kac-Moody Lie superalgebras.J. Combin. Theory Ser. A., 204, 105862, 48 pp, 2024

    2024

  2. [2]

    Borel and J

    A. Borel and J. Tits, Groupes r´ eductifs. Inst. Hautes ´Etudes Sci. Publ. Math., 27 (1) 55–150, 1965

    1965

  3. [3]

    Borcherds

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

    1988

  4. [4]

    Borcherds

    R. Borcherds. Monstrous Moonshine and Monstrous Lie Superalgebras.Invent. Math., 109 405–444, 1992

    1992

  5. [5]

    Borcherds

    R. Borcherds. What is moonshine?Doc. Math. J. DMV.(Extra ICM Volume) I, 607–615, 1998. 28

    1998

  6. [6]

    J. L. Brylinski and M. Kashiwara. Kazhdan–Lusztig conjecture and holonomic systems.Invent. Math., 64 (3) 387–410, 1981

    1981

  7. [7]

    Rocha-Caridi and N. R. Wallach. Highest weight modules over graded Lie algebras: Res- olutions, filtrations and character formulas.Trans. Amer. Math. Soc., 277 133–162, 1983

    1983

  8. [8]

    Conway and S

    J. Conway and S. Norton. Monstrous Moonshine.Bull. Lond. Math. Soc., 11 308–339, 1979

    1979

  9. [9]

    Dhillon and A

    G. Dhillon and A. Khare. The weights of simple modules in CategoryOfor KacMoody algebras.J. Algebra, 603 164–200, 2022

    2022

  10. [10]

    Dhillon and A

    G. Dhillon and A. Khare. Faces of highest weight modules and the universal Weyl polyhedron.Adv. Math., 319 111–152, 2017

    2017

  11. [11]

    Dubouloz, B

    A. Dubouloz, B. Kunyavski and A. Regeta. Bracket Width of Simple Lie Algebras.Doc. Math., 26 1601–1627, 2021

    2021

  12. [12]

    Duchamp and D

    G. Duchamp and D. Krob. The free partially commutative Lie algebra: bases and ranks.Adv. Math., 95 (1) : 92–126, 1992

    1992

  13. [13]

    Feingold and J

    A. Feingold and J. Lepowsky. The Weyl–Kac Character Formula and Power Series Identities.Adv. Math., 29 271–309, 1978

    1978

  14. [14]

    Frenkel, J

    I. Frenkel, J. Lepowsky, and A. Meurman. An E8 approach to F1.Finite Groups - coming of Age, 45 99–120. J. McKay, 1985

    1985

  15. [15]

    Frenkel, J

    I. Frenkel, J. Lepowsky, and A. Meurman. Vertex Operator Algebras and the Monster.Pure and applied math- ematics., Academic Press, Inc., 1988

    1988

  16. [16]

    B. Fischer. Finite groups generated by 3-transpositions.Invent. math., 13 (3) 232–246, 1971

    1971

  17. [17]

    Garland and J

    H. Garland and J. Lepowsky. Lie algebra homology and the Macdonald-Kac formulas.Invent. Math., 34 : 37–76, 1976

    1976

  18. [18]

    Green, J

    M. Green, J. Schwarz, and E. Witten. Superstring theory: Volume 1, Introduction.Cambridge Monographs on Mathematical Physics. Cambridge University Press, 1987

    1987

  19. [19]

    R. Griess. The Friendly Giant.Invent. Math., 69 (1) 1–102, 1982

    1982

  20. [20]

    M. Hall. A Basis for Free Lie Rings and Higher Commutators in Free Groups.Proc. Amer. Math. Soc., 1(5), 575–581, 1950

    1950

  21. [21]

    T. Hayashi. Sugawara operators and Kac–Kazhdan conjecture.Invent. math., 94 13–52, 1988

    1988

  22. [22]

    J. E. Humphreys. Representations of Semisimple Lie Algebras in the BGG CategoryO. Graduate Studies in Mathematics. American Mathematical Society, Volume 94 2008

    2008

  23. [23]

    Jurisich

    E. Jurisich. Generalized Kac-Moody Lie algebras, free Lie algebras and the structure of the Monster Lie algebra. J. Pure Appl. Algebra, 126 233–266, 1998

    1998

  24. [24]

    V. G. Kac. Simple irreducible graded Lie algebras of finite growth, Math. USSR- Izu. 2 1271–1311, 1968

    1968

  25. [25]

    V. G. Kac. Infinite-dimensional Lie algebras and the Dedekindη-function (Russian).Funkt. analys y ego prilozh. 8.1 77–78, 1974. (English translation inFunct. Anal. Its Appl.8.1 6870, 1974

    1974

  26. [26]

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

    1990

  27. [27]

    V. G. Kac and D. A. Kazhdan. Structure of Representations with Highest Weight of Infinite-Dimensional Lie Algebras.Adv. Math., 3 97–108, 1979

    1979

  28. [28]

    Kashiwara

    M. Kashiwara. Kazhdan–Lusztig conjecture for a symmetrizable Kac-Moody Lie algebra. The Grothendieck Festschrift, II (P. Cartier et al., eds.),Progress in Math.87, Birkhauser, Boston, 407–433, 1990. M. Kashiwara and T. Tanisaki. Kazhdan–Lusztig conjecture for symmetrizable Kac-Moody Lie algebra. II: Inter- section cohomologies of Schubert varieties, Opera...

    1990

  29. [29]

    D. A. Kazhdan and G. Lusztig. Representations of Coxeter groups and Hecke algebras.Invent. Math., 53 (2) 165–184, 1979

    1979

  30. [30]

    A. Khare. Faces and maximizer subsets of highest weight modules,J. Algebra, 455 (2016) 32–76

    2016

  31. [31]

    A. Khare. Standard parabolic subsets of highest weight modules.Trans. Amer. Math. Soc., 369 (4) (2017) 2363–2394

    2017

  32. [32]

    S. Kumar. Bernstein–Gel’fand–Gel’fand resolution for arbitrary Kac–Moody algebras.Math. Ann., 286 (4) : 709–729, 1990

    1990

  33. [33]

    Khare and G

    A. Khare and G. Krishna Teja. A weight-formula for all highest weight modules, and a higher order parabolic categoryO. Pre-print arXiv ref: arXiv:2203.05515v3, 2022

    arXiv 2022

  34. [34]

    Leon and C

    J. Leon and C. Sims. The existence and uniqueness of a simple group generated by 3,4-transpositions.Bull. Amer. Math. Soc., 83 (5) 1039–1040, 1977

    1977

  35. [35]

    Lepowsky

    J. Lepowsky. Generalized Verma modules, the Cartan–Helgason theorem, and the Harish-Chandra homomor- phism.J. Algebra, 49 (2) 470–495, 1977

    1977

  36. [36]

    Lepowsky

    J. Lepowsky. A generalization of the Bernstein–Gelfand–Gelfand resolution.J. Algebra. 49 (2) : 96–511, 1977

    1977

  37. [37]

    Lepowsky

    J. Lepowsky. Generalized Verma modules, loop space cohomology and MacDonald-type identities.Ann. Sci. c. Norm. Supr. Serie4, 12 (2) 169–234, 1979. 29

    1979

  38. [38]

    R.C. Lyndon. On Burnsides problem.Trans. Amer. Math. Soc., 77 202–215, 1954

    1954

  39. [39]

    F. G. Malikov, B. L. Feigin and D. B. Fuks. Singular vectors in Verma modules over Kac–Moody algebras.Funct. Anal. Appl., 20 (2) 103–113, 1986

    1986

  40. [40]

    S. Naito. Kazhdan-lusztig conjecture for generalized Kac-moody algebras, I: towards the conjecture.Communi- cations in Algebra, 23 703–736, 1995

    1995

  41. [41]

    S. Naito. Kazhdan–Lusztig conjecture for generalized Kac-Moody algebras. II. Proof of the conjecture.Trans. Amer. Math. Soc., 347 3891–3919, 1995

    1995

  42. [42]

    S. Naito. The strong Bernstein–Gel’fand–Gel’fand resolution for generalized KacMoody algebras. I. The existence of the resolutionPubl. Res. Inst. Math. Sci., 29 (4) 709–730, 1993

    1993

  43. [43]

    S. Naito. The strong Bernstein–Gel’fand–Gel’fand resolution for generalized KacMoody algebras. II. An explicit construction of the resolution.J. Algebra, 167 (3) 778–802, 1994

    1994

  44. [44]

    OEIS Foundation Inc. (2005). List of Lyndon words on 1,2 sorted first by length and then lexicographically.,

    2005

  45. [45]

    Entry A102659 in the OEIS, https://oeis.org/A102659

  46. [46]

    Pal and G

    S. Pal and G. Krishna Teja. Weights and characters over Borcherds–Kac–Moody algebras.Pre-print ArXiv ref: arXiv:2505.08102, 2025

    arXiv 2025

  47. [47]

    Krishna Teja

    G. Krishna Teja. Moving between weights of weight modules. ArXiv ref - arXiv:2012.07775, 2021

    arXiv 2012

  48. [48]

    Krishna Teja

    G. Krishna Teja. Minkowski difference weight formulas. Pre-print ArXiv Ref : arXiv:2409.12802, 2024

    arXiv 2024

  49. [49]

    Krishna Teja

    G. Krishna Teja. Weak Faces and a Formula for Weights of Highest Weight Modules Via Parabolic Partial Sum Property for Roots.S´ eminaire Lotharingien de Combinatoire.86B.66, 2022

    2022

  50. [50]

    Krishna Teja

    G. Krishna Teja. Weak faces of highest weight modules and root systems,Transform. Groups, (Published online DOI: 10.1007/s00031-022-09786-w), 2023

    work page doi:10.1007/s00031-022-09786-w 2023

  51. [51]

    Thompson

    J. Thompson. Uniqueness of the Fischer–Griess Monster.Bull. Lond. Math. Soc., 11 340–346, 1979

    1979

  52. [52]

    Wakimoto

    M. Wakimoto. Infinite-dimensional Lie algebras. Translated from the 1999 Japanese original by Kenji Iohara in: Algebra and Application in Iwanami Series in Modern Mathematics. Translations of Mathematical Monographs 195, American Mathematical Society, Providence, RI, ISBN0-8218-2654-9, 2001

    1999

  53. [53]

    H. Weyl. Theorie der Darstellung kontinuierlicher halbeinfacher Gruppen durch lineare Transformationen. I, II, III.Math. Z., 23 : 271–309, 24 : 328–376, 24 : 377–395, 1925–1926. (Souvik Pal)Department of Sciences and Humanities, CHRIST University, Bangalore 560 074, India.E-mail address:pal.souvik90@gmail.com, souvik.pal@christuniversity.in (Supravat Sark...

    1925