Noncommutative Poisson vertex algebras and Courant–Dorfman algebras

We introduce the notion of double Courant–Dorfman algebra and prove that it satisfies the so-called Kontsevich–Rosenberg principle, that is, a double Courant–Dorfman algebra induces Roytenberg's Courant–Dorfman algebras on the affine schemes parametrizing finite-dimensional representations of a...

Full description

Bibliographic Details
Authors: Álvarez-Cónsul, Luis, Fernández Álvarez, David, Heluani, Reimundo
Format: article
Status:Versión enviada para evaluación y publicación
Publication Date:2023
Country:España
Institution:Consejo Superior de Investigaciones Científicas (CSIC)
Repository:DIGITAL.CSIC. Repositorio Institucional del CSIC
OAI Identifier:oai:digital.csic.es:10261/348907
Online Access:http://hdl.handle.net/10261/348907
https://www.scopus.com/inward/record.uri?eid=2-s2.0-85170565664&doi=10.1016%2fj.aim.2023.109269&partnerID=40&md5=f26044084b5b1ddae3c6e8ff5ad04cc9
Access Level:Open access
Keyword:Double Courant–Dorfman algebras
Noncommutative Cartan differential calculus
Double Poisson vertex algebras
Double Poisson algebras
Double Dorfman bracket
Kontsevich–Rosenberg principle
Description
Summary:We introduce the notion of double Courant–Dorfman algebra and prove that it satisfies the so-called Kontsevich–Rosenberg principle, that is, a double Courant–Dorfman algebra induces Roytenberg's Courant–Dorfman algebras on the affine schemes parametrizing finite-dimensional representations of a noncommutative algebra. The main example is given by the direct sum of double derivations and noncommutative differential 1-forms, possibly twisted by a closed Karoubi–de Rham 3-form. To show that this basic example satisfies the required axioms, we first prove a variant of the Cartan identity for double derivations and Van den Bergh's double Schouten–Nijenhuis bracket. This new identity, together with noncommutative versions of the other Cartan identities already proved by Crawley-Boevey–Etingof–Ginzburg and Van den Bergh, establishes the differential calculus on noncommutative differential forms and double derivations and should be of independent interest. Motivated by applications in the theory of noncommutative Hamiltonian PDEs, we also prove a one-to-one correspondence between double Courant–Dorfman algebras and double Poisson vertex algebras, introduced by De Sole–Kac–Valeri, that are freely generated in degrees 0 and 1.