HNN-Extensions in Lie Superalgebras

• The paper demonstrates that every Lie superalgebra embeds into an HNN-extension by introducing a stable letter that implements a homogeneous derivation.
• It employs Gröbner–Shirshov bases and super–Lyndon–Shirshov words to achieve canonical normal forms and a direct sum decomposition of the extended algebra.
• The work highlights applications such as two-generator realizations and explicit structural decompositions, guiding further analysis of complex Lie superalgebra systems.

A Higman–Neumann–Neumann (HNN) extension in the context of Lie superalgebras is an algebraic construction that generalizes the group-theoretic HNN extension to the category of $\mathbb{Z}_2$-graded Lie algebras. Given a Lie superalgebra $L$ over a field $\Bbbk$ of characteristic $\neq2,3$, a homogeneous subsuperalgebra $A \subseteq L$, and a homogeneous derivation $d\colon A \to L$, the HNN-extension introduces a new generator (the "stable letter") $t$ of the same parity as $d$, subject to the relations $[t,a]=d(a)$ for all $a\in A$. This construction enables systematic embedding results as well as explicit structural decompositions, providing new avenues for the analysis and synthesis of more complex Lie superalgebraic systems (Ladra et al., 24 Jan 2026, Kochloukova et al., 9 Sep 2025).

1. Lie Superalgebras and Derivations

A Lie superalgebra is a $\mathbb{Z}_2$-graded vector space $L = L_{\bar{0}} \oplus L_{\bar{1}}$ equipped with a bilinear bracket $[\,\cdot\,,\,\cdot\,]: L\times L \rightarrow L$ satisfying the super-skew-symmetry

$[x,y] = -(-1)^{|x||y|}[y,x]$

and the super-Jacobi identity

$[x,[y,z]] = [[x,y],z] + (-1)^{|x||y|}[y,[x,z]]$

for all homogeneous $x,y,z \in L$. The degree $|x|\in\{\bar{0},\bar{1}\}$ is the parity of $x$.

A derivation of degree $|d|\in\{\bar{0},\bar{1}\}$ is a homogeneous linear map $d:L\to L$ such that for all $a,b\in L$,

$d([a,b]) = [d(a), b] + (-1)^{|d||a|} [a, d(b)].$

Superderivations play an essential role in the definition of HNN-extensions and in the manipulation of the resulting algebraic structure (Ladra et al., 24 Jan 2026, Kochloukova et al., 9 Sep 2025).

2. Definition and Presentation of HNN-Extensions

Let $L$ be a Lie superalgebra with a graded subsuperalgebra $A$ and a derivation $d:A\to L$ of degree $|d|$. Introducing a new generator $t$ of parity $|t|=|d|$, the HNN-extension is defined as

$$H := \langle\, L, t \mid [t, a] = d(a)\quad \forall a\in A \rangle,$$

or, in terms of a homogeneous basis $X$ of $L$ (with $B \subset X$ a basis for $A$ and structure constants $\alpha_{xy}^v$, $\beta_a^v$), \begin{align*} H = \langle\, X \cup {t} \mid\; & [x,y] = \sum_{v\in X} \alpha_{xy}^v v,\ & [t,a] = \sum_{v\in X} \beta_{a}^v v\ \forall a\in B \rangle. \end{align*}

This presentation encodes that $H$ contains a copy of $L$, extended by a new generator $t$ realizing the action of the derivation $d$ on $A$ through the bracket. More generally, one can define HNN-extensions associated to a pair of subalgebras $A,B\subseteq L$ and an isomorphism $\phi:A\rightarrow B$ by the rule $[t,a]=\phi(a)$ for $a\in A$ (Kochloukova et al., 9 Sep 2025).

3. Gröbner–Shirshov Theory and Embedding Theorems

The embedding of $L$ into its HNN-extension $H$ is established via Gröbner–Shirshov (GS) bases in the free Lie superalgebra generated by $X \cup \{t\}$. Defining elements

$$f_{xy} := [x,y] - \sum_{v\in X} \alpha_{xy}^v v,\quad g_a := [t,a] - \sum_{v\in X}\beta_a^v v,$$

the lex-degree order $B < X \setminus B < t$ is imposed on monomials. The set $S = \{f_{xy}\} \cup \{g_a\}$ forms a GS basis: all Lie superalgebra compositions among elements of $S$ reduce to lower-order terms due to the super-Jacobi identity and derivation properties.

The Composition–Diamond Lemma for Lie superalgebras ensures that $H$ is isomorphic to the quotient of the free Lie superalgebra by the ideal generated by $S$, and that the natural map $L \hookrightarrow H$ is injective. Thus, every Lie superalgebra admits a canonical embedding into its HNN-extension (Ladra et al., 24 Jan 2026, Kochloukova et al., 9 Sep 2025).

4. Normal Forms and Direct Sum Decompositions

Combinatorial bases of $H$ and of its universal enveloping algebra $U(H)$ are described using super–Lyndon–Shirshov words and admissible bracketings. Precisely, monomials not containing forbidden subwords corresponding to the leading monomials of $S$ (i.e., $x_ix_j$ with $x_i>x_j$, $x_i^2$ for odd $x_i$, $ta_j$ for $a_j\in A$) form a basis of $U(H)$. In the Lie superalgebra $H$, super–Lyndon–Shirshov words in the ordered alphabet with $t$ as the largest letter and their standard bracketings yield a canonical basis.

A central structural result is that $H = L \oplus F(W)$, where $F(W)$ denotes the free Lie superalgebra on a set $W$ of stable letters: $$W = \{\ [t x_{i_1}\cdots x_{i_s}] : i_1\leq\cdots\leq i_s;~s\geq0\ \}$$ (subject to the condition that odd $x_i$ appear at most once per word). The subalgebra $F(W)$ is free, $L \cap F(W) = \{0\}$, and thus $H$ is a direct sum of the original Lie superalgebra $L$ and a free factor generated by stable letters (Kochloukova et al., 9 Sep 2025).

Aspect	Content / Description	Reference
Defining relations	$[t,a]=d(a)$ for $a\in A$ (stable letter $t$ implements $d$)	(Ladra et al., 24 Jan 2026, Kochloukova et al., 9 Sep 2025)
GS-basis construction	Relations in free Lie superalgebra reduce via super-Jacobi and GS theory	(Kochloukova et al., 9 Sep 2025)
Direct sum structure	$H=L\oplus F(W)$ with $F(W)$ free on stable letters	(Kochloukova et al., 9 Sep 2025)

5. Universal Embedding Theorem and Two-Generator Realization

The GS-basis method and the normal form theorems imply that every Lie superalgebra $L$ (of at most countable dimension) over $\Bbbk$ embeds into a Lie superalgebra generated by just two homogeneous elements. Given a countable basis $\{c_1,c_2,\ldots\}$ of $L$, one constructs the free product $L_1 = L * L(a,b)$ where $L(a,b)$ is the free Lie superalgebra on two even generators $a,b$. Defining a subalgebra $A\subset L_1$ generated by iterated commutators of the form $[b,\ldots,[b,a]\ldots]$ and a derivation $d$ uniquely determined by $d(z_1)=b$, $d(z_{n+1})=c_n$, the HNN-extension

$$H = \langle L_1, t \mid [t,z_n] = d(z_n)\ (n\geq1) \rangle$$

contains $L_1$ (and thus $L$) and is generated by $a$ and $t$. All $b$ and $c_n$ are Lie words in $a$ and $t$. This yields the classical result: any countable-dimensional Lie superalgebra embeds into a two-generator Lie superalgebra (Ladra et al., 24 Jan 2026), Corollary.

6. Applications and Special Cases

• If $L$ is abelian and $d=0$ on $A$, then $H \cong L \oplus \Bbbk t$ is again abelian.
• If $d = \operatorname{ad}_x$ is an inner derivation, the presentation $[t,a]=[x,a]$ realizes $t$ as a "twisted" centralizer of $A$ up to $x$.
• Application to ideals: Suppose $\widetilde{L}$ is a finitely presented Lie superalgebra with an ideal $I$ and $\widetilde{L}/I$ free on one homogeneous generator. Then $\widetilde{L}$ is an HNN-extension of a proper finitely generated subalgebra of $I$, and if $\widetilde{L}$ does not contain a nonabelian free subsuperalgebra, then $I$ is finitely generated (Kochloukova et al., 9 Sep 2025).

These properties elucidate both the flexibility and the controlling power of the HNN construction for generating, extending, and embedding Lie superalgebras, providing explicit canonical forms and direct-sum decompositions in terms of both original and new free factors.

7. Structural Significance and Research Directions

The HNN-extension construction, initiated for Lie superalgebras in work by Ladra, Páez–Guillán, and Zargeh, and given rigorous basis-theoretic treatments in (Kochloukova et al., 9 Sep 2025) and (Ladra et al., 24 Jan 2026), extends the toolbox for building and analyzing infinite-dimensional and finitely generated Lie superalgebras. The resulting direct-sum decomposition $H=L\oplus F(W)$ and the normal form theory provide effective tools for computational and structural analysis. One important implication is that in the absence of nonabelian free Lie superalgebras as subalgebras, strict constraints arise on growth and generation properties of finitely presented objects.

The methodology based on super–Lyndon–Shirshov words, admissible bracketings, and GS bases not only characterizes the structure of HNN-extensions precisely but also establishes a foundational framework for further development in the combinatorial theory of Lie superalgebras, embedding theorems, and the study of generated ideals and presentations. These developments parallel, but are distinct from, classical results for ordinary Lie algebras and discrete groups, reflecting the specificities of $\mathbb{Z}_2$-gradings and superalgebra identities (Ladra et al., 24 Jan 2026, Kochloukova et al., 9 Sep 2025).