pith. sign in

arxiv: 2509.14215 · v2 · submitted 2025-09-17 · ✦ hep-th · math-ph· math.MP· math.RA· math.RT

Non-associative structures in extended geometry

Martin Cederwall , Jakob Palmkvist This is my paper

Pith reviewed 2026-05-18 15:41 UTC · model grok-4.3

classification ✦ hep-th math-phmath.MPmath.RAmath.RT
keywords non-associative superalgebraKac-Moody algebraextended geometrygeneralised Lie derivativeexceptional field theorysupergravityhighest-weight module
0
0 comments X

The pith

A non-associative superalgebra built from a highest-weight module over a Kac-Moody algebra encodes the generalised Lie derivative in extended geometry.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proposes that vector fields can be generalised by taking them as elements in a non-associative superalgebra constructed from a highest-weight module of a Kac-Moody algebra. This setup allows the generalised Lie derivative, which combines diffeomorphisms and gauge transformations, to be expressed directly through the algebra's multiplication rules. If correct, this provides a uniform algebraic description that covers extended geometry and reduces to exceptional field theory in special cases, offering a simpler way to handle symmetries in supergravity theories.

Core claim

The generalised vector field is an element in a non-associative superalgebra defined by the module and the Kac-Moody algebra. The Lie derivative of a vector field parameterised by another is generalised and expressed in a simple way in terms of this superalgebra, reproducing the generalised Lie derivative in the general framework of extended geometry, which in special cases reduces to the one in exceptional field theory.

What carries the argument

The non-associative superalgebra defined directly from the highest-weight module over the Kac-Moody algebra, with its multiplication rules encoding the generalised Lie derivative.

If this is right

  • This unifies diffeomorphisms with gauge transformations in supergravity theories through a single algebraic structure.
  • The framework applies uniformly to the general case of extended geometry and reproduces the exceptional field theory case in special instances.
  • It eliminates the need for additional structure constants or choices when defining the generalised Lie derivative.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • This algebraic encoding could simplify explicit computations of symmetries in concrete models of higher-dimensional supergravity.
  • Similar non-associative constructions might apply to other infinite-dimensional algebras arising in mathematical physics.
  • The approach invites direct comparison with existing formulations of extended geometry to check whether it reduces computational overhead in symmetry analysis.

Load-bearing premise

The non-associative superalgebra defined from the highest-weight module and the Kac-Moody algebra is the correct algebraic object whose multiplication rules automatically encode the correct generalised Lie derivative without additional structure constants or choices.

What would settle it

A calculation for a concrete highest-weight module over a specific Kac-Moody algebra where the Lie derivative obtained from the superalgebra multiplication fails to match the standard generalised Lie derivative of extended geometry.

read the original abstract

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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 1 minor

Summary. The manuscript proposes generalizing vector fields to elements of a highest-weight module over a Kac-Moody algebra, constructing a non-associative superalgebra from this module and the algebra, and expressing the generalized Lie derivative via the superalgebra product. It claims this reproduces the generalized Lie derivative in the framework of extended geometry and reduces to the exceptional field theory case, unifying diffeomorphisms with gauge transformations.

Significance. If the non-associative product is shown to encode the precise combination of Lie brackets, derivatives, and section projections without implicit choices or extra coefficients, the construction could offer a compact algebraic unification for extended geometry. At present the lack of explicit derivations limits the assessed significance.

major comments (1)
  1. Abstract: the central claim that the superalgebra multiplication 'reproduces the generalised Lie derivative' and 'reduces to the one in exceptional field theory' is load-bearing yet unsupported by any explicit multiplication table, derivation steps, or direct comparison to the standard formula containing partial derivatives and section-condition projections. Without this verification it is unclear whether the module construction alone fixes the required relative coefficients.
minor comments (1)
  1. The manuscript would benefit from at least one concrete low-rank example (e.g., SL(5) or E6) showing the explicit product rules and the resulting Lie derivative expression side-by-side with the known formula.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying the need for greater explicitness in supporting the central claims. We address the major comment below and outline the revisions we will make.

read point-by-point responses

  1. Referee: Abstract: the central claim that the superalgebra multiplication 'reproduces the generalised Lie derivative' and 'reduces to the one in exceptional field theory' is load-bearing yet unsupported by any explicit multiplication table, derivation steps, or direct comparison to the standard formula containing partial derivatives and section-condition projections. Without this verification it is unclear whether the module construction alone fixes the required relative coefficients.

    Authors: We agree that the abstract is concise and does not itself contain the explicit verification. In the body of the manuscript the non-associative superalgebra product is defined on the highest-weight module, and the generalised Lie derivative is obtained directly from this product. The derivation proceeds by expanding the product in components, identifying the Lie bracket term, the derivative term, and the section-condition projection; the relative coefficients are fixed by the representation theory of the Kac-Moody algebra and the requirement that the result coincide with the standard extended-geometry formula. We will revise the abstract to include a short clause referencing this explicit construction and will add a compact comparison (in a new paragraph or table) that juxtaposes the superalgebra expression with the conventional formula containing partial derivatives and section projections. This will make the coefficient-fixing mechanism transparent without altering the main results. revision: partial

Circularity Check

0 steps flagged

Non-associative superalgebra reproduces generalized Lie derivative as verification from module definition, not by construction

full rationale

The derivation begins by defining a non-associative superalgebra directly from the highest-weight module V over the Kac-Moody algebra g, then expresses the generalized Lie derivative via the algebra product. This is shown to match the known formula in extended geometry (reducing to EFT cases) as a reproduction result rather than an input. No equations reduce the output to a fitted parameter or self-referential definition; the match functions as an independent check. Self-citations to prior extended-geometry work exist but are not load-bearing, as the central construction uses only the module and algebra without importing uniqueness theorems or ansatze from those citations. The derivation remains self-contained against external benchmarks in the literature.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central construction rests on the choice of highest-weight module and the definition of the non-associative superalgebra; no free parameters or invented particles are mentioned.

axioms (1)
  • domain assumption The vector space is generalised to a highest-weight module over a Kac-Moody algebra.
    This replaces ordinary vector fields and is the starting point for the superalgebra definition.
invented entities (1)
  • non-associative superalgebra no independent evidence
    purpose: To encode generalized vector fields and their Lie derivatives in a single algebraic object.
    Defined by the module and the Kac-Moody algebra; no independent evidence outside the construction is given.

pith-pipeline@v0.9.0 · 5628 in / 1191 out tokens · 34844 ms · 2026-05-18T15:41:13.630432+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages · 5 internal anchors

  1. [1]

    Kosmann-Schwarzbach,From Poisson algebras to Gerstenhaber algebras, Annales de l’Institut Fourier,46(1996) no.5,1243–1274;Derived brackets, Lett

    Y. Kosmann-Schwarzbach,From Poisson algebras to Gerstenhaber algebras, Annales de l’Institut Fourier,46(1996) no.5,1243–1274;Derived brackets, Lett. Math. Phys.69 (2004),61–87

    work page 1996

  2. [2]

    Cederwall and J

    M. Cederwall and J. Palmkvist,Extended geometries, JHEP02(2018),071

    work page 2018

  3. [3]

    C. M. Hull,Generalised geometry for M-theory, JHEP07(2007),079

    work page 2007

  4. [4]

    Pires Pacheco and D

    P. Pires Pacheco and D. Waldram,M-theory, exceptional generalised geometry and superpo- tentials, JHEP09(2008),123

    work page 2008

  5. [5]

    Coimbra, C

    A. Coimbra, C. Strickland-Constable and D. Waldram,Ed(d) ×R + generalised geometry, connections and M theory, JHEP02(2014),054

    work page 2014

  6. [6]

    D. S. Berman, M. Cederwall, A. Kleinschmidt and D. C. Thompson,The gauge structure of generalised diffeomorphisms, JHEP01(2013),064. [arXiv:1208.5884[hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  7. [7]

    Exceptional Field Theory I: $E_{6(6)}$ covariant Form of M-Theory and Type IIB

    O. Hohm and H. Samtleben,Exceptional field theory I:E6(6) covariant form of M-theory and type IIB, Phys. Rev. D89(2014) no.6,066016;Exceptional field theory I:E 6(6) covariant form of M-theory and type IIB, Phys. Rev. D89(2014) no.6,066016. [arXiv:1312.0614 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  8. [8]

    Exceptional Field Theory II: E$_{7(7)}$

    O. Hohm and H. Samtleben,Exceptional field theory II:E 7(7), Phys. Rev. D89(2014), 066017; [arXiv:1312.4542[hep-th]]. O. Hohm and H. Samtleben,Exceptional field theory III:E8(8), Phys. Rev. D90(2014), 066002. [arXiv:1406.3348[hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  9. [9]

    Cederwall and J

    M. Cederwall and J. Palmkvist,Cartanification of contragredient Lie superalgebras, [arXiv:2309.14423[math.RT]]

    work page arXiv

  10. [10]

    Cederwall and J

    M. Cederwall and J. Palmkvist,Tensor hierarchy algebras and restricted associativity, [arXiv:2207.12417[math.RA]]

    work page arXiv

  11. [11]

    V. G. Kac,Simple irreducible graded Lie algebras of finite growth, Math. USSR Izv.2(1968), 1271;Lie superalgebras, Adv. Math.26(1977),8–96

    work page 1968

  12. [12]

    Exceptional geometry and Borcherds superalgebras

    J. Palmkvist,Exceptional geometry and Borcherds superalgebras, JHEP11(2015),032 [arXiv:1507.08828[hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  13. [13]

    Generalised diffeomorphisms for E$_9$

    G. Bossard, M. Cederwall, A. Kleinschmidt, J. Palmkvist and H. Samtleben,Generalized diffeomorphisms forE 9, Phys. Rev. D96(2017) no.10,106022[arXiv:1708.08936[hep- th]]. Department of Physics, Chalmers University of Technology, SE-412 96Gothen- burg, Sweden Email address:martin.cederwall@chalmers.se Department of Mathematical Sciences, Chalmers Universit...

    work page internal anchor Pith review Pith/arXiv arXiv 2017