Hacia una conjetura del salmón

Información Básica

• ID del Artículo: 1009.6181
• Título: Toward a salmon conjecture
• Autores: Daniel J. Bates, Luke Oeding
• Clasificación: math.AG (Geometría Algebraica)
• Fecha de Publicación: 2 de febrero de 2011 (versión arXiv)
• Enlace del Artículo: https://arxiv.org/abs/1009.6181

Resumen

Mediante el uso de resultados computacionales del paquete de geometría algebraica numérica Bertini, los autores demuestran que (con alta precisión numérica) un conjunto específico de polinomios de grado 6 y 9 define la variedad secante $\sigma_4(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^3)$. Combinando esto con argumentos proporcionados por Landsberg y Manivel (cuya demostración fue corregida por Friedland), esto implica que para un rango más amplio de variedades secantes (incluyendo $\sigma_4(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$) existen ecuaciones de definición conjuntista de grados 5, 6 y 9, lo cual tiene significado especial para el premio del salmón sobre ecuaciones de definición ideal propuesto por E. Allman.

Contexto de Investigación y Motivación

Problema Central

El problema central que este artículo aborda es determinar el ideal de definición de la variedad secante $\sigma_4(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$, que es el problema del "premio del salmón" propuesto por E. Allman en 2007.

Importancia

1. Significado Teórico: Las variedades secantes son objetos clásicos de estudio en geometría algebraica, y la determinación de sus ecuaciones de definición es crucial para comprender el rango de frontera de tensores
2. Valor Aplicado: En filogenia, esta variedad secante está asociada con modelos mixtos de independencia evolutiva
3. Universalidad: Allman y Rhodes demostraron que encontrar invariantes polinomiales para este pequeño árbol evolutivo proporcionará todos los invariantes polinomiales para cualquier modelo estadístico de árbol evolutivo binario

Limitaciones de Métodos Existentes

• Friedland demostró recientemente que un conjunto de polinomios de grados 5, 9 y 16 puede definir conjuntistamente $\sigma_4(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$, pero utilizó ecuaciones de grados más altos
• La versión ideal del problema permanece sin resolver
• Falta un método efectivo de prueba de pertenencia

Contribuciones Principales

1. Proporciona ecuaciones de definición conjuntista de grados más bajos: Demuestra que $\sigma_4(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$ puede ser definida conjuntistamente por ecuaciones de grados 5, 6 y 9, utilizando grados más bajos que los resultados de Friedland
2. Verifica numéricamente conjeturas clave: Utiliza el paquete Bertini para verificar la Conjetura 3.8, es decir, que el conjunto de ceros de las ecuaciones de grado 6 es exactamente la unión de la variedad secante objetivo con una variedad de subespacios específica
3. Construye bases concretas de polinomios: Proporciona métodos de construcción para bases concretas de polinomios en módulos de Schur relevantes
4. Propone una conjetura versión ideal: Basándose en resultados computacionales, propone la "Conjetura del Salmón", sugiriendo que la versión ideal también es válida

Explicación Detallada de Métodos

Definición de la Tarea

Determinar las ecuaciones de definición conjuntista e ideal de la variedad secante $\sigma_4(\mathbb{P}^a \times \mathbb{P}^b \times \mathbb{P}^c)$, particularmente para el caso $a=b=c=3$.

Arquitectura del Método Central

1. Método de Teoría de Representaciones

Utilizando la simetría de $GL(A) \times GL(B) \times GL(C)$, se descompone el espacio de polinomios homogéneos como suma directa de módulos irreducibles: $S^d(A^* \otimes B^* \otimes C^*) = \bigoplus_{|\pi_1|=|\pi_2|=|\pi_3|=d} (S^{\pi_1}A^* \otimes S^{\pi_2}B^* \otimes S^{\pi_3}C^*)^{\oplus m_{\pi_1,\pi_2,\pi_3}}$

2. Identificación de Módulos Clave

• Módulo de grado 6: $M_6 = S^{(2,2,2)}A^* \otimes S^{(2,2,2)}B^* \otimes S^{(3,1,1,1)}C^*$
• Módulo de grado 5: $M_5 = S^{(3,1,1)}A^* \otimes S^{(2,1,1,1)}B^* \otimes S^{(2,1,1,1)}C^* \oplus \cdots$
• Módulo de grado 9: $M_9 = S^{(3,3,3)}A^* \otimes S^{(3,3,3)}B^* \otimes S^{(3,3,3)}C^*$

3. Principio de Herencia

Se utiliza el principio de herencia de Landsberg-Manivel para extender las ecuaciones de $\sigma_4(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^3)$ a casos de dimensiones superiores.

Puntos de Innovación Técnica

1. Método de Geometría Algebraica Numérica

Primera aplicación del paquete Bertini con métodos numéricos para verificar conjeturas teóricas en geometría algebraica, demostrando el poder de los métodos computacionales en investigación matemática pura.

2. Algoritmo de Construcción de Polinomios

Proporciona un algoritmo concreto para construir polinomios en módulos de Schur a partir de llenados de diagramas de Young:

• Construcción de vectores de peso máximo
• Aplicación de simetrizadores de Young
• Reordenamiento de mapeos isomorfos
• Simetrización para obtener polinomios homogéneos

3. Combinación de Argumentos Geométricos y Verificación Numérica

Combina argumentos geométricos clásicos con cálculo numérico moderno, proporcionando evidencia numérica sólida para conjeturas teóricas.

Configuración Experimental

Entorno Computacional

• Hardware: 8 procesadores (dos Xeon 5410s de cuatro núcleos a 2.66 GHz)
• Software: Paquete Bertini de geometría algebraica numérica
• Tiempo de Cálculo: Aproximadamente 2 semanas
• Control de Precisión: Tolerancias de seguimiento y finales establecidas en $10^{-10}$ o menores

Cálculos Clave

Cálculo 4.1: Verificación de que el conjunto de ceros de $M_6$ tiene exactamente dos componentes irreducibles:

• Componente de dimensión 31 y grado 345 (correspondiente a $\sigma_4(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^3)$)
• Componente de dimensión 29 y grado 84 (correspondiente a $\text{Sub}_{3,3,3}$)

Control de Confiabilidad

• Uso de métodos numéricos de precisión adaptativa
• Seguimiento de más de 200,000 caminos sin fallos de camino o cruces
• Pruebas de subgrupo único y traza sin errores
• Verificaciones múltiples y control de errores

Resultados Experimentales

Resultados Principales

Teorema 3.10: Para $a,b,c \geq 3$, con alta precisión numérica, el conjunto de ceros conjuntista de $\sigma_4(\mathbb{P}^{a-1} \times \mathbb{P}^{b-1} \times \mathbb{P}^{c-1})$ se define por las siguientes ecuaciones:

1. Condiciones de conmutatividad de Strassen ($M_5$): 1728 ecuaciones de grado 5
2. Ecuaciones heredadas de $\sigma_4(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^3)$:
   • $M_6$: 1000 ecuaciones de grado 6
   • $M_9$: 8000 ecuaciones de grado 9
3. Módulos en $S^5(A^* \otimes B^* \otimes C^*)$ que contienen $\bigwedge^5$

Resultados de Verificación Numérica

El Cálculo 4.1 verifica exitosamente la Conjetura 3.8, confirmando: $V(S^{(2,2,2)}\mathbb{C}^3 \otimes S^{(2,2,2)}\mathbb{C}^3 \otimes S^{(3,1,1,1)}\mathbb{C}^4) = \sigma_4(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^3) \cup \text{Sub}_{3,3,3}$

Con precisión de 10 decimales, sin errores computacionales.

Construcción Concreta de Polinomios

Se construyeron exitosamente bases concretas de polinomios para ecuaciones de varios grados:

• Grado 6: 10 polinomios, con 936 o 576 términos respectivamente
• Grado 5: 3 clases de polinomios representativos basados en llenados de diagramas de Young
• Grado 9: Base de espacio de 20 dimensiones, con polinomios que tienen entre 9,216 y 43,668 términos

Trabajo Relacionado

Antecedentes Clásicos

• Strassen (1983): Proporciona por primera vez ecuaciones de definición de grado 9 para $\sigma_4(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^2)$
• Landsberg-Manivel: Desarrollan métodos de teoría de representaciones y principios de herencia para ecuaciones de variedades secantes
• Landsberg-Weyman: Demuestran propiedades de normalidad y singularidades racionales de variedades de subespacios

Avances Recientes

• Friedland (2010): Corrige errores en la demostración de Landsberg-Manivel, proporciona definición conjuntista con ecuaciones de grados 5, 9 y 16
• Allman-Rhodes: Establecen conexiones entre variedades secantes y modelos estadísticos en filogenia

Singularidad de la Contribución de Este Artículo

Este artículo es el primero en utilizar métodos numéricos para resolver problemas de geometría algebraica pura, proporcionando ecuaciones de grados más bajos que los resultados existentes.

Conclusiones y Discusión

Conclusiones Principales

1. Resolución del Problema Conjuntista: Resuelve dentro de la precisión numérica la versión conjuntista del premio del salmón de Allman
2. Grados de Ecuaciones Mejorados: Proporciona ecuaciones de definición con grados más bajos que los resultados de Friedland
3. Valor Práctico: Proporciona métodos más eficientes para pruebas de pertenencia de modelos en filogenia

Limitaciones

1. Limitaciones del Método Numérico: Los resultados dependen de cálculos numéricos, que aunque tienen alta precisión, no constituyen una demostración matemática rigurosa
2. Versión Ideal sin Resolver: Permanece como conjetura, requiriendo trabajo teórico adicional
3. Complejidad Computacional: Los cálculos numéricos a gran escala requieren recursos computacionales significativos

Direcciones Futuras

1. Demostración Ideal: Buscar demostraciones directas de que ecuaciones de grado 6 no están en el ideal generado por ecuaciones de grado 5
2. Optimización de Algoritmos: Utilizar simetrías adicionales para mejorar la eficiencia computacional
3. Extensión de Aplicaciones: Aplicar métodos a otros problemas de variedades secantes

Evaluación Profunda

Fortalezas

1. Innovación Metodológica: Aplicación pionera de geometría algebraica numérica a problemas de matemática pura teórica
2. Optimización de Resultados: Obtiene ecuaciones de definición con grados más bajos que resultados previos
3. Rigor Computacional: Utiliza verificación múltiple y control de precisión alta
4. Integración Teórica: Combina ingeniosamente teoría de representaciones, geometría algebraica y cálculo numérico

Deficiencias

1. Completitud de Demostración: Depende de métodos numéricos, carece de demostración matemática completamente rigurosa
2. Costo Computacional: Requiere recursos computacionales extensos, limitando reproducibilidad
3. Generalidad: Enfocado principalmente en variedades secantes específicas, grado limitado de generalización

Impacto

1. Interdisciplinariedad: Demuestra el papel importante de métodos computacionales en matemática teórica
2. Avance de Problemas: Avanza significativamente hacia la resolución del premio del salmón
3. Ejemplificación de Métodos: Proporciona precedente para verificación numérica de problemas similares

Escenarios de Aplicabilidad

• Investigación de ecuaciones de definición de variedades algebraicas complejas
• Verificación de modelos estadísticos en filogenia
• Estudios computacionales de problemas de rango de frontera de tensores
• Problemas de geometría algebraica que requieren cálculo simbólico a gran escala

Referencias Bibliográficas

Este artículo cita literatura importante de múltiples campos incluyendo geometría algebraica, teoría de representaciones, geometría algebraica numérica y filogenia, particularmente:

• Trabajo clásico de Strassen sobre rango de tensores
• Serie de investigaciones de Landsberg-Manivel sobre variedades secantes
• Literatura técnica del paquete Bertini
• Trabajo de Allman-Rhodes sobre aplicaciones en filogenia