The trace Cayley-Hamilton theorem

Sintesi Tecnica: Il Teorema di Cayley-Hamilton Tracciato

Autore: Darij Grinberg
Data: 14 Aprile 2026
Argomento: Algebra Lineare su Anelli Commutativi, Polinomi Caratteristici, Tracce e Matrici Adjugate.

---

1. Il Problema e il Contesto

Il paper si concentra su una generalizzazione meno nota del celebre Teorema di Cayley-Hamilton. Mentre il teorema classico afferma che una matrice quadrata $A$ annulla il suo polinomio caratteristico ($\chi_A(A) = 0$), l'autore indaga una relazione che coinvolge la traccia delle potenze della matrice.

Il problema centrale è dimostrare e analizzare il Teorema di Cayley-Hamilton Tracciato (Trace Cayley-Hamilton Theorem), che stabilisce una relazione ricorsiva tra i coefficienti del polinomio caratteristico e le tracce delle potenze di $A$.

Sia $K$ un anello commutativo con unità e $A \in K^{n \times n}$. Se il polinomio caratteristico è definito come $\chi_A(t) = \det(tI_n - A) = \sum_{i=0}^n c_{n-i} t^i$, il teorema afferma che per ogni $k \in \mathbb{N}$:
$$k c_k + \sum_{i=1}^k \text{Tr}(A^i) c_{k-i} = 0$$
(dove si pone $c_j = 0$ se $j < 0$).

Sebbene questo risultato fosse noto in contesti specifici (ad esempio su campi o tramite identità universali), mancava una trattazione espositiva completa e una dimostrazione diretta che non facesse ricorso agli autovalori, specialmente per anelli commutativi arbitrari.

2. Metodologia

L'autore adotta un approccio puramente algebrico che evita l'uso di autovalori, rendendo i risultati validi su qualsiasi anello commutativo $K$. La metodologia si basa su due pilastri principali:

1. Espansione della Matrice Adjugata:
   L'idea chiave è espandere la matrice adjugata di $(tI_n - A)$ come un polinomio in $t$ a coefficienti matriciali:
   $$\text{adj}(tI_n - A) = \sum_{k=0}^{n-1} t^k D_k$$
   dove $D_k \in K^{n \times n}$. Sfruttando l'identità fondamentale $(tI_n - A)\text{adj}(tI_n - A) = \chi_A(t)I_n$, l'autore deriva relazioni ricorsive tra i coefficienti $c_i$ del polinomio caratteristico e le matrici $D_k$.

2. La Strategia "$tI_n + A$" (Deformazione):
   Per dimostrare identità su determinanti e adjugate che potrebbero non valere se il determinante è un divisore dello zero, l'autore utilizza una tecnica potente: sostituire la matrice $A$ con la matrice polinomiale $tI_n + A$ (o $tI_n - A$).

   • Vantaggio: Il determinante $\det(tI_n + A)$ è un polinomio monico in $t$, quindi è un elemento regolare (non divisore di zero) nell'anello dei polinomi $K[t]$.
   • Procedura: Si dimostrano le identità per la matrice "deformata" $tI_n + A$ (dove è possibile cancellare il determinante), e successivamente si applica l'omomorfismo di valutazione $\varepsilon: K[t] \to K$ (che invia $t \mapsto 0$) per recuperare il risultato per la matrice originale $A$.

3. Derivate e Tracce:
   Viene introdotta una connessione fondamentale tra la derivata del polinomio caratteristico e la traccia della matrice adjugata:
   $$\frac{d}{dt} \chi_A(t) = \text{Tr}(\text{adj}(tI_n - A))$$
   Questa identità, combinata con l'espansione polinomiale, permette di collegare direttamente i coefficienti $c_k$ alle tracce $\text{Tr}(A^i)$.

3. Contributi Chiave e Risultati

A. Dimostrazione del Teorema di Cayley-Hamilton Tracciato

L'autore fornisce una dimostrazione nuova e diretta del teorema principale (Teorema 2.6).

• Si dimostra che la derivata di $\chi_A$ è la traccia di $\text{adj}(tI_n - A)$.
• Confrontando i coefficienti dell'espansione polinomiale di $\text{Tr}(\text{adj}(tI_n - A))$ con la derivata di $\chi_A$, si ottiene la relazione ricorsiva richiesta.
• Questo approccio unifica la dimostrazione del teorema classico di Cayley-Hamilton e della sua versione "tracciata".

B. Criteri di Nilpotenza (Sezione 4)

Il teorema tracciato viene applicato per stabilire criteri di nilpotenza:

• Se $\text{Tr}(A^i) = 0$ per ogni $i \in \{1, \dots, n\}$, allora $n! A^n = 0$.
• Se $K$ è un'algebra su $\mathbb{Q}$ (cioè contiene i razionali), allora $A^n = 0$ e $\chi_A(t) = t^n$.
• Viene anche dimostrato il viceversa: se $\chi_A(t) = t^n$, allora $\text{Tr}(A^i) = 0$ per ogni $i \ge 1$.

C. Proprietà Avanzate della Matrice Adjugata (Sezione 5)

La sezione 5 è dedicata a una serie di risultati sulle matrici adjugate, dimostrati prevalentemente tramite la strategia "$tI_n + A$":

• Functorialità: Le proprietà di omomorfismo per determinanti e adjugate.
• Prodotto: $\text{adj}(AB) = \text{adj}(B)\text{adj}(A)$.
• Adjugata di un'Adjugata: $\text{adj}(\text{adj}(A)) = (\det A)^{n-2} A$ (per $n \ge 2$).
• Polinomialità: L'adjugata di $A$ è un polinomio in $A$ con coefficienti scalari dipendenti dai coefficienti di $\chi_A$.
• Teorema di Jacobi: Una formula per i minori dell'adjugata in termini dei minori di $A$.
• Determinanti di Matrici a Blocchi: Nuove formule per il determinante di matrici a blocchi $2 \times 2$ con blocchi che commutano, generalizzando il teorema di Schur.
• Traccia dell'Adjugata: $\text{Tr}(\text{adj}(A)) = (-1)^{n-1} c_{n-1}$, ovvero la traccia dell'adjugata è (a meno di segno) il coefficiente di $t$ nel polinomio caratteristico.

D. Osservazioni Finali (Sezione 6)

Il paper conclude con brevi accenni ad altri risultati sulle tracce:

• Un teorema di Almkvist su matrici nilpotenti su anelli commutativi: se $A^{k+1}=0$, allora $(\text{Tr} A)^{nk+1} = 0$.
• La proprietà $\text{Tr}(A^p) = (\text{Tr} A)^p$ in caratteristica $p$.

4. Significato e Impatto

• Accessibilità: Il paper rende accessibile un risultato non banale (il teorema tracciato) a un pubblico più ampio, offrendo una dimostrazione autocontenuta che non richiede conoscenze avanzate di algebra multilineare o teoria degli autovalori.
• Robustezza Algebrica: Dimostrando i risultati su anelli commutativi arbitrari (senza assumere che $K$ sia un campo o che gli autovalori esistano), l'autore rafforza la validità di queste identità in contesti più generali, come la geometria algebrica o la teoria dei numeri.
• Metodologia Unificante: La strategia "$tI_n + A$" è presentata come uno strumento potente e versatile per dimostrare identità matriciali, superando le limitazioni dei divisori dello zero. Questo approccio è descritto come familiare ai geometri algebrici ma raramente esposto nei testi di algebra lineare pura.
• Nuove Dimostrazioni: L'autore sottolinea che alcune delle dimostrazioni fornite (in particolare per il teorema tracciato e per le proprietà dell'adjugata) sono nuove o almeno non standard nella letteratura esistente.

In sintesi, il lavoro di Grinberg è un contributo espositivo di alta qualità che chiarisce le connessioni profonde tra polinomi caratteristici, tracce e matrici adjugate, fornendo strumenti tecnici eleganti per la manipolazione algebrica delle matrici.