Novikov algebras and multi-indices in regularity structures

Résumé technique : Algèbres de Novikov et multi-indices dans les structures de régularité

Énoncé du problème
L'article traite des fondements algébriques de la théorie des structures de régularité, concernant spécifiquement les objets combinatoires connus sous le nom de « multi-indices » utilisés pour décrire les solutions d'équations aux dérivées partielles stochastiques (EDPS) singulières. Bien que la théorie des arbres enracinés décorés ait été avec succès liée aux algèbres pré-Lie libres (et subséquemment aux algèbres post-Lie) pour faciliter la renormalisation, la structure algébrique correspondante pour les multi-indices est restée moins comprise. Plus précisément, il s'agissait d'une question ouverte de savoir si l'espace des multi-indices « peuplés » (ceux satisfaisant une contrainte combinatoire spécifique liée à l'arité des arbres) forme une algèbre libre. Des travaux antérieurs ont établi que les multi-indices peuplés pour les équations différentielles ordinaires (EDO) forment une algèbre de Novikov libre, mais une généralisation au contexte multi-dérivé nécessaire pour les EDPS faisait défaut.

Méthodologie
Les auteurs emploient une combinaison d'algèbre combinatoire et de théorie des opérades pour combler cette lacune. Leur méthodologie procède par les étapes suivantes :

1. Définition des multi-indices généraux : Ils formalisent les « multi-indices généraux » comme des monômes dans des variables formelles $z_{(l,w)}$, où $l$ indexe les types de bruit et $w$ encode les dérivées. Ceux-ci sont équipés d'une famille de dérivations $D^{(n)}$ correspondant à l'application de dérivées partielles.
2. Introduction des algèbres multi-Novikov : Les auteurs définissent une nouvelle structure algébrique, l'algèbre multi-Novikov. Il s'agit d'un espace vectoriel équipé d'une famille de produits bilinéaires $\triangleright_a$ indexés par un ensemble $A$, satisfaisant des identités spécifiques qui généralisent les identités standards de Novikov. Ces identités sont les analogues multi-opérationnels des identités pré-Lie, adaptés à la nature commutative des monômes sous-jacents.
3. Construction d'objets libres : Pour prouver que des espaces spécifiques de multi-indices sont libres, les auteurs construisent l'algèbre multi-Novikov libre $\text{Nov}_A\langle X \rangle$. Ils y parviennent en plongeant le problème dans le contexte des algèbres multidifférentielles commutatives (algèbres avec un produit commutatif et une famille de dérivations commutant). Ils prouvent que l'algèbre multi-Novikov libre est isomorphe à une sous-algèbre spécifique de l'algèbre multidifférentielle commutative libre, caractérisée par une « condition de peuplement ».
4. Analyse dimensionnelle et construction de base : La preuve de la liberté repose sur l'établissement d'une bijection entre les éléments de base de l'algèbre multi-Novikov libre et les composantes homogènes de l'algèbre multidifférentielle commutative libre. Cela implique :
   • La définition d'une « condition de peuplement » sur les monômes.
   • La construction d'une base de « produits gauches ordonnés normalement » dans l'algèbre magmatique libre (l'algèbre sans relations).
   • L'utilisation de la correspondance de rotation de Knuth pour relier ces produits aux arbres enracinés planaires et prouver que le quotient par les relations multi-Novikov produit une base en bijection avec les monômes peuplés.
5. Extension aux EDPS : Le cadre est étendu aux multi-indices EDPS en introduisant des dérivations supplémentaires $\partial_i$ satisfaisant des relations de commutation non triviales avec les opérateurs $D^{(n)}$ (spécifiquement, $D^{(n)}\partial_i = \partial_i D^{(n)} + n_i D^{(n-e_i)}$). Cela est géré en considérant l'algèbre comme une algèbre multi-Novikov $g$-étendue, où $g$ est une algèbre de Lie abélienne agissant comme des dérivations généralisées.

Contributions et résultats clés

• Définition des algèbres multi-Novikov : L'article introduit le concept d'algèbre multi-Novikov (Définition 2.2), une généralisation des algèbres de Novikov avec plusieurs opérations binaires indexées par un ensemble $A$. Les identités définissantes (2.6–2.8) généralisent les relations pré-Lie et Novikov.
• Théorème 2.3 (Liberté des multi-indices généraux) : Les auteurs prouvent que l'algèbre multi-Novikov des multi-indices généraux peuplés est isomorphe à l'algèbre libre générée par l'ensemble des types de bruit $L_-$. Cela confirme la conjecture selon laquelle ces objets combinatoires forment une structure libre, analogue à l'algèbre pré-Lie libre des arbres décorés.
• Théorème 4.2 (Liberté des multi-indices EDPS) : L'article étend le résultat au cadre plus complexe des EDPS. Il prouve que l'algèbre multi-Novikov des multi-indices EDPS peuplés (qui incorporent des dérivées spatiales via les relations de la règle de chaîne) est isomorphe à l'algèbre libre générée par l'ensemble $\mathbb{N}^{d+1} \times L_-$.
• Lien avec les arbres décorés (Théorème 6.1) : Les auteurs démontrent que l'espace des arbres décorés planaires, lorsqu'il est quotienté par des relations spécifiques mimant la règle de chaîne, forme une algèbre multi-pré-Lie étendue libre. Ils montrent que le morphisme des arbres décorés vers les multi-indices peut être compris conceptuellement comme le « désassemblage » d'un arbre en appliquant les dérivées des arêtes entrantes aux étiquettes des sommets, retrouvant ainsi les multi-indices via des accolades multi-symétriques (Proposition 6.3).

Portée et affirmations
L'article prétend fournir l'« objet libre fondamental » manquant pour l'approche combinatoire des structures de régularité basée sur les multi-indices. En établissant que les multi-indices peuplés forment une algèbre multi-Novikov libre, les auteurs :

1. Unifient les approches combinatoires : Ils montrent un parallèle entre l'approche basée sur les arbres (liée aux algèbres pré-Lie libres) et l'approche par multi-indices (liée aux algèbres multi-Novikov libres).
2. Clarifient la structure algébrique : Ils résolvent la question structurelle concernant la non-liberté de l'algèbre pré-Lie sur les multi-indices en identifiant la structure libre sous-jacente correcte (l'algèbre multi-Novikov).
3. Généralisent les résultats existants : Le travail généralise le résultat connu selon lequel les multi-indices peuplés pour les EDO forment une algèbre de Novikov libre (Théorème 1.1) au cadre beaucoup plus complexe des EDPS singulières impliquant plusieurs dérivées et non-linéarités.

Les auteurs soulignent que leurs résultats sont fonctoriels et compatibles avec les théorèmes existants sur les algèbres multi-pré-Lie, fournissant un cadre algébrique robuste pour la renormalisation des EDPS singulières sans recourir à des développements diagrammatiques. L'article ne propose pas de nouvelles applications expérimentales mais consolide plutôt les fondements théoriques du formalisme algébrique utilisé dans ce domaine.