Stubborn Polynomials

Resumo Técnico de "Stubborn Polynomials" (Polinômios Obstinados)

Enunciado do Problema
O artigo investiga a relação entre polinômios não negativos e somas de quadrados (SOS) em variedades projetivas reais, um tópico central na geometria algébrica real. Enquanto Hilbert estabeleceu a existência de polinômios não negativos que não são SOS, e Artin resolveu o 17º problema de Hilbert mostrando que eles são SOS de funções racionais, este trabalho foca em um certificado intermediário de não negatividade. Especificamente, os autores estudam polinômios "obstinados" (stubborn): polinômios não negativos $f$ em uma variedade real $X$ tais que nenhuma potência ímpar $f^{2k+1}$ é uma soma de quadrados de polinômios. Anteriormente, tais polinômios foram estudados primariamente no caso globalmente não negativo (no espaço ambiente $\mathbb{P}^n$) com resultados limitados restritos a $\mathbb{P}^2$. Os autores visam caracterizar plenamente os polinômios obstinados em curvas e superfícies projetivas reais, explorando como sua existência e propriedades se relacionam com a geometria de seus conjuntos de zeros reais e da variedade subjacente.

Metodologia
Os autores empregam uma combinação de geometria algébrica real, a teoria de Jacobianos e Jacobianos generalizados, e a geometria de superfícies.

• Teoria de Curvas: Para curvas suaves, a análise baseia-se no Jacobiano generalizado e nas propriedades de pontos de 2-torção. Os autores utilizam resultados de Scheiderer relativos a formas estritamente positivas e a estrutura do cone de formas não negativas.
• Curvas Singulares e Redutíveis: O estudo de curvas singulares envolve computações explícitas para cúbicas planas e a análise de pontos de 2-torção no Jacobiano generalizado de curvas singulares.
• Teoria de Superfícies (Sexticas Ternárias): A classificação de sexticas ternárias obstinadas (formas de grau 6 em $\mathbb{P}^2$) utiliza a teoria de superfícies de Del Pezzo fracas. Os autores realizam resoluções de singularidades por meio de sopros (blow-ups) iterados para transformar o problema em um envolvendo seções estritamente positivas em uma superfície. Eles aplicam o Positivstellensatz de Scheiderer nessas superfícies para determinar quando potências ímpares tornam-se SOS.
• Técnicas de Levantamento (Lifting): Uma ferramenta metodológica fundamental é o "levantamento" de formas não negativas de uma curva para uma variedade de dimensão superior. Os autores analimam as condições sob as quais uma forma quadrática não negativa em uma curva pode ser estendida para uma forma quadrática não negativa na variedade ambiente, utilizando condições de espaço tangente e mergulhamentos de Veronese.

Principais Contribuições e Resultados

1. Caracterização em Curvas Suaves:
   O artigo fornece uma caracterização completa de polinômios obstinados em curvas projetivas suaves e totalmente reais. Uma forma não negativa $F$ em tal curva é obstinada se, e somente se, for real-enraizada (todos os seus zeros na curva são reais) e não for uma soma de quadrados.

   • Implicação: Isso implica que, para curvas suaves de gênero $g \ge 1$, polinômios obstinados existem em todos os graus suficientemente altos. Inversamente, em curvas racionais suaves (gênero 0), nenhum polinômio obstinado existe em qualquer grau.
   • Consequência Surpreendente: Diferentemente do comportamento conjecturado para $\mathbb{P}^2$, onde cada raio extremo do cone não negativo (que não seja um quadrado) é obstinado, em curvas suaves apenas raios extremos específicos (aqueles com número máximo de zeros reais) são obstinados.

2. Existência em Curvas Singulares e Redutíveis:
   Os autores exploram o "zoológico" de cúbicas planas (suaves, nodais, cuspídeas, redutíveis). Eles demonstram que a existência de polinômios obstinados em curvas singulares é delicada.

   • Algumas curvas singulares (ex: cúbicas cuspídeas ou cúbicas nodais com nós solitários) admitem nenhum polinômio obstinado de qualquer grau.
   • Outras admitem formas obstinadas apenas em graus específicos (ex: quarticas obstinadas existem em certas configurações redutíveis onde não existem quáticas obstinadas).
   • A existência está ligada à presença de pontos de 2-torção não triviais no Jacobiano generalizado da curva.

3. Classificação de Sexticas Ternárias:
   O artigo prova uma conjectura de Blekherman, Kozhasov e Reznick a respeito de sexticas ternárias (formas de grau 6 em $\mathbb{P}^2$).

   • Teorema: Uma sextica ternária não negativa $F$ (que não é uma soma de quadrados) é obstinada se, e somente se, seu invariante delta real $\delta_R(F)$ é pelo menos 9.
   • Método: Se $\delta_R(F) \le 8$, os autores constroem uma superfície de Del Pezzo fraca via sopros onde a transformada estrita da sextica torna-se estritamente positiva, permitindo a aplicação do teorema de Scheiderer para mostrar que uma potência ímpar é SOS. Se $\delta_R(F) \ge 9$, a forma herda a obstinação de sua restrição a uma curva cúbica.

4. Levantamento de Não Negatividade:
   Os autores desenvolvem critérios para "levantar" formas não negativas de uma curva $C$ para uma variedade de dimensão superior $X$.

   • Eles provam que, se $X$ é uma variedade totalmente real definida por quáticas e $C$ é uma curva normal elíptica satisfazendo condições específicas de espaço tangente ($T_p C = T_p X \cap L$), então qualquer forma quadrática não negativa em $C$ pode ser estendida para uma forma quadrática não negativa em $X$.
   • Este levantamento preserva a obstinação, permitindo a construção de polinômios obstinados em variedades de dimensão superior com número controlado de zeros reais.

Significância e Alegações
O artigo afirma melhorar significativamente a compreensão da relação entre a geometria dos zeros reais e a propriedade algébrica de ser uma soma de quadrados (ou uma potência ímpar desta).

• Visão Estrutural: Estabelece que, para curvas suaves, a obstinação é equivalente ao enraizamento real, um contraste marcante com o caso global em $\mathbb{P}^2$.
• Completude: Fornece uma classificação completa de sexticas ternárias obstinadas, resolvendo uma conjectura específica e demonstrando que o limiar para a obstinação é exatamente 9 invariantes delta reais.
• Novas Construções: Ao combinar resultados de curvas com técnicas de levantamento, os autores demonstram a existência de polinômios obstinados em variedades de dimensão superior (especificamente em $\mathbb{P}^n$) com "poucos" zeros reais, desafiando intuições anteriores sobre a escassez dessas formas.
• Direções Futuras: O trabalho abre novas direções de pesquisa em relação à classificação de variedades com nenhuma quática obstinada e o comportamento de polinômios obstinados em variedades singulares, observando que a existência de formas obstinadas não é garantida mesmo para curvas suaves em baixos graus.

Os autores mantêm um tom modesto quanto às implicações futuras, enquadrando seus resultados como passos fundamentais para compreender o "zoológico" de variedades algébricas reais onde a não negatividade não implica somas de quadrados, e onde a propriedade "obstinada" atua como um marcador geomético específico.