A Note On The Lie-Amaldi Classification

Hassan Azad; Indranil Biswas; Ryad Ghanam

arxiv: 2605.20039 · v1 · pith:PAU24EEHnew · submitted 2026-05-19 · 🧮 math.RT

A Note On The Lie-Amaldi Classification

Hassan Azad , Indranil Biswas , Ryad Ghanam This is my paper

Pith reviewed 2026-05-20 03:50 UTC · model grok-4.3

classification 🧮 math.RT

keywords nilpotent Lie algebrasalgebras of vector fieldsLie-Amaldi classificationcenter rankclassification refinementfinite dimensional algebras

0 comments

The pith

The Lie-Amaldi classification of finite dimensional nilpotent algebras of vector fields is refined by the rank of the center of the Lie algebra as an invariant.

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

This paper takes the existing Lie-Amaldi classification of finite dimensional nilpotent algebras of vector fields and adds a new distinguishing feature. The rank of the center of each Lie algebra serves as that feature. A sympathetic reader would care because two algebras that look the same under the original equivalences can now be told apart if their centers have different ranks. The refinement keeps the original equivalences intact while splitting some of the old classes into smaller groups.

Core claim

The Lie-Amaldi classification of finite dimensional nilpotent algebras of vector fields is refined by using the rank of the center of the Lie algebra as an invariant.

What carries the argument

The rank of the center of the Lie algebra, used as an invariant that remains unchanged under the equivalences of the Lie-Amaldi classification.

If this is right

Some of the original Lie-Amaldi classes split into two or more subclasses according to possible center ranks.
The refined list gives a more precise enumeration of distinct algebras up to the given equivalences.
Any two algebras that differ in center rank cannot be equivalent under the Lie-Amaldi relations.
The same invariant can be checked directly on any candidate algebra without recomputing the full classification.

Where Pith is reading between the lines

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

The center-rank invariant might be useful for classifying nilpotent algebras in other geometric settings where vector fields act.
A systematic computation of center ranks for low-dimensional examples could produce an explicit updated table of classes.
If the rank turns out to correlate with other geometric quantities such as orbit dimensions, the refinement could link algebraic and differential-geometric data.

Load-bearing premise

The rank of the center stays the same under the equivalences that define the Lie-Amaldi classes and separates some of those classes in a way the original list did not already capture.

What would settle it

Two nilpotent algebras of vector fields that are equivalent under the Lie-Amaldi relations but have centers of different ranks, or a complete check showing that every original class already has a single fixed center rank.

read the original abstract

The Lie-Amaldi classification of finite dimensional nilpotent algebras of vector fields is refined, using the rank of the center of the Lie algebra as an invariant.

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.

Desk Editor's Note private letter to a colleague

The note refines the Lie-Amaldi list by computing center rank on representatives, but does not explicitly verify that the rank stays constant under the original equivalence relation of local diffeomorphisms.

read the letter

The main point is that this short note takes the existing Lie-Amaldi classification of finite-dimensional nilpotent algebras of vector fields and splits some of the classes further by the dimension of the center. The calculations are straightforward and use the standard basis for each representative, so the numbers themselves look correct on the chosen forms. That is the actual addition: a quick extra label that separates a few of the old entries without changing the list of algebras themselves. The paper does this cleanly and without extra machinery, which is useful if you already work with these specific algebras in differential geometry or symmetry problems. The soft spot is the invariance question. The original equivalences are realized by local coordinate changes that preserve the vector-field algebra structure but do not necessarily induce isomorphisms of the abstract Lie algebras. Nothing in the note derives or cites a reason why the center dimension must be the same for any two algebras related by such a change. It simply evaluates the rank on the listed representatives. If two equivalent algebras could have centers of different dimensions, the refinement would not be well-defined on the classes. The argument is short enough that this omission stands out. Readers who already know the Lie-Amaldi paper will see the gap immediately. This is the sort of note that belongs in a specialized journal on Lie algebras or geometric structures rather than a general math journal. It is worth a referee who is familiar with the 19th-century classification, mainly to check whether the invariance can be filled in with a short additional paragraph. I would send it to review rather than desk-reject, because the underlying list is still referenced and a clean extra invariant, once properly justified, saves other people time.

Referee Report

1 major / 1 minor

Summary. The paper refines the Lie-Amaldi classification of finite-dimensional nilpotent algebras of vector fields by using the rank of the center of the Lie algebra as an invariant.

Significance. If the rank of the center is invariant under the defining equivalences and distinguishes classes not already separated in the original classification, the note would supply a simple, computable refinement. The approach is parameter-free and directly tied to the Lie-algebra structure, which is a strength if the invariance can be established.

major comments (1)

[Main argument / Theorem] The central refinement claim requires that rank(Z(L)) is constant on each Lie-Amaldi equivalence class. The manuscript appears to evaluate the rank only on chosen representatives and does not supply a derivation showing that the equivalences (realized by local coordinate changes or diffeomorphisms preserving the nilpotent vector-field algebra) induce maps that preserve the dimension of the center. This invariance is load-bearing for the refinement and is not addressed in the provided argument.

minor comments (1)

[Abstract] The abstract is terse; a sentence indicating which specific classes are refined or how many new distinctions arise would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need to explicitly establish invariance of the proposed invariant. We address the major comment below and will revise the manuscript accordingly.

read point-by-point responses

Referee: The central refinement claim requires that rank(Z(L)) is constant on each Lie-Amaldi equivalence class. The manuscript appears to evaluate the rank only on chosen representatives and does not supply a derivation showing that the equivalences (realized by local coordinate changes or diffeomorphisms preserving the nilpotent vector-field algebra) induce maps that preserve the dimension of the center. This invariance is load-bearing for the refinement and is not addressed in the provided argument.

Authors: We agree that an explicit argument for invariance is required. Lie-Amaldi equivalence is defined via local diffeomorphisms that conjugate the vector fields, which induces Lie-algebra isomorphisms between the corresponding algebras of vector fields. The center Z(L) is an intrinsic Lie-algebra invariant, so its dimension (rank) is necessarily preserved by any isomorphism. In the revised manuscript we will insert a brief paragraph immediately after the definition of the equivalence relation, deriving this preservation directly from the conjugation action on the Lie bracket. revision: yes

Circularity Check

0 steps flagged

No circularity: center rank is an independent derived invariant

full rationale

The paper refines the Lie-Amaldi classification of nilpotent vector-field algebras by introducing the rank of the center as an additional invariant. This quantity is computed directly from the Lie bracket structure on any given algebra and is not defined in terms of the classification classes themselves. No equations, self-citations, or ansatzes in the abstract or described content reduce the refinement claim to a tautology or to a fitted parameter renamed as a prediction. The invariance of center rank under the relevant equivalences is a separate verification step that does not render the overall derivation circular by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work relies on standard Lie algebra axioms and the completeness of the prior Lie-Amaldi classification without introducing new free parameters, axioms specific to the paper, or invented entities.

axioms (1)

standard math Standard definitions and properties of Lie algebras, their centers, and nilpotency.
Invoked implicitly when treating the center rank as an invariant under equivalence.

pith-pipeline@v0.9.0 · 5534 in / 1189 out tokens · 42002 ms · 2026-05-20T03:50:55.996710+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We have organised the determination of the local canonical forms of all nilpotent algebras — including intransitive algebras — according to the rank of the center

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

11 extracted references · 11 canonical work pages · 1 internal anchor

[1]

Amaldi, Contributo all determinazione dei gruppi continui finiti dello spazio ordinario I, Giornale Mat

U. Amaldi, Contributo all determinazione dei gruppi continui finiti dello spazio ordinario I, Giornale Mat. Battaglini Prog. Studi Univ. Ital. 39 (1901), 273--316.\\ https://archive.org/details/giornaledimatem04unkngoog/page/n295/mode/2up

work page 1901
[2]

Amaldi, Contributo all determinazione dei gruppi continui finiti dello spazio ordinario II, Giornale Mat

U. Amaldi, Contributo all determinazione dei gruppi continui finiti dello spazio ordinario II, Giornale Mat. Battaglini Prog. Studi Univ. Ital. 40 (1902), 105--141.\\ https://archive.org/details/giornaledimatem11unkngoog/page/n116/mode/2up

work page 1902
[3]

H. Azad, I. Biswas and F. M. Mahomed, Equality of the algebraic and geometric ranks of Cartan subalgebras and applications to linearization of a system of ordinary differential equations, Internat. Jour. Math. 28 , no. 11, (2017)

work page 2017
[4]

H. Azad, I. Biswas, M. Fazil and F. M. Mahomed, On Lie's classification of nonsolvable subalgebras of vector fields on the plane, Internat. Jour. Math. , to appear

work page
[5]

H. Azad, I. Biswas, F. M. Mahomed and S. W. Shah, On Lie's classification of subalgebras of vector fields on the plane, Proc. Indian Acad. Sci. (Math. Sci.) 132 (2022), Paper No. 66

work page 2022
[6]

Three-dimensional homogeneous spaces with non-solvable transformation groups

B. Doubrov, Three-dimensional homogeneous spaces with non-solvable transformation groups, arXiv:1704.04393

work page internal anchor Pith review Pith/arXiv arXiv
[7]

Gonz\'alez-L\'opez, N

A. Gonz\'alez-L\'opez, N. Kamran and P. J. Olver, Lie algebras of vector fields in the real plane, Proc. London Math. Soc. 64 (1992), 339--368

work page 1992
[8]

A. Hillgarter, Contribution to the symmetry classification problem for 2nd order PDEs in one dependent and two independent variables ,\\ https://www3.risc.jku.at/publications/download/risc_1278/02-26.pdf, PhD thesis, 2002

work page 2002
[9]

Lie and F

S. Lie and F. Engel, Theorie der transformationsgruppen , Vol. 3. Teubner, 1893, https://books.google.com/books/about/Theorie_der_Transformationsgruppen.html?id=QyXzhIvn2dYC#v=onepage&q&f=false

work page
[10]

R. O. Popovych, V. M. Boyko, M. O. Nesterenko and M. W. Lutfullin, Realizations of real low-dimensional Lie algebras, J. Phys. A 36 (2003), 7337--7360

work page 2003
[11]

Schneider, Projectable Lie algebras of vector fields in 3D , Jour

E. Schneider, Projectable Lie algebras of vector fields in 3D , Jour. Geom. Phys. 132 (2018), 222--229

work page 2018

[1] [1]

Amaldi, Contributo all determinazione dei gruppi continui finiti dello spazio ordinario I, Giornale Mat

U. Amaldi, Contributo all determinazione dei gruppi continui finiti dello spazio ordinario I, Giornale Mat. Battaglini Prog. Studi Univ. Ital. 39 (1901), 273--316.\\ https://archive.org/details/giornaledimatem04unkngoog/page/n295/mode/2up

work page 1901

[2] [2]

Amaldi, Contributo all determinazione dei gruppi continui finiti dello spazio ordinario II, Giornale Mat

U. Amaldi, Contributo all determinazione dei gruppi continui finiti dello spazio ordinario II, Giornale Mat. Battaglini Prog. Studi Univ. Ital. 40 (1902), 105--141.\\ https://archive.org/details/giornaledimatem11unkngoog/page/n116/mode/2up

work page 1902

[3] [3]

H. Azad, I. Biswas and F. M. Mahomed, Equality of the algebraic and geometric ranks of Cartan subalgebras and applications to linearization of a system of ordinary differential equations, Internat. Jour. Math. 28 , no. 11, (2017)

work page 2017

[4] [4]

H. Azad, I. Biswas, M. Fazil and F. M. Mahomed, On Lie's classification of nonsolvable subalgebras of vector fields on the plane, Internat. Jour. Math. , to appear

work page

[5] [5]

H. Azad, I. Biswas, F. M. Mahomed and S. W. Shah, On Lie's classification of subalgebras of vector fields on the plane, Proc. Indian Acad. Sci. (Math. Sci.) 132 (2022), Paper No. 66

work page 2022

[6] [6]

Three-dimensional homogeneous spaces with non-solvable transformation groups

B. Doubrov, Three-dimensional homogeneous spaces with non-solvable transformation groups, arXiv:1704.04393

work page internal anchor Pith review Pith/arXiv arXiv

[7] [7]

Gonz\'alez-L\'opez, N

A. Gonz\'alez-L\'opez, N. Kamran and P. J. Olver, Lie algebras of vector fields in the real plane, Proc. London Math. Soc. 64 (1992), 339--368

work page 1992

[8] [8]

A. Hillgarter, Contribution to the symmetry classification problem for 2nd order PDEs in one dependent and two independent variables ,\\ https://www3.risc.jku.at/publications/download/risc_1278/02-26.pdf, PhD thesis, 2002

work page 2002

[9] [9]

Lie and F

S. Lie and F. Engel, Theorie der transformationsgruppen , Vol. 3. Teubner, 1893, https://books.google.com/books/about/Theorie_der_Transformationsgruppen.html?id=QyXzhIvn2dYC#v=onepage&q&f=false

work page

[10] [10]

R. O. Popovych, V. M. Boyko, M. O. Nesterenko and M. W. Lutfullin, Realizations of real low-dimensional Lie algebras, J. Phys. A 36 (2003), 7337--7360

work page 2003

[11] [11]

Schneider, Projectable Lie algebras of vector fields in 3D , Jour

E. Schneider, Projectable Lie algebras of vector fields in 3D , Jour. Geom. Phys. 132 (2018), 222--229

work page 2018