$m$-nil-clean nonderogatory matrices

Resumen Técnico: Matrices No Derogatorias $m$-Nil-Limpias

Planteamiento del Problema
El artículo investiga la descomposición de matrices no derogatorias (cíclicas) sobre un cuerpo $F$ de característica positiva $p$. Específicamente, aborda el problema de expresar una matriz no derogatoria $n \times n$ $A$ como una suma de $m$ matrices idempotentes ($E_1, \dots, E_m$) y una matriz nilpotente $N$, tal que $A = \sum_{i=1}^m E_i + N$. Esta descomposición se denomina descomposición "$m$-nil-limpia" (m-nil-clean). El estudio se centra en determinar la existencia de tales descomposiciones para matrices con trazas en el conjunto $\{k \cdot 1_F \mid k \in \{0, 1, \dots, p-1\}\}$, y crucialmente, en establecer cotas superiores ajustadas para el índice de nilpotencia de la matriz $N$ (es decir, encontrar el menor $k$ tal que $N^k = 0$).

Metodología
Los autores emplean un enfoque estructural centrado en matrices compañeras, aprovechando el hecho de que toda matriz no derogatoria es semejante a una matriz compañera. La metodología procede a través de los siguientes pasos:

1. Reducción a Matrices Compañeras: El problema se reduce al análisis de matrices compañeras $C$. Los autores utilizan el "lema de fitting" (Lema 2.2), que establece que cualquier matriz compañera $C$ con traza $t$ es semejante a $C' + D'$, donde $C'$ es una matriz compañera de traza cero y $D'$ es una matriz diagonal con traza $t$.
2. Descomposición hasta una Diagonal: Los autores introducen el concepto de una "$m$-nil-limpieza hasta una matriz diagonal $D_0$". Esto implica encontrar idempotentes y un nilpotente tales que $C = \sum E_i + N - D_0$.
3. Partición y Construcción de Nilpotentes: Para controlar el índice de nilpotencia de $N$, los autores definen "particiones buenas" y "particiones triviales" del entero $n-1$.
   • Una partición buena de $n-1 = d_1 + \dots + d_r$ requiere que $d_i > 1$ para $i \ge 2$.
   • Una partición trivial es $n-1 = d_1$.
   • Las matrices nilpotentes $N$ se construyen basadas en estas particiones utilizando estructuras de bloques que involucran celdas de Jordan triangulares inferiores ($J_k$) y restricciones específicas de filas cero. Esta construcción asegura que el índice de nilpotencia de $N$ esté acotado por $\max(d_1+1, d_2, \dots, d_r)$ para particiones buenas, o $n-1$ para particiones triviales.
4. Igualación de la Traza: Los autores construyen matrices idempotentes específicas (denominadas matrices de severanza y de idempotentes diagonales) para asegurar que la suma de sus trazas pueda cubrir el rango de valores necesario para coincidir con la traza de la matriz objetivo $C$. Al ajustar las entradas diagonales de estos idempotentes, demuestran que el conjunto de posibles trazas para $\sum E_i$ forma un intervalo contiguo de enteros módulo $p$.
5. Síntesis: Al combinar la capacidad de igualación de traza con la descomposición estructural hasta una matriz diagonal, y aplicar el lema de fitting, los autores prueban la existencia de la descomposición exacta $m$-nil-limpia sin el término diagonal residual.

Contribuciones Clave y Resultados
El artículo establece el siguiente teorema principal (Teorema 3.3):

Sea $F$ un cuerpo de característica positiva $p$, y sean $m, n$ enteros positivos con $m \ge 2$ y $n \le p \le mn - 1$. Para cada matriz no derogatoria $n \times n$ $A \in M_n(F)$ con traza en $\{k \cdot 1_F \mid k \in \{0, 1, \dots, p-1\}\}$, existen $m$ matrices idempotentes $E_1, \dots, E_m$ y una matriz nilpotente $N$ tales que:
$$A = E_1 + E_2 + \dots + E_m + N$$
donde $N^k = 0$. La cota $k$ sobre el índice de nilpotencia depende de la relación entre $n, m, p$ y la paridad de $n$:

• Caso 1: Si $p \in \{nm-1, nm-2\}$, entonces $k = n$.
• Caso 2: Si $p = nm-3$, entonces $k = n-1$.
• Caso 3: De lo contrario, sea $r = \lfloor \frac{nm-p}{2} \rfloor$.
  • Si $n$ es par, $k = \max(2, 1 + \lfloor \frac{n-1}{r} \rfloor)$.
  • Si $n$ es impar, $k = \max(3, 1 + \lfloor \frac{n-1}{r} \rfloor)$.

Además, el artículo proporciona un resultado específico para el caso donde $n > p$ (Observación 3.4). En este escenario, estableciendo $m=2$, cualquier matriz no derogatoria de este tipo es la suma de dos matrices idempotentes y:

• Una matriz de cuadrado nulo ($N^2=0$) si $n$ es par.
• Una matriz con índice de nilpotencia como máximo 3 ($N^3=0$) si $n$ es impar.

Significancia y Reivindicaciones
El artículo se posiciona como una extensión de la literatura existente sobre descomposiciones nil-limpias y limpias. Cita trabajos previos de Nicholson, Diesl y otros respecto a matrices nil-limpias sobre cuerpos de división y cuerpos finitos. Los autores señalan que, mientras que resultados previos establecieron la existencia de descomposiciones nil-limpias (suma de un idempotente y un nilpotente) o cotas sobre índices de nilpotencia (por ejemplo, índice $\le 4$ sobre $F_2$), este trabajo generaliza el concepto a descomposiciones $m$-nil-limpias para matrices no derogatorias sobre cuerpos de característica positiva arbitraria.

La significancia reivindicada es la determinación precisa de la cota del índice de nilpotencia para estas descomposiciones. Los autores demuestran que, mediante la selección cuidadosa de la partición de $n-1$ y la estructura de los idempotentes, se puede reducir significativamente el índice de nilpotencia de la matriz restante $N$ en comparación con la cota trivial de $n$. Los resultados proporcionan una caracterización completa para matrices no derogatorias bajo las restricciones especificadas de traza y característica, ofreciendo cotas más ajustadas que las disponibles anteriormente para matrices generales en estos entornos. El artículo no pretende resolver el problema para todas las matrices (solo para las no derogatorias) ni para todos los cuerpos de característica sin la restricción $n \le p \le mn-1$, manteniendo un alcance modesto centrado en las propiedades estructurales de las matrices compañeras.