Tensorial Constraints for Commuting Endomorphisms of the Generalized Tangent Bundle

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la géométrie généralisée, un cadre unifiant les transformations de champ B et les difféomorphismes, initialement motivé par la théorie des cordes. L'objet central est le fibré tangent généralisé $TM = TM \oplus T^*M$, équipé d'une structure de Courant algebroid (bracket de Courant-Dorfman, produit scalaire tautologique).

Les auteurs étendent les travaux antérieurs sur les structures polynomiales généralisées (endomorphismes satisfaisant une équation polynomiale à coefficients constants) au cas de familles d'endomorphismes commutants.

• Question centrale : Quelles sont les conditions tensorielles nécessaires pour assurer la compatibilité d'une famille d'endomorphismes commutants $\phi = (\phi_1, \dots, \phi_N)$ avec le bracket de Courant-Dorfman ?
• Généralité : Les endomorphismes peuvent être soit antisymétriques (ex: structures complexes généralisées, signature $\epsilon_i = -1$), soit symétriques (ex: métriques riemanniennes généralisées, signature $\epsilon_i = 1$) par rapport au produit scalaire tautologique.
• Objectif : Identifier un ensemble naturel de générateurs pour l'idéal des polynômes qui définissent des contraintes tensorielles (c'est-à-dire des conditions qui garantissent que l'expression résultante est linéaire sur l'anneau des fonctions lisses $\Omega^0_M$).

2. Méthodologie

La méthodologie repose sur une fusion ingénieuse de la géométrie différentielle et de l'algèbre commutative, en particulier la théorie des bases de Gröbner.

1. Action Polynomiale : Les auteurs définissent une action linéaire d'un anneau de polynômes $R = \mathbb{R}[x_1, \dots, x_N, y_1, \dots, y_N, z_1, \dots, z_N]$ sur l'espace des formes trilinéaires $\Theta$. Cette action encode l'application itérée des endomorphismes $\phi_i$ sur les arguments du tenseur.
2. Condition de Tensorialité : Une paire $(P, \phi)$ est dite "tensorielle" si l'application $P \bullet_\phi \tau_C$ (où $\tau_C$ est l'élément de Courant) est linéaire sur les fonctions. Cela se traduit par l'annulation de termes contenant des dérivées de fonctions.
3. Réduction Algébrique : La condition de tensorialité universelle est équivalente à l'annulation du polynôme $P$ sur une sous-variété algébrique spécifique $V_\epsilon$ définie par des relations linéaires entre les variables $x, y, z$ dépendant des signatures $\epsilon$.
4. Théorie des Idéaux : Le problème est reformulé comme la recherche d'un ensemble de générateurs pour l'idéal $I_\epsilon = I(V_\epsilon)$, qui est l'intersection de trois idéaux primaires $I_x^\epsilon, I_y^\epsilon, I_z^\epsilon$.
5. Techniques Avancées :
   • Frobenius Splitting et Idéaux de Knutson : Utilisés pour prouver que l'intersection de certains idéaux est égale à leur produit, simplifiant ainsi la structure de l'idéal cible.
   • Bases de Gröbner et Élimination : Utilisation de l'algorithme de Buchberger avec des ordres d'élimination pour calculer l'intersection d'idéaux.
   • Réduction Inductive : Une preuve clé montre que le calcul de la base de Gröbner pour un nombre arbitraire $N$ d'endomorphismes peut être réduit au cas $N=6$ grâce à une bijection d'indices, permettant une vérification computationnelle exhaustive pour toutes les signatures.

3. Contributions Clés et Résultats Principaux

Le résultat principal est l'identification explicite d'un ensemble de générateurs pour l'idéal des contraintes tensorielles $I_\epsilon$. Ces générateurs se divisent en deux types fondamentaux :

A. Générateurs Cubiques (Torsions)

Pour tout triplet d'indices $(i, j, k)$, les auteurs définissent des polynômes $T^{ijk}_\epsilon$ qui généralisent la torsion de Courant-Nijenhuis décalée (shifted Courant-Nijenhuis torsion).

• Ces tenseurs correspondent à des combinaisons linéaires de brackets de Courant appliqués aux endomorphismes.
• Pour $N=1$ et signature $-1$, on retrouve la torsion de Courant-Nijenhuis décalée classique $S_{\phi_1}$.
• Pour $N$ quelconque, l'annulation de ces tenseurs est nécessaire pour l'intégrabilité.

B. Générateurs Quadratiques (Nouveauté)

Si la famille contient au moins deux endomorphismes symétriques (signature $+1$), de nouveaux générateurs apparaissent : les polynômes $P^{ij}_\epsilon$.

• Ces générateurs n'ont pas d'analogue pour un seul endomorphisme.
• Ils sont construits à partir d'une version bivariable de la torsion, appelée semiconcomitant ($K_{\phi}$).
• Ils capturent des contraintes d'interaction spécifiques entre les parties symétriques de la famille.

Théorème de Réduction (Théorème 26)

L'ensemble $G_\epsilon = \{T^{ijk}_\epsilon\} \cup \{P^{ij}_\epsilon \mid \epsilon_i = \epsilon_j = 1\}$ forme un ensemble de générateurs pour l'idéal $I_\epsilon$.

• La preuve utilise une réduction astucieuse au cas $N=6$ via des isomorphismes d'anneaux préservant l'ordre des monômes, validée par calcul informatique pour toutes les signatures possibles.

Intégrabilité Uniforme et Structures Semisimples

Dans le cas où les endomorphismes sont semisimples, les auteurs relient l'annulation de l'idéal tensoriel à des conditions d'involutive sur les fibrés propres communs $L_\lambda$.

• Théorème 29 : Une famille semisimple est uniformément intégrable si et seulement si les brackets de Courant des sections des fibrés propres satisfont des conditions de fermeture spécifiques (involutive) et des conditions de compatibilité avec les métriques (pour les signatures symétriques).
• Application aux structures de Kähler généralisées et aux structures CRF généralisées.

Cas des Métriques Commutantes

Pour une paire de métriques riemanniennes généralisées commutantes, l'intégrabilité uniforme équivaut à ce que la distribution propre soit involutive et que la métrique soit "bundle-like" par rapport aux feuilletages définis par ces distributions (Proposition 35).

4. Signification et Impact

• Unification Théorique : Ce travail fournit un cadre unifié pour étudier l'intégrabilité de structures géométriques variées (complexes, symplectiques, métriques, CRF) en les traitant comme des cas particuliers de familles d'endomorphismes commutants.
• Nouveaux Outils Algébriques : L'application directe des bases de Gröbner et des idéaux de Knutson à la géométrie généralisée est une innovation méthodologique. Elle permet de traiter des problèmes de contraintes tensorielles complexes qui seraient ingérables par des méthodes purement différentielles.
• Découverte de Nouvelles Contraintes : L'identification des générateurs quadratiques pour les familles symétriques révèle des obstructions à l'intégrabilité qui étaient invisibles dans l'étude des endomorphismes individuels.
• Connexion avec la Géométrie Algébrique : Le lien établi avec les variétés Frobenius split et les idéaux de Knutson ouvre de nouvelles perspectives pour l'étude des singularités et des propriétés cohomologiques des variétés définies par ces contraintes géométriques.

En résumé, cet article établit une théorie complète des contraintes tensorielles pour les familles commutantes d'endomorphismes, reliant la géométrie différentielle avancée à l'algèbre commutative computationnelle, et fournissant des critères explicites pour l'intégrabilité de structures géométriques généralisées complexes.