Classification of Lie algebras constructed from $\mathfrak{gl}_{m|n}$ via Derived Bracket

Luan Figueiredo

arxiv: 2605.25470 · v2 · pith:RUNBJEYFnew · submitted 2026-05-25 · 🧮 math.RA

Classification of Lie algebras constructed from mathfrak{gl}_(m|n) via Derived Bracket

Luan Figueiredo This is my paper

Pith reviewed 2026-06-29 19:43 UTC · model grok-4.3

classification 🧮 math.RA

keywords Lie algebrasLie superalgebrasderived bracketsclassificationLevi-Malcev decompositiongl_{m|n}rankisomorphism

0 comments

The pith

Lie algebras constructed from gl_{m|n} via derived brackets are classified up to isomorphism by the rank r of B.

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

The paper establishes a complete classification of the Lie algebras g_{-1}^B obtained when an odd element B with B squared equal to zero generates a derived bracket on the general linear Lie superalgebra gl_{m|n}. For any fixed dimensions m and n the isomorphism type depends only on the rank r of B. In arbitrary dimensions two such algebras are isomorphic precisely when they have the same rank and the unordered pairs of dimensions coincide. The work also supplies the Levi-Malcev decomposition in which the semisimple Levi factor is always sl(r) together with explicit descriptions of the solvable radical and the center.

Core claim

The isomorphism type of the Lie algebra g_{-1}^B constructed via the derived bracket from gl_{m|n} is completely determined by the rank r of the odd element B with B^2=0, for fixed m and n; in general dimensions the algebras are isomorphic if and only if r is the same and {m,n}={p,q}, with Levi factor sl(r).

What carries the argument

The derived bracket generated by an odd element B satisfying B^2=0, which endows g_{-1} with the structure of the Lie algebra g_{-1}^B.

If this is right

For each fixed pair (m,n) the distinct isomorphism classes are parametrized exactly by the possible ranks r of B.
The semisimple Levi factor of every such algebra is isomorphic to sl(r) where r equals the rank of B.
Explicit formulas for the solvable radical and the center are determined by r together with m and n.
Two algebras arising from possibly different superalgebras gl_{m|n} and gl_{p|q} are isomorphic precisely when their ranks coincide and the dimension pairs match up to order.

Where Pith is reading between the lines

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

The rank-based classification may simplify constructions of algebroids or Poisson structures that rely on these derived brackets.
One could ask whether an analogous rank classification holds when the underlying superalgebra is replaced by other classical series.
The explicit Levi-Malcev data could be used to compute deformation cohomology or representations of these algebras in concrete low-dimensional cases.

Load-bearing premise

The derived bracket generated by an odd element B satisfying B^2=0 endows g_{-1} with the structure of a Lie algebra over a field of characteristic zero.

What would settle it

Two matrices B and B' of equal rank in gl_{m|n} whose generated algebras g_{-1}^B and g_{-1}^{B'} are non-isomorphic for the same m and n would disprove the classification.

read the original abstract

Derived brackets provide a mechanism for generating algebraic structures from graded Lie superalgebras, with applications in Poisson geometry, mathematical physics, and the theory of algebroids. In this paper, we present a complete structural and isomorphism classification of a family of Lie algebras constructed from the general linear Lie superalgebra $\mathfrak{gl}_{m|n}$ over a field $\mathbb{K}$ of characteristic zero via the derived bracket generated by an odd element $B$ satisfying $B^2 = 0$, which endows $\mathfrak{g}_{-1}$ with a Lie algebra structure denoted $\mathfrak{g}_{-1}^{B}$. We prove that for fixed dimensions $m$ and $n$, the isomorphism type of $\mathfrak{g}_{-1}^{B}$ is entirely determined by $r=\operatorname{rank}(B)$. In arbitrary dimensions, two such algebras are isomorphic if and only if they share the same rank $r$ and satisfy $\{m,n\}=\{p,q\}$. We explicitly compute the Levi-Malcev decomposition, proving the semisimple Levi factor is isomorphic to $\mathfrak{sl}(r)$, and provide exact formulas for the solvable radical and center.

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 paper classifies Lie algebras from derived brackets on gl(m|n) by the rank r of the odd nilpotent B, with Levi factor sl(r) and explicit radical formulas.

read the letter

The main result here is a rank-based isomorphism classification for the family g_{-1}^B together with its Levi-Malcev decomposition. For fixed m and n the isomorphism type depends only on r = rank(B), and across dimensions it is determined by r plus the unordered pair {m,n}. The semisimple part is always sl(r), with concrete formulas given for the radical and center.

What the paper does cleanly is spell out the structural consequences once the derived bracket is in place. It works over characteristic zero, uses the standard setup for derived brackets from an odd element with square zero, and delivers explicit invariants rather than just existence statements. That is useful for anyone who needs to identify or compare these algebras in applications to geometry or physics.

The soft spot is the step that shows rank alone is a complete invariant. The claim requires that any two matrices B and B' of the same rank produce isomorphic bracket structures on g_{-1}, independent of which even-odd blocks carry the image. If the proof reduces arbitrary B to a single normal form whose derived bracket is manifestly the same, the classification holds; otherwise the statement would need extra conditions on the support of B. The abstract asserts the reduction works, but that is the part that needs the closest check in the full argument.

This is a specialized paper aimed at people working on Lie superalgebras and derived brackets. A reader already familiar with the gl(m|n) setup and the derived-bracket construction will get concrete classification theorems and decomposition formulas they can use directly. It is worth sending to peer review so the normal-form argument and the isomorphism checks can be verified in detail.

Referee Report

1 major / 0 minor

Summary. The paper classifies Lie algebras g_{-1}^B obtained from the general linear Lie superalgebra gl_{m|n} via the derived bracket construction generated by an odd element B with B^2=0. It asserts that, for fixed m and n, the isomorphism type of g_{-1}^B is completely determined by r=rank(B). In arbitrary dimensions, two such algebras are isomorphic if and only if they have the same rank r and satisfy {m,n}={p,q}. The manuscript also computes the Levi-Malcev decomposition, showing that the semisimple Levi factor is isomorphic to sl(r), and supplies explicit formulas for the solvable radical and the center.

Significance. If the central classification holds, the result supplies a clean, rank-based parametrization of an entire family of Lie algebras arising from superalgebra constructions, together with an explicit structural decomposition. This is a concrete advance in the theory of derived brackets and could support further work on algebroids or Poisson structures. The explicit identification of the Levi factor as sl(r) is a useful, falsifiable output of the analysis.

major comments (1)

[main classification theorem / normal-form argument for B] The proof that rank(B) is a complete isomorphism invariant (abstract and the main classification theorem) must explicitly reduce arbitrary B to a normal form whose induced derived bracket on g_{-1} is independent of the concrete support of B. In particular, it is necessary to verify that placing the rank-r image of B in different (even,odd) blocks does not change the dimension of [g_{-1},g_{-1}], the structure of the radical, or the center; otherwise the claim that any two matrices of rank r yield isomorphic algebras fails.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and the constructive major comment on the classification theorem. The observation that the normal-form reduction for B should be made fully explicit is well-taken; we will revise the manuscript to strengthen this part of the argument while preserving the existing computations.

read point-by-point responses

Referee: [main classification theorem / normal-form argument for B] The proof that rank(B) is a complete isomorphism invariant (abstract and the main classification theorem) must explicitly reduce arbitrary B to a normal form whose induced derived bracket on g_{-1} is independent of the concrete support of B. In particular, it is necessary to verify that placing the rank-r image of B in different (even,odd) blocks does not change the dimension of [g_{-1},g_{-1}], the structure of the radical, or the center; otherwise the claim that any two matrices of rank r yield isomorphic algebras fails.

Authors: We agree that an explicit normal-form argument will improve clarity. The current proof proceeds by fixing bases adapted to the image and kernel of B (which are completely determined by its rank r) and then computing the derived bracket [X,Y]_B = [[X,B],Y] directly on the resulting matrix blocks; all structure constants, as well as dim[g_{-1},g_{-1}], the dimension and nilpotency class of the radical, and the center, emerge as functions of r, m and n alone. Nevertheless, to address the referee’s concern directly, we will insert a new subsection that (i) recalls the standard normal form for an odd matrix B of rank r with B²=0 (non-zero entries confined to the first r positions in the appropriate off-diagonal blocks), (ii) shows that any two such matrices are conjugate by an automorphism of the underlying super vector space K^{m|n}, and (iii) verifies that the induced isomorphism of g_{-1} preserves the Lie bracket, the radical and the center. This conjugation argument demonstrates that the concrete support of B within the even/odd blocks is immaterial once the rank is fixed. revision: yes

Circularity Check

0 steps flagged

No circularity: classification rests on explicit structural invariants of the derived bracket

full rationale

The paper states a direct theorem that the isomorphism class of g_{-1}^B is determined by rank(B) for fixed m,n (and by rank plus {m,n}={p,q} in general), together with an explicit Levi-Malcev decomposition whose semisimple factor is sl(r). No quoted step reduces the claimed isomorphism criterion to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation chain; the derivation is presented as an independent computation inside the graded superalgebra. The abstract and reader's summary give no evidence that the normal-form reduction or bracket independence is forced by construction rather than proved from the B^2=0 condition.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on the standard assumption that the base field has characteristic zero and on the definition of the derived bracket construction itself; no free parameters or new postulated entities appear in the abstract.

axioms (1)

domain assumption The base field K has characteristic zero.
Explicitly stated as the setting for the classification.

pith-pipeline@v0.9.1-grok · 5728 in / 1134 out tokens · 26503 ms · 2026-06-29T19:43:20.280488+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

9 extracted references · 5 canonical work pages · 1 internal anchor

[1]

M., Dorfman, I

Gelfand, I. M., Dorfman, I. Y.: Hamiltonian operators and algebraic structures related to them.Functional Analysis and Its Applications, 13(4), 248–262 (1979).https://doi.org/10.1007/BF01078363

work page doi:10.1007/bf01078363 1979
[2]

D.: Semisimple Lie Algebras

Goto, M., Grosshans, F. D.: Semisimple Lie Algebras. Marcel Dekker (1978)

1978
[3]

G.: Lie superalgebras.Advances in Mathematics,26(1), 8–96 (1977).https://doi.org/10.1016/0001-8708(77)90017-2 19

Kac, V. G.: Lie superalgebras.Advances in Mathematics,26(1), 8–96 (1977).https://doi.org/10.1016/0001-8708(77)90017-2 19

work page doi:10.1016/0001-8708(77)90017-2 1977
[4]

Kosmann-Schwarzbach, Y.: From Poisson algebras to Gerstenhaber al- gebras.Annales de l’institut Fourier,46(5), 1243–1274 (1996).https: //doi.org/10.5802/aif.1547

work page doi:10.5802/aif.1547 1996
[5]

Kosmann-Schwarzbach, Y.: Derived brackets.Letters in Math- ematical Physics,69, 61–87 (2004).https://doi.org/10.1007/ s11005-004-0608-8

2004
[6]

Roytenberg, D.: Courant algebroids, derived brackets and even sym- plectic supermanifolds.arXiv preprint math/9910078(1999).https: //arxiv.org/abs/math/9910078

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

M.: The logic algebra for the theory of linear differential operators.Soviet Mathematics, Doklady,13, 1058–1062 (1972).http: //mi.mathnet.ru/eng/dan37058

Vinogradov, A. M.: The logic algebra for the theory of linear differential operators.Soviet Mathematics, Doklady,13, 1058–1062 (1972).http: //mi.mathnet.ru/eng/dan37058

1972
[8]

org/10.1016/j.jpaa.2005.01.010

Voronov, T.: Higher derived brackets and homotopy algebras.Journal of Pure and Applied Algebra,202(1-3), 133–153 (2005).https://doi. org/10.1016/j.jpaa.2005.01.010

work page doi:10.1016/j.jpaa.2005.01.010 2005
[9]

1007/s002200050536 20

Xu, P.: Gerstenhaber algebras and Lie bialgebroids.Communications in Mathematical Physics,200(3), 545–560 (1999).https://doi.org/10. 1007/s002200050536 20

1999

[1] [1]

M., Dorfman, I

Gelfand, I. M., Dorfman, I. Y.: Hamiltonian operators and algebraic structures related to them.Functional Analysis and Its Applications, 13(4), 248–262 (1979).https://doi.org/10.1007/BF01078363

work page doi:10.1007/bf01078363 1979

[2] [2]

D.: Semisimple Lie Algebras

Goto, M., Grosshans, F. D.: Semisimple Lie Algebras. Marcel Dekker (1978)

1978

[3] [3]

G.: Lie superalgebras.Advances in Mathematics,26(1), 8–96 (1977).https://doi.org/10.1016/0001-8708(77)90017-2 19

Kac, V. G.: Lie superalgebras.Advances in Mathematics,26(1), 8–96 (1977).https://doi.org/10.1016/0001-8708(77)90017-2 19

work page doi:10.1016/0001-8708(77)90017-2 1977

[4] [4]

Kosmann-Schwarzbach, Y.: From Poisson algebras to Gerstenhaber al- gebras.Annales de l’institut Fourier,46(5), 1243–1274 (1996).https: //doi.org/10.5802/aif.1547

work page doi:10.5802/aif.1547 1996

[5] [5]

Kosmann-Schwarzbach, Y.: Derived brackets.Letters in Math- ematical Physics,69, 61–87 (2004).https://doi.org/10.1007/ s11005-004-0608-8

2004

[6] [6]

Roytenberg, D.: Courant algebroids, derived brackets and even sym- plectic supermanifolds.arXiv preprint math/9910078(1999).https: //arxiv.org/abs/math/9910078

work page internal anchor Pith review Pith/arXiv arXiv 1999

[7] [7]

M.: The logic algebra for the theory of linear differential operators.Soviet Mathematics, Doklady,13, 1058–1062 (1972).http: //mi.mathnet.ru/eng/dan37058

Vinogradov, A. M.: The logic algebra for the theory of linear differential operators.Soviet Mathematics, Doklady,13, 1058–1062 (1972).http: //mi.mathnet.ru/eng/dan37058

1972

[8] [8]

org/10.1016/j.jpaa.2005.01.010

Voronov, T.: Higher derived brackets and homotopy algebras.Journal of Pure and Applied Algebra,202(1-3), 133–153 (2005).https://doi. org/10.1016/j.jpaa.2005.01.010

work page doi:10.1016/j.jpaa.2005.01.010 2005

[9] [9]

1007/s002200050536 20

Xu, P.: Gerstenhaber algebras and Lie bialgebroids.Communications in Mathematical Physics,200(3), 545–560 (1999).https://doi.org/10. 1007/s002200050536 20

1999