Pith. Sign in

REVIEW

Expanding Lie (super)algebras through abelian semigroups

High Energy Physics - Theory · Submitted 21 Jun 2006 · 36 references

Pith's verdict: A clean generalization of Maurer–Cartan expansion whose real payoff is the invariant-tensor construction in section VII; the Z4 'new algebra' claim holds but needs one paragraph of argument the paper doesn't give.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on November 11, 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 →

· 1 major objection · 10 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-th/0606215 (version 2)
Pith IDSRBOQZEW, Pith's permanent record of this paper and its review
CitationEduardo Rodr\'iguez, Fernando Izaurieta, Patricio Salgado. "Expanding Lie (super)algebras through abelian semigroups." arXiv:hep-th/0606215 (2006). https://pith.science/paper/SRBOQZEW
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report
The paper

The paper claims

Multiplying a Lie algebra by an abelian semigroup produces another Lie algebra, and the semigroup's multiplication table alone controls which subalgebras, reductions, and invariant tensors come out.

The reading

The paper asks whether the known 'expansion' tricks that turn one Lie algebra into a bigger one can be replaced by a single, purely algebraic construction. Its answer is yes: take any finite abelian semigroup $S$ and any Lie (super)algebra $g$, form the direct product, and dress the original structure constants with the semigroup's multiplication table. The authors then show that this one move reproduces the Maurer–Cartan power-series expansions of earlier work as a special case, and that choosing other semigroups gives algebras those methods could not reach. They also give general conditions for carving out subalgebras and quotients, and — the part with the clearest physical payoff — explicit formulas for invariant tensors, the ingredient needed to write Chern–Simons and transgression Lagrangians. For a reader interested in eleven-dimensional supergravity, the concrete draw is that the M algebra and a D'Auria–Fré-like superalgebra both fall out of the orthosymplectic algebra $osp(32|1)$ by this route.

What carries the argument

The $n$-selector. For semigroup elements $a_1, ..., a_n$ it equals 1 when their product is a given element and 0 otherwise; the two-selector version is just the multiplication table written as a matrix. This single object does three jobs at once: it multiplies structure constants in the expanded bracket, it decides which products of subsets stay inside which other subsets (the 'resonance condition' $S_p S_q$ contained in the intersection of the $S_r$ required by $[V_p, V_q]$), and it slots into the invariant-tensor formula $<T_{(A_1,a_1)} ... T_{(A_n,a_n)}> = c_c K^{c}_{a_1 ... a_n} <T_{A_1} ... T_{A_n}>$. The last formula is the paper's practical contribution: it manufactures nonvanishing invariant tensors that the ordinary supertrace cannot supply, because in the $S_E$ case the supertrace collapses to a single component.

Extended reading notes

Core claim

The central claim is Theorem III.1: if $S$ is an abelian semigroup with two-selector $K^{~}_{}$, i.e. the array that records which product of two semigroup elements equals which third, and $g$ is a Lie (super)algebra with structure constants $C^{C}_{AB}$, then the bracket $[T_{(A,a)}, T_{(B,b)}] = K^{c}_{ab} C^{C}_{AB} T_{(C,c)}$ closes and satisfies Jacobi. Jacobi holds because the selectors are associative and symmetric, so the semigroup never disturbs the algebra's own identity. Everything else in the paper is built on that: a 'resonant' partition of $S$ into subsets whose products land inside the subsets dictated by the grading of $g$ gives a subalgebra of the expanded algebra (Theorem IV.2); a splitting of those subsets into a kept part and a discarded part gives a reduced algebra (Theorem VI.1); and the $n$-selector, the obvious generalization of the two-selector, gives invariant tensors for both the expanded algebra and its reduction (Theorems VII.1 and VII.2). The authors then show that the Maurer–Cartan expansion of de Azcárraga and collaborators is exactly the case where $S$ is the truncated power semigroup $S_E$ followed by setting the zero element's generators to zero, so the older method is a special case rather than a rival.

Load-bearing premise

The claim that different semigroup choices give genuinely new algebras rests on the observation that $Z_4$ is not the truncated power semigroup $S_E$; the paper does not check isomorphism classes, so 'new' here means 'not produced by the earlier procedure as defined' rather than 'provably non-isomorphic to every expanded algebra'.

Editorial extensions

If this is right

  • The Maurer–Cartan power-series expansion of de Azcárraga et al. is recovered in full, including the truncation conditions, as a zero-element reduction of an $S_E$-expansion, so the older results are subsumed rather than replaced.
  • The M algebra, with its 583 bosonic generators, is obtained from $osp(32|1)$ by an $S_E$-expansion with truncation order 2 followed by a reduction; the D'Auria–Fré-like superalgebra with an extra fermionic generator follows from order 3.
  • Choosing the cyclic group $Z_4$ instead of $S_E$ gives a superalgebra with two fermionic charges obeying the same anticommutator and two sets of 'AdS-boost' generators sharing one Lorentz algebra, which the Maurer–Cartan procedure as defined does not produce.
  • The five-brane superalgebra is recovered as a reduced algebra of a resonant subalgebra, and the generalized Iñönü–Wigner contraction is identified as a particular reduction rather than a subalgebra.
  • Because invariant tensors are available for resonant subalgebras and their zero-element reductions, Chern–Simons and transgression Lagrangians can be written for these algebras in odd dimensions, which is the stated route to an eleven-dimensional supergravity Lagrangian for the M algebra.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The construction suggests a general classification programme the authors only gesture at: enumerate finite abelian semigroups up to some small order, compute their resonant partitions against a fixed grading of $osp(32|1)$, and you get a finite catalogue of eleven-dimensional superalgebras with known invariant tensors. That is a concrete, checkable enumeration rather than an open-ended search.
  • The reduction theorems look like a clean algebraic home for contraction and deformation. If every generalized Iñönü–Wigner contraction is a reduction of a resonant subalgebra, then the space of algebras reachable from a fixed $g$ has a partial order by semigroup refinement, and questions about which contractions are deformable back become questions about that order.
  • The invariant-tensor formula depends only on the $n$-selector, so it applies verbatim to any semigroup, including non-$S_E$ ones. A natural test is whether the $Z_4$ superalgebra's selector-built tensor gives a Chern–Simons action that is not equivalent to any $S_E$-derived one; if it is equivalent, the 'new algebra' claim weakens considerably.
  • The paper's own remark that abelianity is essential while finiteness and discreteness might be dropped points at a continuum version: replace the semigroup by a commutative monoid of functions or a commutative algebra, and the selector becomes a kernel. Whether the Jacobi identity survives that limit is the obvious next question.
Original abstract

We propose an outgrowth of the expansion method introduced by de Azcarraga et al. [Nucl. Phys. B 662 (2003) 185]. The basic idea consists in considering the direct product between an abelian semigroup S and a Lie algebra g. General conditions under which relevant subalgebras can systematically be extracted from S \times g are given. We show how, for a particular choice of semigroup S, the known cases of expanded algebras can be reobtained, while new ones arise from different choices. Concrete examples, including the M algebra and a D'Auria-Fre-like Superalgebra, are considered. Finally, we find explicit, non-trace invariant tensors for these S-expanded algebras, which are essential ingredients in, e.g., the formulation of Supergravity theories in arbitrary space-time dimensions.

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-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 4,942 input tokens, $0.0002 reported.

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

The abstract, sentence by sentence

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

We propose an outgrowth of the expansion method introduced by de Azcarraga et al. [Nucl. Phys. B 662 (2003) 185]. The basic idea consists in considering the direct product between an abelian semigroup S and a Lie algebra g. General conditions under which relevant subalgebras can systematically be extracted from S \times g are given. We show how, for a particular choice of semigroup S, the known cases of expanded algebras can be reobtained, while new ones arise from different choices. Concrete examples, including the M algebra and a D'Auria-Fre-like Superalgebra, are considered. Finally, we find explicit, non-trace invariant tensors for these S-expanded algebras, which are essential ingredients in, e.g., the formulation of Supergravity theories in arbitrary space-time dimensions.

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 We propose an outgrowth of the expansion method introduced by de Azcarraga et al. [Nucl. Phys. B 662 (2003) 185]. background 0.63 0.71 0.04 asserted 0.95
s1 The basic idea consists in considering the direct product between an abelian semigroup S and a Lie algebra g. method 0.90 0.31 0.06 asserted 1.00
s2 General conditions under which relevant subalgebras can systematically be extracted from S \times g are given. contribution 0.65 0.84 0.16 asserted 1.00
s3 We show how, for a particular choice of semigroup S, the known cases of expanded algebras can be reobtained, while new ones arise from different choices. result 0.77 0.93 0.29 asserted 1.00
s4 Concrete examples, including the M algebra and a D'Auria-Fre-like Superalgebra, are considered. contribution 0.81 0.81 0.07 asserted 0.96
s5 Finally, we find explicit, non-trace invariant tensors for these S-expanded algebras, which are essential ingredients in, e.g., the formulation of Supergravity theories in arbitrary space-time dimensions. result 0.92 0.95 0.41 asserted 1.00

What kind of paper the classifier reports this is: method or tool 0.94 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v2
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

Figures
Figure 3. (a) shows the resonant subalgebra for the case of superalgebras, and
Figure 4. FIG. 4: The M algebra as an
Figure 5. FIG. 5: A D’Auria–Fr´e-like Superalgebra regarded here as a
Figure 6. FIG. 6: A new

Showing 4 of the paper's 8 figures. See all figures in the PDF ↗ Figures reproduced from arXiv:hep-th/0606215 by the authors.

References
How later papers used it

73 later papers cite it

Evidence: substantial. 40 of the citing papers share no author with it, and 17 of those carry a confident label from Pith's citation classifier.

Pith read 37 of the 276 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

Uses its method or tool 7 of 35 papers with this label · 5 by the same authors
  • Combined this paper's S-expansion method with the Chern-Simons formalism to construct three-dimensional non-relativistic supergravity actions.

    Non-Lorentzian Supergravity and Kinematical Superalgebras (2024) · 1.00 · paraphrased: the licence does not allow quoting

  • Since the direct product of $S$ with a Lie algebra is again a Lie algebra [ref] , one can define the expanded Nappi-Witten algebra [ref] S×={ S⊗{ ,_a,} }. whose generators are obtained by considering the tensor product of the semigroup elements and the generators of the $$ algebra, i.e. ^(i)_a=λ_i ⊗_a , ^(i)=λ_i⊗ , ^(i) =λ_i ⊗ , The commutation relations of the expanded Nappi-Witten algebra are [ ^(i),^(j)_a ] = ϵ_a^ b ^(i♢j)_b , [ ^(i)_a,^(j)_b ] = -ϵ_ab^(i♢j) .

    Non-relativistic spin-3 symmetries in 2+1 dimensions from expanded/extended Nappi-Witten algebras (2022) · Expansions of higher-spin Nappi-Witten algebras · 0.82

By the same authors

How the literature uses it

60 arXiv papers cite this in 242 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 · 138 sentences without a confident label

Builds on it 2 papers
Uses its method or tool 30 papers
Compares with it 3 papers
  • In this work we have found a relation between two procedures for the expansion of Lie algebras, namely a relation between the so-called `power series expansion method' of Ref. [ref] and the `$S$-expansion Procedure' of Ref. [ref] .

    Dual Formulation of the Lie Algebra S-expansion Procedure · Comments and Possible Developments · 0.99

  • The present work shows the difference between the possibilities of the $S$-expansion procedure [ref] (using semigroups) and the MC forms expansion (using a parameter).

    Standard General Relativity from Chern-Simons Gravity · Comments and Possible Developments · 0.91

  • In a sense, Galilean contraction procedures provide an opposite construction to semigroup expansions which also give rise to Galilean subalgebras [ref] .

    Asymmetric Galilean conformal algebras · Discussion · 0.88

Cites it as background 18 papers
  • In Refs. [ref] , [ref] , [ref] was proposed a natural outgrowth of power series expansion method, which is based on combining the structure constant of the algebra $𝔤$ with the inner law of a semigroup $S$ in order to define the Lie bracket of a new $S$-expanded algebra.

    Einstein-Hilbert action with cosmological term from Chern-Simons gravity · Introduction · 0.87

  • An alternative expansion procedure to the method of power series expansion is the $S$-expansion method [ref] .

    Dual Formulation of the Lie Algebra S-expansion Procedure · Introduction · 0.80

  • Some time ago was shown that the standard, five-dimensional General Relativity can be obtained from Chern-Simons gravity theory for a certain Lie algebra $𝔅$ [ref] , which was obtained from the AdS algebra and a particular semigroup $S$ by means of the S-expansion procedure introduced in Refs. [ref] .

    Stellar equilibrium in Einstein-Chern-Simons gravity · Introduction · 0.95

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.