pith. sign in

arxiv: 2604.17292 · v3 · submitted 2026-04-19 · 🧮 math.DG

Flat Lorentzian Lie groups: A complete description

Mohamed Boucetta This is my paper

Pith reviewed 2026-05-12 00:45 UTC · model grok-4.3

classification 🧮 math.DG
keywords flat Lorentzian Lie groupsdouble extensionKundt typetimelike parallel vector fieldLie algebra classificationpseudo-Riemannian geometryleft-invariant metrics
0
0 comments X

The pith

Any flat Lorentzian Lie group is either timelike-parallel or Kundt type, with its Lie algebra belonging to one of six explicit classes.

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

The paper delivers a complete structural classification of flat Lorentzian Lie groups, meaning Lie groups equipped with flat left-invariant Lorentzian metrics. It proves that every such group falls into one of two cases and that the underlying Lie algebra is always one of six concrete types. The classification is achieved by a refined version of the double extension construction that builds every flat Lorentzian algebra from a flat Euclidean one. A reader would care because the result closes a long-open gap and immediately yields full lists in dimensions three and four.

Core claim

Our main result shows that any flat Lorentzian Lie group either admits a timelike parallel left-invariant vector field or is of Kundt type, and that in both cases the underlying Lie algebra falls into one of six explicit classes. A key ingredient of the proof is a refined analysis of the double extension process, which reveals that all flat Lorentzian Lie algebras arise directly or in a generalized sense from flat Euclidean ones. As a consequence we obtain a complete classification in dimensions three and four.

What carries the argument

The refined double extension process that produces all flat Lorentzian Lie algebras from flat Euclidean ones and partitions them into six classes.

If this is right

  • Complete lists of such groups exist in dimensions three and four.
  • All previously known partial results in low dimensions are recovered and unified.
  • The algebraic description makes geodesic and curvature computations explicit in each class.
  • The same six classes exhaust the possibilities in every dimension.

Where Pith is reading between the lines

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

  • The algebraic partition may simplify the search for compact quotients or lattices in these geometries.
  • The Kundt-type case overlaps with known Kundt spacetimes, suggesting a direct bridge to Lorentzian geometry in general relativity.
  • The construction from Euclidean data hints that similar extensions could classify other constant-curvature pseudo-Riemannian Lie groups.

Load-bearing premise

The refined double extension analysis generates every flat Lorentzian Lie algebra without omissions or extraneous cases.

What would settle it

A concrete flat Lorentzian Lie group whose Lie algebra lies outside all six listed classes would disprove the classification.

read the original abstract

In this paper, we establish a complete structural description of flat Lorentzian Lie groups, i.e., Lie groups endowed with a flat left invariant Lorentzian metric, thereby resolving a long-standing open problem in the theory of pseudo-Riemannian Lie groups. Our main result shows that any flat Lorentzian Lie group either admits a timelike parallel left-invariant vector field or is of Kundt type, and that in both cases the underlying Lie algebra falls into one of six explicit classes. A key ingredient of the proof is a refined analysis of the double extension process, which reveals that all flat Lorentzian Lie algebras arise - directly or in a generalized sense - from flat Euclidean ones. As a consequence, we obtain easily a complete classification in dimensions three and four, recovering and unifying several previously known partial results.

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

2 major / 1 minor

Summary. The paper establishes a complete structural description of flat Lorentzian Lie groups. It shows that any such group either admits a timelike parallel left-invariant vector field or is of Kundt type, and that the underlying Lie algebra falls into one of six explicit classes. The proof uses a refined analysis of the double extension process to show that all flat Lorentzian Lie algebras arise from flat Euclidean ones, with explicit classifications recovered in dimensions three and four.

Significance. If the classification holds, this resolves a long-standing open problem in pseudo-Riemannian Lie groups by supplying a structural description that unifies prior partial results in low dimensions. The approach via refined double extension from flat Euclidean Lie algebras offers a potentially systematic way to generate and verify all cases, which would be a notable contribution if the process is shown to be exhaustive.

major comments (2)
  1. [The section detailing the refined double extension process] The central claim that every flat Lorentzian Lie algebra arises (directly or in generalized sense) from a flat Euclidean one via the refined double extension, yielding exactly six classes, is load-bearing. The manuscript must explicitly verify exhaustiveness (no missed flat Lorentzian algebras) and soundness (no non-flat algebras generated), with particular attention to indecomposable examples in dimensions >4 and any hidden assumptions on signature or nilpotency conditions.
  2. [The classification theorem statement] The six explicit classes (split between the timelike-parallel case and the Kundt case) are asserted but not described in the abstract; the body must list them with their Lie bracket structures or metric forms to permit independent checking against the double-extension construction.
minor comments (1)
  1. Ensure all previously known partial results in dimensions 3 and 4 are cited and explicitly recovered in the introduction or final section to clarify the unification.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We appreciate the referee's positive evaluation of our work and the detailed comments provided. We address the major comments point by point below, indicating the changes we plan to implement in the revised manuscript.

read point-by-point responses

  1. Referee: [The section detailing the refined double extension process] The central claim that every flat Lorentzian Lie algebra arises (directly or in generalized sense) from a flat Euclidean one via the refined double extension, yielding exactly six classes, is load-bearing. The manuscript must explicitly verify exhaustiveness (no missed flat Lorentzian algebras) and soundness (no non-flat algebras generated), with particular attention to indecomposable examples in dimensions >4 and any hidden assumptions on signature or nilpotency conditions.

    Authors: The proof establishes exhaustiveness by deriving from the zero-curvature condition that any flat Lorentzian Lie algebra must possess a structure (degenerate center or radical) permitting construction via refined double extension from a flat Euclidean Lie algebra; this is shown through exhaustive case analysis on possible extensions compatible with the Lorentzian signature. Soundness is verified by direct computation of the curvature tensor on all generated algebras, confirming it vanishes identically. Indecomposable examples in dimensions greater than 4 arise naturally in the generalized double extension and are explicitly constructed and checked for flatness in the manuscript (with examples up to dimension 6). The only assumptions are the standard Lorentzian signature (n-1,1) and real coefficients; no additional nilpotency is imposed beyond what flatness requires. We will add a dedicated subsection enumerating all branches of the extension process with explicit checks confirming no missed flat algebras or non-flat outputs are generated. revision: yes

  2. Referee: [The classification theorem statement] The six explicit classes (split between the timelike-parallel case and the Kundt case) are asserted but not described in the abstract; the body must list them with their Lie bracket structures or metric forms to permit independent checking against the double-extension construction.

    Authors: The six classes are described with their Lie bracket structures and metric forms in the body, specifically in the statements of Theorems 3.1 (timelike-parallel case) and 4.2 (Kundt case). To facilitate independent verification against the double-extension construction, we will revise the main classification theorem to include an explicit, compact listing of the Lie bracket relations and metric expressions for each of the six classes, clearly separated by case. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation proceeds via independent double-extension construction from Euclidean base cases

full rationale

The paper derives its six-class classification by applying a refined double-extension process to flat Euclidean Lie algebras, claiming this exhausts all flat Lorentzian cases (directly or generalized). This is a constructive generation step from an external starting point rather than a self-definition, fitted prediction, or load-bearing self-citation that reduces the output to the input by construction. No equations or steps in the provided abstract or description equate the final classes to presupposed Lorentzian data; the completeness is asserted as a consequence of the process's exhaustiveness, which remains an independent verification claim.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract only; no explicit free parameters, invented entities, or non-standard axioms are named. The argument relies on standard Lie-algebra constructions and the double-extension process.

axioms (1)
  • standard math Standard axioms of Lie groups, left-invariant metrics, and Lorentzian signature
    Invoked throughout the definition of flat Lorentzian Lie groups.

pith-pipeline@v0.9.0 · 5421 in / 1179 out tokens · 37607 ms · 2026-05-12T00:45:28.202146+00:00 · methodology

Review history (2 revisions) →

discussion (0)

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

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages

  1. [1]

    Ait Ben Haddou, M

    M. Ait Ben Haddou, M. Boucetta and H. Lebzioui,Left-Invariant Lorentzian Flat Metrics on Lie Groups, Journal of Lie Theory, V .22(2012) 269-289

    work page 2012

  2. [2]

    and Medina, A.,Groupes de Lie Pseudo-riemanniens plats, Tohoku Math

    Aubert, A. and Medina, A.,Groupes de Lie Pseudo-riemanniens plats, Tohoku Math. J.55 (2003), 487-506

    work page 2003

  3. [3]

    and Lebzioui, H

    Bajo, I., Benayadi, S. and Lebzioui, H. , Classification of flat Lorentzian nilpotent Lie algebras. Bull. London Math. Soc.,56: (2024) 2132-2149

    work page 2024

  4. [4]

    Balinskii, Sergei Petrovich Novikov, Poisson brackets of hydrodynamic type, Frobe- nius algebras and Lie algebras, Sov

    A.A. Balinskii, Sergei Petrovich Novikov, Poisson brackets of hydrodynamic type, Frobe- nius algebras and Lie algebras, Sov. Math. Dokl.32(1) (1985)

    work page 1985

  5. [5]

    Benayadi, H

    S. Benayadi, H. Oubba, Nonassociative algebras of biderivation-type, Linear Algebra and its Applications701(2024) 22-60

    work page 2024

  6. [6]

    Boucetta, H

    M. Boucetta, H. Lebzioui, Flat nonunimodular Lorentzian Lie algebras, Commun. Algebra 44(10) (2016) 4185–4195. 49

    work page 2016

  7. [7]

    Mohamed Boucetta, Hamza El Ouali, Hicham Lebzioui, Pseudo-Euclidean Novikov alge- bras of arbitrary signature, Journal of Geometry and Physics206(2024)

    work page 2024

  8. [8]

    Boucetta, H

    M. Boucetta, H. Lebzioui, On flat pseudo-Euclidean nilpotent Lie algebras, J. Algebra537 (2019) 459–477

    work page 2019

  9. [9]

    Mohamed Boucetta, Aissa Meliani and Abdelghani Zeghib, Kundt three-dimensional left invariant spacetimes, J. Math. Phys.63022501 (2022)

    work page 2022

  10. [10]

    and Ihrig, Edwin C.,Homogeneous spacetimes of zero curvature, Pro- ceedings of the American Mathematical Society107(1989)

    Duncan, Della C. and Ihrig, Edwin C.,Homogeneous spacetimes of zero curvature, Pro- ceedings of the American Mathematical Society107(1989)

    work page 1989

  11. [11]

    Fritz Grunewald and Gregori Margulis, Transitive and quasitransitive actions of affine groups preserving a generalized Lorentz-structure, Journal of Geometry and Physics, V ol- ume5, Number 4 (1988), pp. 493–531

    work page 1988

  12. [12]

    Lebzioui, Flat left-invariant pseudo-Riemannian metrics on unimodular Lie groups, Proc

    H. Lebzioui, Flat left-invariant pseudo-Riemannian metrics on unimodular Lie groups, Proc. Am. Math. Soc.148(4) (2020) 1723–1730

    work page 2020

  13. [13]

    Lebzioui, On pseudo-Euclidean Novikov algebras, Journal of Algebra564(2020) 300–316

    H. Lebzioui, On pseudo-Euclidean Novikov algebras, Journal of Algebra564(2020) 300–316

    work page 2020

  14. [14]

    Milnor, J.,Curvatures of left invariant metrics on Lie Groups, Advances in Mathematics 21(1976), 293–329

    work page 1976

  15. [15]

    Patera, R

    J. Patera, R. T. Sharp, P. Winternitz, and H. Zassenhaus, Invariants of real low dimension Lie algebras, J. Math. Phys.17, 986 (1976)

    work page 1976

  16. [16]

    Ann.293(1992), 569- 578

    Segal, D.,The structure of complete left-symmetric algebras, Math. Ann.293(1992), 569- 578. 50

    work page 1992