pith. sign in

arxiv: 1907.05003 · v1 · pith:XTRC2TLPnew · submitted 2019-07-11 · 🧮 math.RA

Rigid Lie algebras and algebraicity

Elisabeth Remm This is my paper

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

classification 🧮 math.RA
keywords rigid Lie algebrasinner derivationsalgebraicity criterionLie algebra deformationsclassification of Lie algebrasCarles criterion
0
0 comments X

The pith

If a Lie algebra is rigid then its inner derivation algebra is algebraic.

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

The paper proves that rigidity of a Lie algebra implies algebraicity of its inner derivation algebra under Carles' non-classical criterion. Rigidity requires that any Lie bracket sufficiently close to a given one arises from the original via a linear automorphism near the identity. This property is known to hold for only finitely many isomorphism classes in each dimension, with explicit lists available up to dimension 8. Establishing the algebraicity consequence supplies a structural constraint useful for extending those classifications. The argument relies on the given topology on the space of brackets together with the specific algebraicity notion that admits some non-algebraic Lie algebras in the classical sense.

Core claim

A Lie algebra (g, μ) is rigid when every Lie bracket μ₁ sufficiently close to μ satisfies μ₁ = P·μ for some P in GL(g) close to the identity; the paper shows that any such rigid algebra has an inner derivation algebra that is algebraic according to Carles' criterion.

What carries the argument

Rigidity condition on the Lie bracket μ (every nearby bracket is obtained by GL(g)-action near the identity), together with Carles' algebraicity criterion applied to the inner derivation algebra.

If this is right

  • Only finitely many rigid Lie algebras exist up to isomorphism in each fixed dimension.
  • The algebraicity of inner derivations becomes a necessary condition that all rigid examples must satisfy.
  • Classification efforts beyond dimension 8 can use this algebraicity property as a filter.
  • The same rigidity-to-algebraicity link holds for the famous example sl(2,C) and its deformations.

Where Pith is reading between the lines

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

  • The result may let researchers test candidate algebras for rigidity by first checking algebraicity of their inner derivations.
  • The link could extend to rigidity questions for other algebraic structures whose deformation spaces carry a similar GL-action topology.
  • Because the algebraicity criterion is weaker than the classical one, some rigid algebras may still fail to be algebraic in the usual sense.

Load-bearing premise

The chosen topology on the space of brackets and the non-classical algebraicity criterion suffice to obtain the implication without further restrictions on the base field or dimension.

What would settle it

Exhibit one rigid Lie algebra (in any dimension) whose inner derivation algebra fails Carles' algebraicity test.

read the original abstract

The notion of rigidity of Lie algebra is linked to the following problem: when does a Lie brackets $\mu$ on a vector space g satisfy that every Lie bracket $\mu_1$ sufficiently close to $\mu$ is of the form $\mu_1 = P.\mu $ for some P in GL(g) close to the identity? A Lie algebra which satisfies the above condition will be called rigid. The most famous example is the Lie algebra sl(2,C) of square matrices of order $2$ with vanishing trace. This Lie algebra is rigid, that is any close deformation is isomorphic to it. Let us note that, for this Lie algebra, there exists a quantification of its universal algebra. This led to the definition of the famous quantum group SL(2). Another interest of studying the rigid Lie algebras is the fact that there exists, for a given dimension, only a finite number of isomorphic classes of rigid Lie algebras. So we are tempted to establish a classification. This problem has been solved up to the dimension 8. To continue in this direction, properties must be established on the structure of these algebras. One of the first results establishes an algebraicity criterion \cite{Carles}. However, the notion of algebraicity which is used is not the classical notion and it includes non-algebraic Lie algebras in the usual sense. The aim of this work is to show that a the Lie algebra is rigid, then its algebra of inner derivations is algebraic.

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 manuscript aims to prove that if a Lie algebra (g, μ) is rigid—meaning its GL(g)-orbit is open in the space of Lie brackets under a suitable topology—then the algebra of inner derivations ad(g) ≅ g / Z(g) is algebraic in the non-classical sense introduced by Carles.

Significance. If the implication holds, the result supplies a structural property of rigid Lie algebras that could aid their classification (known to be finite per dimension) and connects rigidity to an algebraicity criterion on derivations. The paper correctly notes that classical algebraicity is not assumed and that the result applies to examples such as sl(2, C).

major comments (2)
  1. [Abstract / Introduction] The main theorem statement (abstract and introduction) does not specify the base field (characteristic, algebraically closed?) or the topology on the space of bilinear maps used to define 'sufficiently close' deformations. The tangent-space identification between 2-cocycles and infinitesimal deformations, which is needed to translate orbit openness into Carles' algebraicity condition on ad(g), is known to be sensitive to these choices.
  2. [Main result / proof] The proof sketch must show explicitly how openness of the GL(g)-orbit implies the specific algebraic condition on ad(g) that Carles uses; without this translation step being load-bearing and verified, the central claim remains unconfirmed.
minor comments (2)
  1. [Abstract] The sentence 'show that a the Lie algebra is rigid' contains a typographical error.
  2. [Introduction] Notation for the Lie bracket μ and the action P.μ should be introduced consistently before the definition of rigidity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying points that require clarification in the setup and proof. We address each major comment below and will revise the manuscript to strengthen the presentation without altering the core result.

read point-by-point responses

  1. Referee: [Abstract / Introduction] The main theorem statement (abstract and introduction) does not specify the base field (characteristic, algebraically closed?) or the topology on the space of bilinear maps used to define 'sufficiently close' deformations. The tangent-space identification between 2-cocycles and infinitesimal deformations, which is needed to translate orbit openness into Carles' algebraicity condition on ad(g), is known to be sensitive to these choices.

    Authors: We agree that explicit specification is needed. The manuscript works throughout over the complex numbers (algebraically closed of characteristic zero), with the space of bilinear maps equipped with the standard Euclidean topology (equivalently, the Zariski topology on the affine space of structure constants). The tangent-space identification used is the standard one from Lie algebra cohomology (H^2(g,g) parametrizing infinitesimal deformations), which is valid in this setting and directly links orbit openness to the non-vanishing of certain cohomology classes that Carles employs. We will add these details to the abstract, introduction, and the statement of the main theorem. revision: yes

  2. Referee: [Main result / proof] The proof sketch must show explicitly how openness of the GL(g)-orbit implies the specific algebraic condition on ad(g) that Carles uses; without this translation step being load-bearing and verified, the central claim remains unconfirmed.

    Authors: The proof proceeds by noting that rigidity means the tangent space to the GL(g)-orbit at μ coincides with the full space of 2-cocycles (i.e., the coboundary map is surjective onto the relevant complement). This forces the inner derivation algebra ad(g) to satisfy Carles' algebraicity criterion (the adjoint representation satisfies a polynomial equation derived from the vanishing of higher cohomology obstructions). We will expand the proof section to include this explicit translation, citing the precise identification between orbit openness and the algebraic condition on ad(g) as formulated by Carles. revision: yes

Circularity Check

0 steps flagged

No circularity; implication derived from external Carles criterion and standard rigidity definition

full rationale

The paper states its goal as proving that rigidity of a Lie algebra implies algebraicity of its inner derivation algebra, citing Carles for the (non-classical) algebraicity criterion and using the standard definition of rigidity via open GL(g)-orbits in the space of brackets. No equations, fitted parameters, self-citations, or renamings appear in the abstract or description that would reduce the claimed implication to a tautology or input by construction. The derivation is presented as an independent theorem linking two externally defined notions, making the result self-contained against the provided text.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Pure mathematical proof paper with no data fitting or new postulated objects; relies only on standard Lie algebra axioms and the given definitions of rigidity and algebraicity.

axioms (2)
  • standard math Standard axioms of Lie algebras over a field (typically C) and the definition of inner derivations as ad_x operators.
    Invoked implicitly in the statement linking rigidity to the inner derivation algebra.
  • domain assumption The non-classical algebraicity notion from Carles that the paper refines for the rigid case.
    Cited as the background criterion being improved upon.

pith-pipeline@v0.9.0 · 5784 in / 1147 out tokens · 19974 ms · 2026-05-24T23:07:22.932137+00:00 · methodology

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

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

  1. [1]

    M.; Campoamor-Stursberg, R.; Garc a Vergnolle, L.; Goze, M

    Ancoch´ ea Berm` udez, J. M.; Campoamor-Stursberg, R.; Garc a Vergnolle, L.; Goze, M. Algbres de Lie rsolubles relles algbriquement rigides. (French) [Algebraically rigid rea l solvable Lie algebras] Monatsh. Math. 152 (2007), no. 3, 187-195

    work page 2007

  2. [2]

    M.; Campoamor-Stursberg, R.; Ovian o Garc ` ıa, F

    Ancoch´ ea Berm` udez, J. M.; Campoamor-Stursberg, R.; Ovian o Garc ` ıa, F. New examples of rank one solvable real rigid Lie algebras possessing a nonvanishing Chevalley co homology. Appl. Math. Comput. 339 (2018), 431-440

    work page 2018

  3. [3]

    Le rang du sy st` eme lin´ eaire des racines d’une alg` ebre de Lie rigide r´ esoluble complexe

    Ancoch´ ea-Berm` udez, Jose Maria; Goze, Michel. Le rang du sy st` eme lin´ eaire des racines d’une alg` ebre de Lie rigide r´ esoluble complexe. (French) [The rank of a linear syste m of roots of a complex solvable rigid Lie algebra] Comm. Algebra 20 (1992), no. 3, 875-887

    work page 1992

  4. [4]

    Bahturin, Yuri; Goze, Michel; Remm, Elisabeth Group gradings on fi liform Lie algebras. Comm. Algebra 44 (2016), no. 1, 40-62

    work page 2016

  5. [5]

    Sur la structure des alg` ebres de Lie rigides

    Carles, Roger. Sur la structure des alg` ebres de Lie rigides. Ann ales Institut Fourier, tome 34 (3), (1984), 65-82

    work page 1984

  6. [6]

    Alg` ebres de Lie de dimension finie

    Goze, Michel. Alg` ebres de Lie de dimension finie . Edition Ellipses (2008)

    work page 2008

  7. [7]

    Nilpotent Lie Algebras

    Goze, Michel; Khakimdjanov, Yusupdjan. Nilpotent Lie Algebras. Mathematics and its Applications. Kluwer Academic Publisher

    work page

  8. [8]

    k-step nilpotent Lie algebras

    Goze, Michel; Remm Elisabeth. k-step nilpotent Lie algebras. Georgian Math. J. 22 (2015), no. 2, 219234

    work page 2015

  9. [9]

    Poisson structures on C[X1, · · ·, Xn] associated with rigid Lie algebras

    Goze, Nicolas. Poisson structures on C[X1, · · ·, Xn] associated with rigid Lie algebras. J. Gen. Lie Theory Appl. 4 (2010)

    work page 2010

  10. [10]

    On nilpotent Lie algebras of sm all breadth

    Khuhirun B., Misra K.C., Stitzinger E. On nilpotent Lie algebras of sm all breadth. Journal of Algebra 444 (2015) 328-338

    work page 2015

  11. [11]

    Breadth and characteristic sequence of nilpo tent Lie algebras

    Remm, Elisabeth. Breadth and characteristic sequence of nilpo tent Lie algebras. Comm. Algebra 45 (2017), no. 7, 2956-2966

    work page 2017

  12. [12]

    3-dimensional skew-symmetric algebras and t he variety of Hom-Lie algebras

    Remm, Elisabeth. 3-dimensional skew-symmetric algebras and t he variety of Hom-Lie algebras. Algebra Colloq. 25, No. 4, 547-566 (2018)

    work page 2018

  13. [13]

    On filiform Lie algebras

    Remm, Elisabeth. On filiform Lie algebras. Geometric and algebraic studies. Rev. Roumaine Math. Pures Appl . 63 (2018), 2, 179-209

    work page 2018

  14. [14]

    Examples of nonalgebraic nilpotent Lie algebra

    Remm, Elisabeth; Goze, Michel. Examples of non-algebraic nilpote nt Lie algebra. arXiv:1802.00943 (2018). E.R: IRIMAS, Universit ´ e de Haute Alsace, F acult ´ e des Sciences et Techniques, 4, rue des Fr` eres Lumi ` ere, 68093 Mulhouse cedex, France. E-mail address : Elisabeth.Remm@uha.fr

    work page internal anchor Pith review Pith/arXiv arXiv 2018