The pre-Pieri rules

Resumo Técnico de "The pre-Pieri rules" de Darij Grinberg

Enunciação do Problema
O artigo aborda o problema de generalizar as regras clássicas de Pieri dentro da teoria das funções simétricas. As regras padrão de Pieri descrevem o produto de uma função de Schur $s_\lambda$ com uma função simétrica homogênea completa $h_p$ ou uma função simétrica elementar $e_p$ como uma soma de funções de Schur $s_\mu$ sob restrições combinatórias específicas (faixas horizontais e verticais, respectivamente).

O autor concentra-se em versões "alternativas" ou "não canceladas" dessas regras. Especificamente, o artigo investiga identidades onde a soma abrange todas as $n$-tuplas inteiras $\mu$ que satisfazem desigualdades termo a termo e uma condição de soma fixa, em vez de restringir a soma a partições ou condições específicas de faixas. Nessas formulações alternativas, os termos que não correspondem a partições válidas ou condições de faixa frequentemente desaparecem ou se cancelam. O objetivo é estabelecer essas identidades em um cenário altamente geral: sobre anéis arbitrários (potencialmente não comutativos), usando determinantes de linha (row-determinants), e para funções generalizadas semelhantes a Schur definidas por determinantes de matrizes com entradas arbitrárias $h_{k,i}$.

Metodologia
O artigo emprega uma abordagem combinatório-álgebra centrada na manipulação de determinantes de linha (rowdet) sobre anéis não comutativos. A metodologia procede da seguinte forma:

1. Definições: O autor define um elemento generalizado semelhante a Schur, $t_\alpha$, para uma $n$-tupla inteira $\alpha \in \mathbb{Z}^n$, como o determinante de linha de uma matriz com entradas $h_{\alpha_i+j, i}$.
2. Lemas Combinatórios: As provas dependem de uma série de lemas envolvendo:
   • A ação do grupo simétrico $S_n$ sobre $n$-tuplas inteiras.
   • Propriedades dos colchetes de Iverson $[A]$ (1 se verdadeiro, 0 se falso).
   • Identidades determinantis envolvendo matrizes da forma $([ \nu_i \ge j ])_{i,j}$ ou $([ \nu_i \trianglerighteq j ])_{i,j}$, onde $\trianglerighteq$ denota a relação $u-v \in \{0, 1\}$.
   • Argumentos do princípio da casa dos pombos para estabelecer quando uma $n$-tupla é uma permutação de outra.
3. Manipulação de Somatórios: A técnica central envolve expandir a definição do determinante de linha, trocar a ordem de somatório sobre permutações $\sigma \in S_n$ e $n$-tuplas inteiras $\beta$, e utilizar bijeções para reindexar as somas.
4. Generalização para Anéis Não Comutativos: As provas são construídas para valerem para qualquer anel associativo unitário $R$, não necessariamente comutativo, mantendo cuidadosamente a ordem dos fatores em produtos (usando determinantes de linha em vez de determinantes padrão).

Principais Contribuições e Resultados

O artigo estabelece duas identidades primárias, denominadas "regras pré-Pieri", e deriva várias corolários.

1. A Primeira Regra Pré-Pieri (Teorema 2.1)
Esta identidade generaliza a primeira regra de Pieri alternativa (multiplicação por $h_p$).

• Enunciação: Para um anel $R$, inteiros $n \ge 1, p \ge 0$, e elementos $h_{k,i} \in R$, seja $t_\alpha = \text{rowdet}(h_{\alpha_i+j, i})$. Seja $\eta = (1, 2, \dots, n-1, n+p)$. Então:
  $$\sum_{\substack{\beta \in \mathbb{N}^n \\ |\beta|=p}} t_{\alpha+\beta} = \text{rowdet}(h_{\alpha_i+\eta_j, i})$$
  O lado direito é um único determinante de linha onde a última coluna da matriz padrão é deslocada por $p$.
• Estratégia de Prova: A prova expande a soma de determinantes de linha, reindexa as variáveis de somatório e utiliza o Lema 2.9 para mostrar que o coeficiente de cada termo na expansão corresponde ao determinante de uma matriz de colchetes de Iverson, que avalia para o sinal da única permutação que mapeia uma $n$-tupla específica $\eta$ para o índice de somatório.

2. A Segunda Regra Pré-Pieri (Teorema 4.1)
Esta identidade é o análogo para multiplicação por funções simétricas elementares ($e_p$), envolvendo uma soma sobre $n$-tuplas com entradas em $\{0, 1\}$.

• Enunciação: Para $p \in \{0, 1, \dots, n\}$, seja $\xi = (1, 2, \dots, n-p, n-p+2, \dots, n+1)$. Então:
  $$\sum_{\substack{\beta \in \{0,1\}^n \\ |\beta|=p}} t_{\alpha+\beta} = \text{rowdet}(h_{\alpha_i+\xi_j, i})$$
• Estratégia de Prova: Similar à primeira regra, mas utiliza uma relação $\trianglerighteq$ (onde $u \trianglerighteq v \iff u-v \in \{0,1\}$) e o Lema 4.6 para lidar com o domínio de somatório restrito.

3. Corolários e Recuperações
O artigo demonstra que essas identidades gerais recuperam e generalizam vários resultados conhecidos:

• Caso Comutativo: Quando $R$ é comutativo, o determinante de linha torna-se o determinante padrão, recuperando identidades clássicas.
• Funções de Schur: Ao definir $h_{k,i} = h_k$ (funções simétricas homogêneas completas) e condições de contorno apropriadas, o artigo recupera a "primeira regra de Pieri alternativa" (Equação 5 na introdução) onde $s_\lambda h_p = \sum s_{\lambda+\beta}$.
• Funções Imaculadas: O artigo recupera a "regra pré-Pieri direita" para funções imaculadas (Berg et al., [BBSSZ13, Teorema 3.5]) como um caso especial da primeira regra pré-Pieri.
• 9ª Variação de Macdonald: O artigo recupera uma regra semelhante a Pieri para funções de Schur da 9ª variação de Macdonald (Fun, [Fun12, Proposição 3.9]).
• Condições de Desaparecimento: O artigo fornece corolários específicos (por exemplo, Corolário 3.1, 4.9) detalhando como as identidades se simplificam quando certas $h_{k,i}$ desaparecem (por exemplo, para $k$ negativo), levando a fatorações dos determinantes resultantes.

Significado e Alegações
O artigo alega significado principalmente na unificação e generalização de identidades combinatórias existentes:

• Generalidade: As identidades valem sobre anéis não comutativos, estendendo o escopo das regras de Pieri além das funções simétricas para álgebras polinomiais não comutativas (como a álgebra das funções simétricas não comutativas, NSym).
• Unificação: As duas regras pré-Pieri servem como uma estrutura "pré" (preliminar ou subjacente) para várias regras de Pieri conhecidas. O artigo observa que as regras padrão de Pieri (somando sobre partições com condições de faixa) podem ser derivadas dessas regras pré-Pieri removendo termos que desaparecem ou observando cancelamentos, embora as próprias regras pré-Pieri não requeiram tais cancelamentos para serem identidades válidas.
• Especulação sobre Regras LR: O autor especula sobre a existência de uma "regra pré-Littlewood-Richardson" que poderia generalizar ambas as regras pré-Pieri, potencialmente englobando a "regra Littlewood-Richardson imaculada" como um caso particular. A Proposição 5.2 é apresentada como um passo nessa direção, mostrando que somas de determinantes de linha sobre conjuntos invariantes de $n$-tuplas podem ser expressas como combinações lineares de determinantes de linha.

O artigo não propõe novas aplicações experimentais ou algoritmos computacionais futuros, mas foca em estabelecer essas identidades algébricas e suas consequências lógicas dentro da literatura existente de funções simétricas e não comutativas.