Nonnegative Polynomials and Moment Problems on Algebraic Curves

1. Il Problema di Ricerca

Il lavoro si inserisce nel campo della geometria algebrica reale e dell'analisi funzionale, affrontando due problemi fondamentali:

1. Struttura facciale dei coni di polinomi non negativi: Sebbene il cono dei polinomi non negativi su una varietà reale $X$ (denotato $P_{X,2d}$) sia un oggetto centrale, la sua struttura facciale (in particolare le sue "estremità" o extreme rays) è completamente compresa solo in casi molto specifici (es. polinomi univariati, quadrati su $\mathbb{R}^n$, quartiche su $\mathbb{R}^2$).
2. Problema dei momenti truncato: Data una forma lineare $L$ su polinomi di grado limitato, determinare se $L$ può essere rappresentata come integrazione rispetto a una misura di Borel supportata su un insieme reale $X(\mathbb{R})$. Questo è strettamente legato al numero di Carathéodory del cono duale dei momenti.

L'obiettivo principale è fornire una descrizione sistematica della struttura facciale di questi coni su curve proiettive reali lisce, con un focus particolare sulle curve di genere uno (curve ellittiche), e applicare questi risultati per risolvere il problema dei momenti su curve cubiche affine.

2. Metodologia e Strumenti Teorici

Gli autori combinano tecniche di geometria algebrica reale, teoria dei coni convessi e geometria delle curve algebriche:

• Corrispondenza Faccia-Divisore: Viene stabilita una dualità fondamentale tra le facce del cono dei polinomi non negativi $P_{X,2}$ (quadratici) e i divisori effettivi totalmente reali sulla curva $X$.
  • Ad ogni faccia $F$ (di dimensione positiva) è associato un unico divisore totale reale $div(F)$, definito come la metà della parte reale del divisore delle zeri di qualsiasi quadrica nell'interno relativo di $F$.
  • Viene dimostrata una connessione di Galois tra l'insieme delle facce e l'insieme dei divisori totali reali.
• Geometria delle Curve Ellittiche e Jacobiana: Per le curve di genere $g=1$, gli autori utilizzano la struttura del gruppo di Jacobiano $J(X)$ e l'azione dell'involuzione complessa coniugata $\sigma$.
  • Viene introdotto un mapping dalle estremità (extreme rays) del cono non negativo ai punti di 2-torsione della Jacobiana reale $J(\mathbb{R})$.
  • Si distingue tra punti di 2-torsione "positivi" (che ammettono una rappresentazione tramite funzioni razionali non negative) e quelli non positivi.
• Dualità Conica e Teorema di Flat Extension: Il cono duale $P^\vee$ (cono dei momenti) è analizzato per determinare il numero di Carathéodory. Per il caso affine, si utilizza il criterio di "flat extension" (estensione piatta) e si introduce una generalizzazione chiamata "quasi-flat extension" (estensione quasi piatta).

3. Contributi Chiave e Risultati Principali

A. Struttura Facciale su Curve Proiettive (Teoremi A e B)

• Dualità Divisori-Facce: È stato dimostrato che la struttura facciale del cono $P_{X,2}$ è completamente determinata dai divisori totali reali. Una faccia è l'insieme di tutte le forme quadriche che si annullano con molteplicità almeno doppia su un dato divisore totale reale.
• Caratterizzazione delle Estremità (Extreme Rays): Per curve di genere $g$, le estremità del cono sono caratterizzate dai punti di 2-torsione positivi nella Jacobiana $J(\mathbb{R})^+_2$.
  • Il numero di tali punti è isomorfo a $(\mathbb{Z}/2\mathbb{Z})^g$.
  • Questo risultato implica l'esistenza di polinomi non negativi che non sono somme di quadrati (SOS) per $g \ge 1$, fornendo una caratterizzazione esplicita di tali forme.

B. Struttura Completa per Curve di Genere Uno (Teorema 5.1.2)

Per le curve ellittiche normali (genere 1), gli autori forniscono la prima descrizione completa della struttura facciale di un cono di polinomi non negativi oltre i casi classici di Hilbert.

• Le facce sono classificate in base alla topologia del luogo reale $X(\mathbb{R})$ (connesso o sconnesso) e ai punti di 2-torsione della Jacobiana.
• Viene mostrato che tutte le estremità sono generate da forme con zeri reali massimali.

C. Numeri di Carathéodory e Topologia (Teorema C)

Uno dei risultati più sorprendenti riguarda il numero di Carathéodory $C_{X,2}$ del cono duale dei momenti.

• Il numero di Carathéodory non dipende solo dal grado o dalla dimensione, ma dipende criticamente dalla topologia del luogo reale $X(\mathbb{R})$.
  • Se $X(\mathbb{R})$ è connesso: $C_{X,2} = \deg(X) = n + 1$.
  • Se $X(\mathbb{R})$ è sconnesso: $C_{X,2} = \deg(X) + 1 = n + 2$.
• Questo risolve una questione aperta nella letteratura precedente, mostrando che la connettività del supporto reale influenza la complessità delle regole di quadratura necessarie.

D. Problema dei Momenti su Curve Cubiche Affini (Teoremi D, 7.2.2, 7.2.4)

Applicando i risultati proiettivi al caso affine (curve cubiche piane lisce), gli autori risolvono il problema dei momenti truncato:

• Caso Connesso (un punto all'infinito reale): Il problema è risolto dal classico criterio di flat extension (estensione piatta). Il numero di Carathéodory affine coincide con quello proiettivo ($3d$).
• Caso Sconnesso o con più punti all'infinito: Il criterio di flat extension standard non è sufficiente. Gli autori introducono il concetto di "almost flat extension" (estensione quasi piatta), dove il rango della matrice dei momenti può aumentare di 1.
  • In questo caso, il numero di Carathéodory affine è $3d + 1$.
  • Viene dimostrato che la condizione di flat extension non è necessaria per la rappresentabilità se la topologia della curva è complessa (es. due componenti connesse).

4. Significato e Implicazioni

1. Avanzamento nella Geometria Algebrica Reale: Il lavoro fornisce la prima descrizione completa della struttura facciale per un'intera classe di varietà non razionali (curve ellittiche), superando i limiti dei casi univariati o delle forme quadratiche su $\mathbb{R}^n$.
2. Distinzione SOS vs Non Negativi: Offre una caratterizzazione geometrica precisa (tramite la Jacobiana) di quando un polinomio non negativo non è una somma di quadrati, un problema centrale nella teoria dell'ottimizzazione polinomiale.
3. Impatto sull'Analisi Numerica e Quadratura: La dipendenza del numero di Carathéodory dalla topologia del luogo reale ha implicazioni dirette per la costruzione di regole di quadratura ottimali su curve. Mostra che la connettività del dominio di integrazione è un fattore critico per la complessità computazionale.
4. Risoluzione del Problema dei Momenti Affine: Fornisce criteri necessari e sufficienti (tramite estensioni quasi piatte) per il problema dei momenti su curve cubiche, un caso che era stato parzialmente studiato solo per curve razionali. Questo completa il quadro per le curve non razionali lisce.

In sintesi, il paper stabilisce un ponte profondo tra la geometria algebrica (divisori, Jacobiana, torsione) e l'analisi convessa (coni, facce, numeri di Carathéodory), offrendo strumenti nuovi per analizzare la positività e la rappresentazione integrale su curve algebriche reali.