Nonnegative Polynomials and Moment Problems on Algebraic Curves

1. Planteamiento del Problema

El artículo aborda dos problemas fundamentales interconectados en la geometría algebraica real y el análisis:

1. Estructura Facial del Cono de Polinomios No Negativos: Dada una curva proyectiva real suave $X$, se estudia el cono convexo $P_{X,2d}$ formado por polinomios de grado $2d$ que son no negativos en el lugar real $X(\mathbb{R})$. Aunque la estructura de este cono es conocida en casos muy específicos (como polinomios univariados o ciertos casos de Hilbert), su estructura facial (especialmente sus rayos extremos y la retícula de caras) es poco comprendida para curvas de género mayor o igual a uno.
2. Problema de Momentos y Números de Carathéodory: El dual del cono anterior, $P^\vee_{X,2d}$, corresponde al cono de momentos (funcionales lineales que pueden representarse como integración respecto a una medida soportada en $X(\mathbb{R})$). El objetivo es determinar el número de Carathéodory ($C_{X,2d}$), que es el número mínimo de puntos de evaluación necesarios para representar cualquier funcional en el interior del cono de momentos como una combinación cónica. Además, el artículo busca aplicar estos resultados al problema de momentos truncado en curvas afines cúbicas, buscando criterios de extensión plana (flat extension) precisos.

2. Metodología

Los autores emplean una combinación de herramientas de geometría algebraica, teoría de curvas elípticas y geometría convexa:

• Correspondencia Cara-Divisor: Establecen una dualidad entre las caras del cono de polinomios no negativos y los divisores efectivos totalmente reales en la curva. Utilizan el teorema de Riemann-Roch para calcular las dimensiones de estas caras.
• Geometría de la Jacobiana: Para curvas de género uno (curvas elípticas), utilizan la estructura del grupo de la Jacobiana $J(X)$. Específicamente, analizan los puntos de torsión 2 ($J(\mathbb{R})_2$) y distinguen entre puntos de torsión "positivos" y "no positivos" basándose en la signatura de las funciones racionales asociadas.
• Inmersión de Veronese: Reducen el estudio de formas de grado $2d$ a formas cuadráticas ($d=1$) mediante la inmersión de Veronese $\nu_{n,d}(X)$, permitiendo trabajar con cuádricas en la curva proyectiva normal.
• Análisis Topológico del Lugar Real: Distinguen explícitamente entre el caso donde el lugar real $X(\mathbb{R})$ es conexo y el caso donde tiene dos componentes conexas, demostrando que esta topología afecta drásticamente los resultados numéricos.
• Extensión Plana y Casi Plana: En el contexto afín, introducen el concepto de "extensión casi plana" (almost flat extension) para superar las limitaciones de los criterios de extensión plana tradicionales cuando el cono de momentos no es cerrado.

3. Contribuciones y Resultados Clave

A. Estructura Facial y Divisores (Teoremas A y B)

• Dualidad Galois: Se demuestra una conexión de Galois entre las caras del cono de polinomios no negativos y los divisores efectivos totalmente reales. Cada cara $F$ tiene un divisor asociado único $\text{div}(F)$.
• Caracterización de Rayos Extremos: Para curvas de género $g$, los rayos extremos "con raíces reales" (definidos por polinomios con ceros solo en $X(\mathbb{R})$) se corresponden biyectivamente con los puntos de torsión 2 positivos en la Jacobiana, denotados $J(\mathbb{R})^+_2$.
• Resultado Sorprendente: Se prueba que para curvas de género $g \ge 1$, existen polinomios no negativos que no son sumas de cuadrados (SOS) y que generan rayos extremos del cono no negativo. Esto se debe a la existencia de puntos de torsión 2 positivos que no corresponden al elemento neutro del grupo.

B. Curvas Elípticas Normales (Teorema 5.1.2)

Para curvas elípticas normales (género 1), los autores proporcionan una descripción completa de la retícula de caras del cono de cuádricas no negativas.

• Las caras se clasifican según el grado del divisor asociado y la clase de torsión 2 en la Jacobiana.
• Se identifican dos tipos de rayos extremos de grado máximo: aquellos generados por cuadrados de formas lineales (asociados al punto neutro $O$) y aquellos que no son sumas de cuadrados (asociados a un punto de torsión 2 no trivial $T$).

C. Números de Carathéodory (Teorema C)

Este es uno de los resultados más significativos. El número de Carathéodory $C_{X,2}$ depende de la topología de $X(\mathbb{R})$:

• Caso Conexo: Si $X(\mathbb{R})$ es conexo, $C_{X,2} = \deg(X) = n + 1$.
• Caso Disconexo: Si $X(\mathbb{R})$ tiene dos componentes conexas, $C_{X,2} = \deg(X) + 1 = n + 2$.
• Significado: Es la primera descripción completa para curvas no racionales donde la topología del soporte real altera el número de Carathéodory. Esto refina resultados previos que solo daban cotas asintóticas.

D. Problema de Momentos en Cúbicas Afines (Teoremas D, 7.2.2 y 7.2.4)

Aplicando los resultados proyectivos al caso afín (curvas cúbicas planas):

• Extensión Casi Plana: Se demuestra que para curvas cúbicas afines, la condición necesaria y suficiente para que un funcional sea un momento es la existencia de una extensión casi plana (aumentando el grado en 4 y permitiendo que el rango de la matriz de momentos crezca en 1).
• Dependencia Topológica:
  • Si la curva afín es conexa y tiene un único punto al infinito real, basta con una extensión plana estándar (grado +2).
  • Si la curva tiene dos componentes conexas, la extensión plana no es suficiente; se requiere la extensión casi plana.
• Cotas Agudas: Se establecen cotas precisas para el grado de extensión plana necesaria, completando el panorama para curvas cúbicas planas suaves.

4. Significado e Impacto

1. Avance Teórico: El trabajo proporciona la primera descripción completa de la estructura facial de conos de polinomios no negativos más allá de los casos clásicos de Hilbert (univariados, ternarios cuárticos, etc.).
2. Conexión Topología-Geometría: Demuestra de manera rigurosa cómo la topología del lugar real de una variedad algebraica (conexo vs. disconexo) influye directamente en propiedades combinatorias y analíticas como el número de Carathéodory y la complejidad de las reglas de cuadratura.
3. Herramientas para Optimización: Los resultados sobre la estructura de rayos extremos y la distinción entre polinomios no negativos y sumas de cuadrados son relevantes para la optimización semidefinida y la relajación de problemas de optimización polinomial.
4. Resolución del Problema de Momentos: Ofrece una solución completa y algorítmica (vía extensiones de matrices de momentos) para el problema de momentos truncado en curvas cúbicas, un caso de estudio fundamental en análisis real y probabilidad.
5. Generalización: Aunque se centra en curvas elípticas, la metodología basada en divisores y la Jacobiana sienta las bases para estudiar curvas de género superior.

En resumen, el artículo establece un puente profundo entre la geometría algebraica real (divisores, Jacobianas) y la teoría de conos convexos (caras, números de Carathéodory), resolviendo problemas abiertos sobre la representación de medidas y la positividad de polinomios en curvas elípticas.