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

Resumo Técnico: Companheiros das Identidades de Andrews–Gordon e Andrews–Bressoud e Conjecturas Recentes de Capparelli, Meurman, Primc e Primc

Enunciação do Problema
Este artigo aborda a estrutura combinatória e analítica de identidades de partições coloridas recentemente conjecturadas por Capparelli, Meurman, A. Primc e M. Primc (CMPP). Essas conjecturas relacionam-se às representações padrão da álgebra de Lie afim do tipo $C^{(1)}_\ell$ ($\ell \ge 2$). Especificamente, o artigo foca no caso $k=1$ dessas conjecturas, onde $k$ representa a soma das condições iniciais $k_0 + \dots + k_\ell$. Os autores visam derivar funções geradoras bivariadas para esses casos específicos, relacioná-las às identidades clássicas de Andrews–Gordon e Andrews–Bressoud e fornecer provas bijectivas que conectam essas partições coloridas a partições cilíndricas de duas linhas.

Metodologia
O artigo emprega uma combinação de técnicas analíticas e combinatórias:

1. Arranjos de Frequência e Caminhos Descendentes: Os autores definem "partições coloridas" usando arranjos de frequência estendidos com $2\ell$ linhas (para o caso de Andrews–Gordon) ou $2\ell-1$ linhas (para o caso de Andrews–Bressoud). A admissibilidade é definida por meio de "caminhos descendentes" nesses arranjos, onde a soma das frequências ao longo de qualquer caminho não deve exceder a condição inicial total $k$.
2. Equações Funcionais: Ao analisar a estrutura das partições admissíveis e utilizar um truque de "inversão" (reverter o arranjo para mapear partições em versões deslocadas delas mesmas), os autores derivam sistemas de equações funcionais para as funções geradoras bivariadas $P_i(z, q)$ e $P^\star_i(z, q)$.
3. Relações Atômicas: Para provar que as fórmulas de múltiplas somas propostas satisfazem essas equações funcionais, os autores introduzem um método de "relações atômicas". Isso envolve definir combinações lineares de termos de séries (denotados $S_v$) que se anulam identicamente. Ao expressar as equações funcionais como combinações lineares dessas relações atômicas, os autores verificam a validade das identidades de múltiplas somas sem depender de álgebra computacional para $\ell$ geral.
4. Bijeções: A seção final constrói bijeções explícitas entre partições cilíndricas de duas linhas de um perfil específico e pares consistindo de uma partição ordinária e uma partição colorida admissível. Isso segue o espírito do trabalho de Corteel sobre partições cilíndricas.

Principais Contribuições e Resultados

• Funções Geradoras Bivariadas (Teoremas 1.5 e 1.6):
  O resultado primário é a derivação de funções geradoras bivariadas para os casos $k=1$ das conjecturas CMPP.

  • Para o caso de $2\ell$ linhas (tipo Andrews–Gordon), mostra-se que a função geradora $P_i(z, q)$ é igual a uma múltipla soma específica envolvendo $z^{N_1} q^{\sum N_j^2 + \dots}$.
  • Para o caso de $2\ell-1$ linhas (tipo Andrews–Bressoud), uma múltipla soma similar é derivada para $P^\star_i(z, q)$.
  • Crucialmente, os autores observam que, embora as identidades de soma para produto para $k=1$ (definindo $z=1$) tenham sido previamente estabelecidas por Jing, Misra e Savage (2001) em uma notação diferente, as múltiplas somas bivariadas apresentadas nos Teoremas 1.5 e 1.6 são novas.

• Conexão com Partições Cilíndricas:
  O artigo demonstra que as funções geradoras $P_i(z, q)$ e $P^\star_i(z, q)$, quando divididas por $(zq; q)_\infty$, coincidem com as funções geradoras bivariadas para partições cilíndricas de duas linhas encontradas por Warnaar. Isso liga as conjecturas CMPP diretamente à geometria das partições cilíndricas.

• Prova Bijectiva (Teorema 6.2):
  Os autores fornecem uma bijeção entre:

  1. Partições cilíndricas de perfil $(2\ell+1, 0)$.
  2. Pares $(\mu, \nu)$, onde $\mu$ é uma partição ordinária e $\nu$ é uma partição colorida $[1, 0, \dots, 0]$-admissível em $2\ell$ linhas.
     Essa bijeção generaliza o trabalho de Corteel sobre as identidades de Rogers–Ramanujan.

• Resolução de Casos Específicos de Conjecturas:
  O artigo confirma os casos $k=1$ tanto para as configurações de arranjo de frequência "ímpar-ímpar" quanto "par-par" propostas por CMPP. Embora Dousse e Konan tivessem anteriormente provado o caso ímpar-ímpar usando cristais perfeitos, este artigo fornece um método de prova distinto que trata simultaneamente ambos os casos e estabelece o refinamento bivariado.

Significância e Alegações
O artigo alega significância em três áreas principais:

1. Unificação: Unifica as conjecturas CMPP com as identidades clássicas de Andrews–Gordon e Andrews–Bressoud, mostrando que os casos $k=1$ são essencialmente variantes dessas identidades clássicas, diferindo apenas no refinamento bivariado (substituindo $x^{N_1+\dots+N_\ell}$ por $z^{N_1}$).
2. Novidade das Formas Bivariadas: Embora as identidades de produto univariadas fossem conhecidas (via Jing, Misra e Savage), o artigo afirma que as formas de múltiplas somas bivariadas são contribuições novas.
3. Insight Combinatório: Ao fornecer bijeções explícitas para partições cilíndricas, o artigo oferece uma interpretação combinatória concreta para essas identidades de partições coloridas, indo além de provas puramente algébricas ou de teoria de representações.

Os autores afirmam explicitamente que não reivindicam ter descoberto inicialmente as identidades de produto para $k=1$, reconhecendo o trabalho anterior de Jing, Misra e Savage. Em vez disso, sua contribuição reside no refinamento bivariado, na derivação da equação funcional e na conexão bijectiva com partições cilíndricas. O artigo conclui sugerindo direções futuras de pesquisa, como estender esses métodos para casos $k > 1$ e explorar refinamentos similares para outras famílias de identidades de partições, como as identidades de Göllnitz–Gordon–Andrews.