arxiv: 2604.27916 · v1 · submitted 2026-04-30 · 🧮 math.RA

Recognition: unknown

Fixed-point-free automorphisms of solvable Lie algebras

Dietrich Burde, Karel Dekimpe

Pith reviewed 2026-05-07 05:37 UTC · model grok-4.3

classification 🧮 math.RA

keywords fixed-point-free automorphismssolvable Lie algebrasstrongly unimodularalmost abelian Lie algebrasfiliform Lie algebrascharacteristically nilpotentLie algebra automorphisms

0 comments

The pith

Finite-dimensional Lie algebras admitting fixed-point-free automorphisms must be solvable and strongly unimodular, with explicit criteria for almost abelian and filiform classes.

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

The paper studies the existence of fixed-point-free automorphisms on finite-dimensional Lie algebras. It builds on the known fact that any such algebra is solvable and proves the stronger property that it must be strongly unimodular. For complex almost abelian Lie algebras the authors derive a necessary and sufficient condition for the existence of such an automorphism. For complex filiform Lie algebras they prove that a fixed-point-free automorphism exists precisely when the algebra is not characteristically nilpotent. These results tighten the structural requirements that a fixed-point-free automorphism imposes on the underlying Lie algebra.

Core claim

We prove that a finite-dimensional Lie algebra admitting a fixed-point-free automorphism must be strongly unimodular. We find a necessary and sufficient criterion for a complex almost abelian Lie algebra to admit such an automorphism. For complex filiform Lie algebras we show that the existence of a fixed-point-free automorphism is equivalent to the algebra not being characteristically nilpotent.

What carries the argument

fixed-point-free automorphism, which acts invertibly on the Lie algebra while fixing no nonzero vector and thereby forces trace-zero conditions on the adjoint representation

If this is right

Any Lie algebra with a fixed-point-free automorphism is solvable and strongly unimodular.
A complex almost abelian Lie algebra admits a fixed-point-free automorphism if and only if it satisfies the derived necessary and sufficient condition.
A complex filiform Lie algebra admits a fixed-point-free automorphism if and only if it is not characteristically nilpotent.
The property of having a fixed-point-free automorphism distinguishes certain solvable Lie algebras from their characteristically nilpotent counterparts.

Where Pith is reading between the lines

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

The criteria allow systematic checking of whether members of the almost abelian or filiform families possess fixed-point-free automorphisms.
Similar equivalences or obstructions may exist for other families of solvable or nilpotent Lie algebras beyond those treated here.
Strong unimodularity becomes a practical test when searching for or excluding fixed-point-free automorphisms in concrete examples.

Load-bearing premise

The Lie algebras are finite-dimensional and, for the explicit criteria, defined over the complex numbers.

What would settle it

A finite-dimensional solvable Lie algebra that is not strongly unimodular yet possesses a fixed-point-free automorphism, or a complex filiform Lie algebra that is characteristically nilpotent yet admits a fixed-point-free automorphism.

read the original abstract

In this paper, we investigate the existence of fixed-point-free automorphisms for finite-dimensional Lie algebras. By a result of Jacobson, a Lie algebra admitting a fixed-point-free automorphism is solvable. We prove that such a Lie algebra must be even strongly unimodular. We find a necessary and sufficient criterion such that a complex almost abelian Lie algebra admits a fixed-point-free automorphism. For complex filiform Lie algebras we show that the existence of a fixed-point-free automorphism is equivalent to not being characteristically nilpotent.

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 gives a new necessary-and-sufficient criterion for complex almost abelian Lie algebras and an equivalence for filiform ones, plus a strong unimodularity property for any solvable Lie algebra with a fixed-point-free automorphism.

read the letter

This paper gives a necessary and sufficient criterion for complex almost abelian Lie algebras to have a fixed-point-free automorphism and shows an equivalence for complex filiform Lie algebras between having such an automorphism and not being characteristically nilpotent. It also proves that any solvable Lie algebra admitting a fixed-point-free automorphism must be strongly unimodular. These are the main contributions. The strong unimodularity follows from the existence of the automorphism and Jacobson's result on solvability. The criteria for the two families are new statements that were not in the earlier literature on these classes. The paper does a good job of stating clear theorems and tying them to standard Lie algebra techniques. The almost abelian case likely uses the structure of derivations or the abelian ideal to find when an automorphism can avoid eigenvalue 1. For filiform, it connects to the nilpotency of the derivation algebra. A possible soft spot is in the filiform equivalence. The direction from non-characteristically nilpotent to existence of the automorphism is standard, using exp(tD) for a non-nilpotent derivation D. The other direction requires that characteristically nilpotent filiform algebras have no fixed-point-free automorphisms at all. If the automorphism group is not connected, an element outside the identity component might have no eigenvalue 1 even if all derivations are nilpotent. The paper should address whether filiform Lie algebras have connected automorphism groups or prove directly that any automorphism fixes a vector in the characteristically nilpotent case. This might be minor if the proofs cover it, but it is worth checking. The work is aimed at people working on the structure and classification of solvable Lie algebras, especially in low dimensions or with special properties like filiform or almost abelian. It is the kind of paper that deserves a serious referee because the claims are precise and the potential issues are technical but resolvable with the existing machinery in the field.

Referee Report

1 major / 2 minor

Summary. The manuscript investigates fixed-point-free automorphisms of finite-dimensional Lie algebras. Recalling Jacobson's theorem, it shows that any such Lie algebra is solvable and, moreover, strongly unimodular. It establishes a necessary and sufficient criterion for the existence of a fixed-point-free automorphism on a complex almost abelian Lie algebra. For complex filiform Lie algebras, it proves that the existence of a fixed-point-free automorphism is equivalent to the algebra not being characteristically nilpotent.

Significance. If the claims hold, the paper supplies concrete, usable criteria for the existence of fixed-point-free automorphisms within two standard families of solvable Lie algebras. The filiform equivalence ties the automorphism property directly to the classical notion of characteristic nilpotency, which may streamline further work on derivations and automorphism groups of nilpotent algebras. The strong unimodularity result strengthens the structural consequences of Jacobson's theorem.

major comments (1)

In the section treating filiform Lie algebras, the claimed equivalence states that a complex filiform Lie algebra admits a fixed-point-free automorphism if and only if it is not characteristically nilpotent. The forward implication follows from the existence of a non-nilpotent derivation D by taking exp(tD) for suitable t so that no eigenvalue equals 1. The converse, however, requires that every automorphism (not merely those in the identity component) has 1 as an eigenvalue whenever Der(L) consists only of nilpotents. While this is automatic inside the identity component of Aut(L), the manuscript does not prove that Aut(L) is connected for filiform algebras, nor does it supply a direct argument using the lower-central-series filtration that forces every automorphism to fix a nonzero vector. Without this, automorphisms in other connected components could have eigenvalues that are roots 1

minor comments (2)

The term 'strongly unimodular' is used without an explicit definition or reference in the introduction; a brief recall of the definition (likely trace(ad x)=0 for all x together with an additional condition) would improve readability.
In the almost abelian section, the criterion is stated in terms of the eigenvalues of the adjoint action on the abelian ideal; a short remark clarifying whether the criterion is independent of the choice of basis would be helpful.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for identifying a gap in the argument for the filiform case. We address the major comment below and will revise the paper accordingly to complete the proof.

read point-by-point responses

Referee: In the section treating filiform Lie algebras, the claimed equivalence states that a complex filiform Lie algebra admits a fixed-point-free automorphism if and only if it is not characteristically nilpotent. The forward implication follows from the existence of a non-nilpotent derivation D by taking exp(tD) for suitable t so that no eigenvalue equals 1. The converse, however, requires that every automorphism (not merely those in the identity component) has 1 as an eigenvalue whenever Der(L) consists only of nilpotents. While this is automatic inside the identity component of Aut(L), the manuscript does not prove that Aut(L) is connected for filiform algebras, nor does it supply a direct argument using the lower-central-series filtration that forces every automorphism to fix a nonzero vector. Without this, automorphisms in other connected components could have eigenvalues that are roots 1

Authors: We agree that the current write-up of the converse direction is incomplete. The manuscript shows that a non-characteristically-nilpotent filiform algebra admits a fixed-point-free automorphism inside the identity component of Aut(L), but does not explicitly rule out the possibility of fixed-point-free automorphisms in other components when all derivations are nilpotent. We will revise the manuscript by inserting a self-contained lemma immediately preceding the main equivalence theorem. The lemma proves that every automorphism of a complex filiform Lie algebra has 1 as an eigenvalue, using the fact that any automorphism preserves the lower central series filtration (a complete flag with one-dimensional quotients). In a basis adapted to this flag, the bracket relations of a filiform algebra force the matrix representation of the automorphism to have 1 as an eigenvalue; the argument does not rely on connectedness of Aut(L). With this addition the equivalence is fully established, and we will also clarify the separation of the two directions in the text. revision: yes

Circularity Check

0 steps flagged

No circularity detected; derivation relies on external theorem and direct proofs

full rationale

The paper invokes Jacobson's external theorem to obtain solvability from the existence of a fixed-point-free automorphism, then derives strong unimodularity and the stated criteria for almost abelian and filiform Lie algebras from the standard definitions of automorphisms, derivations, nilpotency, and the lower central series. No equation or step reduces a claimed result to a quantity defined in terms of itself, to a fitted parameter renamed as a prediction, or to a load-bearing self-citation whose own justification is internal to the present work. The filiform equivalence is obtained by relating the existence of an automorphism without eigenvalue 1 to the existence of a non-nilpotent derivation, using only the exponential map on the derivation algebra and the given hypothesis; this does not collapse to a renaming or self-referential construction. All steps remain grounded in externally verifiable Lie-algebra axioms and the cited Jacobson result.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on the standard definition of a Lie algebra (bilinear skew-symmetric bracket satisfying the Jacobi identity) and on Jacobson's theorem that a fixed-point-free automorphism forces solvability. No free parameters are introduced and no new entities are postulated.

axioms (2)

standard math A Lie algebra is a vector space equipped with a bilinear, skew-symmetric bracket satisfying the Jacobi identity.
Invoked throughout as the ambient category in which automorphisms are defined.
standard math Jacobson's theorem: any Lie algebra admitting a fixed-point-free automorphism is solvable.
Cited as the starting point for all further claims.

pith-pipeline@v0.9.0 · 5367 in / 1460 out tokens · 69615 ms · 2026-05-07T05:37:53.321176+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

10 extracted references

[1]

Agaoka:An algorithm to determine the isomorphism classes of 4-dimensional complex Lie algebras

Y. Agaoka:An algorithm to determine the isomorphism classes of 4-dimensional complex Lie algebras. Linear Algebra Appl. 345 (2002), 85–118

2002
[2]

Burde, K

D. Burde, K. Dekimpe:The index of nilpotent Lie algebras. To appear in Journal of Lie Theory (2026)

2026
[3]

Garland:On the cohomology of lattices in solvable Lie groups

H. Garland:On the cohomology of lattices in solvable Lie groups. Annals of Mathematics84(1966), 174– 195

1966
[4]

Garc´ ıa Vergnolle:Sur les alg` ebres de Lie quasi-filiformes admettant un tore de d´ erivations

L. Garc´ ıa Vergnolle:Sur les alg` ebres de Lie quasi-filiformes admettant un tore de d´ erivations. Manuscripta Math.124(2007), no. 4, 489–505

2007
[5]

Higman:Groups and Lie rings having automorphisms without non-trivial fixed elements

G. Higman:Groups and Lie rings having automorphisms without non-trivial fixed elements. J. London Math. Soc.32(1957), 321–334

1957
[6]

Jacobson:A note on automorphisms of Lie algebras

N. Jacobson:A note on automorphisms of Lie algebras. Pacific J. Math.12, No. 1 (1962), 303–315

1962
[7]

E. I. Khukhro:Linear methods in the study of automorphismsMIMS Eprint 2012.97, University of Man- chaster (2012)

2012
[8]

V. A. Kreknin:Solvability of Lie algebras with a regular automorphism of finite period.Math. USSR Dokl. 4(1963), 683–685

1963
[9]

Siciliano, D

S. Siciliano, D. A. Towers:On derived Lie algebras. Archiv der Mathematik126(2026), 139–151

2026
[10]

Zha:Fixed-point-free automorphisms of Lie algebras

J. Zha:Fixed-point-free automorphisms of Lie algebras. Acta Mathematica Sinicia Vol.5, No. 1 (1989), 95–96. F akult¨at f ¨ur Mathematik, Universit ¨at Wien, Oskar-Morgenstern-Platz 1, 1090 Wien, Aus- tria Email address:dietrich.burde@univie.ac.at Katholieke Universiteit Leuven Campus Kulak Kortrijk, Etienne Sabbelaan 53, 8500 Kor- trijk, Belgium Email add...

1989