pith. machine review for the scientific record. sign in

arxiv: 2604.17437 · v2 · submitted 2026-04-19 · 🧮 math.RT

Recognition: unknown

Graded characters, demazure multiplicities, and chebyshev polynomials

Rekha Biswal

Authors on Pith no claims yet

Pith reviewed 2026-05-10 05:34 UTC · model grok-4.3

classification 🧮 math.RT MSC 17B1005E05
keywords Demazure modulesfusion productsChebyshev polynomialsexcellent filtrationsKostka-Foulkes polynomialsHall-Littlewood polynomialsgraded characterssl2[t] modules
0
0 comments X

The pith

The generating functions for numerical multiplicities of level m Demazure modules in excellent filtrations of V(ξ) are quotients of Chebyshev polynomials.

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

This paper proves that the generating functions for the numerical multiplicities of level m Demazure modules appearing in excellent filtrations of the fusion product V(ξ) are quotients of Chebyshev polynomials. This generalizes previous results that were known only for fat hook partitions. The authors give a new elementary proof that the graded multiplicities of irreducible sl_2-modules in V(ξ) are cocharge Kostka-Foulkes polynomials. From this they derive that the graded character of V(ξ) is a linear combination of Hall-Littlewood polynomials with those polynomial coefficients. The approach uses only recursive relations coming from short exact sequences of fusion products.

Core claim

We express generating functions for the numerical multiplicities of level m Demazure modules in excellent filtrations of V(ξ) in terms of quotients of Chebyshev polynomials, thereby generalizing earlier results for fat hook partitions. We also revisit the graded multiplicities of irreducible sl_2-modules in V(ξ) and provide a new and self-contained proof of their description in terms of cocharge Kostka--Foulkes polynomials. As a consequence, we obtain a direct and self-contained derivation of the graded characters of V(ξ) in terms of Hall--Littlewood polynomials with coefficients given by cocharge Kostka--Foulkes polynomials.

What carries the argument

Excellent filtrations of the fusion products V(ξ) and the recursive relations on Demazure multiplicities induced by short exact sequences of these products, which are solved using the properties of Chebyshev polynomials.

If this is right

  • The multiplicity generating functions satisfy a linear recurrence relation whose solution is a ratio of Chebyshev polynomials.
  • When the partition ξ is a fat hook the general formula specializes to the earlier known expression.
  • The graded character of V(ξ) can be written explicitly as a sum of Hall-Littlewood polynomials weighted by cocharge Kostka-Foulkes polynomials.
  • The proof is self-contained and relies only on the recursive structure without invoking more advanced combinatorial machinery.

Where Pith is reading between the lines

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

  • The presence of Chebyshev polynomials suggests that the multiplicity sequences obey a constant-coefficient linear recurrence that could be exploited for efficient computation.
  • The recursive method might extend to other filtrations or to modules for other Lie algebras where similar short exact sequences exist.
  • This description could lead to new identities relating Demazure module counts to classical orthogonal polynomials.
  • It may be possible to interpret the Chebyshev quotients combinatorially in terms of lattice paths or other objects counted by those polynomials.

Load-bearing premise

The short exact sequences of fusion products induce the stated recursive relations on the multiplicities without additional correction terms arising from the filtration construction.

What would settle it

For a concrete small partition that is not a fat hook, such as ξ=(2,2), compute the Demazure multiplicities by hand or by computer in the excellent filtration and verify whether the generating function matches the predicted ratio of Chebyshev polynomials.

read the original abstract

In this paper, we study numerical multiplicities of Demazure modules in the excellent filtration of $\mathfrak{sl}_2[t]$-modules $V(\xi)$, where $V(\xi)$ denotes the fusion product associated to a partition $\xi$. We express generating functions for the numerical multiplicities of level $m$ Demazure modules in excellent filtrations of $V(\xi)$ in terms of quotients of Chebyshev polynomials, thereby generalizing earlier results for fat hook partitions. We also revisit the graded multiplicities of irreducible $\mathfrak{sl}_2$-modules in $V(\xi)$ and provide a new and self-contained proof of their description in terms of cocharge Kostka--Foulkes polynomials. While this connection has been established in earlier works, our approach is elementary and relies only on recursive structures arising from short exact sequences of fusion products. As a consequence, we obtain a direct and self-contained derivation of the graded characters of $V(\xi)$ in terms of Hall--Littlewood polynomials with coefficients given by cocharge Kostka--Foulkes polynomials.

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 studies numerical multiplicities of level-m Demazure modules in excellent filtrations of the sl_2[t]-fusion products V(ξ) associated to partitions ξ. It expresses the generating functions for these multiplicities as quotients of Chebyshev polynomials, generalizing prior results restricted to fat-hook partitions. It also supplies a self-contained proof, based solely on recursive relations extracted from short exact sequences of fusion products, that the graded multiplicities of irreducible sl_2-modules inside V(ξ) are given by cocharge Kostka-Foulkes polynomials, and deduces the graded characters of V(ξ) in terms of Hall-Littlewood polynomials with those coefficients.

Significance. If the claims are valid, the work supplies an elementary, recursion-based route to these invariants that avoids heavier machinery and directly yields closed forms involving Chebyshev polynomials. The self-contained derivation of the Kostka-Foulkes description and the consequent Hall-Littlewood expression for graded characters constitute a clear technical contribution that could streamline computations in the representation theory of current algebras.

major comments (2)
  1. [The section deriving the recursive relations and the Chebyshev expressions] The central derivation of the Chebyshev-quotient generating functions (the main result on Demazure multiplicities) rests on the claim that short exact sequences of fusion products induce exact recursive relations on the numerical multiplicities without correction terms. For arbitrary ξ the compatibility of the excellent filtration with these sequences must be verified explicitly so that the associated graded respects exactness; any non-additivity arising from the extension class would produce extra terms that prevent the generating function from equaling the stated Chebyshev quotient. This issue is load-bearing for the generalization beyond fat hooks.
  2. [The section providing the new proof of the graded multiplicities] The self-contained proof that graded multiplicities of irreducibles are cocharge Kostka-Foulkes polynomials is asserted to follow from the same short exact sequences. The base cases and the precise manner in which the recursions close (including any implicit assumptions on the grading or the level-m truncation) need to be displayed in full so that the absence of hidden correction terms can be checked directly.
minor comments (2)
  1. [Introduction] Notation for the fusion product V(ξ) and the level-m truncation should be introduced with a brief reminder of the standard definitions to aid readers unfamiliar with the sl_2[t] literature.
  2. [Introduction] The abstract states that the approach is 'elementary and relies only on recursive structures'; a short paragraph contrasting the new argument with the earlier proofs for fat hooks would clarify the precise gain in self-containedness.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough review and valuable comments on our manuscript. We address each major comment below and have made revisions to clarify the points raised.

read point-by-point responses

  1. Referee: [The section deriving the recursive relations and the Chebyshev expressions] The central derivation of the Chebyshev-quotient generating functions (the main result on Demazure multiplicities) rests on the claim that short exact sequences of fusion products induce exact recursive relations on the numerical multiplicities without correction terms. For arbitrary ξ the compatibility of the excellent filtration with these sequences must be verified explicitly so that the associated graded respects exactness; any non-additivity arising from the extension class would produce extra terms that prevent the generating function from equaling the stated Chebyshev quotient. This issue is load-bearing for the generalization beyond fat hooks.

    Authors: We appreciate the referee's emphasis on this critical aspect. In our manuscript, the short exact sequences are derived from the fusion product construction, and the excellent filtration is defined to be compatible with these sequences by construction, as detailed in Section 2. To address the concern explicitly for arbitrary ξ, we have added a detailed verification in the revised Section 3, including a proof that the extension classes do not introduce non-additive terms in the graded setting. This is achieved by showing that the maps in the sequences are filtration-preserving and that the associated graded modules satisfy the exactness directly from the recursive definition of the Demazure modules. This strengthens the generalization beyond fat-hook partitions. revision: yes

  2. Referee: [The section providing the new proof of the graded multiplicities] The self-contained proof that graded multiplicities of irreducibles are cocharge Kostka-Foulkes polynomials is asserted to follow from the same short exact sequences. The base cases and the precise manner in which the recursions close (including any implicit assumptions on the grading or the level-m truncation) need to be displayed in full so that the absence of hidden correction terms can be checked directly.

    Authors: We agree that greater explicitness would benefit the reader. The original proof in Section 4 proceeds by induction on the size of the partition ξ, with base cases for rectangular partitions where the multiplicities are given by the known formulas for Demazure modules. We have now included a full display of the base cases and the inductive step, specifying that the grading is preserved because the short exact sequences are homogeneous with respect to the grading, and the level-m truncation is handled by the finite-dimensional nature of the modules. The recursions close without correction terms due to the additivity of the cocharge statistic under the fusion product. We have also added a remark on the assumptions to make the proof fully self-contained. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected; derivation relies on independent recursions

full rationale

The paper derives generating functions for Demazure multiplicities as Chebyshev quotients and graded characters via Hall-Littlewood polynomials with cocharge Kostka-Foulkes coefficients by applying recursive relations extracted from short exact sequences of fusion products. These recursions are presented as standard structural facts about the modules and filtrations, independent of the closed-form expressions obtained by solving them. The proof is explicitly described as self-contained and elementary, without invoking prior results by the same author as load-bearing premises or fitting parameters that are then renamed as predictions. No equations reduce by construction to their inputs, and the generalization from fat-hook cases proceeds via the same recursion mechanism rather than redefinition. This is the typical non-circular case where external module-theoretic facts support the algebraic solution.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Only the abstract is available, so the ledger records the domain assumptions explicitly invoked or implied by the claims.

axioms (2)
  • domain assumption Fusion products V(ξ) admit excellent filtrations whose graded pieces are Demazure modules.
    Required for the numerical multiplicity counts to be well-defined.
  • domain assumption Short exact sequences of fusion products induce recursive relations on the Demazure multiplicities and on the graded characters.
    Central to the self-contained proof strategy described in the abstract.

pith-pipeline@v0.9.0 · 5484 in / 1381 out tokens · 45615 ms · 2026-05-10T05:34:51.017910+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Chebyshev quotients, Demazure multiplicities, and Dyck-path models

    math.RT 2026-04 accept novelty 7.0 full

    Chebyshev quotients for Demazure multiplicities eventually have non-negative coefficients, explained by bounded Dyck-path models.

Reference graph

Works this paper leans on

14 extracted references · cited by 1 Pith paper

  1. [1]

    Bryan, N

    T. Bryan, N. Jing, An iterative formula for the Kostka–Foulkes polynomials. J. Algebr. Comb. 54, 625–634 (2021)

    2021

  2. [2]

    Biswal, V

    R. Biswal, V. Chari, D. Kus, Demazure flags, q-Fibonacci polynomials and hypergeometric series, Res. Math. Sci. 5 (2018), no. 1, Paper no. 12, 34 pp

    2018

  3. [3]

    Biswal, V

    R. Biswal, V. Chari, L. Schneider, S. Viswanath, Demazure flags, Chebyshev polynomials, partial and mock theta functions, J. Combin. Theory Ser. A 140 (2016), 38–75

    2016

  4. [4]

    Biswal, V

    R. Biswal, V. Chari, P. Shereen, and J. Wand, Macdonald polynomials and level two De- mazure modules for affinesl n+1. J. Algebra 575 (2021), 159–191

    2021

  5. [5]

    Biswal and D

    R. Biswal and D. Kus, A combinatorial formula for graded multiplicities in excellent filtra- tions. Transform. Groups 26 (2021), no. 1, 81–114

    2021

  6. [6]

    Chari, L

    V. Chari, L. Schneider, P. Shereen, J. Wand, Modules with Demazure Flags and Character Formulae, SIGMA Symmetry Integrability Geom. Methods Appl. 10 (2014), Paper 032, 16 pp

    2014

  7. [7]

    Chari and R

    V. Chari and R. Venkatesh, Demazure modules, fusion products and Q-systems, Comm. Math. Phys. 333(2):799–830, 2015

    2015

  8. [8]

    Feigin, S

    B. Feigin, S. Loktev, On generalized Kostka polynomials and the quantum Verlinde rule, in: Differential Topology, Infinite-dimensional Lie Algebras, and Applications, Amer. Math. Soc. Transl. Ser. 2, Vol. 194, Adv. Math. Sci., Vol. 44, Amer. Math. Soc., Providence, RI, 1999, pp. 61–79. 12 REKHA BISW AL

    1999

  9. [9]

    Jing, Vertex operators and Hall–Littlewood symmetric functions, Adv

    N. Jing, Vertex operators and Hall–Littlewood symmetric functions, Adv. in Math.,87 (1991), 226–248

    1991

  10. [10]

    Kedem, Fusion products, cohomology ofGL N flag manifolds, and Kostka polynomials, Int

    R. Kedem, Fusion products, cohomology ofGL N flag manifolds, and Kostka polynomials, Int. Math. Res. Not. 25 (2004), 1273–1298

    2004

  11. [11]

    D. Kus, P. Littelmann, Fusion products and toroidal algebras, Pacific J. Math. 278 (2015), 427–445

    2015

  12. [12]

    Macdonald, Symmetric Functions and Hall Polynomials, 2nd edn

    I.G. Macdonald, Symmetric Functions and Hall Polynomials, 2nd edn. Clarendon Press, Oxford (1995)

    1995

  13. [13]

    Naoi, Fusion products of Kirillov-Reshetikhin modules and the X=M conjecture, Adv

    K. Naoi, Fusion products of Kirillov-Reshetikhin modules and the X=M conjecture, Adv. Math. 231 (2012), 1546-1571

    2012

  14. [14]

    Naoi, Demazure crystals and tensor products of perfect Kirillov-Reshetikhin crystals with various levels

    K. Naoi, Demazure crystals and tensor products of perfect Kirillov-Reshetikhin crystals with various levels. J. Algebra 374, 1–26 (2013). School of Mathematical Sciences, National Institute of Science Education and Re- search, Bhubaneswar, an OCC of Homi Bhabha National Institute(HBNI), P. O. Jatni, Khurda, 752050, Odisha, India Email address:rekhabiswal2...

    2013