pith. sign in

arxiv: 2604.04965 · v1 · submitted 2026-04-03 · 🧮 math.DS

On the Classification of Non-Homogeneous Solvable Lie Foliations

Ameth Ndiaye This is my paper

Pith reviewed 2026-05-13 17:43 UTC · model grok-4.3

classification 🧮 math.DS
keywords Lie foliationsmetabelian Lie groupsnon-homogeneous foliationsgroup cohomologyholonomy groupsolvable Lie groupsclassificationdimension 5
0
0 comments X

The pith

GA-Lie foliations on compact 5-manifolds are completely classified and non-homogeneous examples with non-split metabelian transverse groups exist.

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

The paper provides a full classification of Lie foliations with affine transverse group GA in dimension 5. It then shows that when the transverse group is a non-split metabelian Lie group, non-homogeneous foliations occur already in this lowest dimension. A new way to detect non-homogeneity comes from checking whether the second cohomology group of the holonomy with integer coefficients is non-trivial. This separates homogeneity questions from whether the holonomy group is polycyclic.

Core claim

Every GA-Lie foliation on a compact 5-manifold falls into one of a finite number of classes determined by the structure of its transverse action, completing an earlier partial classification. For non-split metabelian transverse groups, explicit constructions give non-homogeneous Lie foliations in dimension 5. The group cohomology H²(Γ, ℤ) of the holonomy group Γ supplies an obstruction that forces non-homogeneity even when the holonomy is polycyclic.

What carries the argument

The second cohomology group H²(Γ, ℤ) of the holonomy group, which detects an obstruction to the foliation being homogeneous when non-zero.

If this is right

  • GA-Lie foliations in dimension 5 now have an exhaustive list of possible types.
  • Non-homogeneous Lie foliations with non-split metabelian transverse groups exist in dimension 5, the smallest possible.
  • Non-polycyclicity of the holonomy is not required for a Lie foliation to be non-homogeneous.
  • The cohomology obstruction can be used to produce exotic non-homogeneous examples beyond those from non-polycyclic holonomy.

Where Pith is reading between the lines

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

  • This suggests that similar cohomology obstructions might classify homogeneity in higher dimensions or for other solvable transverse groups.
  • Explicit computation of H²(Γ, ℤ) for small holonomy groups could yield more examples of non-homogeneous foliations.
  • The classification in dimension 5 may serve as a base case for inductive constructions in higher dimensions.

Load-bearing premise

The proofs assume that all GA-Lie foliations in dimension 5 arise from the same construction techniques used in lower dimensions without new unexpected constraints.

What would settle it

Constructing a GA-Lie foliation on a compact 5-manifold whose structure does not match any entry in the proposed classification list would falsify the completeness claim.

read the original abstract

We study Lie foliations on compact manifolds whose transverse group is \emph{metabelian} (a natural generalization of the affine group $\GA$ considered in earlier work). We establish a complete classification of $\GA$-Lie foliations in dimension $5$, completing the work initiated in Dathe--Ndiaye. We then extend this analysis to foliations whose transverse group is a non-split metabelian Lie group, proving the existence of non-homogeneous Lie foliations with such groups in the smallest possible dimension. We introduce a new obstruction to homogeneity via the group cohomology $H^{2}(\Gamma,\mathbb{Z})$ of the holonomy group, and give exotic examples showing that non-polycyclicity of holonomy is not the only obstruction to homogeneity.

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 / 2 minor

Summary. The paper claims a complete classification of GA-Lie foliations on compact 5-manifolds, completing Dathe--Ndiaye, and proves existence of non-homogeneous Lie foliations with non-split metabelian transverse groups in the smallest dimension. It introduces a new homogeneity obstruction via H²(Γ,ℤ) of the holonomy group and provides exotic examples showing non-polycyclicity is not the sole obstruction.

Significance. If the classification and existence proofs hold, the work advances the study of solvable Lie foliations on low-dimensional compact manifolds by completing the GA case in dimension 5 and supplying the first non-homogeneous examples for non-split metabelian groups. The H²(Γ,ℤ) obstruction supplies a new, computable criterion that refines earlier polycyclicity-based tests.

major comments (2)
  1. [§3] §3 (GA-Lie foliations in dimension 5): the claim of completeness rests on extending Dathe--Ndiaye techniques, yet the text does not enumerate all possible holonomy representations of the 5-dimensional affine group nor verify that fundamental-group relations on the compact manifold cannot produce additional foliations outside the listed families.
  2. [§5] §5 (new obstruction): while H²(Γ,ℤ) is introduced as an obstruction to homogeneity, the manuscript does not exhibit an exhaustive computation of this group over all admissible holonomy groups Γ arising in the dimension-5 setting, so it remains unclear whether the listed exotic examples exhaust the non-homogeneous cases.
minor comments (2)
  1. Notation: the symbol GA is used both for the affine group and for the associated foliations; a brief clarifying sentence at first use would avoid ambiguity.
  2. References: cross-citations to the precise theorems in Dathe--Ndiaye that are being extended would help readers trace the new arguments.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment point by point below, indicating the revisions we will make to improve clarity and completeness.

read point-by-point responses

  1. Referee: [§3] §3 (GA-Lie foliations in dimension 5): the claim of completeness rests on extending Dathe--Ndiaye techniques, yet the text does not enumerate all possible holonomy representations of the 5-dimensional affine group nor verify that fundamental-group relations on the compact manifold cannot produce additional foliations outside the listed families.

    Authors: We acknowledge that an explicit enumeration would strengthen the presentation of completeness. While the classification in §3 systematically extends the Dathe--Ndiaye techniques by exhausting all compatible Lie algebra homomorphisms and integrability conditions for the 5-dimensional affine group, we will add a dedicated subsection (or appendix) in the revision that lists all possible holonomy representations and verifies, via direct checking of fundamental-group relations and compactness constraints, that no additional foliations arise outside the listed families. revision: yes

  2. Referee: [§5] §5 (new obstruction): while H²(Γ,ℤ) is introduced as an obstruction to homogeneity, the manuscript does not exhibit an exhaustive computation of this group over all admissible holonomy groups Γ arising in the dimension-5 setting, so it remains unclear whether the listed exotic examples exhaust the non-homogeneous cases.

    Authors: We agree that an exhaustive computation of H²(Γ,ℤ) for all admissible Γ would confirm exhaustiveness. In the revised version we will include a complete computation of this cohomology group for every holonomy group arising from the §3 classification, together with a verification that the listed exotic examples correspond precisely to the cases where the obstruction is non-trivial, thereby establishing that they exhaust the non-homogeneous foliations in dimension 5. revision: yes

Circularity Check

0 steps flagged

Minor self-citation to prior co-authored work; central classification and cohomology obstruction remain independent

full rationale

The derivation extends the GA-Lie foliation classification from Dathe--Ndiaye without reducing any new claim to a fitted parameter or self-referential definition. The H²(Γ,ℤ) obstruction is introduced via standard group cohomology and applied to produce exotic examples; no equation or existence proof is shown to be equivalent to its inputs by construction. The single self-citation is not load-bearing for the completeness or existence results in dimension 5.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on background results from Lie group theory, foliation geometry, and group cohomology without introducing new free parameters or invented entities.

axioms (2)
  • domain assumption Standard properties of metabelian Lie groups and their transverse actions on compact manifolds
    Defines the class of foliations under study and is invoked throughout the classification.
  • standard math Background theorems from Lie foliation theory and group cohomology
    Used as foundation for extending prior classification results.

pith-pipeline@v0.9.0 · 5421 in / 1475 out tokens · 65391 ms · 2026-05-13T17:43:03.970403+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

16 extracted references · 16 canonical work pages

  1. [1]

    L. Bianchi,Sugli spazi a tre dimensioni che ammettono un gruppo continuo di movi- menti, Memorie di Matematica e di Fisica della Società Italiana delle Scienze, Serie III, vol.11(1898), 267–352

    work page

  2. [2]

    G. F. R. Ellis, M. A. H. MacCallum,A class of homogeneous cosmological models, Communications in Mathematical Physics12(1969), 108–141

    work page 1969

  3. [3]

    Carrière,Flots riemanniens, Structures transverses des feuilletages, Astérisque 116(1984), 31–52

    Y. Carrière,Flots riemanniens, Structures transverses des feuilletages, Astérisque 116(1984), 31–52

    work page 1984

  4. [4]

    Calderón, V

    A. Calderón, V. Kleptsyn, M. Nicolau,Rigidity of Lie affine foliations, Preprint arXiv:2402.04633, 2024

    work page arXiv 2024

  5. [5]

    Dathe, A

    H. Dathe, A. Ndiaye,Sur les feuilletages de Lie homogènes, Journal des Sciences et Technologies, vol. 10, n◦1, pp. 42–47, 2011

    work page 2011

  6. [6]

    Fedida,Sur les feuilletages de Lie, C

    E. Fedida,Sur les feuilletages de Lie, C. R. Acad. Sci. Paris, Sér. A–B,272(1971), A999–A1001

    work page 1971

  7. [7]

    E. Fedida,Sur la théorie des feuilletages associée au repère mobile : cas des feuil- letages de Lie, Thèse, Université Louis Pasteur, Strasbourg; in:Differential Topol- ogy, Foliations and Gelfand–Fuks Cohomology, Lecture Notes in Mathematics652, Springer, Berlin, 1978, pp. 183–195

    work page 1978

  8. [8]

    Ghys,Riemannian foliations: Examples and problems, in P

    É. Ghys,Riemannian foliations: Examples and problems, in P. Molino:Riemannian Foliations, Progress in Mathematics, Birkhäuser, Boston, 1988

    work page 1988

  9. [9]

    Haefliger,Groupoïde d’holonomie et classifiants, Structures transverses des feuil- letages, Toulouse 1982, Astérisque116, SMF, 1984

    A. Haefliger,Groupoïde d’holonomie et classifiants, Structures transverses des feuil- letages, Toulouse 1982, Astérisque116, SMF, 1984

    work page 1982

  10. [10]

    Matsumoto, N

    S. Matsumoto, N. Tsuchiya,The Lie affine foliations on4-manifolds, Inventiones Mathematicae109(1992), 1–16

    work page 1992

  11. [11]

    Meigniez,Feuilletages de Lie résolubles, Annales de la Faculté des Sciences de Toulouse, vol

    G. Meigniez,Feuilletages de Lie résolubles, Annales de la Faculté des Sciences de Toulouse, vol. 4, n◦4, 1995

    work page 1995

  12. [12]

    Meigniez,Holonomy groups of solvable Lie foliations, in:Integrable Systems and Foliations, Progress in Mathematics145, Birkhäuser, Boston, 1997

    G. Meigniez,Holonomy groups of solvable Lie foliations, in:Integrable Systems and Foliations, Progress in Mathematics145, Birkhäuser, Boston, 1997

    work page 1997

  13. [13]

    Molino,Riemannian Foliations, Progress in Mathematics73, Birkhäuser, Boston, 1988

    P. Molino,Riemannian Foliations, Progress in Mathematics73, Birkhäuser, Boston, 1988

    work page 1988

  14. [14]

    Ndiaye,Rigidity of nilpotent Lie foliations: cohomological obstructions and clas- sification, Preprint arXiv:2603.14415, 2026

    A. Ndiaye,Rigidity of nilpotent Lie foliations: cohomological obstructions and clas- sification, Preprint arXiv:2603.14415, 2026. 10

    work page arXiv 2026

  15. [15]

    Ndiaye,Lie foliations with central extension transverse group: obstruction to ho- mogeneity, In preparation, 2026

    A. Ndiaye,Lie foliations with central extension transverse group: obstruction to ho- mogeneity, In preparation, 2026

    work page 2026

  16. [16]

    Zimmer,Arithmeticity of holonomy groups of Lie foliations, Journal of the Amer- ican Mathematical Society1(1988), 35–58

    R. Zimmer,Arithmeticity of holonomy groups of Lie foliations, Journal of the Amer- ican Mathematical Society1(1988), 35–58. 11

    work page 1988