arXiv subjects

Jakob Palmkvist

Publications and source records attributed to Jakob Palmkvist.

At least 19 recordsLinked to original sources

arXiv2026

Non-associative structures in extended geometry

We consider a generalisation of vector fields on a vector space, where the vector space is generalised to a highest-weight module over a Kac-Moody algebra. The generalised vector field is an element in a non-associative superalgebra defined by the module and the Kac-Moody algebra. Also the Lie derivative of a vector field parameterised by another is generalised and expressed in a simple way in terms of this superalgebra. It reproduces the generalised Lie derivative in the general framework of extended geometry, which in special cases reduces to the one in exceptional field theory, unifying diffeomorphisms with gauge transformations in supergravity theories.

hep-th↗

arXiv2026

Graded Lie superalgebras from embedding tensors

We show how various constructions of $\mathbb{Z}$-graded Lie superalgebras are related to each other. These Lie superalgebras have a Lie algebra $\mathfrak{g}$ as the subalgebra at degree 0, an odd $\mathfrak{g}$-module V as the subspace at degree 1, and an embedding tensor as an element at degree -1. This is a linear map from V to $\mathfrak{g}$ satisfying a quadratic constraint, which equips V with the structure of a Leibniz algebra.

math.RT↗

arXiv2025

Gradient structures from extensions of over-extended Kac-Moody algebras

Over-extended Kac-Moody algebras contain so-called gradient structures - a gl(d)-covariant level decomposition of the algebra contains strings of modules at different levels that can be interpreted as spatial gradients. We present an algebraic origin for this phenomenon, based on the recently introduced Lie algebra extension of an over-extended Kac-Moody algebra by its fundamental module, appearing in tensor hierarchy algebra super-extensions of over-extended Kac-Moody algebras. The extensions are described in terms of Lie algebra cohomology, vanishing for finite-dimensional simple Lie algebras, but non-vanishing in relevant infinite-dimensional cases. The extension is described in a few different gradings, where it is given a covariant description with respect to different subalgebras. We expect the results to be important for the connection between extended geometry and cosmological billiards.

hep-th↗

arXiv2024

Teleparallel Geroch geometry

We construct the teleparallel dynamics for extended geometry where the structure algebra is (an extension of) an untwisted affine Kac-Moody algebra. This provides a geometrisation of the Geroch symmetry appearing on dimensional reduction of a gravitational theory to two dimensions. The formalism is adapted to the underlying tensor hierarchy algebra, and will serve as a stepping stone towards the geometrisation of other infinite-dimensional, e.g. hyperbolic, symmetries.

hep-th↗

arXiv2024

Canonical supermultiplets and their Koszul duals

The pure spinor superfield formalism reveals that, in any dimension and with any amount of supersymmetry, one particular supermultiplet is distinguished from all others. This "canonical supermultiplet" is equipped with an additional structure that is not apparent in any component-field formalism: a (homotopy) commutative algebra structure on the space of fields. The structure is physically relevant in several ways; it is responsible for the interactions in ten-dimensional super Yang-Mills theory, as well as crucial to any first-quantised interpretation. We study the $L_\infty$ algebra structure that is Koszul dual to this commutative algebra, both in general and in numerous examples, and prove that it is equivalent to the subalgebra of the Koszul dual to functions on the space of generalised pure spinors in internal degree greater than or equal to three. In many examples, the latter is the positive part of a Borcherds-Kac-Moody superalgebra. Using this result, we can interpret the canonical multiplet as the homotopy fiber of the map from generalised pure spinor space to its derived replacement. This generalises and extends work of Movshev-Schwarz and Gálvez-Gorbounov-Shaikh-Tonks in the same spirit. We also comment on some issues with physical interpretations of the canonical multiplet, which are illustrated by an example related to the complex Cayley plane, and on possible extensions of our construction, which appear relevant in an example with symmetry type $G_2 \times A_1$.

hep-th↗

arXiv2023

Cartanification of contragredient Lie superalgebras

Let $B$ be a $\mathbb{Z}$-graded Lie superalgebra equipped with an invariant $\mathbb{Z}_2$-symmetric homogeneous bilinear form and containing a grading element. Its local part (in the terminology of Kac) $B_{-1} \oplus B_{0} \oplus B_{1}$ gives rise to another $\mathbb{Z}$-graded Lie superalgebra, recently constructed in arXiv:2207.12417, that we here denote $B^W$ and call the cartanification of $B^W$, since it is of Cartan type in the cases where it happens to finite-dimensional. In cases where $B$ is given by a generalised Cartan matrix, we compare $B^W$ to the tensor hierarchy algebra $W$ constructed from the same generalised Cartan matrix by a modification of the generators and relations. We generalise this construction and give conditions under which $W$ and $B^W$ are isomorphic, proving a conjecture in arXiv:2207.12417. We expect that the algebras with restricted associativity underlying the cartanifications will be useful in applications of tensor hierarchy algebras to the field of extended geometry in physics.

math.RT↗

arXiv2023

The teleparallel complex

We formalise the teleparallel version of extended geometry (including gravity) by the introduction of a complex, the differential of which provides the linearised dynamics. The main point is the natural replacement of the two-derivative equations of motion by a differential which only contains terms of order 0 and 1 in derivatives. Second derivatives arise from homotopy transfer (elimination of fields with algebraic equations of motion). The formalism has the advantage of providing a clear consistency relation for the algebraic part of the differential, the "dualisation", which then defines the dynamics of physical fields. It remains unmodified in the interacting BV theory, and the full non-linear models arise from covariantisation. A consequence of the use of the complex is that symmetry under local rotations becomes as good as manifest, instead of arising for a specific combination of tensorial terms, for less obvious reasons. We illustrate with a derivation of teleparallel Ehlers geometry, where the extended coordinate module is the adjoint module of a finite-dimensional simple Lie group.

hep-th↗

arXiv2023

Extended geometry of magical supergravities

We provide, through the framework of extended geometry, a geometrisation of the duality symmetries appearing in magical supergravities. A new ingredient is the general formulation of extended geometry with structure group of non-split real form. A simple diagrammatic rule for solving the section constraint by inspection of the Satake diagram is derived.

hep-th↗

arXiv2022

Tensor hierarchy algebras and restricted associativity

We study local algebras, which are structures similar to $\mathbb{Z}$-graded algebras concentrated in degrees $-1,0,1$, but without a product defined for pairs of elements at the same degree $\pm1$. To any triple consisting of a Kac-Moody algebra $\mathfrak{g}$ with an invertible and symmetrisable Cartan matrix, a dominant integral weight of $\mathfrak{g}$ and an invariant symmetric bilinear form on $\mathfrak{g}$, we associate a local algebra satisfying a restricted version of associativity. From it, we derive a local Lie superalgebra by a commutator construction. Under certain conditions, we identify generators which we show satisfy the relations of the tensor hierarchy algebra $W$ previously defined from the same data. The result suggests that an underlying structure satisfying such a restricted associativity may be useful in applications of tensor hierarchy algebras to extended geometry.

math.RA↗

arXiv2022

Nonlinear realisations of Lie superalgebras

For any decomposition of a Lie superalgebra $\mathcal G$ into a direct sum $\mathcal G=\mathcal H\oplus\mathcal E$ of a subalgebra $\mathcal H$ and a subspace $\mathcal E$, without any further resctrictions on $\mathcal H$ and $\mathcal E$, we construct a nonlinear realisation of $\mathcal G$ on $\mathcal E$. The result generalises a theorem by Kantor from Lie algebras to Lie superalgebras. When $\mathcal G$ is a differential graded Lie algebra, we show that it gives a construction of an associated $L_\infty$-algebra.

math.RT↗

arXiv2021

Teleparallelism in the algebraic approach to extended geometry

Extended geometry is based on an underlying tensor hierarchy algebra. We extend the previously considered $L_\infty$ structure of the local symmetries (the diffeomorphisms and their reducibility) to incorporate physical fields, field strengths and Bianchi identities, and identify these as elements of the tensor hierarchy algebra. The field strengths arise as generalised torsion, so the naturally occurring complex in the $L_\infty$ algebra is $\ldots\leftarrow$ torsion BI's $\leftarrow$ torsion $\leftarrow$ vielbein $\leftarrow$ diffeomorphism parameters $\leftarrow\ldots$ In order to obtain equations of motion, which are not in this complex, (pseudo-)actions, quadratic in torsion, are given for a large class of models. This requires considering the dual complex. We show how local invariance under the compact subgroup locally defined by a generalised metric arises as a "dual gauge symmetry" associated with a certain torsion Bianchi identity, generalising Lorentz invariance in the teleparallel formulation of gravity. The analysis is performed for a large class of finite-dimensional structure groups, with $E_5$ as a detailed example. The continuation to infinite-dimensional cases is discussed.

hep-th↗

arXiv2021

Tensor hierarchy algebra extensions of over-extended Kac--Moody algebras

Tensor hierarchy algebras are infinite-dimensional generalisations of Cartan-type Lie superalgebras. They are not contragredient, exhibiting an asymmetry between positive and negative levels. These superalgebras have been a focus of attention due to the fundamental role they play for extended geometry. In the present paper, we examine tensor hierarchy algebras which are super-extensions of over-extended (often, hyperbolic) Kac--Moody algebras. They contain novel algebraic structures. Of particular interest is the extension of a over-extended algebra by its fundamental module, an extension that contains and generalises the extension of an affine Kac--Moody algebra by a Virasoro derivation $L_1$. A conjecture about the complete superalgebra is formulated, relating it to the corresponding Borcherds superalgebra.

math.RT↗

arXiv2020

Infinity-enhancing of Leibniz algebras

We establish a correspondence between infinity-enhanced Leibniz algebras, recently introduced in order to encode tensor hierarchies, and differential graded Lie algebras, which have been already used in this context. We explain how any Leibniz algebra gives rise to a differential graded Lie algebra with a corresponding infinity-enhanced Leibniz algebra. Moreover, by a theorem of Getzler, this differential graded Lie algebra canonically induces an $L_\infty$-algebra structure on the suspension of the underlying chain complex. We explicitly give the brackets to all orders and show that they agree with the partial results obtained from the infinity-enhanced Leibniz algebras in arXiv:1904.11036.

hep-th↗

arXiv2020

Galilean free Lie algebras

We construct free Lie algebras which, together with the algebra of spatial rotations, form infinite-dimensional extensions of finite-dimensional Galilei Maxwell algebras appearing as global spacetime symmetries of extended non-relativistic objects and non-relativistic gravity theories. We show how various extensions of the ordinary Galilei algebra can be obtained by truncations and contractions, in some cases via an affine Kac-Moody algebra. The infinite-dimensional Lie algebras could be useful in the construction of generalized Newton-Cartan theories gravity theories and the objects that couple to them.

hep-th↗

arXiv2020

Newton-Hooke/Carrollian expansions of (A)dS and Chern-Simons gravity

We construct finite- and infinite-dimensional non-relativistic extensions of the Newton-Hooke and Carroll (A)dS algebras using the algebra expansion method, starting from the (anti-)de Sitter relativistic algebra in D dimensions. These algebras are also shown to be embedded in different affine Kac-Moody algebras. In the three-dimensional case, we construct Chern-Simons actions invariant under these symmetries. This leads to a sequence of non-relativistic gravity theories, where the simplest examples correspond to extended Newton-Hooke and extended (post-)Newtonian gravity together with their Carrollian counterparts.

hep-th↗

arXiv2020

Symmetries of post-Galilean expansions

In this letter we study an infinite extension of the Galilei symmetry group in any dimension that can be thought of as a non-relativistic or post-Galilean expansion of the Poincare symmetry. We find an infinite-dimensional vector space on which this generalized Galilei group acts and usual Minkowski space can be modeled by our construction. We also construct particle and string actions that are invariant under these transformations.

hep-th↗

arXiv2019

Tensor hierarchy algebras and extended geometry I: Construction of the algebra

Tensor hierarchy algebras constitute a class of non-contragredient Lie superalgebras, whose finite-dimensional members are the "Cartan-type" Lie superalgebras in Kac's classification. They have applications in mathematical physics, especially in extended geometry and gauged supergravity. We further develop the recently proposed definition of tensor hierarchy algebras in terms of generators and relations encoded in a Dynkin diagram (which coincides with the diagram for a related Borcherds superalgebra). We apply it to cases where a grey node is added to the Dynkin diagram of a rank $r+1$ Kac-Moody algebra $\mathfrak{g}^+$, which in turn is an extension of a rank $r$ finite-dimensional semisimple simply laced Lie algebra $\mathfrak{g}$. The algebras are specified by $\mathfrak{g}$ together with a dominant integral weight $λ$. As a by-product, a remarkable identity involving representation matrices for arbitrary integral highest weight representations of $\mathfrak{g}$ is proven. An accompanying paper describes the application of tensor hierarchy algebras to the gauge structure and dynamics in models of extended geometry.

hep-th↗

arXiv2019

Tensor hierarchy algebras and extended geometry II: Gauge structure and dynamics

The recent investigation of the gauge structure of extended geometry is generalised to situations when ancillary transformations appear in the commutator of two generalised diffeomorphisms. The relevant underlying algebraic structure turns out to be a tensor hierarchy algebra rather than a Borcherds superalgebra. This tensor hierarchy algebra is a non-contragredient superalgebra, generically infinite-dimensional, which is a double extension of the structure algebra of the extended geometry. We use it to perform a (partial) analysis of the gauge structure in terms of an $L_\infty$ algebra for extended geometries based on finite-dimensional structure groups. An invariant pseudo-action is also given in these cases. We comment on the continuation to infinite-dimensional structure groups. An accompanying paper deals with the mathematical construction of the tensor hierarchy algebras.

hep-th↗