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

Resumo Técnico: Identidades de Jacobi–Trudi Afinas e Identidades de Rogers–Ramanujan $q, t$

Enunciado do Problema
O artigo aborda a falta de identidades de Jacobi–Trudi conhecidas para generalizações significativas de funções de Schur, especificamente os polinômios de Hall–Littlewood associados a sistemas de raízes afins ($B_n, C_n, BC_n$). Enquanto as identidades clássicas de Jacobi–Trudi e de Jacobi–Trudi dual expressam funções de Schur como determinantes de funções simétricas completas ou elementares, fórmulas análogas para polinômios de Hall–Littlewood indexados por partições retangulares de altura máxima permaneceram amplamente conjecturais. Além disso, o artigo busca utilizar essas identidades para derivar novas identidades de Rogers–Ramanujan $q, t$ para os caracteres de módulos padrão de álgebras de Lie afinas.

Metodologia
O autor emprega uma combinação de teoria de funções simétricas, teoria de bases de cristal e argumentos analíticos:

1. Estrutura Conjectural: O artigo propõe análogos afinos das identidades de Jacobi–Trudi dual para polinômios de Hall–Littlewood indexados por partições retangulares $(k^r)$. Essas conjecturas expressam os polinômios como somas sobre o grupo de Weyl afim (especificamente $W(A^{(1)}_{k-1})$) de determinantes envolvendo funções simétricas elementares com índices deslocados e pesos dependentes de $t$.
2. Prova do Teorema 1.1: Uma prova rigorosa é fornecida para o caso $GL(n, \mathbb{C})$ (polinômios de Hall–Littlewood ordinários) indexados por formas retangulares. Esta prova baseia-se em resultados da teoria de bases de cristal de Schilling e Shimozono relativos a caminhos de nível restrito para $U_q(\widehat{\mathfrak{sl}}_k)$.
3. Verificação de Conjecturas: Para os casos $B_n, C_n,$ e $BC_n$, as conjecturas são provadas para o caso específico $k=1$ usando identidades de Littlewood limitadas e pares de Bailey (especificamente aqueles da lista de Slater). Adicionalmente, provas para $t=1$ são fornecidas para identidades específicas usando funções de Schur cilíndricas.
4. Derivação de Identidades de Rogers–Ramanujan: As fórmulas conjecturais de Jacobi–Trudi são especializadas (definindo as variáveis $x_i = q^{i-1/2}$ ou $q^i$ e tomando o limite $n \to \infty$) para derivar identidades de Rogers–Ramanujan $q, t$ para os caracteres de módulos padrão de álgebras de Lie afinas. Estas derivações utilizam identidades de Macdonald para sistemas de raízes afinas ($C^{(1)}_k, A^{(2)}_{2k}, D^{(2)}_{k+1}$).
5. Provas Incondicionais: Para estabelecer as identidades de Rogers–Ramanujan $q, t$ sem depender das conjecturas de Jacobi–Trudi não provadas, o autor emprega o argumento analítico de Ismail. Isso envolve mostrar que a diferença entre os lados de série e produto das identidades desaparece em pontos específicos ($t = q^N$) e usar o teorema da identidade para funções analíticas.

Principais Contribuições e Resultados

• Identidades de Jacobi–Trudi Duais Afinas:
  • Teorema 1.1: Prova uma fórmula de Jacobi–Trudi dual afina para polinômios de Hall–Littlewood ordinários $P_{(k^r)}(x; t)$ como uma soma sobre o reticulado de raízes $Q$ de determinantes envolvendo funções simétricas elementares.
  • Conjecturas 1.2–1.4: Propõe fórmulas análogas para polinômios de Hall–Littlewood de $B_n, C_n,$ e $BC_n$. Estas são provadas para $k=1$ e para valores específicos de $t$ ($t=1$).
• Novas Identidades de Rogers–Ramanujan $q, t$:
  • Teoremas 1.5–1.8: Estabelece quatro novas famílias de identidades de Rogers–Ramanujan $q, t$ correspondentes aos sistemas de raízes afinas $C^{(1)}_k, A^{(2)}_{2k}, D^{(2)}_{k+1},$ e $A^{(2)}_{2k-1}$. Estas identidades generalizam resultados clássicos (Rogers–Ramanujan, Andrews–Gordon, identidades GOW) ao introduzir um segundo parâmetro $t$ (o parâmetro de Hall–Littlewood) enquanto mantêm uma forma de produto no lado direito.
  • Corolários 5.1–5.18: Deriva uma lista abrangente de identidades de Rogers–Ramanujan para os caracteres de módulos padrão de álgebras de Lie afinas ($A^{(2)}_{2n}, C^{(1)}_n, D^{(2)}_{n+1}, B^{(1)}_n, D^{(1)}_n$). Isso inclui oito novas identidades não encontradas anteriormente na literatura.
• Dualidade Nível-Posto: O artigo demonstra uma manifestação novel da dualidade nível-posto, mostrando como a especialização do parâmetro $t$ nas identidades $q, t$ leva a identidades conhecidas e novas para caracteres de álgebras de Lie afinas.
• Resultados do Apêndice: Prova uma nova família de identidades do tipo Rogers–Ramanujan (Equação 5.21) relacionada ao caso $A^{(2)}_{2n}$, descoberta por Matthew Russell, que se conecta aos caracteres da álgebra de Virasoro.

Significância
O artigo afirma avançar a compreensão da estrutura combinatória dos polinômios de Hall–Littlewood ao fornecer as primeiras fórmulas de Jacobi–Trudi afinas para formas retangulares nos casos $B_n, C_n,$ e $BC_n$ (embora conjecturalmente para $k$ geral). A principal significância reside na unificação dessas identidades combinatórias com a teoria de representação de álgebras de Lie afinas. Ao derivar análogos $q, t$ de identidades de Rogers–Ramanujan, o trabalho estende a correspondência clássica entre identidades de partições e caracteres de álgebras de Lie afinas para um cenário de dois parâmetros. As provas incondicionais das identidades de Rogers–Ramanujan resultantes garantem que as novas fórmulas de caracteres para módulos padrão sejam válidas independentemente do status das conjecturas de Jacobi–Trudi subjacentes. O trabalho é dedicado a Jim Lepowsky, reconhecendo seu papel fundamental na conexão de identidades de Rogers–Ramanujan com a teoria de representação.