Calculs et Équations pour les hypersurfaces de Segre-Grassmann

Informations fondamentales

• ID de l'article: 1408.2105
• Titre: Computations and Equations for Segre-Grassmann hypersurfaces
• Auteurs: Noah S. Daleo, Jonathan D. Hauenstein, Luke Oeding
• Classification: math.AG (Géométrie algébrique)
• Date de publication: 19 août 2015
• Lien de l'article: https://arxiv.org/abs/1408.2105

Résumé

En 2013, Abo et Wan ont étudié l'analogue du problème de Waring pour les systèmes de formes antisymétriques et ont identifié plusieurs systèmes défectifs. D'un intérêt particulier est le cas où une certaine variété sécante d'une variété de Segre-Grassmann est censée remplir l'espace ambiant naturel, mais est en réalité une hypersurface. Les algorithmes implémentés dans Bertini sont utilisés pour déterminer les degrés de plusieurs de ces hypersurfaces, et des descriptions théoriques des représentations de leurs équations sont données. Nous répondons au Problème 6.5 Abo-Wan2013 et confirmons leur conjecture selon laquelle chaque membre d'une famille infinie d'hypersurfaces est défini minimalement par une équation déterminantale (connue). Bien que guidés par des preuves numériques, nous fournissons des preuves non numériques pour tous nos résultats.

Contexte et motivation de la recherche

1. Problème central: Étudier quand les variétés sécantes de la variété de Segre-Grassmann sont des hypersurfaces et trouver les équations définissantes de ces hypersurfaces. Ceci est lié à l'analogue du problème de Waring pour les systèmes de formes antisymétriques.
2. Importance du problème:
   • Les variétés sécantes constituent un sujet classique en géométrie algébrique avec des applications étendues en théorie de la complexité géométrique et en traitement du signal
   • Le X-rang et le X-rang limite fournissent des perspectives utiles pour les tenseurs et les variétés algébriques associées
   • La description des équations définissantes de σᵣ(X) permet de déterminer facilement le X-rang limite de tout point donné
3. Limitations des travaux existants:
   • Abo et Wan ont identifié plusieurs systèmes défectifs en 2013, mais ont laissé certaines questions ouvertes
   • En particulier, le Problème 6.5 n'a pas été résolu et la conjecture concernant une famille infinie d'hypersurfaces nécessite une confirmation
4. Motivation de la recherche:
   • Combiner la géométrie algébrique numérique et les outils de la théorie des représentations pour résoudre ces problèmes
   • Bien que l'étude de certains tenseurs antisymétriques soit relativement peu développée, une méthode de recherche d'équations de rang limite pour une classe symétrique fournit généralement des informations pour une autre méthode

Contributions principales

1. Résolution du Problème 6.5 d'Abo-Wan: Preuve que l'idéal premier de l'hypersurface σ₅(Seg(P²×G(2,5))) est engendré par un unique polynôme de degré 6
2. Confirmation de la conjecture d'Abo-Wan: Preuve que chaque membre de la famille infinie d'hypersurfaces σ₃ℓ₊₂(Seg(P²×G(1,4ℓ+2))) est défini minimalement par une équation déterminantale connue
3. Calcul des degrés de plusieurs hypersurfaces: Utilisation des algorithmes Bertini pour déterminer les degrés exacts de plusieurs hypersurfaces
4. Fourniture de preuves non numériques: Bien que guidées par des preuves numériques, des preuves algébriques rigoureuses sont fournies pour tous les résultats
5. Démonstration de la puissance d'une approche interdisciplinaire: Combinaison réussie de la géométrie algébrique numérique et des outils de la théorie des représentations

Explication détaillée des méthodes

Définition de la tâche

Étudier quand la variété sécante s-ième σₛ(Seg(Pᵐ×G(k,n))) de la variété de Segre-Grassmann Seg(Pᵐ×G(k,n)) est une hypersurface, trouver ses équations définissantes et prouver son irréductibilité.

Architecture de la méthode centrale

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

Utilisation du logiciel Bertini pour implémenter des algorithmes de calcul des degrés des hypersurfaces:

Algorithme de calcul du degré d'une hypersurface:

• Pour une hypersurface irréductible H⊂Pⁿ, deg H = |H∩L|, où L est une droite générale
• Utilisation de boucles de monodromie aléatoires pour générer des ensembles de points témoins
• Application du test de trace pour vérifier l'exhaustivité: chaque coordonnée de ∑w∈W' pw(t) est une fonction linéaire de t

2. Méthode de théorie des représentations

Utilisation des symétriseurs de Young pour construire des polynômes invariants:

Algorithme des symétriseurs de Young:

• Commencer par les partitions (2,2,2) et (3,3,3,3,3,3)
• Chercher les remplissages de tableaux de Young tels que les symétriseurs de Young associés produisent des images non nulles
• Construire des polynômes par des produits de déterminants matriciels
• Utiliser des opérations de contraction pour substituer des variables

3. Construction d'aplatissements extérieurs

Pour le cas de la famille infinie, utilisation d'aplatissements de type Ottaviani:

• Construction d'une application linéaire φₜ: V⊗W* → V*⊗W pour un tenseur T∈V⊗∧²W
• Cette application est antisymétrique en W et aussi antisymétrique en V
• det φₜ s'annule sur la variété sécante correspondante

Points d'innovation technique

1. Combinaison de méthodes numériques et symboliques: Utilisation d'abord de méthodes numériques pour déterminer les degrés, puis de méthodes algébriques pour construire les équations exactes
2. Utilisation du produit ⊠: Distinction du produit de Kronecker habituel ⊗, utilisation du produit ⊠ pour éviter la limitation det(P⊗Q) = det(P)ⁿdet(Q)ᵐ
3. Preuve inductive de l'irréductibilité: Preuve de l'irréductibilité du déterminant dans les cas de grande taille par décomposition en mineurs principaux et induction

Configuration expérimentale

Environnement de calcul

• Utilisation d'un processeur AMD Opteron 6376 (cœurs à 2,3 GHz)
• Calcul parallèle monocœur et multicœur

Cas spécifiques

Étude des hypersurfaces spécifiques suivantes:

1. σ₅(Seg(P²×G(2,5))) ⊂ P⁵⁹
2. σ₅(Seg(P²×G(1,6))) ⊂ P⁶²
3. σ₈(Seg(P²×G(1,10))) ⊂ P¹⁶⁴
4. σ₁₁(Seg(P²×G(1,14))) ⊂ P³¹⁴

Méthodes de vérification

• Pour les cas de petite taille: calcul direct dans Macaulay2 et utilisation de la commande factor
• Pour les cas de taille moyenne: spécialisation des variables sur une droite aléatoire et vérification de la factorisation
• Pour les cas de grande taille: utilisation de preuves inductives

Résultats expérimentaux

Résultats de calcul principaux

Résultats numériques du Calcul 3.1:

1. Le degré de σ₅(Seg(P²×G(2,5))) ⊂ P⁵⁹ est 6
2. Le degré de σ₅(Seg(P²×G(1,6))) ⊂ P⁶² est 21
3. Le degré de σ₈(Seg(P²×G(1,10))) ⊂ P¹⁶⁴ est 33
4. Le degré de σ₁₁(Seg(P²×G(1,14))) ⊂ P³¹⁴ est 45

Efficacité de calcul

• Premier cas: 6 boucles de monodromie aléatoires, temps de calcul de 50 secondes
• Trois cas suivants: respectivement 13, 12, 13 boucles, temps de calcul de 2,5 minutes, 32 minutes, 5,5 heures

Résultats théoriques

Théorème 4.1: L'idéal premier de l'hypersurface σ₅(P²×G(2,5)) est engendré par un unique polynôme de degré 6 construit à partir de symétriseurs de Young spécifiques, ce polynôme ayant 10080 monômes.

Théorème 5.3: Pour ℓ≥1, l'idéal premier de l'hypersurface σ₃ℓ₊₂(Seg(P²×G(1,4ℓ+2))) est engendré par le déterminant d'une matrice φₜ de taille 3(4ℓ+3)×3(4ℓ+3).

Théorème 6.1: Concernant l'irréductibilité du déterminant du produit tensoriel de matrices génériques:

• Pour s=1,2: det(P⊠Q)=0
• Pour s=3: det(P⊠Q) se factorise en le cube d'un polynôme cubique
• Pour s=4: det(P⊠Q) se factorise en le carré d'un polynôme de degré 6
• Pour s≥5: det(P⊠Q) est irréductible

Travaux connexes

1. Contexte classique: Le théorème d'Alexander-Hirschowitz résout le cas de l'encastrement de Veronese
2. Encastrement de Segre: Les problèmes connexes dans le cas des produits cartésiens ont été étudiés, mais ne sont pas complètement résolus
3. Version antisymétrique: Recherches connexes dans le cas antisymétrique, certains cas ont été résolus
4. Recherche d'équations: La méthode d'Ottaviani pour les tenseurs symétriques a inspiré de nouvelles constructions pour les tenseurs non symétriques

Conclusion et discussion

Conclusions principales

1. Résolution réussie du Problème 6.5 d'Abo-Wan
2. Confirmation de la conjecture concernant la famille infinie d'hypersurfaces
3. Preuve de l'efficacité de la combinaison de la géométrie algébrique numérique et de la théorie des représentations

Limitations

1. Pour l'équation de σ₅(Seg(P²×G(2,5))), aucune expression déterminantale similaire à l'équation de degré 15 d'Ottaviani n'a été trouvée
2. L'étude de certains tenseurs antisymétriques reste moins développée que dans les cas complètement symétriques et non symétriques

Directions futures

1. Recherche d'expressions déterminantales pour plus d'hypersurfaces
2. Étude des connexions possibles avec la dualité des variétés de Segre-Grassmann
3. Application de la méthode à d'autres problèmes de classes symétriques

Évaluation approfondie

Avantages

1. Innovation méthodologique: Combinaison réussie du calcul numérique et du calcul symbolique, utilisation d'abord de méthodes numériques pour guider, puis fourniture de preuves rigoureuses
2. Profondeur théorique: Implique des outils mathématiques profonds tels que la théorie des représentations, les symétriseurs de Young et la théorie des invariants
3. Utilité computationnelle: Fourniture d'algorithmes concrets exécutables et d'implémentations logicielles
4. Complétude: Non seulement des preuves numériques sont fournies, mais aussi des preuves algébriques complètes

Insuffisances

1. Complexité de calcul: Pour les problèmes de grande taille, le temps de calcul augmente très rapidement
2. Cas particuliers: Certains cas de petite taille nécessitent un traitement spécial, manque d'uniformité
3. Intuition géométrique: Manque d'explication intuitive de la signification géométrique de ces hypersurfaces

Impact

1. Valeur académique: Résolution de problèmes ouverts importants dans ce domaine
2. Contribution méthodologique: Démonstration de la puissance des approches interdisciplinaires, susceptible d'inspirer la résolution d'autres problèmes
3. Outils de calcul: Les algorithmes et implémentations fournis ont une valeur pratique pour les recherches connexes

Scénarios d'application

1. Étude des variétés sécantes en géométrie algébrique
2. Décomposition tensorielle et problèmes de rang
3. Théorie de la complexité géométrique
4. Problèmes algébriques nécessitant une combinaison de calcul numérique et symbolique

Références bibliographiques

L'article cite 46 références connexes, comprenant principalement:

• Les travaux classiques d'Alexander-Hirschowitz sur l'encastrement de Veronese
• La recherche d'Abo et Wan sur le problème de Waring pour les formes antisymétriques
• Les travaux d'Ottaviani sur les invariants et les superdéterminants
• Les algorithmes et logiciels connexes de géométrie algébrique numérique