Affine Jacobi-Trudi Identities and $q,t$-Rogers-Ramanujan Identities

Technische Samenvatting: Affiene Jacobi–Trudi-identiteiten en $q, t$-Rogers–Ramanujan-identiteiten

Probleemstelling
Het artikel behandelt het gebrek aan bekende Jacobi–Trudi-identiteiten voor belangrijke generalisaties van Schur-functies, specifiek Hall–Littlewood-polynomen geassocieerd met affiene wortelstelsels ($B_n, C_n, BC_n$). Terwijl klassieke Jacobi–Trudi- en duale Jacobi–Trudi-identiteiten Schur-functies uitdrukken als determinanten van volledige of elementaire symmetrische functies, zijn analoge formules voor Hall–Littlewood-polynomen geïndexeerd door rechthoekige partities van maximale hoogte grotendeels conjecturaal gebleven. Bovendien streeft het artikel ernaar om deze identiteiten te gebruiken om nieuwe $q, t$-analogen van Rogers–Ramanujan-identiteiten af te leiden voor de karakters van standaardmodules van affiene Lie-algebra's.

Methodologie
De auteur maakt gebruik van een combinatie van symmetrische functietheorie, kristalbasistheorie en analytische argumenten:

1. Conjecturaal Kader: Het artikel stelt affiene analogen voor van de duale Jacobi–Trudi-identiteiten voor Hall–Littlewood-polynomen geïndexeerd door rechthoekige partities $(k^r)$. Deze conjecturen drukken de polynomen uit als sommen over de affiene Weyl-groep (specifiek $W(A^{(1)}_{k-1})$) van determinanten die elementaire symmetrische functies met verschoven indices en $t$-afhankelijke gewichten bevatten.
2. Bewijs van Stelling 1.1: Een rigoureus bewijs wordt geleverd voor de $GL(n, \mathbb{C})$-geval (gewone Hall–Littlewood-polynomen) geïndexeerd door rechthoekige vormen. Dit bewijs steunt op resultaten uit de kristalbasistheorie door Schilling en Shimozono betreffende niveau-beperkte paden voor $U_q(\widehat{\mathfrak{sl}}_k)$.
3. Verificatie van Conjecturen: Voor de $B_n, C_n,$ en $BC_n$-gevallen worden de conjecturen bewezen voor het specifieke geval $k=1$ met behulp van begrensde Littlewood-identiteiten en Bailey-paren (specifiek die uit de lijst van Slater). Daarnaast worden bewijzen voor $t=1$ geleverd voor specifieke identiteiten met behulp van cilindrische Schur-functies.
4. Afleiding van Rogers–Ramanujan-identiteiten: De conjecturale Jacobi–Trudi-formules worden gespecialiseerd (door variabelen $x_i = q^{i-1/2}$ of $q^i$ in te stellen en de limiet $n \to \infty$ te nemen) om $q, t$-Rogers–Ramanujan-identiteiten af te leiden. Deze afleidingen maken gebruik van Macdonald-identiteiten voor affiene wortelstelsels ($C^{(1)}_k, A^{(2)}_{2k}, D^{(2)}_{k+1}$).
5. Onvoorwaardelijke Bewijzen: Om de $q, t$-Rogers–Ramanujan-identiteiten zonder afhankelijkheid van de onbewezen Jacobi–Trudi-conjecturen vast te stellen, hanteert de auteur Ismail's analytische argument. Dit behelst het aantonen dat het verschil tussen de reeks- en productzijden van de identiteiten verdwijnt op specifieke punten ($t = q^N$) en het gebruik van de identiteitsstelling voor analytische functies.

Belangrijkste Bijdragen en Resultaten

• Affiene Duale Jacobi–Trudi-identiteiten:
  • Stelling 1.1: Bewijst een affiene duale Jacobi–Trudi-formule voor gewone Hall–Littlewood-polynomen $P_{(k^r)}(x; t)$ als een som over het wortellatte $Q$ van determinanten die elementaire symmetrische functies bevatten.
  • Conjecturen 1.2–1.4: Stelt analoge formules voor $B_n, C_n,$ en $BC_n$ Hall–Littlewood-polynomen voor. Deze zijn bewezen voor $k=1$ en voor specifieke $t$-waarden ($t=1$).
• Nieuwe $q, t$-Rogers–Ramanujan-identiteiten:
  • Stellingen 1.5–1.8: Vestigt vier nieuwe families van $q, t$-Rogers–Ramanujan-identiteiten die overeenkomen met de affiene wortelstelsels $C^{(1)}_k, A^{(2)}_{2k}, D^{(2)}_{k+1},$ en $A^{(2)}_{2k-1}$. Deze identiteiten generaliseren klassieke resultaten (Rogers–Ramanujan, Andrews–Gordon, GOW-identiteiten) door een tweede parameter $t$ (de Hall–Littlewood-parameter) te introduceren terwijl de productvorm aan de rechterkant behouden blijft.
  • Corollaria 5.1–5.18: Leidt een uitgebreide lijst af van Rogers–Ramanujan-identiteiten voor de karakters van standaardmodules van affiene Lie-algebra's ($A^{(2)}_{2n}, C^{(1)}_n, D^{(2)}_{n+1}, B^{(1)}_n, D^{(1)}_n$). Dit omvat acht nieuwe identiteiten die voorheen niet in de literatuur zijn gevonden.
• Level-Rank Dualiteit: Het artikel demonstreert een nieuwe manifestatie van level-rank dualiteit, waarbij wordt getoond hoe het specialiseren van de parameter $t$ in de $q, t$-identiteiten leidt tot bekende en nieuwe identiteiten voor de karakters van affiene Lie-algebra's.
• Resultaten bijlage: Bewijst een nieuwe familie van Rogers–Ramanujan-type identiteiten (vergelijking 5.21) gerelateerd aan het $A^{(2)}_{2n}$-geval, ontdekt door Matthew Russell, die verbonden is met de karakters van de Virasoro-algebra.

Significantie
Het artikel beweert de kennis van de combinatorische structuur van Hall–Littlewood-polynomen te vergroten door de eerste affiene Jacobi–Trudi-formules voor rechthoekige vormen in de $B_n, C_n,$ en $BC_n$-gevallen te bieden (hoewel conjecturaal voor algemene $k$). De primaire significantie ligt in de unificatie van deze combinatorische identiteiten met de representatietheorie van affiene Lie-algebra's. Door $q, t$-analogen van Rogers–Ramanujan-identiteiten af te leiden, breidt het werk de klassieke correspondentie tussen partitie-identiteiten en de karakters van affiene Lie-algebra's uit naar een tweeparameter-setting. De onvoorwaardelijke bewijzen van de resulterende Rogers–Ramanujan-identiteiten garanderen dat de nieuwe karakterformules voor standaardmodules geldig zijn, ongeacht de status van de onderliggende Jacobi–Trudi-conjecturen. Het werk is gewijd aan Jim Lepowsky, ter erkenning van zijn fundamentele rol in het verbinden van Rogers–Ramanujan-identiteiten met de representatietheorie.