$m$-nil-clean nonderogatory matrices

Technische Samenvatting: m-Nil-Clean Niet-derogatoire Matrices

Probleemstelling
Het artikel onderzoekt de decompositie van niet-derogatoire (cyclische) matrices over een lichaam $F$ met een positieve karakteristiek $p$. Specifiek behandelt het de kwestie van het uitdrukken van een $n \times n$ niet-derogatoire matrix $A$ als een som van $m$ idempotente matrices ($E_1, \dots, E_m$) en een nilpotente matrix $N$, zodanig dat $A = \sum_{i=1}^m E_i + N$. Deze decompositie wordt een "$m$-nil-clean" decompositie genoemd. De studie richt zich op het vaststellen van de existentie van dergelijke decomposities voor matrices met sporen in de verzameling $\{k \cdot 1_F \mid k \in \{0, 1, \dots, p-1\}\}$, en cruciaal, het vaststellen van scherpe bovengrenzen op de nilpotentie-index van de matrix $N$ (dat wil zeggen: het vinden van de kleinste $k$ waarvoor $N^k = 0$).

Methodologie
De auteurs hanteren een structurele aanpak die gecentreerd is rond companion-matrices, waarbij zij gebruikmaken van het feit dat elke niet-derogatoire matrix gelijvormig is aan een companion-matrix. De methodologie verloopt via de volgende stappen:

1. Reductie naar Companion-matrices: Het probleem wordt gereduceerd tot het analyseren van companion-matrices $C$. De auteurs maken gebruik van de "fitting-lemma" (Lemma 2.2), die stelt dat elke companion-matrix $C$ met spoor $t$ gelijvormig is aan $C' + D'$, waarbij $C'$ een companion-matrix met spoor nul is en $D'$ een diagonale matrix met spoor $t$.
2. Decompositie tot een Diagonale Matrix: De auteurs introduceren het concept van een "$m$-nil-clean decompositie tot een diagonale matrix $D_0$". Dit houdt in dat er idempotenten en een nilpotente matrix worden gevonden zodanig dat $C = \sum E_i + N - D_0$.
3. Partitionering en Constructie van de Nilpotente Matrix: Om de nilpotentie-index van $N$ te beheersen, definiëren de auteurs "goede partities" en "triviale partities" van de integer $n-1$.
   • Een goede partitie van $n-1 = d_1 + \dots + d_r$ vereist dat $d_i > 1$ voor $i \ge 2$.
   • Een triviale partitie is $n-1 = d_1$.
   • Nilpotente matrices $N$ worden geconstrueerd op basis van deze partities met behulp van blokstructuren bestaande uit onder-triangulaire Jordan-cellen ($J_k$) en specifieke nul-rij beperkingen. Deze constructie zorgt ervoor dat de nilpotentie-index van $N$ begrensd wordt door $\max(d_1+1, d_2, \dots, d_r)$ voor goede partities, of $n-1$ voor triviale partities.
4. Sporen-matching (Trace Matching): De auteurs construeren specifieke idempotente matrices (verwezen als "severance-matrices" en diagonale idempotenten) om te waarborgen dat de som van hun sporen de noodzakelijke reeks waarden kan dekken om het spoor van de doelmatrix $C$ te matchen. Door de diagonale elementen van deze idempotenten aan te passen, tonen zij aan dat de verzameling mogelijke sporen voor $\sum E_i$ een aaneengesloten interval van integers modulo $p$ vormt.
5. Synthese: Door de sporen-matching-capaciteit te combineren met de structurele decompositie tot een diagonale matrix, en het fitting-lemma toe te passen, bewijzen de auteurs de existentie van de exacte $m$-nil-clean decompositie zonder de resterende diagonale term.

Belangrijkste Bijdragen en Resultaten
Het artikel stelt de volgende hoofdstelling vast (Theorem 3.3):

Laat $F$ een lichaam zijn van positieve karakteristiek $p$, en laat $m, n$ positieve integers zijn met $m \ge 2$ en $n \le p \le mn - 1$. Voor elke $n \times n$ niet-derogatoire matrix $A \in M_n(F)$ met een spoor in $\{k \cdot 1_F \mid k \in \{0, 1, \dots, p-1\}\}$, bestaan er $m$ idempotente matrices $E_1, \dots, E_m$ en een nilpotente matrix $N$ zodanig dat:
$$A = E_1 + E_2 + \dots + E_m + N$$
waarbij $N^k = 0$. De bovengrens $k$ op de nilpotentie-index hangt af van de relatie tussen $n, m, p$ en de pariteit van $n$:

• Geval 1: Als $p \in \{nm-1, nm-2\}$, dan is $k = n$.
• Geval 2: Als $p = nm-3$, dan is $k = n-1$.
• Geval 3: Anders, laat $r = \lfloor \frac{nm-p}{2} \rfloor$.
  • Als $n$ even is, dan is $k = \max(2, 1 + \lfloor \frac{n-1}{r} \rfloor)$.
  • Als $n$ oneven is, dan is $k = \max(3, 1 + \lfloor \frac{n-1}{r} \rfloor)$.

Daarnaast biedt het artikel een specifiek resultaat voor het geval waar $n > p$ (Remark 3.4). In dit scenario, bij het instellen van $m=2$, is elke dergelijke niet-derogatoire matrix $A$ de som van twee idempotente matrices en:

• Een kwadraten-nul matrix ($N^2=0$) als $n$ even is.
• Een matrix met een nilpotentie-index van maximaal 3 ($N^3=0$) als $n$ oneven is.

Betekenis en Claims
Het artikel positioneert zichzelf als een uitbreiding van de bestaande literatuur over nil-clean en clean decomposities. Het citeert eerder werk door Nicholson, Diesl en anderen met betrekking tot nil-clean matrices over divisieringen en eindige lichamen. De auteurs merken op dat terwijl eerder werk de existentie van nil-clean decomposities (som van één idempotent en één nilpotente matrix) of grenzen aan nilpotentie-indices vaststelde (bijv. index $\le 4$ over $F_2$), dit werk het concept generaliseert naar $m$-nil-clean decomposities voor niet-derogatoire matrices over lichamen van willekeurige positieve karakteristiek.

De geclaimde betekenis is de precieze bepaling van de nilpotentie-index bovengrens voor deze decomposities. De auteurs demonstreren dat door zorgvuldig de partitie van $n-1$ en de structuur van de idempotenten te selecteren, men de nilpotentie-index van de resterende matrix $N$ aanzienlijk kan verlagen ten opzichte van de triviale grens van $n$. De resultaten bieden een volledige karakterisering voor niet-derogatoire matrices onder de gespecificeerde spoor- en karakteristiekbeperkingen, waarbij scherpere grenzen worden geboden dan voorheen beschikbaar voor algemene matrices in deze settings. Het artikel claimt niet het probleem voor alle matrices op te lossen (alleen voor niet-derogatoire matrices) of voor alle lichaamskarakteristieken zonder de $n \le p \le mn-1$ beperking, waarmee het een bescheiden reikwijdte behoudt die gericht is op de structurele eigenschappen van companion-matrices.