Pith. Sign in

REVIEW

Computation of Invariants of Lie Algebras by Means of Moving Frames

PaperPDF from arXiv

data files

ReviewThe objections and verdict, as JSON Paper breakdownThe authors' claims, conditions and measurements, as JSON Signed receiptProof this review has not been altered
X Bluesky LinkedIn Reddit Hacker News
Vyacheslav Boyko, Jiri Patera, Roman Popovych

Mathematical Physics · Submitted 19 Feb 2006 · 120 references

Pith's reading: A moving frame algorithm replaces integration of invariant PDEs by algebraic elimination and yields bases of generalized Casimir operators for real Lie algebras of dimension up to six.

T0 · AI review

How this review was made: An AI referee (deepseek-v4-flash) read the paper on August 28, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDmath-ph/0602046 (version 3)
Pith ID3J7RWW5M, Pith's permanent record of this paper and its review
CitationJiri Patera, Roman Popovych, Vyacheslav Boyko. "Computation of Invariants of Lie Algebras by Means of Moving Frames." arXiv:math-ph/0602046 (2006). https://pith.science/paper/3J7RWW5M
Cite this reviewBibTeX for Pith's review of this paper
Claim paper
The paper

The paper claims

A moving frame algorithm replaces integration of invariant PDEs by algebraic elimination and yields bases of generalized Casimir operators for real Lie algebras of dimension up to six.

The reading

Lie algebras are algebraic structures used to describe continuous symmetries, and their generalized Casimir operators are special functions of the algebra that stay unchanged under all internal transformations. Physicists use them to label states in quantum theories. The standard way to find these operators is to solve a system of partial differential equations, which gets hard as the dimension grows. The authors describe an alternative that avoids solving differential equations. For a given Lie algebra, they first write down matrices representing its inner automorphisms, that is, changes of basis generated by the algebra itself. They apply these matrices to coordinates on the dual space by matrix multiplication, which gives a system of equations that contains both the coordinates and the group parameters. The next step is to eliminate the group parameters from this system. Whatever relations remain between the coordinates are the invariants of the coadjoint action. A final step, called symmetrization, turns each invariant into an operator on the Lie algebra. The paper works through six examples in detail and then lists bases of invariants for families of real Lie algebras up to dimension six. Many entries match earlier results, but the authors present simpler forms without complex numbers and correct several misprints found in earlier tables. The resulting invariants sometimes involve exponential, logarithm, and arctangent functions, which shows that the 'purely algebraic' label means no differential equations, not that all expressions are polynomials.
Extended reading notes

Core claim

The paper's central assertion, stated in Section 3, is that 'the algebraic method of computation of invariants of Lie algebras presented in this paper is simpler and generally valid.' More concretely, computing the matrix B(theta) of inner automorphisms, applying the finite transformations (3), and algebraically eliminating the parameters theta yields functionally independent invariants that form a basis of Inv(Ad*_G), and symmetrization then gives a basis of generalized Casimir operators of A. If the paper is correct, this replaces PDE integration by an algebraic elimination procedure and produces the corrected tables of invariants for real solvable Lie algebras up to dimension five, six-dimensional nilpotent Lie algebras, and six-dimensional solvable Lie algebras with four-dimensional nilradicals.

Load-bearing premise

The completeness of the tabulated bases assumes the adopted classification lists of real low-dimensional Lie algebras (Mubarakzyanov [24,25], Morozov [23], Turkowski [44]) are complete and correctly transcribed. The paper corrects several entries of [27,44] but does not independently re-derive these classifications, so an undetected omission or misprint in the source classifications would make the 'complete list' claim incomplete. This enters in the 'Contents of Tables' paragraph of Section 5.

Original abstract

A new purely algebraic algorithm is presented for computation of invariants (generalized Casimir operators) of Lie algebras. It uses the Cartan's method of moving frames and the knowledge of the group of inner automorphisms of each Lie algebra. The algorithm is applied, in particular, to computation of invariants of real low-dimensional Lie algebras. A number of examples are calculated to illustrate its effectiveness and to make a comparison with the same cases in the literature. Bases of invariants of the real solvable Lie algebras up to dimension five, the real six-dimensional nilpotent Lie algebras and the real six-dimensional solvable Lie algebras with four-dimensional nilradicals are newly calculated and listed in tables.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-09-23: 1 request, 4,277 input tokens.

What the abstract itself states, as probabilities: claims first 0.14 · states limitation 0.08 · human participants 0.01 · controlled comparison 0.08 · randomized assignment 0.01 · states quantitative result 0.46 · compares with prior results 0.93 · mentions code or data availability 0.04.

The abstract, sentence by sentence

arXiv listing abstract v3. Results and the main claim are underlined; .

A new purely algebraic algorithm is presented for computation of invariants (generalized Casimir operators) of Lie algebras. It uses the Cartan's method of moving frames and the knowledge of the group of inner automorphisms of each Lie algebra. The algorithm is applied, in particular, to computation of invariants of real low-dimensional Lie algebras. A number of examples are calculated to illustrate its effectiveness and to make a comparison with the same cases in the literature. Bases of invariants of the real solvable Lie algebras up to dimension five, the real six-dimensional nilpotent Lie algebras and the real six-dimensional solvable Lie algebras with four-dimensional nilradicals are newly calculated and listed in tables.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 A new purely algebraic algorithm is presented for computation of invariants (generalized Casimir operators) of Lie algebras. contribution 1.00 0.94 0.48 asserted 1.00
s1 It uses the Cartan's method of moving frames and the knowledge of the group of inner automorphisms of each Lie algebra. method 0.99 0.68 0.07 asserted 1.00
s2 The algorithm is applied, in particular, to computation of invariants of real low-dimensional Lie algebras. contribution 0.67 0.92 0.08 asserted 1.00
s3 A number of examples are calculated to illustrate its effectiveness and to make a comparison with the same cases in the literature. method 0.49 0.92 0.05 asserted 0.99
s4 Bases of invariants of the real solvable Lie algebras up to dimension five, the real six-dimensional nilpotent Lie algebras and the real six-dimensional solvable Lie algebras with four-dimensional nilradicals are newly calculated and listed in tables. result 0.84 0.96 0.54 asserted 1.00

What kind of paper the classifier reports this is: method or tool 1.00 · evidence from simulation or computation 0.73.

What was examined, and what was not

sources read
  • arXiv listing abstract v3
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Human review

How Pith checks papers → · Full audit of this paper →

References
How the literature uses it

4 arXiv papers cite this in 10 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 6 sentences without a confident label

Uses its method or tool 1 paper
  • Using the technique developed in [ref] for triangular algebras in the framework of our original pure algebraic approach [ref] , in this paper we investigated the invariants of solvable Lie algebras with nilradicals isomorphic to $𝔱_0(n)$ and one nilindependent `diagonal' element.

    Invariants of triangular Lie algebras with one nilindependent diagonal element · Conclusion and discussion · 0.98

Compares with it 1 paper
  • Using the moving frames approach, we recalculated invariant bases and, in a number of cases, enhanced their representation for the following Lie algebras (in additional brackets we cite the papers where invariants bases of the same algebras were computed by the infinitesimal method): =-0.5ex * the complex and real Lie algebras up to dimension 6 [ref] ( [ref] );

    Invariants of Lie algebras via moving frames · Review of obtained results · 0.92

Cites it as background 2 papers

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.