pith. sign in

arxiv: 2605.29802 · v1 · pith:IUC6HVGZnew · submitted 2026-05-28 · 🧮 math.RT

Components of V(mrho) otimes V(nrho)

Rekha Biswal , Sam Jeralds This is my paper

Pith reviewed 2026-06-29 00:14 UTC · model grok-4.3

classification 🧮 math.RT
keywords Kac-Moody algebrastensor product decompositionshighest weight modulesWeyl vectordominant weightsKostant conjectureirreducible components
0
0 comments X

The pith

A family of dominant weights governs the irreducible decomposition of V(mρ) ⊗ V(nρ) for Kac-Moody algebras.

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

The paper investigates the tensor products of representations V(mρ) and V(nρ) for symmetrizable Kac-Moody Lie algebras, where ρ is the sum of fundamental weights. It proposes a general framework that describes the irreducible components appearing in these products for finite-dimensional semisimple or affine cases. The framework identifies a family of dominant weights that control the decomposition and gives criteria for when each occurs. This extends the structured behavior predicted by Kostant's conjecture to broader settings, showing new patterns in how these symmetric representations tensor together.

Core claim

Our results identify a family of dominant weights governing the decomposition of V(mρ) ⊗ V(nρ) and provide criteria for their occurrence in the irreducible components, for finite-dimensional semisimple or affine Kac-Moody Lie algebras g. This extends the scope of Kostant-type phenomena and reveals new structural patterns in tensor products associated with multiples of the Weyl vector.

What carries the argument

the family of dominant weights governing the decomposition of V(mρ) ⊗ V(nρ), together with criteria for their occurrence

If this is right

  • The irreducible components of V(mρ) ⊗ V(nρ) are determined by this specific family of dominant weights.
  • Explicit criteria determine precisely which members of the family appear.
  • The described structure holds for both finite-dimensional semisimple and affine Kac-Moody algebras.
  • New structural patterns appear in tensor products of multiples of the Weyl vector.

Where Pith is reading between the lines

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

  • The framework may yield explicit multiplicity formulas once the dominant weights are known.
  • Analogous families could govern tensor products involving other weights or non-multiples of ρ.
  • The criteria might be checked directly in low-rank affine cases such as affine sl(2).
  • Geometric realizations of these modules could supply independent tests of the occurrence rules.

Load-bearing premise

The highly structured behavior predicted by Kostant's conjecture in simpler settings extends to a general framework for symmetrizable Kac-Moody Lie algebras without additional restrictions or counterexamples.

What would settle it

A concrete computation in an affine Kac-Moody algebra that produces an irreducible summand whose highest weight lies outside the proposed family, or fails to include a weight from the family that satisfies the stated criteria.

read the original abstract

Let $\mathfrak{g}$ be a symmetrizable Kac-Moody Lie algebra and let $\rho$ denote the sum of the fundamental weights. The irreducible highest weight representations $V(m\rho)$ occupy a distinguished position in representation theory due to their rich symmetry and geometric significance. In this paper, we study the tensor products \[ V(m\rho)\otimes V(n\rho), \quad m,n \in \mathbb{N}, \] and investigate the structure of their irreducible decompositions. Motivated by the classical conjecture of Kostant, which predicts a highly structured behavior in simpler settings, we propose a general framework describing the irreducible components appearing in such tensor products for finite-dimensional semisimple or affine Kac-Moody Lie algebras $\mathfrak{g}$. Our results identify a family of dominant weights governing the decomposition and provide criteria for their occurrence. This work extends the scope of Kostant-type phenomena and reveals new structural patterns in tensor products associated with multiples of the Weyl vector.

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 / 0 minor

Summary. The paper proposes a general framework describing the irreducible components appearing in the tensor products V(mρ) ⊗ V(nρ) for symmetrizable Kac-Moody Lie algebras g (finite-dimensional semisimple or affine cases). It claims to identify a family of dominant weights governing the decomposition and to provide criteria for their occurrence, extending Kostant's conjecture on highly structured behavior in such tensor products.

Significance. If rigorously established with proofs and examples, the framework would represent a meaningful extension of Kostant-type results to the Kac-Moody setting and could illuminate new patterns in tensor products involving multiples of the Weyl vector ρ.

major comments (1)
  1. The manuscript consists only of the abstract stating the proposal; no derivations, proofs, examples, explicit statements of the dominant weights, or occurrence criteria are provided. This absence directly undermines the central claim, as there is no visible support or verification for the asserted framework.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the report. We agree that the submitted version is limited to an abstract and lacks the supporting material needed to substantiate the claims.

read point-by-point responses

  1. Referee: The manuscript consists only of the abstract stating the proposal; no derivations, proofs, examples, explicit statements of the dominant weights, or occurrence criteria are provided. This absence directly undermines the central claim, as there is no visible support or verification for the asserted framework.

    Authors: We acknowledge that the current submission consists solely of the abstract and does not contain derivations, proofs, examples, or explicit statements of the dominant weights and occurrence criteria. This is a genuine limitation of the manuscript as presented. In a revised version we will supply the missing content: explicit descriptions of the family of dominant weights, the criteria for their occurrence in the decomposition of V(mρ) ⊗ V(nρ), full proofs for the symmetrizable Kac-Moody setting (both finite-dimensional semisimple and affine cases), and concrete examples verifying the framework. These additions will directly address the referee's concern and provide the required verification. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The abstract and high-level description present the work as motivated by Kostant's conjecture while proposing an independent general framework for identifying dominant weights and occurrence criteria in V(mρ) ⊗ V(nρ) decompositions for symmetrizable Kac-Moody algebras. No equations, derivations, or self-citations are supplied that reduce any central claim to its own inputs by construction. The provided text contains no load-bearing steps matching the enumerated circularity patterns, and the skeptic assessment confirms the absence of internal inconsistencies or hidden reductions. This is the expected outcome for an abstract-level proposal without reproduced technical content.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The abstract does not specify any free parameters, axioms, or invented entities; the framework is described at a high level without technical details.

pith-pipeline@v0.9.1-grok · 5690 in / 913 out tokens · 31364 ms · 2026-06-29T00:14:59.587111+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

27 extracted references · 1 canonical work pages · 1 internal anchor

  1. [1]

    Belkale and S

    P. Belkale and S. Kumar, Eigenvalue problem and a new product in cohomology of flag varieties,Invent. Math.Vol. 166 (2006)

    2006

  2. [2]

    Berenstein and A

    A. Berenstein and A. Zelevinsky, Tensor product multiplicities and convex polytopes in partition space,Journal of Geometry and Physics, Vol. 5 (1988), 453–472

    1988

  3. [3]

    Berenstein and A

    A. Berenstein and A. Zelevinsky, Triple multiplicities forsl(r+ 1)and the spectrum of the exterior algebra of the adjoint representation,J. Algeb. Combinatorics1(1992)

    1992

  4. [4]

    Biswal and S

    R. Biswal and S. Gaussent, Existence of a new family of irreducible components in the tensor product and its applications,Algebr Represent Theor28:1315–1334(2025)

    2025

  5. [5]

    Bourbaki,Lie Groups and Lie Algebras, Chapters 4–6, Springer, 2002

    N. Bourbaki,Lie Groups and Lie Algebras, Chapters 4–6, Springer, 2002

    2002

  6. [6]

    Brown and S

    M. Brown and S. Kumar, A study of saturated tensor cone for symmetrizable Kac-Moody algebras,Math. Ann.360(2014)

    2014

  7. [7]

    Chari, G

    V. Chari, G. Fourier, and D. Sagaki, Posets, tensor products and Schur positivity, Algebra Number Theory, 8(4):933–961, 2014

    2014

  8. [8]

    Chiriví, S

    R. Chiriví, S. Kumar, and A. Maffei, Components ofV(ρ)⊗V(ρ),Transformation Groups Vol. 22 No. 3 (2017)

    2017

  9. [9]

    Dobrovolska and P

    G. Dobrovolska and P. Pylyavskyy, On products of sln characters and support contain- ment, J. Algebra, 316(2):706–714, 2007

    2007

  10. [10]

    Fulton and J

    W. Fulton and J. Harris,Representation Theory: A First Course, Springer, 1991

    1991

  11. [11]

    Gao and D

    S. Gao and D. Wang, On Components of the Tensor Square of a Weyl Module,Transfor- mation Groups(2024)

    2024

  12. [12]

    J.E.Humphreys,Introduction to Lie Algebras and Representation Theory, Springer, 1972

    1972

  13. [13]

    Jeralds and S

    S. Jeralds and S. Kumar Root components for tensor product of affine Kac-Moody Lie algebra modules,Represent. TheoryVol. 26 (2022)

    2022

  14. [14]

    Jeralds and S

    S. Jeralds and S. Kumar, Components ofV(ρ)⊗V(ρ)and dominant weight polyhedra for affine Kac-Moody Lie algebras,Transformation GroupsVol. 30 (2025)

    2025

  15. [15]

    Kac, Infinite dimensional Lie algebras, 3rd edn., Cambridge University Press (2003)

    V. Kac, Infinite dimensional Lie algebras, 3rd edn., Cambridge University Press (2003). 14

    2003

  16. [16]

    V. Kac, A. Raina, and N. Rozhkovskaya, Bombay lectures on highest weight representa- tions of infinite dimensional Lie algebras. In: Advanced Series in Mathematical Physics, vol. 29, 2nd edn. World Scientific, Singapore (2013)

    2013

  17. [17]

    Kac and M

    V. Kac and M. Wakimoto, Modular and Conformal Invariance Constraints in Represen- tation Theory of Affine Algebras,Advances in MathematicsVol. 70 (1988)

    1988

  18. [18]

    A. W. Knapp,Lie Groups Beyond an Introduction, Birkhäuser, 2002

    2002

  19. [19]

    Knutson and T

    A. Knutson and T. Tao, The honeycomb model ofGLn(C)tensor products I: Proof of the saturation conjecture,J. Amer. Math. Soc., Vol. 12 (1999)

    1999

  20. [20]

    Kostant, Lie algebra cohomology and the generalized Borel–Weil theorem,Annals of Mathematics, Vol

    B. Kostant, Lie algebra cohomology and the generalized Borel–Weil theorem,Annals of Mathematics, Vol. 74 (1961), 329–387

    1961

  21. [21]

    Kostant, A formula for the multiplicity of a weight,Transactions of the American Mathematical Society, Vol

    B. Kostant, A formula for the multiplicity of a weight,Transactions of the American Mathematical Society, Vol. 93 (1959), 53–73

    1959

  22. [22]

    Kumar,Kac–Moody Groups, their Flag Varieties and Representation Theory, Birkhäuser, 2002

    S. Kumar,Kac–Moody Groups, their Flag Varieties and Representation Theory, Birkhäuser, 2002

    2002

  23. [23]

    T.Lam, A.Postnikov, andP.Pylyavskyy, SchurpositivityandSchurlog-concavity, Amer. J. Math., 129(6):1611–1622, 2007

    2007

  24. [24]

    Littelmann, Paths and root operators in representation theory,Annals of Mathematics, Vol

    P. Littelmann, Paths and root operators in representation theory,Annals of Mathematics, Vol. 142 (1995), 499–525

    1995

  25. [25]

    K. R. Parthasarathy, R. Ranga Rao, and V. S. Varadarajan, Representations of complex semisimple Lie groups and Lie algebras,Annals of Mathematics, Vol. 85 (1967), 383–429

    1967

  26. [26]

    Ressayre, On the tensor semigroup of affine Kac-Moody Lie algebras,J

    N. Ressayre, On the tensor semigroup of affine Kac-Moody Lie algebras,J. Amer. Math. Soc.35(2021)

    2021

  27. [27]

    L-log-concavity and a proof of the conjecture of Lam, Postnikov and Pylyavskyy

    David E. Speyer, L-log-concavity and a proof of the conjecture of Lam, Postnikov and Pylyavskyy.https://arxiv.org/pdf/2601.05007 15

    work page internal anchor Pith review Pith/arXiv arXiv