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

Sintesi Tecnica: Identità di Jacobi–Trudi Affini e Identità di Rogers–Ramanujan $q, t$

Enunciato del Problema
Il saggio affronta la mancanza di note identità di Jacobi–Trudi per generalizzazioni significative delle funzioni di Schur, specificamente i polinomi di Hall–Littlewood associati a sistemi di radici affini ($B_n, C_n, BC_n$). Mentre le classiche identità di Jacobi–Trudi e di duale Jacobi–Trudi esprimono le funzioni di Schur come determinanti di funzioni simmetriche complete o elementari, formule analoghe per i polinomi di Hall–Littlewood indicizzati da partizioni rettangolari di altezza massima sono rimaste largamente congetturali. Inoltre, il saggio mira a utilizzare queste identità per derivare nuove identità di Rogers–Ramanujan $q, t$-analoghe per i caratteri dei moduli standard delle algebre di Lie affini.

Metodologia
L'autore impiega una combinazione di teoria delle funzioni simmetriche, teoria delle basi di cristallo e argomenti analitici:

1. Quadro Congetturale: Il saggio propone analoghi affini delle identità di duale Jacobi–Trudi per i polinomi di Hall–Littlewood indicizzati da partizioni rettangolari $(k^r)$. Queste congetture esprimono i polinomi come somme sul gruppo di Weyl affine (specificamente $W(A^{(1)}_{k-1})$) di determinanti che coinvolgono funzioni simmetriche elementari con indici traslati e pesi dipendenti da $t$.
2. Dimostrazione del Teorema 1.1: Una dimostrazione rigorosa viene fornita per il caso $GL(n, \mathbb{C})$ (ordinari polinomi di Hall–Littlewood) indicizzato da forme rettangolari. Questa dimostrazione si basa sui risultati della teoria delle basi di cristallo di Schilling e Shimozono riguardanti i cammini a livello ristretto per $U_q(\widehat{\mathfrak{sl}}_k)$.
3. Verifica delle Congetture: Per i casi $B_n, C_n,$ e $BC_n$, le congetture sono dimostrate per il caso specifico $k=1$ utilizzando identità di Littlewood limitate e coppie di Bailey (specificamente quelle dalla lista di Slater). Inoltre, vengono fornite dimostrazioni per $t=1$ per identità specifiche utilizzando funzioni di Schur cilindriche.
4. Derivazione delle Identità di Rogers–Ramanujan: Le formule congetturni di Jacobi–Trudi vengono specializzate (impostando le variabili $x_i = q^{i-1/2}$ o $q^i$ e prendendo il limite $n \to \infty$) per derivare identità di Rogers–Ramanujan $q, t$-analoghe. Queste derivazioni utilizzano le identità di Macdonald per sistemi di radici affini ($C^{(1)}_k, A^{(2)}_{2k}, D^{(2)}_{k+1}$).
5. Dimostrazioni Incondizionate: Per stabilire le identità di Rogers–Ramanujan $q, t$ senza fare affidamento sulle non provate congetture di Jacobi–Trudi, l'autore impiega l'argomento analitico di Ismail. Questo consiste nel dimostrare che la differenza tra i lati serie e prodotto delle identità svanisce in punti specifici ($t = q^N$) e nell'utilizzare il teorema di identità per funzioni analitiche.

Contributi Chiave e Risultati

• Identità di Duale Jacobi–Trudi Affini:
  • Teorema 1.1: Dimostra una formula di duale Jacobi–Trudi affine per gli ordinari polinomi di Hall–Littlewood $P_{(k^r)}(x; t)$ come una somma sul reticolo delle radici $Q$ di determinanti che coinvolgono funzioni simmetriche elementari.
  • Congetture 1.2–1.4: Propone formule analoghe per i polinomi di Hall–Littlewood $B_n, C_n,$ e $BC_n$. Queste sono dimostrate per $k=1$ e per specifici valori di $t$ ($t=1$).
• Nuove Identità di Rogers–Ramanujan $q, t$:
  • Teoremi 1.5–1.8: Stabilisce quattro nuove famiglie di identità di Rogers–Ramanujan $q, t$ corrispondenti ai sistemi di radici affini $C^{(1)}_k, A^{(2)}_{2k}, D^{(2)}_{k+1},$ e $A^{(2)}_{2k-1}$. Queste identità generalizzano i risultati classici (Rogers–Ramanujan, Andrews–Gordon, identità GOW) introducendo un secondo parametro $t$ (il parametro di Hall–Littlewood) pur mantenendo una forma prodotto sul lato destro.
  • Corollari 5.1–5.18: Deriva un elenco esaustivo di identità di Rogers–Ramanujan per i caratteri dei moduli standard delle algebre di Lie affini ($A^{(2)}_{2n}, C^{(1)}_n, D^{(2)}_{n+1}, B^{(1)}_n, D^{(1)}_n$). Questo include otto nuove identità non precedentemente trovate nella letteratura.
• Dualità Livello-Rango: Il saggio dimostra una nuova manifestazione della dualità livello-rango, mostrando come la specializzazione del parametro $t$ nelle identità $q, t$ porti a identità note e nuove per i caratteri delle algebre di Lie affini.
• Risultati dell'Appendice: Dimostra una nuova famiglia di identità di tipo Rogers–Ramanujan (Equazione 5.21) relativa al caso $A^{(2)}_{2n}$, scoperta da Matthew Russell, che si connette ai caratteri dell'algebra di Virasoro.

Significato
Il saggio sostiene di far avanzare la comprensione della struttura combinatoria dei polinomi di Hall–Littlewood fornendo le prime formule di Jacobi–Trudi affini per forme rettangolari nei casi $B_n, C_n,$ e $BC_n$ (sebbene congetturnali per un $k$ generale). Il significato primario risiede nell'unificazione di queste identità combinatorie con la teoria delle rappresentazioni delle algebre di Lie affini. Derivando gli analoghi $q, t$ delle identità di Rogers–Ramanujan, il lavoro estende la classica corrispondenza tra identità di partizione e caratteri delle algebre di Lie affini a un setting a due parametri. Le dimostrazioni incondizionate delle risultanti identità di Rogers–Ramanujan garantiscono che le nuove formule dei caratteri per i moduli standard siano valide indipendentemente dallo stato delle sottostanti congetture di Jacobi–Trudi. Il lavoro è dedicato a Jim Lepowsky, riconoscendo il suo ruolo fondamentale nel connettere le identità di Rogers–Ramanujan alla teoria delle rappresentazioni.