Companions to the Andrews-Gordon and Andrews-Bressoud Identities and Recent Conjectures of Capparelli, Meurman, Primc, and Primc

Sintesi Tecnica: Companion per le Identità di Andrews–Gordon e Andrews–Bressoud e Congetture Recenti di Capparelli, Meurman, Primc e Primc

Enunciato del Problema
Questo articolo affronta la struttura combinatoria e analitica di recenti identità di partizioni colorate congetturate da Capparelli, Meurman, A. Primc e M. Primc (CMPP). Queste congetture riguardano le rappresentazioni standard dell'algebra di Lie affine di tipo $C^{(1)}_\ell$ ($\ell \ge 2$). Nello specifico, l'articolo si concentra sul caso $k=1$ di queste congetture, dove $k$ rappresenta la somma delle condizioni iniziali $k_0 + \dots + k_\ell$. Gli autori mirano a derivare funzioni generatrici bivariabili per questi casi specifici, a relazionarle alle classiche identità di Andrews–Gordon e Andrews–Bressoud, e a fornire dimostrazioni biunivoche che collegano queste partizioni colorate a partizioni cilindriche su due righe.

Metodologia
L'articolo impiega una combinazione di tecniche analitiche e combinatorie:

1. Array di Frequenza e Percorsi Discendenti: Gli autori definiscono le "partizioni colorate" utilizzando array di frequenza estesi con $2\ell$ righe (per il caso Andrews–Gordon) o $2\ell-1$ righe (per il caso Andrews–Bressoud). L'ammissibilità è definita tramite "percorsi discendenti" in questi array, dove la somma delle frequenze lungo qualsiasi percorso non deve superare la condizione iniziale totale $k$.
2. Equazioni Funzionali: Analizzando la struttura delle partizioni ammissibili e utilizzando un trucco di "ribaltamento" (invertendo l'array per mappare le partizioni su versioni spostate di se stesse), gli autori derivano sistemi di equazioni funzionali per le funzioni generatrici bivariabili $P_i(z, q)$ e $P^\star_i(z, q)$.
3. Relazioni Atomiche: Per dimostrare che le formule multisomma proposte soddisfano queste equazioni funzionali, gli autori introducono un metodo di "relazioni atomiche". Ciò comporta la definizione di combinazioni lineari di termini della serie (denotati $S_v$) che si annullano identicamente. Esprimendo le equazioni funzionali come combinazioni lineari di queste relazioni atomiche, gli autori verificano la validità delle identità multisomma senza fare affidamento sull'algebra computazionale per $\ell$ generale.
4. Biezioni: La sezione finale costruisce biezioni esplicite tra partizioni cilindriche su due righe di un profilo specifico e coppie costituite da una partizione ordinaria e una partizione colorata ammissibile. Questo segue lo spirito del lavoro di Corteel sulle partizioni cilindriche.

Contributi e Risultati Chiave

• Funzioni Generatrici Bivariabili (Teoremi 1.5 e 1.6):
  Il risultato principale è la derivazione di funzioni generatrici bivariabili per i casi $k=1$ delle congetture CMPP.

  • Per il caso a $2\ell$ righe (tipo Andrews–Gordon), la funzione generatrice $P_i(z, q)$ è mostrata essere uguale a una specifica multisomma che coinvolge $z^{N_1} q^{\sum N_j^2 + \dots}$.
  • Per il caso a $2\ell-1$ righe (tipo Andrews–Bressoud), una simile multisomma è derivata per $P^\star_i(z, q)$.
  • Crucialmente, gli autori notano che mentre le identità somma-prodotto per $k=1$ (ponendo $z=1$) erano state precedentemente stabilite da Jing, Misra e Savage (2001) in una notazione diversa, le multisomme bivariabili presentate nei Teoremi 1.5 e 1.6 sono nuove.

• Connessione alle Partizioni Cilindriche:
  L'articolo dimostra che le funzioni generatrici $P_i(z, q)$ e $P^\star_i(z, q)$, quando divise per $(zq; q)_\infty$, coincidono con le funzioni generatrici bivariabili per le partizioni cilindriche su due righe trovate da Warnaar. Questo collega direttamente le congetture CMPP alla geometria delle partizioni cilindriche.

• Dimostrazione Biunivoca (Teorema 6.2):
  Gli autori forniscono una biezione tra:

  1. Partizioni cilindriche di profilo $(2\ell+1, 0)$.
  2. Coppie $(\mu, \nu)$, dove $\mu$ è una partizione ordinaria e $\nu$ è una partizione colorata $[1, 0, \dots, 0]$-ammissibile su $2\ell$ righe.
     Questa biezione generalizza il lavoro di Corteel sulle identità di Rogers–Ramanujan.

• Risoluzione di Casi Specifici di Congetture:
  L'articolo conferma i casi $k=1$ sia per le configurazioni di array di frequenza "dispari-dispari" che "pari-pari" proposte da CMPP. Sebbene Dousse e Konan avessero precedentemente dimostrato il caso dispari-dispari utilizzando cristalli perfetti, questo articolo fornisce un metodo di prova distinto che gestisce simultaneamente entrambi i casi e stabilisce la raffinazione bivariabile.

Significato e Affermazioni
L'articolo rivendica importanza in tre aree principali:

1. Unificazione: Unifica le congetture CMPP con le classiche identità di Andrews–Gordon e Andrews–Bressoud mostrando che i casi $k=1$ sono essenzialmente varianti di queste identità classiche, differendo solo nella raffinazione bivariabile (sostituendo $x^{N_1+\dots+N_\ell}$ con $z^{N_1}$).
2. Novità delle Forme Bivariabili: Sebbene le identità di prodotto univariabili fossero note (tramite Jing, Misra e Savage), l'articolo afferma che le forme multisomma bivariabili sono nuovi contributi.
3. Intuizione Combinatoria: Fornendo biezioni esplicite alle partizioni cilindriche, l'articolo offre un'interpretazione combinatoria concreta per queste identità di partizioni colorate, andando oltre le prove puramente algebriche o di teoria delle rappresentazioni.

Gli autori dichiarano esplicitamente di non rivendicare di aver inizialmente scoperto le identità di prodotto per $k=1$, riconoscendo il lavoro precedente di Jing, Misra e Savage. Piuttosto, il loro contributo risiede nella raffinazione bivariabile, nella derivazione delle equazioni funzionali e nella connessione biunivoca con le partizioni cilindriche. L'articolo conclude suggerendo direzioni di ricerca futura, come l'estensione di questi metodi ai casi $k > 1$ e l'esplorazione di raffinamenti simili per altre famiglie di identità di partizioni, come le identità di Göllnitz–Gordon–Andrews.