A double Sylvester determinant

Titolo: Un determinante di Sylvester doppio

Autore: Darij Grinberg
Data: 16 aprile 2026 (versione arXiv: 1901.11109v3)

---

1. Il Problema e il Contesto

Il lavoro si inserisce nella teoria classica dei determinanti e delle matrici composte, estendendo un risultato celebre noto come identità di Sylvester.

Siano $A$ e $B$ due matrici $(n+1) \times (n+1)$ a coefficienti in un anello commutativo $K$. Si consideri l'insieme $P_k$ di tutti i sottoinsiemi di $k$ elementi di $\{1, 2, \dots, n\}$. Per ogni sottoinsieme $I, J \in P_k$, si definisce $I^+ = I \cup \{n+1\}$ e $J^+ = J \cup \{n+1\}$.

L'oggetto centrale dello studio è una matrice quadrata $W$ di dimensioni $\binom{n}{k} \times \binom{n}{k}$, i cui elementi sono definiti come il prodotto di due minori:
$$W_{I,J} = \det(\text{sub}_{J^+}^{I^+} A) \cdot \det(\text{sub}_{J^+}^{I^+} B)$$
dove $\text{sub}_{J^+}^{I^+} A$ indica la sottomatrice di $A$ formata dalle righe in $I^+$ e dalle colonne in $J^+$. Una caratteristica cruciale è che tutti questi minori utilizzano necessariamente l'ultima riga e l'ultima colonna (l'indice $n+1$).

Il problema aperto riguarda la struttura algebrica del determinante di questa matrice composta, $\det(W)$. Mentre per una singola matrice $A$ esiste una formula nota (identità di Sylvester) che lega $\det(W_A)$ a $\det(A)$, il caso "doppio" con due matrici $A$ e $B$ è molto più complesso. In generale, $\det(W)$ è un polinomio irriducibile e intricato nelle variabili degli elementi di $A$ e $B$. L'obiettivo del paper è determinare se, sotto specifiche condizioni, $\det(W)$ ammetta fattori comuni significativi come $\det(A)$ o $\det(B)$.

2. Metodologia

L'autore adotta un approccio basato sull'algebra commutativa, evitando dimostrazioni puramente combinatorie o computazionali dirette. La strategia si articola nei seguenti punti:

• Riduzione a Domini a Fattorizzazione Unica (UFD): Per dimostrare le proprietà di divisibilità, l'autore lavora inizialmente nel caso "generico", considerando gli elementi delle matrici $A$ e $B$ come indeterminati distinti in un anello di polinomi su $\mathbb{Z}$. Poiché gli anelli di polinomi su $\mathbb{Z}$ sono UFD, si possono applicare potenti teoremi sulla fattorizzazione.
• Localizzazione: Viene utilizzata la localizzazione dell'anello rispetto a un sottoinsieme moltiplicativo (specificamente, le potenze dell'elemento $a_{n+1,n+1}$). Questo permette di lavorare in un dominio di integrità dove certi elementi diventano invertibili, semplificando le operazioni di riduzione delle matrici (es. eliminazione gaussiana simbolica).
• Proprietà dei Contenuti e Irreduttibilità: Si fa uso del concetto di "contenuto" di un polinomio (il massimo comun divisore dei coefficienti) e del fatto che il determinante di una matrice generica è un polinomio irriducibile. Questo è fondamentale per dimostrare che certi polinomi sono coprimi.
• Costruzione di Vettori Nul: Una parte centrale della dimostrazione (Lemma 3.9) consiste nella costruzione esplicita di un vettore non nullo $u$ tale che $Wu = 0$ in un opportuno anello quoziente. Questo implica che il determinante di $W$ si annulla in quel contesto, traducendosi in una relazione di divisibilità nell'anello originale.

3. Risultati Principali (Teoremi)

Il paper stabilisce due teoremi principali che generalizzano risultati precedenti (inclusi quelli di Olver e Grinberg):

Teorema 2.1 (Divisibilità per $\det A$):
Siano $A$ e $B$ matrici $(n+1) \times (n+1)$ tali che l'elemento nell'angolo in basso a destra di $B$ sia nullo ($b_{n+1,n+1} = 0$). Allora, il determinante della matrice $W$ è un multiplo del determinante di $A$:
$$\det(A) \mid \det(W)$$

Teorema 2.2 (Divisibilità per $\det A \cdot \det B$):
Se si rafforzano le ipotesi, richiedendo che anche l'elemento $a_{n+1,n+1}$ sia nullo ($a_{n+1,n+1} = 0$ e $b_{n+1,n+1} = 0$), allora il determinante di $W$ è un multiplo del prodotto dei determinanti di entrambe le matrici:
$$(\det A)(\det B) \mid \det(W)$$

Esempi e Connessioni:

• Il caso $k=1$ recupera la condensa pivotale di Chio e l'identità di Sylvester classica.
• Il caso $k=2$ con condizioni specifiche sugli elementi di bordo ($a_{n+1,i}=1$, ecc.) riproduce un risultato specifico studiato in relazione al problema degli $n$-corpi ([GriOlv18, Teorema 10]).

4. Significato e Contributi

• Generalizzazione: Il lavoro estende l'identità di Sylvester classica (che riguarda una singola matrice) a un contesto "doppio" che coinvolge il prodotto di minori di due matrici distinte.
• Struttura Algebrica Nascosta: Dimostra che, nonostante la complessità apparente di $\det(W)$, condizioni di annullamento sugli elementi di bordo ($a_{n+1,n+1}$ e $b_{n+1,n+1}$) rivelano una struttura di divisibilità profonda. Questo suggerisce che il determinante non è un polinomio arbitrario, ma possiede fattori strutturali legati alle matrici originali.
• Metodologia Indiretta: L'uso di anelli di polinomi generici e localizzazioni offre una via potente per dimostrare proprietà di divisibilità che sarebbero estremamente difficili da verificare tramite calcoli espliciti o induzione diretta, specialmente per $n$ e $k$ grandi.
• Limiti e Domande Aperte: L'autore nota che, sebbene la divisibilità sia provata, il quoziente $\frac{\det(W)}{\det(A)}$ (o il quoziente doppio) rimane un polinomio misterioso e complesso. Il paper solleva domande su come generalizzare questi risultati a matrici $(n+m) \times (n+m)$ che utilizzano le ultime $m$ righe e colonne, e sulla possibilità di trovare dimostrazioni più dirette che non richiedano l'uso di anelli di polinomi.

In sintesi, il paper fornisce un risultato teorico solido sulla struttura dei determinanti di matrici composte "doppie", collegando l'algebra lineare classica con tecniche avanzate di algebra commutativa, e ponendo le basi per future ricerche sulla natura esatta dei quozienti risultanti.