arxiv: 2604.25340 · v1 · submitted 2026-04-28 · 🧮 math.RT

Recognition: unknown

Level-rank dualities and moving vectors

Feiyue Huang, Wei Hu, Xiangyu Qi, Yanbo Li

Pith reviewed 2026-05-07 14:16 UTC · model grok-4.3

classification 🧮 math.RT

keywords level-rank dualityaffine Lie algebrasFock spaceVirasoro algebraKLR algebraMaya diagramshighest weight vectorsmoving vectors

0 comments

The pith

Virasoro algebra action on uniformly built Fock spaces fully characterizes joint highest weight vectors and yields level-rank dualities for every classical affine Lie algebra.

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

The authors build Fock spaces, Maya diagrams, and abaci in a uniform manner that works across all classical affine types. They then let the Virasoro algebra act on these spaces and show that this action alone identifies every joint highest weight vector. The resulting dictionary supplies the level-rank duality maps without any character computations. The same dictionary converts the defect of a cyclotomic KLR algebra into the sum of the entries of its associated moving vector.

Core claim

For every classical affine Lie algebra a uniform Fock space is equipped with a Virasoro action that completely determines the joint highest weight vectors; the resulting level-rank duality is therefore obtained without character calculations. The same duality identifies the defect of the cyclotomic KLR algebra of classical affine type with the sum of the components of the corresponding moving vector.

What carries the argument

The Virasoro algebra action on the uniformly constructed Fock space, which isolates the joint highest weight vectors that realize the level-rank duality.

If this is right

Level-rank dualities exist for all classical affine types and are obtained uniformly from a single combinatorial model.
The defect of any cyclotomic KLR algebra of classical affine type equals the sum of the entries of its moving vector.
The Uglov map extends to every classical affine type via the Maya-diagram and abacus realizations.

Where Pith is reading between the lines

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

The same Virasoro technique might classify highest-weight vectors in Fock spaces attached to twisted affine types once the appropriate central-charge adjustments are made.
Moving-vector sums could supply a direct combinatorial formula for defects in other graded algebras that admit similar Fock-space realizations.
The uniform abacus models open a route to computing graded dimensions or Ext groups by counting lattice paths rather than by representation-theoretic recursion.

Load-bearing premise

The uniform Fock spaces, Maya diagrams and abaci correctly encode the representation theory of all classical affine types, and the Virasoro action alone locates every joint highest weight vector without hidden case distinctions.

What would settle it

Explicit computation, for a concrete low-dimensional weight in type B or D, of the vectors fixed by the Virasoro generators; if they fail to match the known level-rank dual highest-weight pairs, the characterization collapses.

Figures

Figures reproduced from arXiv: 2604.25340 by Feiyue Huang, Wei Hu, Xiangyu Qi, Yanbo Li.

**Figure 1.** Figure 1: Step-by-step reduction of the moving process view at source ↗

read the original abstract

Duality relations between Lie algebras are a significant phenomenon in Lie algebra representation theory, with level-rank duality as a famous example. Level-rank dualities for affine Lie algebras of type $A^{(1)}$ were first discovered by Frenkel in 1982, and later extended to all classical non-twisted affine types by Hasegawa in 1989 through elaborate character calculations. In this paper, for all classical affine Lie algebras, we construct appropriate Fock spaces in a uniform way and establish corresponding combinatorial models (Maya diagrams and abaci), extending Uglov map to all classcial affine types. Through the action of the Virasoro algebra, we completely characterize the joint highest weight vectors in the Fock space, thereby obtaining the corresponding level-rank duality theory. Our method no longer relies on character calculations. Using this new level-rank duality theory, the defect of the cyclotomic KLR algebra $\mathscr{R}^{\Lambda}_{\beta}$ of classical affine type can be interpreted as the sum of the components of the correponding moving 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.

Desk Editor's Note private letter to a colleague

Uniform Fock-space construction for level-rank dualities via Virasoro, but uniformity for B/C/D needs verification.

read the letter

The main advance here is a uniform Fock space construction for level-rank dualities across all classical affine types, with Maya diagrams and abaci set up consistently, plus an extension of the Uglov map. They characterize the joint highest weight vectors through the Virasoro algebra action instead of character calculations, then read the defect of the cyclotomic KLR algebra as the sum of the components of the corresponding moving vector. This replaces the case-by-case character work in Hasegawa with a more algebraic route from the Fock space operators.

Referee Report

2 major / 2 minor

Summary. The paper constructs Fock spaces uniformly across all classical affine Lie algebras (types A, B, C, D), extends the Uglov map via Maya diagrams and abaci, uses the action of the Virasoro algebra to characterize all joint highest-weight vectors in these spaces without relying on character calculations, derives the corresponding level-rank duality theory, and interprets the defect of the cyclotomic KLR algebra R^Λ_β as the sum of the components of an associated 'moving vector'.

Significance. If the central claims hold, the work supplies a uniform, character-free approach to level-rank dualities for all classical affine types and a direct combinatorial interpretation of KLR defects via moving vectors. The avoidance of character calculations and the uniform Fock-space construction are notable strengths that could streamline proofs and enable extensions to related algebras.

major comments (2)

[Abstract and Virasoro characterization section] Abstract and the section on Virasoro characterization: the claim that the Virasoro action (via standard L_n operators on the bosonic Fock space) completely identifies all joint highest-weight vectors without hidden case distinctions is load-bearing, yet the uniform construction for types B/C/D must explicitly verify that the Heisenberg algebra and charge operators respect the required commutation relations, parity conditions (type C), and involutions (type D) without additional projections or type-specific adjustments; otherwise extra vectors or omissions may occur in the fixed-point subspace.
[Uniform Fock space and Uglov map extension] The section extending the Uglov map and defining the uniform Fock spaces: the Maya-diagram and abacus models are asserted to capture the representation theory of all classical affine types, but the argument needs to confirm that the highest-weight condition under the Virasoro generators yields precisely the expected joint HW vectors for non-A types, with no missing relations arising from the differing actions on abaci.

minor comments (2)

[Abstract] Abstract contains two typos: 'classcial' should read 'classical' and 'correponding' should read 'corresponding'.
[Abstract and notation sections] The notation for the cyclotomic KLR algebra is written as R^Λ_β in the abstract but appears as script-R in the text; consistent font usage would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their positive assessment of the significance of our work and for the constructive major comments. We address each point below and will revise the manuscript to incorporate explicit verifications that strengthen the uniformity of the constructions.

read point-by-point responses

Referee: [Abstract and Virasoro characterization section] Abstract and the section on Virasoro characterization: the claim that the Virasoro action (via standard L_n operators on the bosonic Fock space) completely identifies all joint highest-weight vectors without hidden case distinctions is load-bearing, yet the uniform construction for types B/C/D must explicitly verify that the Heisenberg algebra and charge operators respect the required commutation relations, parity conditions (type C), and involutions (type D) without additional projections or type-specific adjustments; otherwise extra vectors or omissions may occur in the fixed-point subspace.

Authors: We thank the referee for this observation. Our uniform Fock space construction incorporates the Heisenberg algebra actions, charge operators, parity conditions for type C, and involutions for type D directly into the definitions of the Maya diagrams and abaci for each type. The standard bosonic Virasoro operators then act on these spaces, and the joint highest-weight vectors are those fixed by the appropriate involutions or satisfying parity, without requiring additional projections. To eliminate any ambiguity regarding hidden case distinctions, we will revise the Virasoro characterization section to include explicit checks of the commutation relations and verification that the fixed-point subspaces contain precisely the expected vectors for types B, C, and D. revision: yes
Referee: [Uniform Fock space and Uglov map extension] The section extending the Uglov map and defining the uniform Fock spaces: the Maya-diagram and abacus models are asserted to capture the representation theory of all classical affine types, but the argument needs to confirm that the highest-weight condition under the Virasoro generators yields precisely the expected joint HW vectors for non-A types, with no missing relations arising from the differing actions on abaci.

Authors: We acknowledge the need to confirm the highest-weight condition for non-A types. The abacus models are tailored to each classical type to reflect their specific representation-theoretic actions, and the moving vectors are defined to encode the combinatorial data accordingly. The Virasoro generators' action on these abaci yields the joint highest-weight vectors as expected, with all relations accounted for by the model. In the revision, we will add a paragraph or example in the uniform Fock space section illustrating this for type D, for instance, to show there are no missing relations arising from the abacus actions. revision: yes

Circularity Check

0 steps flagged

No circularity: Virasoro-based characterization derives duality independently from Fock-space construction

full rationale

The paper constructs Fock spaces, Maya diagrams, and abaci uniformly across classical affine types by extending the Uglov map, then applies the standard Virasoro algebra action to characterize joint highest weight vectors. This yields the level-rank duality without character calculations. The subsequent interpretation of the cyclotomic KLR defect as the sum of moving-vector components follows directly as a consequence of the new duality. No step reduces by construction to a fitted input, self-definition, or load-bearing self-citation; the central claims rest on the explicit action of Virasoro generators on the constructed spaces rather than renaming or smuggling prior results. The derivation is self-contained against the combinatorial models and external Virasoro representation theory.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The construction rests on standard facts about affine Lie algebras and their Fock-space realizations; the paper introduces the moving vector as a new bookkeeping device for the KLR application.

axioms (1)

domain assumption Standard representation theory of classical affine Lie algebras and their integrable highest-weight modules
Invoked to guarantee that the Fock spaces carry the correct actions of the affine algebra and the Virasoro algebra.

invented entities (1)

Moving vector no independent evidence
purpose: To express the defect of the cyclotomic KLR algebra as the sum of its components under the level-rank duality
Defined in the final application section; no independent existence proof outside the duality map is given in the abstract.

pith-pipeline@v0.9.0 · 9467 in / 1365 out tokens · 94841 ms · 2026-05-07T14:16:38.272387+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

30 extracted references · 1 canonical work pages

[1]

Ariki, On the decomposition numbers of the Hecke algebra ofG(m,1, n),J

S. Ariki, On the decomposition numbers of the Hecke algebra ofG(m,1, n),J. Math. Kyoto Univ. 36(4) (1996), 789–808

1996
[2]

Ariki, B

S. Ariki, B. Hudak, L. Song, and Q. Wang, Representation type of higher level cyclotomic quiver Hecke algebras in affine type C,Ann. Represent. Theory3(2026), 27–97

2026
[3]

Ariki, L

S. Ariki, L. Song, and Q. Wang, Representation type of cyclotomic quiver Hecke algebras of type A(1) l ,Adv. Math.434(2023), 109329

2023
[4]

Brunat, N

O. Brunat, N. Chapelier-Laget and T. Gerber, Generalised core partitions and Diophantine equa- tions, arXiv: 2403.11191

work page arXiv
[5]

Carter,Lie Algebras of Finite and Affine Type, Cambridge University Press, Cambridge, 2005

R. Carter,Lie Algebras of Finite and Affine Type, Cambridge University Press, Cambridge, 2005

2005
[6]

Cheng and W

S.-J. Cheng and W. Wang,Dualities and Representations of Lie Superalgebras, Graduate Studies in Mathematics, 144. American Mathematical Society, Providence, RI, 2012

2012
[7]

Chuang and H

J. Chuang and H. Miyachi, Hidden Hecke algebras and Koszul duality, inSurveys in Combina- torics 2012, London Math. Soc. Lecture Note Ser., 405, Cambridge Univ. Press, Cambridge, 2012, pp. 1–51

2012
[8]

Fayers, Weights of multipartitions and representations of Ariki–Koike algebras,Adv

M. Fayers, Weights of multipartitions and representations of Ariki–Koike algebras,Adv. Math. 206(2006), 112–144. 53

2006
[9]

A. J. Feingold and I. B. Frenkel, Classical affine algebras,Adv. Math.56(2) (1985), 117–172

1985
[10]

I. B. Frenkel, Representations of affine Lie algebras, Hecke modular forms and Korteweg-de Vries type equations, inLie Algebras and Related Topics (New Brunswick, N.J., 1981), Lecture Notes in Math., 933, Springer, Berlin, 1982, pp. 71–110

1981
[11]

Goodman and N

R. Goodman and N. Wallach,Representations and Invariants of the Classical Groups, Cambridge University Press, Cambridge, 2000

2000
[12]

Hasegawa, Spin module versions Weyl’s reciprocity theorem for infinite-dimensional Lie alge- bras,J

K. Hasegawa, Spin module versions Weyl’s reciprocity theorem for infinite-dimensional Lie alge- bras,J. Algebra123(2) (1989), 441–457

1989
[13]

Hong and S.-J

J. Hong and S.-J. Kang,Introduction to Quantum Groups and Crystal Bases, Graduate Studies in Mathematics, 42. American Mathematical Society, Providence, RI, 2002

2002
[14]

Howe, Perspectives on invariant theory: Schur duality, multiplicity-free actions and beyond, inThe Schur Lectures (1992), Israel Math

R. Howe, Perspectives on invariant theory: Schur duality, multiplicity-free actions and beyond, inThe Schur Lectures (1992), Israel Math. Conf. Proc., 8, Bar-Ilan Univ., Ramat Gan, 1995, pp. 1–182

1992
[15]

Jacon and C

N. Jacon and C. Lecouvey, Cores of Ariki-Koike algebras,Doc. Math.26(2021), 103–124

2021
[16]

V. G. Kac,Infinite Dimensional Lie Algebras, 3rd ed., Cambridge University Press, Cambridge, 1990

1990
[17]

Kim, S.-j

Y.-H. Kim, S.-j. Oh, and Y.-T. Oh, Cyclic sieving phenomenon on dominant maximal weights over affine Kac-Moody algebras,Adv. Math.374(2020), 107336

2020
[18]

Li and X

Y. Li and X. Qi, Moving vectors I: Representation type of blocks of Ariki-Koike algebras,J. Lond. Math. Soc. (2)111(2025), e70169

2025
[19]

Li and K

Y. Li and K. M. Tan, Cores and weights of multipartitions and blocks of Ariki-Koike algebras,J. Algebr. Comb.61(2025), 43

2025
[20]

Y. Li, X. Qi, and K. M. Tan, Moving vectors and core blocks of Ariki-Koike algebras,J. Algebra 694(2026), 497–563

2026
[21]

Y. Li, J. Zhang, and S. Zhu, Core abaci and Diophantine equations I: fundamental weight, in preparation
[22]

Rouquier, P

R. Rouquier, P. Shan, M. Varagnolo, and E. Vasserot, Categorifications and cyclotomic rational double affine Hecke algebras,Invent. Math.204(3) (2016), 671–786

2016
[23]

Schur, ¨Uber die rationalen Darstellungen der allgemeinen linearen Gruppe, 1927

I. Schur, ¨Uber die rationalen Darstellungen der allgemeinen linearen Gruppe, 1927. Reprinted in I. Schur, Gesammelte Abhandlungen, Vol. III, Springer-Verlag, Berlin, 1973, pp. 68–85

1927
[24]

P. Shan, M. Varagnolo, and E. Vasserot, Koszul duality of affine Kac–Moody algebras and cyclo- tomic rational double affine Hecke algebras,Adv. Math.262(2014), 370–435

2014
[25]

Shi,Schur-Convex Functions and Inequalities: Volume 1, De Gruyter, Berlin, 2019

H. Shi,Schur-Convex Functions and Inequalities: Volume 1, De Gruyter, Berlin, 2019

2019
[26]

J. R. Stembridge, The partial order of dominant weights,Adv. Math.136(2) (1998), 340–364

1998
[27]

Tingley, Three combinatorial models for ˆsln crystals, with applications to cylindric plane partitions,Int

P. Tingley, Three combinatorial models for ˆsln crystals, with applications to cylindric plane partitions,Int. Math. Res. Not. IMRN2008(2008), rnm143

2008
[28]

Uglov, Canonical bases of higher-level q-deformed Fock spaces and Kazhdan-Lusztig polyno- mials, inPhysical Combinatorics (Kyoto, 1999), Progr

D. Uglov, Canonical bases of higher-level q-deformed Fock spaces and Kazhdan-Lusztig polyno- mials, inPhysical Combinatorics (Kyoto, 1999), Progr. Math., 191, Birkh¨ auser Boston, Boston, MA, 2000, pp. 249–299

1999
[29]

Wang, Duality in infinite dimensional Fock representations,Commun

W. Wang, Duality in infinite dimensional Fock representations,Commun. Contemp. Math.1(2) (1999), 155–199

1999
[30]

Weyl,The Classical Groups: Their Invariants and Representations, Princeton University Press, Princeton, NJ, 1939

H. Weyl,The Classical Groups: Their Invariants and Representations, Princeton University Press, Princeton, NJ, 1939. 54 Wei Hu, School of Mathematical Sciences, Beijing Normal University, Beijing 100875, China Email:huwei@bnu.edu.cn Feiyue Huang, School of Mathematical Sciences, Beijing Normal University, Beijing 100875, China Email:fyhuang@mail.bnu.edu.c...

1939