Vers une conjecture du saumon

Informations de base

• ID de l'article: 1009.6181
• Titre: Toward a salmon conjecture
• Auteurs: Daniel J. Bates, Luke Oeding
• Classification: math.AG (Géométrie algébrique)
• Date de publication: 2 février 2011 (version arXiv)
• Lien de l'article: https://arxiv.org/abs/1009.6181

Résumé

En utilisant les résultats de calcul du logiciel de géométrie algébrique numérique Bertini, les auteurs démontrent (avec une précision numérique élevée) qu'un ensemble spécifique de polynômes de degrés 6 et 9 définit la variété sécante $\sigma_4(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^3)$. Combiné aux arguments fournis par Landsberg et Manivel (dont la preuve a été corrigée par Friedland), cela implique l'existence d'équations définissantes de degrés 5, 6 et 9 au sens ensembliste pour une gamme plus large de variétés sécantes (incluant $\sigma_4(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$), ce qui revêt une importance particulière pour le prix du saumon concernant les équations définissantes au sens idéal proposé par E. Allman.

Contexte et motivation de la recherche

Problème fondamental

Le problème fondamental abordé dans cet article est la détermination de l'idéal définissant la variété sécante $\sigma_4(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$, qui constitue le problème du « prix du saumon » proposé par E. Allman en 2007.

Importance

1. Signification théorique: Les variétés sécantes sont des objets d'étude classiques en géométrie algébrique, et la détermination de leurs équations définissantes est cruciale pour comprendre le rang limite des tenseurs
2. Valeur applicative: En phylogénétique, cette variété sécante est associée aux modèles mixtes d'indépendance de l'évolution
3. Universalité: Allman et Rhodes ont démontré que trouver les invariants polynomiaux de ce petit arbre évolutif fournira tous les invariants polynomiaux pour le modèle statistique de tout arbre binaire évolutif

Limitations des méthodes existantes

• Friedland a récemment démontré qu'un ensemble de polynômes de degrés 5, 9 et 16 peut définir $\sigma_4(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$ au sens ensembliste, mais utilise des équations de degrés plus élevés
• La version au sens idéal du problème reste non résolue
• Absence de méthodes efficaces de test d'appartenance

Contributions fondamentales

1. Fourniture d'équations définissantes de degrés plus bas au sens ensembliste: Démonstration que $\sigma_4(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$ peut être définie au sens ensembliste par des équations de degrés 5, 6 et 9, utilisant des degrés plus bas que le résultat de Friedland
2. Vérification numérique de conjectures clés: Utilisation du logiciel Bertini pour vérifier la conjecture 3.8, selon laquelle l'ensemble des zéros des équations de degré 6 est exactement l'union de la variété sécante cible et d'une variété de sous-espaces spécifique
3. Construction de bases polynomiales concrètes: Fourniture de méthodes de construction pour les bases polynomiales concrètes des modules de Schur pertinents
4. Proposition d'une conjecture au sens idéal: Formulation de la « conjecture du saumon » basée sur les résultats de calcul, affirmant que la version au sens idéal est également valide

Détails méthodologiques

Définition de la tâche

Déterminer les équations définissantes au sens ensembliste et idéal de la variété sécante $\sigma_4(\mathbb{P}^a \times \mathbb{P}^b \times \mathbb{P}^c)$, en particulier pour le cas $a=b=c=3$.

Architecture de la méthode fondamentale

1. Approche par la théorie des représentations

Utilisation de la symétrie de $GL(A) \times GL(B) \times GL(C)$ pour décomposer l'espace des polynômes homogènes en somme directe de modules irréductibles: $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. Identification des modules clés

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

3. Principe d'héritage

Utilisation du principe d'héritage de Landsberg-Manivel pour étendre les équations de $\sigma_4(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^3)$ aux cas de dimensions supérieures.

Points d'innovation technique

1. Méthode de géométrie algébrique numérique

Première application du logiciel Bertini pour vérifier numériquement les conjectures théoriques en géométrie algébrique, démontrant la puissance des méthodes de calcul dans la recherche mathématique pure.

2. Algorithme de construction polynomiale

Fourniture d'un algorithme concret pour construire les polynômes dans les modules de Schur à partir des remplissages de diagrammes de Young:

• Construction du vecteur de plus haut poids
• Application du symétriseur de Young
• Réarrangement des isomorphismes
• Symétrisation pour obtenir les polynômes homogènes

3. Combinaison d'arguments géométriques et de vérification numérique

Intégration des arguments géométriques classiques avec le calcul numérique moderne pour fournir des preuves numériques robustes des conjectures théoriques.

Configuration expérimentale

Environnement de calcul

• Matériel: 8 processeurs (deux Xeon 5410s quadricœurs à 2,66 GHz)
• Logiciel: Logiciel de géométrie algébrique numérique Bertini
• Temps de calcul: Environ 2 semaines
• Contrôle de précision: Tolérance de suivi et finale fixée à $10^{-10}$ ou inférieure

Calculs clés

Calcul 4.1: Vérification que l'ensemble des zéros de $M_6$ possède exactement deux composantes irréductibles:

• Composante de dimension 31 et degré 345 (correspondant à $\sigma_4(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^3)$)
• Composante de dimension 29 et degré 84 (correspondant à $\text{Sub}_{3,3,3}$)

Contrôle de fiabilité

• Utilisation de méthodes numériques à précision adaptative
• Suivi de plus de 200 000 chemins sans défaillance ni croisement de chemin
• Procédures de test de sous-groupe unique et de trace sans erreur
• Vérifications multiples et contrôle d'erreur

Résultats expérimentaux

Résultats principaux

Théorème 3.10: Pour $a,b,c \geq 3$, avec une précision numérique élevée, l'ensemble des zéros au sens ensembliste de $\sigma_4(\mathbb{P}^{a-1} \times \mathbb{P}^{b-1} \times \mathbb{P}^{c-1})$ est défini par les équations suivantes:

1. Conditions de commutativité de Strassen ($M_5$): 1728 équations de degré 5
2. Équations héritées de $\sigma_4(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^3)$:
   • $M_6$: 1000 équations de degré 6
   • $M_9$: 8000 équations de degré 9
3. Modules contenus dans $S^5(A^* \otimes B^* \otimes C^*)$ incluant $\bigwedge^5$

Résultats de vérification numérique

Le calcul 4.1 a vérifié avec succès la conjecture 3.8, confirmant: $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}$

Avec une précision de 10 décimales et sans erreur de calcul.

Construction polynomiale concrète

Construction réussie des bases polynomiales concrètes pour les équations de chaque degré:

• Degré 6: 10 polynômes, ayant respectivement 936 ou 576 termes
• Degré 5: 3 classes de polynômes représentatifs basés sur les remplissages de diagrammes de Young
• Degré 9: Base d'un espace de dimension 20, avec des polynômes ayant entre 9 216 et 43 668 termes

Travaux connexes

Contexte classique

• Strassen (1983): Première fourniture d'équations définissantes de degré 9 pour $\sigma_4(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^2)$
• Landsberg-Manivel: Développement des méthodes de théorie des représentations et du principe d'héritage pour les équations des variétés sécantes
• Landsberg-Weyman: Démonstration de la normalité et des singularités rationnelles des variétés de sous-espaces

Progrès récents

• Friedland (2010): Correction des erreurs dans la preuve de Landsberg-Manivel, fourniture d'équations définissantes au sens ensembliste de degrés 5, 9 et 16
• Allman-Rhodes: Établissement des connexions entre les variétés sécantes et les modèles statistiques en phylogénétique

Caractère unique de la contribution de cet article

Cet article est le premier à utiliser des méthodes numériques pour résoudre des problèmes de géométrie algébrique pure, et fournit des équations de degrés plus bas que les résultats existants.

Conclusions et discussion

Conclusions principales

1. Résolution du problème au sens ensembliste: Résolution du prix du saumon d'Allman au sens ensembliste dans les limites de la précision numérique
2. Degrés d'équations optimisés: Fourniture d'équations définissantes de degrés plus bas que le résultat de Friedland
3. Valeur pratique: Fourniture de méthodes plus efficaces pour les tests d'appartenance aux modèles en phylogénétique

Limitations

1. Limitations des méthodes numériques: Les résultats dépendent du calcul numérique, et bien que la précision soit très élevée, ce n'est pas une preuve mathématique rigoureuse
2. Version au sens idéal non résolue: Reste à l'état de conjecture, nécessitant des travaux théoriques supplémentaires
3. Complexité de calcul: Les calculs numériques à grande échelle nécessitent des ressources informatiques importantes

Directions futures

1. Preuve au sens idéal: Recherche d'une preuve directe que les équations de degré 6 ne sont pas dans l'idéal généré par les équations de degré 5
2. Optimisation algorithmique: Exploitation de symétries supplémentaires pour améliorer l'efficacité de calcul
3. Extension applicative: Application de la méthode à d'autres problèmes de variétés sécantes

Évaluation approfondie

Points forts

1. Innovation méthodologique: Application pionnière de la géométrie algébrique numérique aux problèmes théoriques de mathématiques pures
2. Optimisation des résultats: Obtention d'équations définissantes de degrés plus bas que les résultats existants
3. Rigueur de calcul: Utilisation de vérifications multiples et de contrôles de précision élevée
4. Intégration théorique: Combinaison ingénieuse de la théorie des représentations, de la géométrie algébrique et du calcul numérique

Insuffisances

1. Complétude de la preuve: Dépendance aux méthodes numériques, manque de preuve mathématique complètement rigoureuse
2. Coût de calcul: Nécessité de ressources informatiques importantes, reproductibilité limitée
3. Généralité: Principalement orienté vers des variétés sécantes spécifiques, degré de généralisation limité

Impact

1. Interdisciplinarité: Démonstration du rôle important des méthodes de calcul en mathématiques théoriques
2. Avancement du problème: Progression significative vers la résolution du prix du saumon
3. Exemplarité méthodologique: Fourniture d'un modèle de vérification numérique pour des problèmes similaires

Domaines d'application

• Étude des équations définissantes de variétés algébriques complexes
• Vérification des modèles statistiques en phylogénétique
• Recherche computationnelle sur les problèmes de rang limite des tenseurs
• Problèmes de géométrie algébrique nécessitant des calculs symboliques à grande échelle

Références

Cet article cite des travaux importants provenant de plusieurs domaines incluant la géométrie algébrique, la théorie des représentations, la géométrie algébrique numérique et la phylogénétique, notamment:

• Les travaux classiques de Strassen sur le rang des tenseurs
• La série de recherches de Landsberg-Manivel sur les variétés sécantes
• La documentation technique du logiciel Bertini
• Les travaux d'Allman-Rhodes sur les applications en phylogénétique