Nilpotent representations over equioriented cyclic quivers

Resumen Técnico: Representaciones Nilpotentes sobre Quivers Cíclicos Equiorientados

Planteamiento del Problema
Este artículo investiga las propiedades combinatorias y geométricas de las representaciones nilpotentes de quivers cíclicos equiorientados. El estudio aborda dos contextos algebraicos distintos:

1. Representaciones Lineales: Representaciones sobre un cuerpo $k$, centrándose específicamente en cuerpos finitos $\mathbb{F}_q$. Una representación se define como nilpotente si composiciones suficientemente largas de mapas consecutivos se anulan.
2. Semirepresentaciones: Representaciones sobre el semianillo booleano $\mathbb{B} = \{0, 1\}$ (donde $1+1=1$). Aquí la nilpotencia se define de manera análoga mediante la anulación de composiciones.

Los objetivos primordiales son establecer bijecciones explícitas entre las representaciones nilpotentes y estructuras geométricas o combinatorias específicas, derivar fórmulas de enumeración exactas para cuerpos finitos y analizar la probabilidad asintótica de la nilpotencia en ambos entornos.

Metodología
Los autores emplean una combinación de bijecciones algebraicas lineales, teoría de grafos combinatorios y principios de inclusión-exclusión.

• Bijecciones Geométricas (Caso Lineal): Construyendo sobre la bijección de Leinster para endomorfismos nilpotentes y su extensión a pares de mapas, los autores construyen una bijección explícita para quivers cíclicos. Relacionan el conjunto de representaciones nilpotentes $N(\beta)$ con el espacio de representación completo $\text{Rep}(Q, \beta)$ y un subconjunto específico $Z$ de tuplas que contienen al menos un vector cero. Esto se basa en la descomposición del espacio de representación y en la utilización de la estructura núcleo-imagen de los mapas lineales.
• Correspondencia Combinatoria (Caso Booleano): Para las representaciones sobre el semianillo booleano, los autores identifican el espacio de representación con el conjunto de subgrafos generadores de un grafo dirigido específico $G_\beta$. Bajo esta identificación, las semirepresentaciones nilpotentes corresponden exactamente a grafos acíclicos dirigidos (DAGs) generadores.
• Técnicas de Enumeración:
  • En el caso del cuerpo finito, la cardinalidad se deriva contando el tamaño del conjunto $Z$ (usando el principio de inclusión-exclusión sobre vectores no nulos) y aplicando la bijección establecida.
  • En el caso booleano, los autores derivan una fórmula recursiva para el número de DAGs aplicando la inclusión-exclusión sobre los vértices origen en el grafo $G_\beta$. Esto reduce el problema al conteo de DAGs en subgrafos inducidos correspondientes a vectores de dimensión estrictamente menores.
• Análisis Asintótico: La probabilidad de nilpotencia se analiza comparando la cardinalidad de los conjuntos nilpotentes con el espacio de representación total. Para el caso booleano, se establecen cotas utilizando las propiedades de los ciclos en $G_\beta$ y órdenes totales estrictas en los vértices.

Contribuciones Clave y Resultados

1. Bijección Explícita para Representaciones Lineales:
   El artículo establece una bijección (Teorema 3.5):
   $$N(\beta) \times \prod_{i=1}^k V_i \cong \text{Rep}(Q, \beta) \times Z$$
   donde $Z$ es el conjunto de tuplas $(v_1, \dots, v_k)$ tales que al menos un $v_i = 0$. Esto generaliza resultados previos para endomorfismos únicos y pares de mapas.

2. Enumeración sobre Cuerpos Finitos:
   Usando la bijección, los autores derivan una fórmula de forma cerrada para el número de representaciones nilpotentes $N(\beta)$ sobre $\mathbb{F}_q$ (Teorema 3.6):
   $$N(\beta) = q^{\beta \cdot \sigma \beta - \mathbf{1} \cdot \beta} \left( q^{\mathbf{1} \cdot \beta} - \prod_{i=1}^k (q^{\beta_i} - 1) \right)$$
   Consecuentemente, la probabilidad de que una representación aleatoria sea nilpotente es:
   $$\text{Prob}(N(\beta)) = 1 - \prod_{i=1}^k (1 - q^{-\beta_i})$$
   El artículo también proporciona un refinamiento de este conteo por el rango de la representación utilizando coeficientes $q$-binomiales (Teorema 3.9).

3. Enumeración sobre el Semianillo Booleano:
   Los autores identifican las semirepresentaciones nilpotentes con DAGs generadores de $G_\beta$. Derivan una fórmula recursiva para el número de tales representaciones $N_B(\beta)$ (Teorema 4.2):
   $$N_B(\beta) = \sum_{\gamma < \beta} (-1)^{\mathbf{1} \cdot (\beta - \gamma) - 1} \binom{\beta}{\gamma} 2^{(\beta - \gamma) \cdot \sigma \gamma} N_B(\gamma)$$
   donde la suma es sobre vectores de dimensión $\gamma$ estrictamente menores que $\beta$.

4. Comportamiento Asintótico:

   • Cuerpos Finitos: A medida que los componentes del vector de dimensión crecen, la probabilidad de nilpotencia tiende a 1 si algún $\beta_i$ crece, pero el artículo señala que la probabilidad tiende a 0 si la suma de $q^{-\beta_i}$ tiende a 0 (Corolario 3.14).
   • Semianillo Booleano: La probabilidad de nilpotencia decae exponencialmente a medida que el vector de dimensión escala. Específicamente, si $\beta(n) = n\beta$, la tasa de decaimiento asintótico está determinada por $m(\beta) = \min_i (\beta_i \beta_{i+1})$ (Corolario 4.7):
     $$\lim_{n \to \infty} \frac{\log_2(\text{Prob}(N_B(n\beta)))}{n^2} = -m(\beta)$$

5. Comparación con Representaciones de Valores de Conjunto:
   El artículo relaciona la nilpotencia lineal con representaciones de valores de conjunto "eventualmente constantes". Demuestran que una representación lineal es nilpotente si y solo si su representación de valores de conjunto subyacente (vía el functor olvidadizo) es eventualmente constante. Además, se muestra que la probabilidad de nilpotencia en el caso lineal sobre $\mathbb{F}_q$ es igual a la probabilidad de eventual constancia en el caso de valores de conjunto sobre conjuntos de cardinalidad $q^{\beta_i}$ (Proposición 5.2).

Significancia y Reivindicaciones
El artículo afirma proporcionar un marco geométrico y combinatorio unificado para comprender la nilpotencia en representaciones de quivers cíclicos.

• Perspectiva Geométrica: Al construir bijecciones explícitas, el trabajo conecta el concepto abstracto de nilpotencia en quivers cíclicos con la geometría de los cero-fibras y subconjuntos específicos de tuplas de vectores, extendiendo los resultados conocidos para endomorfismos únicos a sistemas cíclicos.
• Precisión Combinatoria: La derivación de fórmulas exactas para cuerpos finitos y estructuras recursivas para el semianillo booleano ofrece herramientas de conteo precisas donde anteriormente solo existían resultados cualitativos o limitados.
• Comprensión Asintótica: La determinación de la tasa de decaimiento asintótico para semirepresentaciones booleanas proporciona una medida cuantitativa de qué tan "rara" se vuelve la nilpotencia a medida que el tamaño del sistema aumenta en el entorno booleano.
• Conexión Interdisciplinaria: El trabajo tiende un puente entre la teoría de representaciones lineales, las representaciones de valores de conjunto y la teoría de grafos (DAGs), demostrando que la nilpotencia en el contexto lineal sobre cuerpos finitos es estructuralmente equivalente a la eventual constancia en el contexto de la teoría de conjuntos.

Los autores no proponen nuevas aplicaciones experimentales o direcciones de investigación futura más allá de los resultados matemáticos presentados, manteniendo el enfoque en las propiedades estructurales y enumerativas de estos objetos algebraicos.