$m$-nil-clean nonderogatory matrices

Resumo Técnico: Matrizes não-derrogatórias $m$-nil-limpas

Enunciado do Problema
O artigo investiga a decomposição de matrizes não-derrogatórias (cíclicas) sobre um corpo $F$ de característica positiva $p$. Especificamente, aborda o problema de expressar uma matriz não-derrogatória $n \times n$ como uma soma de $m$ matrizes idempotentes ($E_1, \dots, E_m$) e uma matriz nilpotente $N$, tal que $A = \sum_{i=1}^m E_i + N$. Esta decomposição é denominada uma decomposição "$m$-nil-limpa". O estudo foca em determinar a existência de tais decomposições para matrizes com traços no conjunto $\{k \cdot 1_F \mid k \in \{0, 1, \dots, p-1\}\}$ e, crucialmente, em estabelecer limites superiores estreitos para o índice de nilpotência da matriz $N$ (ou seja, encontrar o menor $k$ tal que $N^k = 0$).

Metodologia
Os autores empregam uma abordagem estrutural centrada em matrizes companheiras, aproveitando o fato de que toda matriz não-derrogatória é semelhante a uma matriz companheira. A metodologia procede através dos seguintes passos:

1. Redução para Matrizes Companheiras: O problema é reduzido à análise de matrizes companheiras $C$. Os autores utilizam o "lema de fitting" (Lema 2.2), que afirma que qualquer matriz companheira $C$ com traço $t$ é semelhante a $C' + D'$, onde $C'$ é uma matriz companheira de traço zero e $D'$ é uma matriz diagonal com traço $t$.
2. Decomposição até uma Diagonal: Os autores introduzem o conceito de uma "$m$-nil-limpa decomposição até uma matriz diagonal $D_0$". Isso envolve encontrar idempotentes e um nilpotente tal que $C = \sum E_i + N - D_0$.
3. Particionamento e Construção de Nilpotentes: Para controlar o índice de nilpotência de $N$, os autores definem "partições boas" e "partições triviais" do inteiro $n-1$.
   • Uma partição boa de $n-1 = d_1 + \dots + d_r$ exige que $d_i > 1$ para $i \ge 2$.
   • Uma partição trivial é $n-1 = d_1$.
   • Matrizes nilpotentes $N$ são construídas com base nessas partições usando estruturas de blocos envolvendo células de Jordan triangulares inferiores ($J_k$) e restrições específicas de linhas nulas. Esta construção garante que o índice de nilpotência de $N$ seja limitado por $\max(d_1+1, d_2, \dots, d_r)$ para partições boas, ou $n-1$ para partições triviais.
4. Correspondência de Traço: Os autores constroem matrizes idempotentes específicas (referidas como "matrizes de cisão" e idempotentes diagonais) para garantir que a soma de seus traços possa cobrir a gama necessária de valores para corresponder ao traço da matriz alvo $C$. Ao ajustar as entradas diagonais desses idempotentes, eles demonstram que o conjunto de traços possíveis para $\sum E_i$ forma um intervalo contíguo de inteiros módulo $p$.
5. Síntese: Ao combinar a capacidade de correspondência de traço com a decomposição estrutural até uma diagonal, e aplicar o lema de fitting, os autores provam a existência da decomposição exata $m$-nil-limpa sem o termo diagonal residual.

Principais Contribuições e Resultados
O artigo estabelece o seguinte teorema principal (Teorema 3.3):

Seja $F$ um corpo de característica positiva $p$, e $m, n$ inteiros positivos com $m \ge 2$ e $n \le p \le mn - 1$. Para toda matriz não-derrogatória $A \in M_n(F)$ com traço em $\{k \cdot 1_F \mid k \in \{0, 1, \dots, p-1\}\}$, existem $m$ matrizes idempotentes $E_1, \dots, E_m$ e uma matriz nilpotente $N$ tal que:
$$A = E_1 + E_2 + \dots + E_m + N$$
onde $N^k = 0$. O limite $k$ sobre o índice de nilpotência depende da relação entre $n, m, p$ e da paridade de $n$:

• Caso 1: Se $p \in \{nm-1, nm-2\}$, então $k = n$.
• Caso 2: Se $p = nm-3$, então $k = n-1$.
• Caso 3: Caso contrário, seja $r = \lfloor \frac{nm-p}{2} \rfloor$.
  • Se $n$ for par, $k = \max(2, 1 + \lfloor \frac{n-1}{r} \rfloor)$.
  • Se $n$ for ímpar, $k = \max(3, 1 + \lfloor \frac{n-1}{r} \rfloor)$.

Adicionalmente, o artigo fornece um resultado específico para o caso onde $n > p$ (Observação 3.4). Neste cenário, definindo $m=2$, qualquer tal matriz não-derrogatória $A$ é a soma de duas matrizes idempotentes e:

• Uma matriz de quadrado nulo ($N^2=0$) se $n$ for par.
• Uma matriz com índice de nilpotência no máximo 3 ($N^3=0$) se $n$ for ímpar.

Significância e Alegações
O artigo posiciona-se como uma extensão da literatura existente sobre decomposições nil-limpas e limpas. Ele cita trabalhos anteriores de Nicholson, Diesl e outros relativos a matrizes nil-limpas sobre corpos de divisão e corpos finitos. Os autores observam que, enquanto resultados anteriores estabeleceram a existência de decomposições nil-limpas (soma de um idempotente e um nilpotente) ou limites para índices de nilpotência (por exemplo, índice $\le 4$ sobre $F_2$), este trabalho generaliza o conceito para decomposições $m$-nil-limpas para matrizes não-derrogatórias sobre corpos de característica positiva arbitrária.

A significância alegada é a determinação precisa do limite do índice de nilpotência para estas decomposições. Os autores demonstram que, ao selecionar cuidadosamente a partição de $n-1$ e a estrutura dos idempotentes, pode-se reduzir significativamente o índice de nilpotência da matriz remanescente $N$ em comparação com o limite trivial de $n$. Os resultados fornecem uma caracterização completa para matrizes não-derrogatórias sob as especificadas restrições de traço e característica, oferecendo limites mais agudos do que os anteriormente disponíveis para matrizes gerais nestes contextos. O artigo não pretende resolver o problema para todas as matrizes (apenas para as não-derrogatórias) ou para todas as características de campo sem a restrição $n \le p \le mn-1$, mantendo um escopo modesto focado nas propriedades estruturais de matrizes companheiras.