$m$-nil-clean nonderogatory matrices

Sintesi Tecnica: Matrici nonderogatorie $m$-nil-clean

Enunciato del Problema
Il saggio investiga la decomposizione di matrici nonderogatorie (cicliche) su un campo $F$ di caratteristica positiva $p$. Nello specifico, affronta il problema di esprimere una matrice nonderogatoria $n \times n$ $A$ come somma di $m$ matrici idempotenti ($E_1, \dots, E_m$) e una matrice nilpotente $N$, tale che $A = \sum_{i=1}^m E_i + N$. Questa decomposizione è definita come una decomposizione "$m$-nil-clean". Lo studio si concentra sulla determinazione dell'esistenza di tali decomposizioni per matrici con traccia nell'insieme $\{k \cdot 1_F \mid k \in \{0, 1, \dots, p-1\}\}$ e, crucialmente, sull'instaurare limiti superiori stretti per l'indice di nilpotenza della matrice $N$ (ovvero trovare il più piccolo $k$ tale che $N^k = 0$).

Metodologia
Gli autori impiegano un approccio strutturale centrato sulle matrici compagne, sfruttando il fatto che ogni matrice nonderogatoria è simile a una matrice compagna. La metodologia procede attraverso i seguenti passaggi:

1. Riduzione alle Matrici Compagne: Il problema viene ridotto all'analisi delle matrici compagne $C$. Gli autori utilizzano il "lemma di fitting" (Lemma 2.2), il quale afferma che ogni matrice compagna $C$ con traccia $t$ è simile a $C' + D'$, dove $C'$ è una matrice compagna a traccia nulla e $D'$ è una matrice diagonale con traccia $t$.
2. Decomposizione Fino a una Diagonale: Gli autori introducono il concetto di una "$m$-nil-clean decomposition fino a una matrice diagonale $D_0$". Ciò comporta la ricerca di idempotenti e di una nilpotente tali che $C = \sum E_i + N - D_0$.
3. Partizionamento e Costruzione della Nilpotente: Per controllare l'indice di nilpotenza di $N$, gli autori definiscono "buone partizioni" (good partitions) e "partizioni triviali" (trivial partitions) dell'intero $n-1$.
   • Una buona partizione di $n-1 = d_1 + \dots + d_r$ richiede che $d_i > 1$ per $i \ge 2$.
   • Una partizione triviale è $n-1 = d_1$.
   • Le matrici nilpotenti $N$ sono costruite sulla base di queste partizioni utilizzando strutture a blocchi che coinvolgono celle di Jordan triangolari inferiori ($J_k$) e specifici vincoli di riga nulla. Questa costruzione assicura che l'indice di nilpotenza di $N$ sia limitato da $\max(d_1+1, d_2, \dots, d_r)$ per le buone partizioni, o da $n-1$ per le partizioni triviali.
4. Corrispondenza della Traccia (Trace Matching): Gli autori costruiscono specifiche matrici idempotenti (riferite come "matrici di separazione" e idempotenti diagonali) per garantire che la somma delle loro tracce possa coprire l'intervallo necessario di valori per corrispondere alla traccia della matrice target $C$. Regolando le voci diagonali di questi idempotenti, dimostrano che l'insieme delle tracce possibili per $\sum E_i$ forma un intervallo contiguo di interi modulo $p$.
5. Sintesi: Combinando la capacità di corrispondenza della traccia con la decomposizione strutturale fino a una diagonale, e applicando il lemma di fitting, gli autori provano l'esistenza dell'esatta decomposizione $m$-nil-clean senza il termine diagonale residuo.

Contributi Chiave e Risultati
Il saggio stabilisce il seguente teorema principale (Teorema 3.3):

Sia $F$ un campo di caratteristica positiva $p$, e siano $m, n$ interi positivi con $m \ge 2$ e $n \le p \le mn - 1$. Per ogni matrice nonderogatoria $n \times n$ $A \in M_n(F)$ con traccia in $\{k \cdot 1_F \mid k \in \{0, 1, \dots, p-1\}\}$, esistono $m$ matrici idempotenti $E_1, \dots, E_m$ e una matrice nilpotente $N$ tali che:
$$A = E_1 + E_2 + \dots + E_m + N$$
dove $N^k = 0$. Il limite $k$ sull'indice di nilpotenza dipende dalla relazione tra $n, m, p$ e la parità di $n$:

• Caso 1: Se $p \in \{nm-1, nm-2\}$, allora $k = n$.
• Caso 2: Se $p = nm-3$, allora $k = n-1$.
• Caso 3: Altrimenti, sia $r = \lfloor \frac{nm-p}{2} \rfloor$.
  • Se $n$ è pari, $k = \max(2, 1 + \lfloor \frac{n-1}{r} \rfloor)$.
  • Se $n$ è dispari, $k = \max(3, 1 + \lfloor \frac{n-1}{r} \rfloor)$.

Inoltre, il saggio fornisce un risultato specifico per il caso in cui $n > p$ (Osservazione 3.4). In questo scenario, impostando $m=2$, ogni tale matrice nonderogatoria $A$ è la somma di due matrici idempotenti e:

• Una matrice con quadrato nullo ($N^2=0$) se $n$ è pari.
• Una matrice con indice di nilpotenza al massimo 3 ($N^3=0$) se $n$ è dispari.

Significato e Rivendicazioni
Il saggio si pone come un'estensione della letteratura esistente sulle decomposizioni nil-clean e clean. Cita lavori precedenti di Nicholson, Diesl e altri riguardanti le matrici nil-clean su anelli di divisione e campi finiti. Gli autori osservano che, mentre i risultati precedenti hanno stabilito l'esistenza di decomposizioni nil-clean (somma di un idempotente e una nilpotente) o limiti sugli indici di nilpotenza (ad esempio, indice $\le 4$ su $F_2$), questo lavoro generalizza il concetto a decomposizioni $m$-nil-clean per matrici nonderogatorie su campi di arbitraria caratteristica positiva.

La significatività rivendicata è la determinazione precisa del limite dell'indice di nilpotenza per queste decomposizioni. Gli autori dimostrano che, selezionando attentamente la partizione di $n-1$ e la struttura degli idempotenti, è possibile ridurre significativamente l'indice di nilpotenza della matrice residua $N$ rispetto al limite banale di $n$. I risultati forniscono una caratterizzazione completa per le matrici nonderogatorie sotto i vincoli specifici di traccia e caratteristica, offrendo limiti più stretti rispetto a quelli precedentemente disponibili per matrici generiche in tali contesti. Il saggio non pretende di risolvere il problema per tutte le matrici (solo per quelle nonderogatorie) o per tutte le caratteristiche di campo senza il vincolo $n \le p \le mn-1$, mantenendo un ambito modesto focalizzato sulle proprietà strutturali delle matrici compagne.