Salzer Expansion: S-Expansion of Lie Algebras

• Salzer Expansion is a method that uses a finite abelian semigroup to expand a Lie algebra, generating new algebraic structures with novel symmetry properties.
• It employs reduction procedures like zero reduction and resonant subalgebras to extract lower-dimensional, physically significant algebras from the expanded structure.
• The approach is computationally implemented via a Java library, enabling systematic exploration of Lie algebra classifications and applications in gravity, supergravity, and gauge theories.

The Salzer expansion, also known as the S-expansion, is a construction that generalizes the Inönü–Wigner contraction for Lie algebras by combining a given Lie algebra with a finite abelian semigroup to systematically generate new Lie algebras with potentially novel properties. S-expansion enables the exploration of non-trivial correspondences between different Lie algebras and their subalgebras, and is particularly useful in mathematical physics, where it provides a robust machinery for producing novel symmetry algebras relevant to gravity, supergravity, and higher gauge theories (Inostroza et al., 2018).

1. Algebraic Foundations of S-Expansion

Let $\mathcal{G}$ denote a (real) Lie algebra of finite dimension, with basis $\{X_i\}$ and structure constants defined through the Lie bracket $[X_i, X_j] = C^k_{\,ij}\, X_k$. Consider a finite abelian semigroup $S = \{\lambda_\alpha\,|\, \alpha=1,...,n\}$ defined by its associative multiplication $$\lambda_\alpha \cdot \lambda_\beta = \lambda_{\gamma(\alpha,\beta)}$$. The product structure is encoded in the selector $K^\rho_{\alpha\beta}$, which equals $1$ if $\rho = \gamma(\alpha,\beta)$ and $0$ otherwise.

The S-expanded algebra $\mathcal{G}_S$ is constructed as the tensor product $\{X_i\}$0, with basis elements $\{X_i\}$1. The Lie bracket in $\{X_i\}$2 is induced from the original algebra and the semigroup as:

$\{X_i\}$3

Consequently, the new algebra’s structure constants are entirely determined by those of $\{X_i\}$4 and the selector array $\{X_i\}$5 for $\{X_i\}$6 (Inostroza et al., 2018).

2. Reduction Procedures: Zero Reduction and Resonant Subalgebras

Given that $\{X_i\}$7 has dimension $\{X_i\}$8, practical interest often focuses on extracting lower-dimensional, physically or mathematically meaningful subalgebras. Two principal reduction mechanisms are:

• Zero Reduction: If $\{X_i\}$9 contains a zero element $[X_i, X_j] = C^k_{\,ij}\, X_k$0 such that $[X_i, X_j] = C^k_{\,ij}\, X_k$1 for all $[X_i, X_j] = C^k_{\,ij}\, X_k$2, then $[X_i, X_j] = C^k_{\,ij}\, X_k$3 forms an ideal in $[X_i, X_j] = C^k_{\,ij}\, X_k$4. Modding out (or discarding) this ideal yields the 0-reduced algebra, itself a Lie algebra.
• Resonant Subalgebras: Assume that $[X_i, X_j] = C^k_{\,ij}\, X_k$5 admits a decomposition $[X_i, X_j] = C^k_{\,ij}\, X_k$6 with bracket pattern $[X_i, X_j] = C^k_{\,ij}\, X_k$7 for a fixed index set $[X_i, X_j] = C^k_{\,ij}\, X_k$8. If $[X_i, X_j] = C^k_{\,ij}\, X_k$9 can be partitioned as $S = \{\lambda_\alpha\,|\, \alpha=1,...,n\}$0 so that $S = \{\lambda_\alpha\,|\, \alpha=1,...,n\}$1, this is termed a resonant decomposition. Then, the direct sum $S = \{\lambda_\alpha\,|\, \alpha=1,...,n\}$2 closes as a Lie subalgebra of $S = \{\lambda_\alpha\,|\, \alpha=1,...,n\}$3. Both procedures can be combined, resulting in 0-reduced resonant subalgebras (Inostroza et al., 2018).

3. Canonical and Illustrative Examples

The S-expansion framework admits a wide variety of explicit constructions:

• Standard Expansions $S = \{\lambda_\alpha\,|\, \alpha=1,...,n\}$4: The semigroup $S = \{\lambda_\alpha\,|\, \alpha=1,...,n\}$5, with product $S = \{\lambda_\alpha\,|\, \alpha=1,...,n\}$6, provides a $S = \{\lambda_\alpha\,|\, \alpha=1,...,n\}$7-element semigroup where $S = \{\lambda_\alpha\,|\, \alpha=1,...,n\}$8 is the zero element. When the original algebra $S = \{\lambda_\alpha\,|\, \alpha=1,...,n\}$9 possesses a $$\lambda_\alpha \cdot \lambda_\beta = \lambda_{\gamma(\alpha,\beta)}$$0-grading, resonant decompositions produce expanded algebras $$\lambda_\alpha \cdot \lambda_\beta = \lambda_{\gamma(\alpha,\beta)}$$1 and their 0-reductions, which can realize Maxwell-type and related algebras, especially relevant to gravity.
• Bianchi Lie Algebras via S-Expansion: Starting from simple 2D Lie algebras such as $$\lambda_\alpha \cdot \lambda_\beta = \lambda_{\gamma(\alpha,\beta)}$$2 or $$\lambda_\alpha \cdot \lambda_\beta = \lambda_{\gamma(\alpha,\beta)}$$3 and expanding with various order-4 abelian semigroups (not of $$\lambda_\alpha \cdot \lambda_\beta = \lambda_{\gamma(\alpha,\beta)}$$4 type), only four Bianchi class-3 algebras emerge as resonant, 0-reduced S-expansions, as detailed by Caroca–Kondrashuk–Merino–Nadal (2013).
• Order-3 Abelian Semigroups: Among the 18 non-isomorphic order-3 semigroups, 12 are abelian. For instance, $$\lambda_\alpha \cdot \lambda_\beta = \lambda_{\gamma(\alpha,\beta)}$$5 admits a resonant decomposition $$\lambda_\alpha \cdot \lambda_\beta = \lambda_{\gamma(\alpha,\beta)}$$6, $$\lambda_\alpha \cdot \lambda_\beta = \lambda_{\gamma(\alpha,\beta)}$$7 if the original algebra is split as $$\lambda_\alpha \cdot \lambda_\beta = \lambda_{\gamma(\alpha,\beta)}$$8. The corresponding resonant subalgebra has dimension $$\lambda_\alpha \cdot \lambda_\beta = \lambda_{\gamma(\alpha,\beta)}$$9 (Inostroza et al., 2018).

4. Algorithmic Realization and the Java Library

A dedicated Java library operationalizes the S-expansion method, automating semigroup-based expansions, reduction procedures, and algebra classification. The principal workflow is as follows:

1. Semigroup Representation: Store $K^\rho_{\alpha\beta}$0 and a 2D multiplication array $K^\rho_{\alpha\beta}$1 and construct the selector tensor $K^\rho_{\alpha\beta}$2.
2. Lie Algebra Representation: Encode dimension $K^\rho_{\alpha\beta}$3, basis elements, and structure constants $K^\rho_{\alpha\beta}$4.
3. Expansion: For all active $K^\rho_{\alpha\beta}$5 and $K^\rho_{\alpha\beta}$6, if $K^\rho_{\alpha\beta}$7, assign the expanded structure constants.
4. Zero-Element Detection: Search for $K^\rho_{\alpha\beta}$8 satisfying $K^\rho_{\alpha\beta}$9 and $1$0 for all $1$1.
5. Resonance Search: For given subspace patterns (e.g., $1$2, $1$3), test all semigroup partitions against the resonance condition $1$4.
6. Subalgebra Extraction: Prune the full expansion to obtain reduced or resonant subalgebras.
7. Classification Routines: Compute the Killing form, assess semisimplicity, and determine compactness/real signature.

A sketch for computational resonance detection is: $1$9 (Inostroza et al., 2018)

5. Major Applications and Generalizations

S-expansion has produced numerous new supergravity and gravity algebras, including Maxwell, AdS–Lorentz, Born–Infeld, and Lovelock algebras, as well as Chern–Simons gauge theories in various dimensions. Extensions and variants include dual Maurer–Cartan–form approaches, higher-order (n-ary) S-expansions, constructions based on infinite semigroups with ideal subtraction, and analytic S-expansion methods.

In classification theory, a central question is whether, for given Lie algebras $1$5 and $1$6, there exists an abelian semigroup $1$7 such that $1$8 (with potential resonant and zero reductions). The Java library supports exhaustive scans for semigroups up to order 6 to analyze such equivalences (Inostroza et al., 2018).

6. Significance, Limitations, and Computational Aspects

The S-expansion stands as a unifying scheme recovering known contraction procedures (such as Inönü–Wigner contractions) as special cases while enabling new algebraic interrelationships. Its reliance on explicit semigroup multiplication tables, classification of possible partitions for resonance, and algorithmic reducibility render it well-suited for computational implementation. Manual construction of multiplication tables motivated the development of the Java library (Inostroza et al., 2018).

A plausible implication is that, for larger semigroups or higher-dimensional algebras, direct computation and classification become increasingly complex; practical computations rely critically on efficient implementation of selector construction, reduction, and resonance tests. The S-expansion framework thus balances algebraic generality with computational tractability, offering a systematic pathway for the construction and analysis of Lie (super)algebras relevant to both mathematical theory and physical models.