---
title: Lie-Semigroup Methods in Algebra and Dynamics
url: https://www.emergentmind.com/topics/lie-semigroup-based-method
type: topic
---

# Lie-Semigroup Methods in Algebra and Dynamics

Lie-semigroup-based methods are constructions in which a semigroup law controls a Lie-theoretic, dynamical, or stochastic object. In the cited literature, this role is played by finite semigroups that determine Lie brackets or rate-matrix bases, by semigroups of maps that encode network architecture, by semigroups of annuli that substitute for a non-existent complex Lie group, by semigroups attached to reachable sets of control systems on Lie groups, and by analytic semigroups generated by elliptic operators in splitting schemes [1602.04525] [1005.0495] [1709.00520] [1209.3209] [2410.05929] [1605.00726] [2404.15947]. The common structural theme is closure: associativity, semigroup invariance, or semigroup generation supplies multiplicative closure, closure under commutators, or stable composition laws that remain internal to the model.

## 1. Algebraic premise and closure mechanism

A finite semigroup of degree \(k\) is a set \(S=\{a_1,\dots,a_k\}\) equipped with an associative binary operation \(m:S\times S\to S\), \(m(a_i,a_j)=a_i a_j\), so that \((ab)c=a(bc)\) for all \(a,b,c\in S\). Two semigroups of the same size are isomorphic if there is a bijection preserving the product, and anti-isomorphic if the product is reversed under the bijection [1709.00520]. In the S-expansion literature, the semigroup is typically finite, discrete, and abelian, with product encoded by selectors \(K_{ij}{}^k\in\{0,1\}\) defined by \(\lambda_i\lambda_j=\lambda_k\) [1602.04525] [1005.0495].

The basic closure mechanism appears in several equivalent guises. For finite semigroups used in phylogenetics, one passes from the multiplication table \(a_i a_j=a_{m(i,j)}\) to \(0\!-\!1\) multiplication matrices \(A_i\) satisfying \(A_iA_j=A_{m(i,j)}\), and then to rate-matrix generators \(L_i=-I+A_i\) [1709.00520]. For S-expansions of Lie algebras, one combines the semigroup selectors with the structure constants \(C_{AB}{}^C\) of a Lie algebra \(\mathfrak g\) to obtain new generators \(T_{(i,A)}=\lambda_i\otimes T_A\) and bracket
\[
[T_{(i,A)},T_{(j,B)}]=K_{ij}{}^k\,C_{AB}{}^C\,T_{(k,C)}.
\]
Associativity of the semigroup and the Jacobi identity in \(\mathfrak g\) imply that the expanded bracket again defines a Lie algebra [1602.04525] [1005.0495].

An analogous phenomenon occurs in coupled cell networks. A homogeneous network architecture is specified by maps \(\Sigma=\{\sigma_1,\dots,\sigma_n\}\) on the cell set, and \(\Sigma\) is called a semigroup when it is closed under composition. In that case one can construct linear maps \(A_{\sigma_j}\) satisfying \(A_{\sigma_{j_1}}A_{\sigma_{j_2}}=A_{\sigma_{j_1}\circ\sigma_{j_2}}\), and the associated network vector fields \(X_f\) form a Lie subalgebra under the usual Lie bracket of vector fields [1209.3209]. This suggests that the semigroup law acts as a universal bookkeeping device for internal composition.

## 2. S-expansion of Lie algebras and Lie groups

The S-expansion procedure starts from a Lie algebra \(\mathfrak g\) with basis \(\{T_A\}\) and a finite abelian semigroup \(S=\{\lambda_i\}\). The expanded vector space is \(S\times\mathfrak g\) or \(S\otimes\mathfrak g\), with generators \(T_{(i,A)}=\lambda_i\otimes T_A\), and the semigroup product deforms the original Lie bracket through the selectors \(K_{ij}{}^k\) [1602.04525] [1005.0495]. When \(S\) contains a zero element \(0_S\), one may impose the ideal condition \(0_S\otimes T_A=0\); the resulting quotient is the \(0_S\)-reduced algebra [1602.04525]. When \(\mathfrak g=\bigoplus_{p\in I}V_p\) admits a subspace decomposition compatible with the bracket and \(S\) admits a resonant partition \(S=\bigcup_{p\in I}S_p\) satisfying \(S_pS_q\subseteq\bigcap_{r\in i(p,q)}S_r\), the direct sum \(\bigoplus_{p\in I}(S_p\times V_p)\) is a resonant subalgebra [1602.04525].

The method extends to the group manifold. If an element of the original Lie group is parametrized by \(y(x)=\exp(\theta^A(x)T_A)\), then the coordinates are expanded by an S-map \(\theta^A(x)=\sum_i \theta^{(A,i)}(x)\lambda_i\), producing \(Y(x)=\exp(\sum_{i,A}\theta^{(A,i)}(x)T_{(A,i)})\). The left-invariant Maurer–Cartan forms expand in parallel, \(\omega^A=\sum_i \lambda_i\omega^{(A,i)}\), and satisfy the expanded Maurer–Cartan equations with the same selectors \(K_{ij}{}^k\) [1005.0495]. In the geometric analysis of the procedure, the Killing–Cartan form is deformed by the semigroup selectors, so that lengths and scalar products on the group manifold are rescaled by the semigroup data [1602.04525].

Several explicit constructions are standard. The Maxwell algebra is obtained from \(\mathfrak{so}(3,2)\) using a finite abelian semigroup with zero and a resonant partition; after \(0_S\)-reduction, the generators \(J_{ab}\), \(P_a\), and \(Z_{ab}\) satisfy \([P_a,P_b]=Z_{ab}\) [1405.1334]. The same formalism yields the minimal Maxwell superalgebra \(s\mathcal M\), the \(N\)-extended Maxwell superalgebra \(s\mathcal M^{(N)}\), and new minimal Maxwell superalgebras \(s\mathcal M_{m+2}\) from \(\mathfrak{osp}(4|N)\) [1405.1334]. In three-dimensional non-relativistic supergravity, the method is applied to a supersymmetric extension of the Nappi–Witten algebra, with semigroups \(S_E^{(2N)}\) and \(S_{\mathcal M}^{(2N)}\), to generate generalized extended Bargmann and generalized extended Newton–Hooke families together with their invariant tensors and Chern–Simons actions [2010.01216].

The method also has an infinite-dimensional branch. Taking \(S=\mathbb Z\) under addition and realizing \(\lambda_n\) as the Fourier mode \(z^n=e^{in\phi}\), one obtains generators \(T_{(A,n)}=z^nT_A\) with bracket \([T_{(A,m)},T_{(B,n)}]=C_{AB}{}^C T_{(C,m+n)}\), which is precisely the loop algebra \(\mathrm{Map}(S^1,\mathfrak g)\). The same construction with bases of spherical harmonics or Wigner \(D\)-functions produces \(\mathrm{Map}(S^2,\mathfrak g)\) and \(\mathrm{Map}(S^3,\mathfrak g)\) [1005.0495]. A further structural result is that if \(\mathfrak g\) is simple and \(S\) has \(P\) elements, then the S-expanded algebra is non-simple; in the stated faithful setting it decomposes as a direct sum of \(P\) copies of \(\mathfrak g\) [1602.04525].

## 3. Semigroup-derived stochastic and network dynamics

In phylogenetics, a finite semigroup of degree \(k\) gives rise to a continuous-time Markov chain on \(k\) states. From the multiplication matrices \(A_i\), one defines \(L_i=-I+A_i\), forms the real span \(\mathcal R=\mathrm{span}_{\mathbb R}\{L_1,\dots,L_k\}\subset\mathcal L\), and then takes \(\mathcal R^+=\mathcal R\cap\mathcal L^+\), where \(\mathcal L^+\) is the set of rate-matrices with non-negative off-diagonals and zero column-sum [1709.00520]. Every rate-matrix in the semigroup-based model has the form
\[
Q=\sum_{i=1}^k \alpha_i L_i=\sum_i\alpha_i(A_i-I), \qquad \alpha_i\ge 0.
\]
Because \(A_iA_j=A_{m(i,j)}\), one has \(L_iL_j=-L_i-L_j+L_{m(i,j)}\in\mathcal R\), so \(\mathcal R\) is closed under commutators and is therefore a matrix Lie algebra [1709.00520]. By the stated equivalence, multiplicative closure is equivalent to the ambient space being a linear subspace closed under commutators; hence every semigroup-based model is a Lie-Markov model [1709.00520].

The phylogenetic significance is that the product of substitution matrices taken from the model again lies in the model. If \(S\) is a finite group, the regular-representation construction recovers the usual group-based model, and for \(G\) abelian one recovers the classical Fourier-diagonalizable group-based models [1709.00520]. The semigroup construction is broader because semigroups do not require inverses, anti-isomorphic semigroups can yield inequivalent models, and some semigroup-based Lie-Markov models do not come from any group [1709.00520]. Enumeration for small state spaces makes this explicit. For \(k=2\), the five non-isomorphic semigroups yield, up to state permutations, three distinct Lie-Markov models: the absorbing-state model, the 2-state general Markov (equal-input) model, and the binary symmetric group-based model \(C_2\) [1709.00520]. For \(k=3\), among the \(24\) non-isomorphic semigroups, exactly two irreducible models remain after discarding reducible or absorbing-state cases: the equal-input model and the cyclic-group \(C_3\) group-based model [1709.00520]. For \(k=4\), among the \(188\) non-isomorphic semigroups, the irreducible non-absorbing output reduces to four non-isomorphic models: F81, Kimura 3ST, Model 3.3b, and a new 4-state model [1709.00520].

A parallel use of semigroup closure appears in coupled cell networks. Given a semigroup architecture \(\Sigma=\{\sigma_j\}\), the network vector fields satisfy
\[
[X_f,X_g]=X_{[f,g]_\Sigma},
\]
where the symbolic bracket on \(C^\infty(V^n,V)\) is
\[
[f,g]_\Sigma(X)=\sum_{j=1}^n \bigl(D_jf(X)\,g(A_{\sigma_j}X)-D_jg(X)\,f(A_{\sigma_j}X)\bigr).
\]
Thus the infinitesimal generators form a Lie algebra, and near a dynamical equilibrium the local normal form of a semigroup network is a semigroup network itself [1209.3209]. Networks without the semigroup property may have normal forms with a more general network architecture, although the normal forms preserve the same symmetries and synchronous solutions as the original network [1209.3209].

## 4. Infinite-dimensional integration by semigroups

A distinctive infinite-dimensional use of the method occurs for the complexification of vector fields on the circle. The Lie algebra of vector fields on \(S^1\) integrates to the Lie group \(\mathrm{Diff}(S^1)\), but there is no Lie group whose Lie algebra is the complexification of vector fields on \(S^1\). The semigroup \(\mathrm{Ann}\) of parametrised annuli serves as a substitute for that non-existent group [2410.05929]. Its elements are genus-zero Riemann surfaces with two boundary circles parametrized by \(S^1\), and the enlargement considered in the cited work allows the annuli to be partially thin, meaning that the two boundary circles may touch along an arbitrary closed subset [2410.05929]. The semigroup product is conformal welding:
\[
A_1\cup A_2=\bigl(A_1\sqcup A_2\bigr)\big/\varphi_{in}^{A_1}(\theta)\sim\varphi_{out}^{A_2}(\theta),\quad \theta\in S^1.
\]

The infinitesimal data are paths in the cone of inward-pointing complexified vector fields
\[
\mathcal X^{in}=\{\,f(\theta)\partial_\theta\in\mathcal X(S^1)\mid \Im f(\theta)\ge 0\,\}.
\]
For a framing \(h:S^1\times[0,T]\to A\), one sets \(X(\theta,t)=-\partial_t h(\theta,t)/\partial_\theta h(\theta,t)\in\mathcal X^{in}\) and writes
\[
A=\mathcal P\exp\!\Bigl(\int_0^T X(t)\,dt\Bigr).
\]
The surjectivity theorem states that every \(A\in\mathrm{Ann}\) arises in this way from a smooth path with sitting instants near \(t=0,T\) [2410.05929]. This is a semigroup-level integration statement: the time-ordered exponential is surjective onto the annulus semigroup.

The same framework carries the Virasoro extension. The classical Virasoro cocycle is lifted to a closed, left-invariant \(2\)-form on the thick parameter space of annuli, and the quotient construction
\[
0\to \mathbb C\times\mathbb Z\to \widetilde{\mathrm{Ann}}\to \mathrm{Ann}\to 0
\]
produces a central extension integrating the universal central extension of the Lie algebra of vector fields on \(S^1\) [2410.05929]. A plausible implication is that semigroup objects can replace missing complex Lie groups when time-ordered exponentials remain available but genuine group integration fails.

## 5. Semigroups in Lie groups, flag manifolds, and control

For connected real semisimple Lie groups with finite center, semigroups arise directly inside the group. If \(\Gamma\subset G\), the semigroup it generates is \(\langle\Gamma\rangle_+\), consisting of all finite products of elements of \(\Gamma\) [1504.07271]. In the cited topological generation theorem, \(\langle\Gamma\rangle_+=G\) is equivalent to \(\mathrm{Ad}(\Gamma)\) generating a Zariski-dense subgroup of \(\mathrm{Ad}(G)\); the proof uses Abels’s result on interior points together with a flag-manifold obstruction showing that any proper closed semigroup with nonempty interior must preserve a contractible subset in some minimal flag manifold [1504.07271]. When \(\Gamma\) contains a connected semisimple subgroup \(G_1\subset G\) and every closed \(G_1\)-orbit in the relevant minimal flags is non-contractible, the topological criterion forces \(\langle\Gamma\rangle_+=G\) [1504.07271]. Explicit applications are given for split real forms with root-\(\mathrm{SL}(2)\) subgroups, irreducible representations of \(\mathfrak{sl}(2,\mathbb C)\) inside \(SL(n+1,\mathbb C)\), and complex semisimple subgroups containing a regular real one-parameter group [1504.07271].

In linear control systems on connected Lie groups, the accessible set from the identity is generally not a semigroup. For a system
\[
\dot g(t)=X(g(t))+\sum_{j=1}^m u_j(t)X^j(g(t)),
\]
with linear drift \(X\), flow \(\varphi_t\in\mathrm{Aut}(G)\), and right-invariant control fields \(X^j\), the reachable set \(\mathcal A(e)\) satisfies \(\mathcal A_{T_1+T_2}=\mathcal A_{T_1}\varphi_{T_1}(\mathcal A_{T_2})\), which obstructs ordinary product closure [1605.00726]. The associated semigroup is
\[
\mathcal S_\Sigma=\bigcap_{t\ge 0}\varphi_t(\mathcal A(e))
=\bigcup_{t\ge 0}\varphi_{-t}(\mathcal A(e)).
\]
It is the largest \(\varphi\)-invariant subset of \(\mathcal A(e)\), it contains the identity, it is connected, and it is closed under products [1605.00726]. The central criterion is that the system is controllable, meaning \(\mathcal A(e)=G\), if and only if \(\mathcal S_\Sigma=\mathcal A(e)\); in particular, controllability is equivalent to \(\mathcal S_\Sigma=G\) [1605.00726]. In the noncompact semisimple case with finite center and open reachable set, controllability is equivalent to \(\mathrm{Int}(\mathcal S_\Sigma)\neq\emptyset\) [1605.00726].

A related invariant for proper semigroups \(S\subset G\) with nonempty interior is the flag type \(\Theta(S)\subset\Delta\), defined through the invariant control set \(C\) on the maximal flag manifold \(F=G/P\). It is the unique minimal \(\Theta\subset\Delta\) such that \(\pi_\Theta(C)=C_\Theta\), and equivalently the unique maximal \(\Theta\) for which the \(S\)-control set in the partial flag manifold \(F_\Theta\) is contractible [2502.10393]. The cocycle method reconstructs \(\Theta(S)\) from lower bounds of the \(K\)-invariant cocycles \(\varphi_\lambda(g,x)=e^{\lambda(a(g,x))}\): for \(x_0\in\mathrm{Core}(C)\), if \(\alpha\notin\Theta(S)\), then there exists \(\varepsilon>0\) such that \(\varphi_\alpha(g,x_0)\ge\varepsilon\) for all \(g\in S\); if \(\alpha\in\Theta(S)\), then \(\inf_{g\in S}\varphi_\alpha(g,x_0)=0\) [2502.10393]. This links algebraic information about parabolics, roots, and weights to semigroup dynamics on flag manifolds.

## 6. Analytic-semigroup Lie splitting and conceptual boundaries

The cited literature also contains a distinct analytic-semigroup usage of Lie-semigroup-based ideas. For convection–diffusion problems
\[
\partial_t u-Du-\nabla\!\cdot(c(x)u)=f(t,x),
\]
rewritten abstractly as \(u_t=Au+Bu+f\), the relevant semigroup is the analytic semigroup generated by the strongly elliptic operator \(-A\) on \(L^2(\Omega)\), satisfying \(\|e^{-tA}\|_{L^2\to L^2}\le C\) and \(\|A^\alpha e^{-tA}\|\le C t^{-\alpha}\) [2404.15947]. The classical first-order Lie splitting composes a diffusion step with a convection step, but when \(B=\nabla\cdot(c\,\cdot)\) and \(c\in L^{N,\infty}\) is unbounded, the operator \(e^{\tau B}\) may blow up on \(L^2\), and the numerical tests in the cited work show unbounded growth of \(\|u^n\|\) [2404.15947].

The adapted Lie splitting method circumvents this by decomposing the singular field \(c(x)=T_K(c)+[c-T_K(c)]\), defining \(\theta(x)=T_K(c(x))/c(x)\), and introducing the modified operators
\[
\widehat D\,u=D\,u+\nabla\cdot((1-\theta(x))u),\qquad
\widehat C\,u=\nabla\cdot(\theta(x)u).
\]
One step of size \(\tau\) is
\[
S_\tau^{Ad}:=\phi_\tau^{\widehat D,F}\circ\phi_\tau^{\widehat C}.
\]
Under Assumptions 4.1–4.2 and for \(\tau\) sufficiently small, the global error satisfies
\[
\|u_n-u(t_n)\|_{L^2}\le C\,\tau\,(1+|\log\tau|),
\]
and the local consistency error is \(O(\tau^2)\) [2404.15947]. Numerically, in the two-dimensional tests with \(c(x,y)=1/|x|+1/|y|\in L^{2,\infty}\), the classical Lie method becomes unstable as \(\tau\) decreases, whereas the adapted Lie method is stable, converges with slope \(\approx 1\), and has error approximately \(2\!-\!4\times\) smaller for the same \(\tau\); in the three-dimensional test, classical splitting blows up for large \(\tau\), while adapted splitting remains stable and more accurate [2404.15947].

Taken together, these works delimit the scope of the term. In one branch, semigroup multiplication is an algebraic input that generates Lie brackets, resonant subalgebras, Lie-Markov models, or network normal forms [1602.04525] [1709.00520] [1209.3209]. In another, semigroups act as geometric replacements for missing Lie groups or as invariant objects attached to semigroup actions on flags and reachable sets in Lie groups [2410.05929] [1504.07271] [1605.00726] [2502.10393]. In the analytic branch, the central object is not a finite algebraic semigroup but the analytic semigroup of an operator, used to control Lie splitting in PDEs [2404.15947]. A common misconception is that these constructions require group structure; the cited results show instead that associativity alone can be sufficient, and in several cases the absence of inverses is precisely what enlarges the available class of models [1709.00520].

Source: https://www.emergentmind.com/topics/lie-semigroup-based-method