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

Resumen Técnico de "Representaciones Determinantales Cuadráticas Positivas de Curvas Cuárticas y el Polinomio de Robinson"

Planteamiento del Problema
El artículo aborda la existencia de representaciones determinantales cuadráticas positivas para polinomios reales no negativos. Específicamente, dado un polinomio homogéneo $F \in \mathbb{R}[x_0, x_1, x_2]$ de grado $2d$, los autores investigan si $F$ puede expresarse como el determinante de una matriz simétrica de $d \times d$ con entradas que son polinomios cuadráticos homogéneos, de tal manera que $M(a)$ sea semidefinida positiva para todo $a \in \mathbb{R}^3$.

Si bien la existencia de tales representaciones implica la no negatividad, el recíproco es una pregunta abierta de larga data para $d=3$ (polinomios de grado 6); Buckley y Šivic [BŠ20] conjecturaron que la respuesta es negativa, proponiendo el polinomio de Robinson $R$ (un sextico no negativo específico) como un contraejemplo. Además, se sabía por Quarez [Qua15] que en grado 4 (cuárticas), existen contraejemplos, pero la naturaleza geométrica de estos contraejemplos no había sido caracterizada completamente.

Metodología
Los autores emplean una combinación de geometría algebraica, teoría de haces y álgebra computacional para analizar la estructura de las representaciones determinantales.

1. Marco de la Teoría de Haces: El artículo utiliza la correspondencia entre las representaciones determinantales y los haces coherentes en la curva $X = V(F)$. Una representación cuadrática corresponde a un haz de líneas $L$ en $X$ que satisface condiciones cohomológicas específicas (específicamente relacionadas con puntos de 2-torsión en el grupo de Picard).
2. Análisis de Singularidades (Polinomio de Robinson): Para el polinomio de Robinson, los autores analizan las singularidades de su conjunto cero $X$. Establecen que $X$ tiene diez puntos singulares reales y que su normalización es una curva de género 0 con una parte real vacía. Computan el grupo de Picard $\text{Pic}(X)$, mostrando que contiene un gran subgrupo de 2-torsión isomórfico a $(\mathbb{Z}/2\mathbb{Z})^{10}$.
3. Clasificación de Tipos de Representación: Mediante el cálculo explícito de las resoluciones libres de todos los 1024 puntos de 2-torsión en $\text{Pic}(X)$, los autores clasifican los posibles "tipos de representación" (matrices con patrones de grado específicos). Demuestran que, si bien existen representaciones determinantales, ninguna de las clases correspondientes a entradas puramente cuadráticas produce una matriz semidefinida positiva.
4. Geometría de Cuárticas Suaves: Para las cuárticas ternarias positivas suaves ($d=2$), los autores utilizan la teoría de características theta y complejos de Steiner en la variedad jacobiana $J(C)$. Relacionan las representaciones cuadráticas con curvas de contacto de grado $2d-2$ (cónicas) y emplean una adaptación constructiva del algoritmo de Dixon.
5. Estructura Real y Condiciones de Realidad: Los autores distinguen entre clases de divisores "reales" y "fuertemente reales" en la variedad jacobiana. Prueban que para una cuártica positiva suave, existen puntos de 2-torsión fuertemente reales que satisfacen las condiciones cohomológicas necesarias para generar una representación cuadrática. Además, prueban que la matriz resultante es definida positiva mediante el análisis de los tipos topológicos de los conjuntos cero reales de las cónicas de contacto involucradas.

Contribuciones Clave y Resultados

• Teorema 1.1 (No existencia para el Polinomio de Robinson): Los autores prueban que el polinomio de Robinson $R$ no admite una representación determinante cuadrática positiva. Esto confirma la conjetura de Buckley y Šivic. La prueba se basa en el hecho de que cualquier tal representación requeriría un punto de 2-torsión en $\text{Pic}(X)$ correspondiente a un haz de líneas específico, pero un análisis exhaustivo de todos esos haces revela que ninguna matriz resultante es semidefinida positiva en todas partes.
• Teorema 1.2 (Existencia para Cuárticas Suaves): Los autores prueban que toda cuártica ternaria positiva suave admite una representación determinante cuadrática positiva. Este resultado es significativo porque establece que los contraejemplos conocidos a la conjetura general (de Quarez) deben definir necesariamente curvas planas singulares.
• Algoritmo Constructivo: El artículo proporciona un método constructivo (Algoritmo 3.8 y Teorema 3.26) para generar una representación cuadrática positiva para una cuártica positiva suave, dada una representación determinante lineal real. Esto implica computar la matriz bitangente, identificar un complejo de Steiner específico y aplicar un cambio de base para derivar la matriz cuadrática $Q$.
• Clasificación de Tipos de Representación: El artículo proporciona una clasificación detallada de los tipos de representación para el polinomio de Robinson, mostrando que, si bien existen representaciones cuadráticas en un sentido más amplio (con grados mixtos), las estrictamente cuadráticas fallan la condición de positividad.

Significado y Reivindicaciones
El artículo afirma resolver la cuestión específica sobre el polinomio de Robinson, proporcionando una respuesta negativa definitiva a la existencia de una representación cuadrática positiva para este contraejemplo específico.

Respecto al caso general, el artículo establece un límite geométrico nítido: el fallo de las representaciones cuadráticas positivas está intrínsecamente ligado a la singularidad de la curva. Para la clase de cuárticas positivas suaves, los autores prueban que tales representaciones siempre existen, caracterizando así el comportamiento "bueno" de este grado específico.

Los autores concluyen con una conjetura modesta (Conjetura 4.1) de que el conjunto de formas de grado $2d$ no negativas que admiten una representación cuadrática positiva es denso en el conjunto de todas las formas no negativas de grado $2d$ (con respecto a la topología euclídea). Observan que, si bien el conjunto de tales formas contiene un vecindad abierta (demostrado mediante la perturbación de la suma de cuadrados), el alcance de este conjunto para grados superiores sigue siendo una pregunta abierta. El artículo no pretende resolver el caso general para $d \ge 3$ o para curvas singulares de grados superiores, sino que delimita las condiciones precisas bajo las cuales la representación existe para las cuárticas y falla para el caso específico del sextico.