(Positive) Quadratic Determinantal Representations of Quartic Curves and the Robinson Polynomial

Sintesi Tecnica di "Positive Quadratic Determinantal Representations of Quartic Curves and the Robinson Polynomial"

Enunciato del Problema
Il saggio affronta l'esistenza di rappresentazioni determinanti quadratiche positive per polinomi omogenei reali non negativi. Nello specifico, dato un polinomio omogeneo $F \in \mathbb{R}[x_0, x_1, x_2]$ di grado $2d$, gli autori indagano se $F$ possa essere espresso come il determinante di una matrice simmetrica $d \times d$ con voci che sono polinomi omogenei quadratici, tale che $M(a)$ sia semidefinita positiva per ogni $a \in \mathbb{R}^3$.

Sebbene l'esistenza di tali rappresentazioni implichi la non negatività, il caso inverso è una questione aperta di lunga data per $d=3$ (polinomi di grado 6); Buckley e Šivic [BŠ20] hanno ipotizzato che la risposta sia negativa, proponendo il polinomio di Robinson $R$ (un particolare sestico non negativo) come controesempio. Inoltre, era noto da Quarez [Qua15] che in grado 4 (quartiche) esistono controesempi, ma la natura geometrica di tali controesempi non era stata pienamente caratterizzata.

Metodologia
Gli autori impiegano una combinazione di geometria algebrica, teoria degli sciami e algebra computazionale per analizzare la struttura delle rappresentazioni determinanti.

1. Inquadramento Teorico-Sciame (Sheaf-Theoretic Framework): Il saggio utilizza la corrispondenza tra rappresentazioni determinanti e sciami coerenti sulla curva $X = V(F)$. Una rappresentazione quadratica corrisponde a un fibrato lineare $L$ su $X$ che soddisfa specifiche condizioni coomologiche (specificamente legate ai punti di 2-torsione nel gruppo di Picard).
2. Analisi delle Singolarità (Polinomio di Robinson): Per il polinomio di Robinson, gli autori analizzano le singolarità del suo insieme di zeri $X$. Essi stabiliscono che $X$ possiede dieci punti singolari reali e che la sua normalizzazione è una curva di genere 0 con parte reale vuota. Calcolano il gruppo di Picard $\text{Pic}(X)$, mostrando che esso contiene un grande sottogruppo di 2-torsione isomorfo a $(\mathbb{Z}/2\mathbb{Z})^{10}$.
3. Classificazione dei Tipi Rappresentanti: Attraverso il calcolo esplicito delle risoluzioni libere di tutti i 1024 punti di 2-torsione in $\text{Pic}(X)$, gli autori classificano i possibili "tipi rappresentanti" (matrici con specifici pattern di grado). Dimostrano che, sebbene esistano rappresentazioni determinanti, nessuna delle tipologie corrispondenti a voci puramente quadratiche produce una matrice semidefinita positiva.
4. Geometria delle Quartiche Lisce: Per le quartiche ternarie positive lisce ($d=2$), gli autori utilizzano la teoria delle caratteristiche theta e dei complessi di Steiner sulla varietà di Jacobiano $J(C)$. Relazionano le rappresentazioni quadratiche alle curve di contatto di grado $2d-2$ (coniche) e impiegano un adattamento costruttivo dell'algoritmo di Dixon.
5. Struttura Reale e Condizioni di Realtà: Gli autori distinguono tra classi di divisori "reali" e "fortemente reali" sul Jacobiano. Provano che per una quartica positiva liscia esistono punti di 2-torsione fortemente reali che soddisfano le necessarie condizioni coomologiche per generare una rappresentazione quadratica. Dimostrano inoltre che la matrice risultante è definita positiva analizzando i tipi topologici degli insiemi di zeri reali delle coniche di contatto coinvolte.

Contributi Chiave e Risultati

• Teorema 1.1 (Inesistenza per il Polinomio di Robinson): Gli autori dimostrano che il polinomio di Robinson $R$ non ammette una rappresentazione determinante quadratica positiva. Ciò conferma la congettura di Buckley e Šivic. La prova si basa sul fatto che una tale rappresentazione richiederebbe un punto di 2-torsione in $\text{Pic}(X)$ corrispondente a un particolare fibrato lineare, ma un'analisi esaustiva di tutti tali fibrati rivela che nessuna matrice risultante è semidefinita positiva ovunque.
• Teorema 1.2 (Esistenza per le Quartiche Lisce): Gli autori dimostrano che ogni quartica ternaria positiva liscia ammette una rappresentazione determinante quadratica positiva. Questo risultato è significativo perché stabilisce che i controesempi noti alla congettura generale (da Quarez) devono necessariamente definire curve piane singolari.
• Algoritmo Costruttivo: Il saggio fornisce un metodo costruttivo (Algoritmo 3.8 e Teorema 3.26) per generare una rappresentazione quadratica positiva per una quartica positiva liscia, data una rappresentazione determinante lineare reale. Ciò comporta il calcolo della matrice bitangente, l'identificazione di un complesso di Steiner specifico e l'applicazione di un cambiamento di base per derivare la matrice quadratica $Q$.
• Classificazione dei Tipi Rappresentanti: Il lavoro fornisce una classificazione dettagliata dei tipi rappresentanti per il polinomio di Robinson, mostrando che, sebbene esistano rappresentazioni quadratiche in un senso più ampio (con gradi misti), quelle strettamente quadratiche falliscono la condizione di positività.

Significatività e Rivendicazioni
Il saggio sostiene di risolvere la specifica questione riguardante il polinomio di Robinson, fornendo una risposta negativa definitiva all'esistenza di una rappresentazione quadratica positiva per questo specifico controesempio.

Per quanto riguarda il caso generale, il saggio stabilisce un confine geometrico netto: il fallimento delle rappresentazioni determinanti quadratiche positive è intrinsecamente legato alla singolarità della curva. Per la classe delle quartiche ternarie positive lisce, gli autori provano che tali rappresentazioni esistono sempre, caratterizzando così il comportamento "buono" di questo specifico grado.

Gli autori concludono con una congettura modesta (Congettura 4.1) secondo cui l'insieme delle forme di grado $2d$ non negative che ammettono una rappresentazione quadratica positiva è denso nell'insieme di tutte le forme non negative di grado $2d$ (rispetto alla topologia euclidea). Notano che l'insieme di tali forme contiene un intorno aperto (dimostrato perturbando la somma di quadrati), ma l'estensione di tale insieme per gradi superiori rimane una questione aperta. Il saggio non pretende di risolvere il caso generale per $d \ge 3$ o per curve singolari di gradi superiori, ma delinea le condizioni precise sotto le quali la rappresentazione esiste per le quartiche e fallisce per il caso specifico del sestico.