Matrices over finite fields of odd characteristic as sums of diagonalizable and square-zero matrices

Probleemstelling

Het artikel onderzoekt de decompositie van vierkante matrices $A$ over een eindig veld $\mathbb{F}$ met oneven karakteristiek. De centrale vraag is of elke matrix $A$ kan worden geschreven als de som van een diagonaliseerbare matrix $D$ en een kwadraat-nul matrix $M$ (waarvoor $M^2 = 0$).

Dit probleem is een verfijning van eerdere vragen gesteld door Breaz (2018), die vroeg of voor voldoende grote $n$ en een veld met oneven orde $q$, elke matrix $A$ kan worden geschreven als $A = E + M$, waarbij $E$ een $q$-potente matrix is ($E^q = E$) en $M^2 = 0$. Aangezien diagonaliseerbare matrices over $\mathbb{F}_q$ voldoen aan $D^q = D$, is de vraag equivalent aan het vinden van een decompositie $A = D + M$.

Methodologie

De auteurs gebruiken een combinatie van lineaire algebra, de theorie van invariantiefactoren en constructieve bewijstechnieken:

1. Rationale Canonieke Vorm: Ze gebruiken het feit dat elke matrix gelijkaardig is aan een directe som van companion matrices van zijn invariantiefactoren. Hierdoor kunnen ze het probleem reduceren tot het analyseren van niet-derogatoire matrices (waar de minimale polynoom gelijk is aan de karakteristieke polynoom).
2. Constructieve Decompositie: Voor specifieke gevallen (vooral niet-derogatoire matrices van orde $n \geq 5$) construeren ze expliciet een matrix $M$ met $M^2 = 0$ zodanig dat $A + M$ diagonaliseerbaar is. Dit gebeurt door $A$ te transformeren naar een basis waarin de matrix een directe som van blokken wordt die voldoen aan een separabele polynoom (zoals $x(x-1)(x+1)$).
3. Gevallenanalyse: De bewijzen worden opgesplitst op basis van:
   • De grootte van het veld ($|\mathbb{F}| \geq 5$ versus $\mathbb{F} = \mathbb{F}_3$).
   • De orde van de matrix ($n$).
   • De spoor (trace) van de matrix.
   • De aard van de invariantiefactoren (specifiek irreducibele polynomen van graad 3 met niet-nul spoor).
4. Contradictie-bewijzen: Voor de tegenvoorbeelden in $\mathbb{F}_3$ gebruiken ze algebraïsche manipulaties van de vergelijkingen die gelden voor $D = A + M$ (waarbij $D^3=D$ en $M^2=0$) om aan te tonen dat $M$ noodzakelijkerwijs de nulmatrix moet zijn, wat een contradictie oplevert als $A$ niet diagonaliseerbaar is.

Belangrijkste Resultaten en Bijdragen

1. Velden met orde $q \geq 5$

• Hoofdstelling (Stelling 2.2): Voor elk eindig veld $\mathbb{F}$ met oneven karakteristiek en $|\mathbb{F}| \geq 5$, kan elke matrix $A \in M_n(\mathbb{F})$ worden geschreven als $A = D + M$, waarbij $D$ diagonaliseerbaar is en $M^2 = 0$.
• Consequentie: Dit beantwoordt de vraag van Breaz positief voor deze velden. Omdat $D^q = D$ voor diagonaliseerbare matrices over $\mathbb{F}_q$, geldt ook dat $A$ de som is van een $q$-potente matrix en een kwadraat-nul matrix.
• Techniek: Voor niet-derogatoire matrices van orde $n \geq 5$ wordt bewezen dat er een $M$ bestaat zodat $A+M$ diagonaliseerbaar is met eigenwaarden $\{0, u_{n-1}, -u_{n-1}\}$ (afhankelijk van de trace). Voor kleinere matrices ($n \leq 4$) wordt verwezen naar eerdere resultaten die ook gelden voor $q \geq 5$.

2. Het veld $\mathbb{F}_3$ (Orde 3)

Het geval $\mathbb{F}_3$ is complexer en levert tegenvoorbeelden op.

• Positieve resultaten:
  • Niet-derogatoire matrices van orde $n \geq 5$ kunnen altijd worden g分解 (Propositie 2.1 en 3.1).
  • Als de eerste invariantiefactor van een matrix $A$ niet een irreducibele polynoom van graad 3 met niet-nul spoor is, dan bestaat er een decompositie $A = D + M$ (Corollarium 3.4).
• Negatieve resultaten (Tegenvoorbeelden):
  • Propositie 3.5: Matrices die gelijkaardig zijn aan een directe som van companion matrices die geassocieerd zijn met dezelfde irreducibele polynoom van graad 3 met niet-nul spoor (er zijn er zes in $\mathbb{F}_3$), kunnen niet worden geschreven als $D + M$ met $D^3=D$ en $M^2=0$.
  • Dit geldt voor elke orde $n = 3k$ (met $k \geq 1$).
  • Conclusie: De vraag van Breaz is voor $\mathbb{F}_3$ onwaar. Er bestaan tegenvoorbeelden voor elke orde $n$ die een veelvoud is van 3.

3. Samenvatting van de classificatie

• $q \geq 5$: Alle matrices zijn decomposeerbaar.
• $q = 3$: Alle matrices zijn decomposeerbaar, behalve die welke een "slechte" eerste invariantiefactor hebben (irreducibel, graad 3, niet-nul spoor).

Significantie

1. Volledige oplossing van een open vraag: Het artikel lost volledig de vraag op die door Breaz in 2018 werd gesteld over de decompositie van matrices over velden met oneven orde. Het maakt een scherpe scheidslijn tussen velden met $q \geq 5$ en $q=3$.
2. Nuance in de theorie: Het toont aan dat de grootte van het veld cruciaal is. Hoewel de eigenschap "elke matrix is som van een potent en een nilpotent" algemeen geldt, is de specifieke eis dat de potent matrix diagonaliseerbaar is (en dus $D^q=D$) niet altijd haalbaar voor kleine velden zoals $\mathbb{F}_3$.
3. Constructieve bewijzen: De auteurs leveren expliciete constructies voor de matrix $M$, wat inzicht geeft in de structuur van deze decomposities.
4. Toekomstig onderzoek: Het artikel sluit af met vragen voor velden met karakteristiek 2. Hoewel bekend is dat matrices over $\mathbb{F}_2$ sommen zijn van idempotente en nilpotente matrices, is de decompositie in een diagonaliseerbare en een kwadraat-nul matrix niet altijd mogelijk (zoals aangetoond door Ster en Shitov). De auteurs vragen zich af of dit ook geldt voor velden met karakteristiek 2 en orde $\geq 4$.

Kortom, dit artikel biedt een definitief antwoord op de decomposeerbaarheid van matrices over eindige velden met oneven karakteristiek, waarbij het veld $\mathbb{F}_3$ als een uitzonderlijk geval met specifieke obstakels wordt geïdentificeerd.