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

Resumo Técnico de "Representações Determinantais Quadráticas Positivas de Curvas Quarticas e o Polinômio de Robinson"

Enunciado do Problema
O artigo aborda a existência de representações determinantais quadráticas positivas para polinômios homogêneos reais não negativos. Especificamente, dado um polinômio homogêneo $F \in \mathbb{R}[x_0, x_1, x_2]$ de grau $2d$, os autores investigam se $F$ pode ser expresso como o determinante de uma matriz simétrica $d \times d$ com entradas que são polinômios homogêneos quadráticos, de tal modo que $M(a)$ seja semidefinida positiva para todo $a \in \mathbb{R}^3$.

Embora a existência de tais representações implique a não negatividade, o inverso é uma questão aberta de longa data para $d=3$ (polinômios de grau 6); Buckley e Šivic [BŠ20] conjecturaram que a resposta é negativa, propondo o polinômio de Robinson $R$ (um polinômio séxtico não negativo específico) como um contraexemplo. Além disso, já era conhecido por Quarez [Qua15] que, no grau 4 (quárticas), existem contraexemplos, mas a natureza geométrica desses contraexemplos não havia sido totalmente caracterizada.

Metodologia
Os autores empregam uma combinação de geometria algébrica, teoria de feixes (sheaf theory) e álgebra computacional para analisar a estrutura das representações determinantais.

1. Estrutura Teórica de Feixes (Sheaf-Theoretic Framework): O artigo utiliza a correspondência entre representações determinantais e feixes coerentes na curva $X = V(F)$. Uma representação quadrática corresponde a um feixe de linhas (line bundle) $L$ em $X$ que satisfaz condições coerológicas específicas (especificamente relacionadas a pontos de 2-torção no grupo de Picard).
2. Análise de Singularidades (Polinômio de Robinson): Para o polinômio de Robinson, os autores analisam as singularidades de seu conjunto de zeros $X$. Eles estabelecem que $X$ possui dez pontos singulares reais e que sua normalização é uma curva de gênero 0 com parte real vazia. Eles computam o grupo de Picard $\text{Pic}(X)$, mostrando que ele contém um grande subgrupo de 2-torção isomorfo a $(\mathbb{Z}/2\mathbb{Z})^{10}$.
3. Classificação de Tipos de Representação: Ao computar explicitamente as resoluções livres de todos os 1024 pontos de 2-torção em $\text{Pic}(X)$, os autores classificam os possíveis "tipos de representação" (matrizes com padrões de grau específicos). Eles demonstram que, embora existam representações determinantais, nenhuma dos tipos correspondentes a entradas puramente quadráticas resulta em uma matriz semidefinida positiva.
4. Geometria de Quarticas Regulares: Para quarticas ternárias positivas regulares ($d=2$), os autores utilizam a teoria de características de theta e complexos de Steiner no variedade de Jacobian $J(C)$. Eles relacionam representações quadráticas a curvas de contato de grau $2d-2$ (cônicas) e empregam uma adaptação construtiva do algoritmo de Dixon.
5. Estrutura Real e Condições de Realidade: Os autores distinguem entre classes de divisores "reais" e "fortemente reais" no Jacobian. Eles provam que, para uma quartica positiva regular, existem pontos de 2-torção fortemente reais que satisfazem as condições coerológicas necessárias para gerar uma representação quadrática. Eles provam adiante que a matriz resultante é definida positiva através da análise dos tipos topológicos dos conjuntos de zeros reais das cônicas de contato envolvidas.

Principais Contribuições e Resultados

• Teorema 1.1 (Não existência para o Polinômio de Robinson): Os autores provam que o polinômio de Robinson $R$ não admite uma representação determinante quadrática positiva. Isso confirma a conjectura de Buckley e Šivic. A prova baseia-se no fato de que qualquer tal representação exigiria um ponto de 2-torção em $\text{Pic}(X)$ correspondendo a um feixe de linhas específico, mas uma análise exaustiva de todos esses feixes revela que nenhuma matriz resultante é semidefinida positiva em todos os pontos.
• Teorema 1.2 (Existência para Quarticas Regulares): Os autores provam que toda quartica ternária positiva regular admite uma representação determinante quadrática positiva. Este resultado é significativo porque estabelece que os contraexemplos conhecidos à conjectura geral (de Quarez) devem necessariamente definir curvas planas singulares.
• Algoritmo Construtivo: O artigo fornece um método construtivo (Algoritmo 3.8 e Teorema 3.26) para gerar uma representação quadrática positiva para uma quartica positiva regular, dada uma representação determinante linear real. Isso envolve o cálculo da matriz bitangente, a identificação de um complexo de Steiner específico e a aplicação de uma mudança de base para derivar a matriz quadrática $Q$.
• Classificação de Tipos de Representação: O artigo fornece uma classificação detalhada dos tipos de representação para o polinômio de Robinson, mostrando que, embora existam representações quadráticas em um sentido mais amplo (com graus mistos), as estritamente quadráticas falham na condição de positividade.

Significância e Alegações
O artigo afirma resolver a questão específica sobre o polinômio de Robinson, fornecendo uma resposta negativa definitiva à existência de uma representação quadrática positiva para este contraexemplo específico.

Em relação ao caso geral, o artigo estabelece um limite geomético nítido: a falha das representações determinantes quadráticas positivas está intrinsecamente ligada à singularidade da curva. Para a classe de quarticas ternárias positivas regulares, os autores provam que tais representações sempre existem, caracterizando assim o comportamento "bom" deste grau específico.

Os autores concluem com uma conjectura modesta (Conjectura 4.1) de que o conjunto de formas não negativas de grau $2d$ que admitem uma representação quadrática positiva é denso no conjunto de todas as formas não negativas de grau $2d$ (com relação à topologia euclidiana). Eles observam que, embora o conjunto de tais formas contenha uma vizinhança aberta (demonstrada pela perturbação da soma de quadrados), a extensão deste conjunto para graus superiores permanece uma questão aberta. O artigo não pretende resolver o caso geral para $d \ge 3$ ou para curvas singulares de graus superiores, mas delineia as condições precisas sob as quais a representação existe para quarticas ou falha para o caso específico da séxtica.