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

Résumé technique de « Positive Quadratic Determinantal Representations of Quartic Curves and the Robinson Polynomial »

Énoncé du problème
L'article traite de l'existence de représentations déterminantales quadratiques positives pour les polynômes homogènes réels non négatifs. Plus précisément, étant donné un polynôme homogène $F \in \mathbb{R}[x_0, x_1, x_2]$ de degré $2d$, les auteurs étudient si $F$ peut être exprimé comme le déterminant d'une matrice symétrique $d \times d$ dont les entrées sont des polynômes homogènes quadratiques, de telle sorte que $M(a)$ soit semi-définie positive pour tout $a \in \mathbb{R}^3$.

Alors que l'existence de telles représentations implique la non-négativité, la réciproque est une question ouverte de longue date pour $d=3$ (polynômes de degré 6). Buckley et Šivic [BŠ20] ont conjecturé que la réponse est négative, proposant le polynôme de Robinson $R$ (un polynôme sextique non négatif spécifique) comme contre-exemple. De plus, il était déjà connu de Quarez [Qua15] que pour le degré 4 (quartiques), des contre-exemples existent, mais que la nature géométrique de ces contre-exemples n'était pas pleinement caractérisée.

Méthodologie
Les auteurs emploient une combinaison de géométrie algébrique, de théorie des faisceaux et d'algèbre computationnelle pour analyser la structure des représentations déterminantales.

1. Cadre théorique des faisceaux : L'article utilise la correspondance entre les représentations déterminantales et les faisceaux cohérents sur la courbe $X = V(F)$. Une représentation quadratique correspond à un fibré en lignes $L$ sur $X$ satisfaisant des conditions cohomologiques spécifiques (spécifiquement liées aux points de 2-torsion dans le groupe de Picard).
2. Analyse des singularités (Polynôme de Robinson) : Pour le polynôme de Robinson, les auteurs analysent les singularités de son ensemble de zéros $X$. Ils établissent que $X$ possède dix points singuliers réels et que sa normalisation est une courbe de genre 0 avec une partie réelle vide. Ils calculent le groupe de Picard $\text{Pic}(X)$, montrant qu'il contient un grand sous-groupe de 2-torsion isomorphe à $(\mathbb{Z}/2\mathbb{Z})^{10}$.
3. Classification des types de représentation : En calculant explicitement les résolutions libres de tous les 1024 points de 2-torsion dans $\text{Pic}(X)$, les auteurs classent les possibles « types de représentation » (matrices avec des schémas de degrés spécifiques). Ils démontrent que, bien que des représentations déterminantales existent, aucune des formes correspondant à des entrées purement quadratiques ne produit une matrice semi-définie positive.
4. Géométrie des quartiques lisses : Pour les quartiques ternaires positives lisses ($d=2$), les auteurs utilisent la théorie des caractéristiques de theta et des complexes de Steiner sur la variété jacobienne $J(C)$. Ils relient les représentations quadratiques aux courbes de contact de degré $2d-2$ (coniques) et emploient une adaptation constructive de l'algorithme de Dixon.
5. Structure réelle et conditions de réalité : Ils distinguent entre les classes de diviseurs « réelles » et « fortement réelles » sur la jacobienne. Ils prouvent que pour une quartique positive lisse, il existe des points de 2-torsion fortement réels qui satisfont les conditions cohomologiques nécessaires pour générer une représentation quadratique. Ils prount également que la matrice résultante est définie positive en analysant les types topologiques des ensembles de zéros réels des coniques de contact impliquées.

Contributions clés et résultats

• Théorème 1.1 (Non-existence pour le polynôme de Robinson) : Les auteurs prouvent que le polynôme de Robinson $R$ n'admet pas de représentation déterminantale quadratique positive. Cela confirme la conjecture de Buckley et Šivic. La preuve repose sur le fait qu'une telle représentation nécessiterait un point de 2-torsion dans $\text{Pic}(X)$ correspondant à un fibré en lignes spécifique, mais une analyse exhaustive de tous ces fibrés révèle qu'aucune matrice résultante n'est semi-définie positive partout.
• Théorème 1.2 (Existence pour les quartiques lisses) : Les auteurs prouvent que chaque quartique ternaire positive lisse admet une représentation déterminantale quadratique positive. Ce résultat est significatif car il établit que les contre-exemples connus à la conjecture générale (de Quarez) doivent nécessairement définir des courbes planes singulières.
• Algorithme constructif : L'article fournit une méthode constructive (Algorithme 3.8 et Théorème 3.26) pour générer une représentation quadratique positive pour une quartique positive lisse, étant donné une représentation déterminantale linéaire réelle. Cela implique le calcul de la matrice bitangente, l'identification d'un complexe de Steiner spécifique et l'application d'un changement de base pour dériver la matrice quadratique $Q$.
• Classification des types de représentation : L'article fournit une classification détaillée des types de représentation pour le polynôme de Robinson, montrant que, bien que des représentations quadratiques existent dans un sens plus large (avec des degrés mixtes), les formes strictement quadratiques échouent à la condition de positivité.

Signification et affirmations
L'article prétend résoudre la question spécifique du polynôme de Robinson, fournissant une réponse négative définitive à l'existence d'une représentation quadratique positive pour ce contre-exemple spécifique.

Concernant le cas général, l'article établit une frontière géométrique nette : l'échec des représentations déterminantales quadratiques positives est intrinsèquement lié à la singularité de la courbe. Pour la classe des quartiques lisses positives, les auteurs prouvent que de telles représentations existent toujours, caractérisant ainsi le comportement « favorable » de ce degré spécifique.

Les auteurs concluent par une conjecture modeste (Conjecture 4.1) selon laquelle l'ensemble des formes non négatives de degré $2d$ admettant une représentation quadratique positive est dense dans l'ensemble de toutes les formes non négatives de degré $2d$ (au sens de la topologie euclidienne). Ils notent que si l'ensemble de ces formes contient un voisinage ouvert (démontré par la perturbation d'une somme de carrés), l'étendue de cet ensemble pour des degrés plus élevés demeure une question ouverte. L'article ne prétend pas résoudre le cas général pour $d \ge 3$ ou pour les courbes singulières de degrés supérieurs, mais délimite les conditions précises sous lesquelles la représentation existe pour les quartiques et échoue pour le cas spécifique du sextique.