Multisymmetric polynomials on set-theoretic quiver representations

Resumo Técnico: Polinômios Multissimétricos em Representações de Quivers de Teoria de Conjuntos

Enunciado do Problema
Este artigo aborda a enumeração combinatória de representações de conjuntos "eventualmente constantes" de quivers finitos. Uma representação de conjuntos de um quiver $Q$ atribui um conjunto finito a cada vértice e uma função a cada seta. Uma representação é definida como eventualmente constante se, para todos os caminhos suficientemente longos no quiver, a composição das funções correspondentes mapeia todo o domínio para um "transversal" específico (um subconjunto contendo exatamente um elemento de cada conjunto de vértices).

Este conceito serve como um análogo de teoria de conjuntos para representações lineares nilpotentes de quivers. Enquanto o trabalho anterior dos autores (Green–Holmes–Im) enumerou com sucesso essas representações para quivers cíclicos equiorientados utilizando o teorema da árvore direcionada, este artigo busca generalizar a enumeração para quivers arbitrários sem sumidouros (sinks), onde cada vértice é o alvo de caminhos arbitrariamente longos. O desafio reside no fato de que, ao contrário do caso cíclico, as estruturas de grafos subjacentes induzidas por essas representações não são necessariamente florestas, tornando inaplicáveis as técnicas padrão de enumeração de árvores.

Metodologia
Os autores desenvolvem um arcabouço que codifica representações de conjuntos como grafos direcionados acíclicos (DAGs) e utiliza um método recursivo de remoção de fontes para derivar funções geratrizes.

1. Codificação de Grafos: Os autores constroem um multigrafo direcionado ambiente $G(Q)$ onde os vértices correspondem aos elementos da união disjunta dos conjuntos atribuídos aos vértices do quiver. Um elemento de representação de conjuntos é identificado com um subgrafo gerador de $G(Q)$ onde cada vértice possui exatamente uma aresta de saída por tipo de seta.
2. Atribuições de DAGs de Fonte-Fatorizáveis: Para lidar com a complexidade de quivers gerais, os autores introduzem o conceito de uma atribuição de DAG de fonte-fatorizável (source-factorizable DAG assignment). Trata-se de uma coleção de DAGs que satisfazem axiomas específicos sobre como os vértices "fonte" (aqueles com grau de entrada zero no subgrafo) e suas arestas de saída podem ser anexados ou removidos dos grafos.
3. Enumeradores Matriciais Recursivos: Para atribuições fonte-fatorizáveis, os autores derivam uma fórmula recursiva para a contagem ponderada de DAGs. Eles definem uma matriz de peso de anexação $M$, indexada pelo conjunto das partes do conjunto de vértices. As entradas de $M$ codificam os pesos de grafos formados pela anexação de arestas de fonte a DAGs existentes. O peso total dos DAGs desejados é expresso via a inversa da matriz $(I - M)$, expandida como uma série geométrica finita devido à estrita triangularidade superior de $M$.
4. Compressão para Vetores de Cardinalidade: Para obter uma fórmula de cardinalidade computável, os autores comprimem a matriz $M$ (indexada por subconjuntos) em uma matriz de cardinalidade de anexação $N$. Esta matriz é indexada por vetores de cardinalidade (vetores em $\mathbb{N}^{Q_0}$ representando o tamanho do conjunto em cada vértice). A uniformidade dos pesos em relação às cardinalidades dos conjuntos permite essa redução, transformando o problema em uma operação matricial no intervalo de vetores de cardinalidade $[0, V]$.

Contribuições Principais e Resultados

• Teorema de Enumeração Geral: O artigo estabelece uma fórmula geral para a cardinalidade de representações eventualmente constantes para qualquer quiver $Q$ sem sumidouros. A cardinalidade é dada por:
  $$|EC| = V!(I - N)^{-1}_{1, V}$$
  onde $V$ é o vetor de tamanhos de conjuntos, $1$ é o vetor de uns, e $N$ é a matriz de cardinalidade de anexação estritamente triangular superior definida pela matriz de adjacência $A(Q)$ do quiver.
• Funções Geratrizes: Os autores derivam funções geratrizes para essas representações tanto em variáveis de aresta quanto em variáveis de vértice. Na especialização para variáveis de vértice, a função geratriz mostra-se invariante sob permutações de vértices dentro de cada conjunto, resultando em polinômios multissimétricos.
• Especialização para Quivers de Jordan e Cíclicos:
  • Quivers de Jordan: Para um quiver com um vértice e $j$ laços, os autores recuperam a recorrência conhecida para o número de $j$-úplas eventualmente constantes de endomorfismos. Este resultado alinha-se com a recorrência linear para autómatos quase-acíclicos rotulados derivada por Liskovets.
  • Quivers Cíclicos: Para quivers cíclicos equiorientados, os autores derivam uma função geratriz de forma fechada. Notavelmente, esta derivação recupera o polinômio gerador multissimétrico para o caso cíclico sem depender do teorema da árvore direcionada, oferecendo uma nova perspectiva combinatória.
• Algoritmo Alternativo: Para o quiver de Jordan, o artigo delineia um algoritmo recursivo alternativo baseado na partição do conjunto de vértices. Este método rastreia as partições sucessivas induzidas pelas relações de equivalência dos mapas, fornecendo uma abordagem computacional distinta para a função geratriz.

Significância
O artigo afirma sua significância ao estender a enumeração de representações de quivers de teoria de conjuntos além do caso cíclico restritivo para quivers gerais. Ao substituir o teorema da árvore direcionada por um método recursivo de remoção de fonte e inversão de matriz na álgebra de incidencia do reticulado de subconjuntos, os autores fornecem um arcabouço unificado para essas estruturas combinatórias. O trabalho faz a ponte entre a teoria de representações lineares (nilpotência) e a combinatória de conjuntos (constância eventual), fornecendo fórmulas explícitas para cardinalidades e funções geratrizes que generalizam resultados anteriores sobre quivers cíclicos e endomorfismos. A derivação do caso cíclico sem o teorema da árvore direcionada é destacada como uma melhoria conceitual, evitando manipulações algébicas complexas de coeficientes $q$-binomiais.