Commun. Math. Phys. 369, 721–760 (2019) Communications in Digital Object Identifier (DOI) https://doi.org/10.1007/s00220-019-03451-2 Mathematical Physics L∞ Algebras for Extended Geometry from Borcherds Superalgebras Martin Cederwall, Jakob Palmkvist Division for Theoretical Physics, Department of Physics, Chalmers University of Technology, 412 96 Gothenburg, Sweden. E-mail:
[email protected];
[email protected] Received: 24 May 2018 / Accepted: 15 March 2019 Published online: 26 April 2019 – © The Author(s) 2019 Abstract: We examine the structure of gauge transformations in extended geometry, the framework unifying double geometry, exceptional geometry, etc. This is done by giving the variations of the ghosts in a Batalin–Vilkovisky framework, or equivalently, an L∞ algebra. The L∞ brackets are given as derived brackets constructed using an underlying Borcherds superalgebra B(gr+1), which is a double extension of the structure algebra gr . The construction includes a set of “ancillary” ghosts. All brackets involving the infinite sequence of ghosts are given explicitly. All even brackets above the 2-brackets vanish, and the coefficients appearing in the brackets are given by Bernoulli numbers. The results are valid in the absence of ancillary transformations at ghost number 1. We present evidence that in order to go further, the underlying algebra should be the corresponding tensor hierarchy algebra. Contents 1. Introduction ................................. 722 2. The Borcherds Superalgebra ......................... 723 3. Section Constraint and Generalised Lie Derivatives ............. 728 4. Derivatives, Generalised Lie Derivatives and Other Operators ....... 730 4.1 The derivative .............................. 730 4.2 Generalised Lie derivative from “almost derivation” .......... 731 4.3 “Almost covariance” and related operators ..............