Rota--Baxter operators on vertex algebras in integrated $\lambda$-bracket formalism and their associated 2-cocycles

Résumé technique : Opérateurs de Rota–Baxter sur les algèbres de vertex dans le formalisme intégré du crochet $\lambda$ et leurs 2-cocycles associés

Énoncé du problème
L'article traite de l'extension des opérateurs de Rota–Baxter, bien établis dans les algèbres associatives et la théorie de Lie, au contexte des algèbres de vertex. Alors que des travaux antérieurs de Xu et d'autres (par exemple, Bai, Guo, Liu et Wang) ont exploré les opérateurs de Rota–Baxter sur les algèbres de vertex opérateur, les reliant souvent aux équations de Yang–Baxter modifiées et aux structures dendriformes, ce travail examine spécifiquement les implications cohomologiques de ces opérateurs. Le problème central est de déterminer si un opérateur de Rota–Baxter sur une algèbre de vertex génère une déformation produisant un élément non trivial dans la cohomologie des algèbres de vertex, analogue au résultat classique où les opérateurs de Rota–Baxter sur les algèbres associatives produisent des 2-cocycles de Hochschild.

Méthodologie
L'auteur emploie le formalisme intégré du crochet $\lambda$ développé par Bakalov et Kac. Cette approche remplace l'opérateur de vertex standard $Y(a, z)$ par un crochet intégré $I_{a,b}(\lambda) = \int_0^\lambda d\sigma [a_\sigma b]$, qui satisfait des axiomes parallèles à ceux des algèbres de Lie conformes (séquilinéarité, antisymétrie et identité de Jacobi).

La méthodologie se déroule en trois étapes principales :

1. Définition et construction : Un opérateur de Rota–Baxter $P: V \to V$ de poids $\lambda$ est défini comme une application linéaire commutant avec l'opérateur de translation $\partial$ et satisfaisant l'identité :
   $$I_{Pa, Pb}(\mu) = P\left( I_{Pa, b}(\mu) + I_{a, Pb}(\mu) + \lambda I_{a, b}(\mu) \right).$$
   En utilisant cet opérateur, un nouveau crochet intégré $\lambda$ « déformé » est construit :
   $$I^\star_{a,b}(\mu) := I_{a, Pb}(\mu) + I_{Pa, b}(\mu) + \lambda I_{a, b}(\mu).$$
2. Vérification structurelle : L'article vérifie rigoureusement que le triplet $(V, \partial, I^\star)$ satisfait les axiomes d'une algèbre de vertex non unitaire (séquilinéarité, antisymétrie et identité de Jacobi). Il démontre en outre que $P$ agit comme un homomorphisme de l'algèbre déformée $(V, I^\star)$ vers l'algèbre originale $(V, I)$.
3. Analyse cohomologique : La différence entre les crochets déformé et original, définie par $\Phi_{a,b}(\mu) = I^\star_{a,b}(\mu) - I_{a,b}(\mu)$, est analysée en tant que 2-cochaîne. L'auteur utilise le complexe de cohomologie des algèbres de vertex (fondé sur le cadre de l'opérade chirale) pour tester si $\Phi$ satisfait la condition de 2-cocycle ($\delta \Phi = 0$) et examine ensuite les conditions sous lesquelles $\Phi$ est un 2-cobord.

Contributions et résultats clés

• Déformation des algèbres de vertex : L'article établit que tout opérateur de Rota–Baxter $P$ (commutant avec $\partial$) sur une algèbre de vertex $V$ induit une nouvelle structure d'algèbre de vertex non unitaire $(V, I^\star)$. Cela généralise la construction classique des produits déformés $x \star_R y$ dans les algèbres associatives au cadre des algèbres de vertex.
• Génération de cocycles : Le résultat principal est la preuve que la différence $\Phi = I^\star - I$ est un 2-cocycle dans la cohomologie de l'algèbre de vertex déformée $(V, I^\star)$ à coefficients dans un module tordu par $P$. Cela fournit un analogue direct en algèbre de vertex à la relation classique entre les opérateurs de Rota–Baxter et les 2-cocycles de Hochschild.
• Conditions de trivialité : L'article caractérise les conditions sous lesquelles ce 2-cocycle est trivial (c'est-à-dire un cobord). Il démontre que si $P$ est un multiple scalaire de l'identité ($P = \kappa \cdot \text{id}$) satisfaisant des conditions quadratiques spécifiques liées au poids $\lambda$ et à la parité des éléments, alors $\Phi$ est un cobord.
• Non-trivialité des opérateurs non scalaires : De manière cruciale, l'article montre que pour les opérateurs de Rota–Baxter non scalaires (tels que les projections sur les algèbres de vertex de réseau ou l'algèbre de vertex de Heisenberg), le 2-cocycle résultant $\Phi$ représente une classe de cohomologie non triviale. Cela implique que de tels opérateurs génèrent des obstructions véritables à ce que la déformation soit équivalente à la structure originale via un cobord.

Signification
L'article fait le pont entre deux développements distincts dans la théorie des algèbres de vertex : la théorie algébrique des opérateurs de Rota–Baxter et la théorie cohomologique des algèbres de vertex. En utilisant le formalisme intégré du crochet $\lambda$, l'auteur fournit un cadre compact et conceptuel pour démontrer que les opérateurs de Rota–Baxter ne sont pas de simples déformations algébriques, mais aussi des sources d'invariants cohomologiques non triviaux.

La signification réside dans la généralisation de la correspondance classique entre les opérateurs de Rota–Baxter et la cohomologie de Hochschild au contexte des algèbres de vertex. Les résultats confirment que les opérateurs de Rota–Baxter non scalaires produisent de véritables 2-cocycles, enrichissant ainsi la compréhension des déformations en théorie des champs conformes et des structures algébriques apparentées. L'ouvrage ne propose pas de nouvelles applications physiques ni de propositions expérimentales, mais consolide plutôt le fondement théorique reliant les déformations d'opérateurs aux classes de cohomologie au sein du cadre axiomatique rigoureux des algèbres de vertex.