---
title: Restricted Heisenberg Lie Superalgebras
url: https://www.emergentmind.com/topics/restricted-heisenberg-lie-superalgebras
type: topic
---

# Restricted Heisenberg Lie Superalgebras

Searching arXiv for recent papers on restricted Heisenberg Lie superalgebras, restricted cohomology, and central extensions.
Search results:
- 2509.00426: Restricted Central Extensions of Restricted Heisenberg Lie Superalgebras
- 2509.03016: On the Restricted Cohomology of Twisted Heisenberg Lie Superalgebras
- 2401.08313: Central extensions of restricted Lie superalgebras and classification of p-nilpotent Lie superalgebras in dimension 4

Restricted Heisenberg Lie superalgebras are Heisenberg Lie superalgebras over an algebraically closed field \(F\) of characteristic \(p>2\) equipped with a restricted structure, i.e. an even \([p]\)-operator on the even part making the odd part a restricted module over the even part. In the setting developed by Yong Yang, the basic objects are two families with one-dimensional center, one with an even center and one with an odd center; their ordinary and restricted low-degree cohomology determine the corresponding restricted one-dimensional central extensions [2509.00426].

## 1. Algebraic setting

A general Heisenberg Lie superalgebra may be presented as
\[
H_{m,n}=\Span\{p_i,q_i,Z\}\oplus\Span\{\psi_a\},
\quad
[p_i,q_j]=\delta_{ij}Z,
\quad
[\psi_a,\psi_b]=B_{ab}Z,
\quad
Z\in\mathfrak z,
\]
with \(|p_i|=|q_i|=|Z|=\bar0\) and \(|\psi_a|=\bar1\) [2401.08313]. This description isolates the characteristic feature of the Heisenberg type: the brackets close on a one-dimensional central subspace.

For restricted Lie superalgebras, the even part carries the \([p]\)-map. In Yang’s framework, the relevant cohomological input is the ordinary Chevalley–Eilenberg complex with trivial coefficients,
\[
C^q(\mathfrak g)=\wedge^q(\mathfrak g)^*,
\qquad
H^q(\mathfrak g)=\ker(d^q)/\mathrm{im}(d^{q-1}),
\]
together with restricted cochain spaces \(C^2_{\mathrm{res}}(\mathfrak g)\) or \(C^2_*(\mathfrak g)\), depending on notation, where a \(2\)-cochain is paired with a \(p\)-compatible map on \(\mathfrak g_{\bar0}\) [2509.00426].

The subject therefore combines three structures: the Heisenberg bracket, the restricted \([p]\)-map, and the cohomological passage from ordinary to restricted extension theory. This is the mechanism through which one-dimensional restricted central extensions are classified.

## 2. Two basic families with one-dimensional center

Yang’s treatment distinguishes an even-center family \({}^\lambda_{m,n}\) and an odd-center family \(\mathfrak{ba}_n^0\) [2509.00426].

| Family | Underlying superspace and brackets | Restricted structure |
|---|---|---|
| \({}^\lambda_{m,n}\) | \(\langle x_1,\dots,x_{2m},x_{2m+1}\rangle_{\bar0}\oplus\langle y_1,\dots,y_n\rangle_{\bar1}\), with \([x_i,x_{m+i}]=x_{2m+1}\) and \([y_j,y_j]=x_{2m+1}\) | For \(g=\sum a_i x_i\), \(g^{[p]}=\left(\sum a_i^p\lambda_i\right)x_{2m+1}\) |
| \(\mathfrak{ba}_n^0\) | \(\langle x_1,\dots,x_n\rangle_{\bar0}\oplus\langle y_1,\dots,y_n,y_{n+1}\rangle_{\bar1}\), with \([x_i,y_i]=y_{n+1}\) | \((x_i)^{[p]}=0\) for all \(i\), hence \([p]=0\) on \(\mathfrak{ba}_{n,\bar0}\) |

For the even-center family, the one-dimensional even center is spanned by \(x_{2m+1}\). Fixing
\[
\lambda=(\lambda_1,\dots,\lambda_{2m+1})\in F^{2m+1},
\]
one obtains the unique \([p]\)-map on \(\mathfrak h_{m,n,\bar0}=\langle x_1,\dots,x_{2m+1}\rangle\) by
\[
g=\sum_{i=1}^{2m+1}a_i x_i
\quad\Longmapsto\quad
g^{[p]}=\Bigl(\sum_{i=1}^{2m+1}a_i^p\lambda_i\Bigr)x_{2m+1}.
\]
Because \([\mathfrak h_{m,n,\bar0},\mathfrak h_{m,n,\bar1}]=0\), this defines the restricted superalgebra \({}^\lambda_{m,n}\).

For the odd-center family, the one-dimensional odd center is spanned by \(y_{n+1}\). Since the odd part must be a restricted module over the even part and the center is odd, one checks that \((x_i)^{[p]}=0\) for all \(i\) is forced. The resulting restricted superalgebra is denoted
\[
\mathfrak{ba}_n^0=(\mathfrak{ba}_n,[p]=0).
\]

An important structural distinction already appears here: in the two basic families, the restricted structure is unique once the family is fixed, while later twisted variants admit restricted structures only under an additional parameter condition.

## 3. Ordinary cohomology in degrees \(1\) and \(2\)

The ordinary cohomology used in the classification of restricted extensions is computed with trivial coefficients via the Chevalley–Eilenberg differential
\[
d^1(\psi)(x\wedge y)=\psi([x,y]),
\qquad
d^2\colon C^2\to C^3
\]
[2509.00426].

For the even-center family \({}_{m,n}\), one has
\[
H^1({}_{m,n})
\cong
\bigl({}_{m,n}/\langle x_{2m+1}\rangle\bigr)^*
=
\mathrm{span}\{x^1,\dots,x^{2m}\mid y^1,\dots,y^n\}.
\]
Writing \(V={}_{m,n}/\langle x_{2m+1}\rangle\),
\[
H^2({}_{m,n})
\cong
\frac{\wedge^2V^*}{\langle d\,x^{2m+1}\rangle},
\qquad
d\,x^{2m+1}
=
\sum_{i=1}^m x^{i,m+i}-\tfrac12\sum_{j=1}^n y^{j,j}.
\]
A basis of cocycles may be taken to be the classes of
\[
\{x^{i,j}\mid 1\le i<j\le 2m\},\quad
\{x^i\wedge y^j\mid 1\le i\le 2m,\ 1\le j\le n\},
\]
\[
\{y^{i,j}\mid 1\le i<j\le n\},\quad
\{y^{i,i}\mid 1\le i\le n-1\}.
\]

For the odd-center family \(\mathfrak{ba}_n\),
\[
H^1(\mathfrak{ba}_n)
\cong
\bigl(\mathfrak{ba}_n/\langle y_{n+1}\rangle\bigr)^*
=
\mathrm{span}\{x^1,\dots,x^n\mid y^1,\dots,y^n\}.
\]
If \(W=\mathfrak{ba}_n/\langle y_{n+1}\rangle\), then
\[
H^2(\mathfrak{ba}_n)
\cong
\frac{\wedge^2W^*}{\langle d\,y^{n+1}\rangle}
\oplus
\delta_{1,n}\,\langle x^1\wedge y^2\rangle,
\]
where
\[
d\,y^{n+1}=\sum_{i=1}^n x^i\wedge y^i.
\]

These formulas show that the ordinary \(2\)-cohomology is already sufficiently explicit to distinguish bracket deformations by parity and by the position of the center. A plausible implication is that the restricted extension problem is tractable because the ordinary cocycle representatives can be lifted concretely.

## 4. Restricted cohomology and the six-term exact sequence

The passage from ordinary to restricted cohomology is controlled by the restricted cochain complex
\[
C^2_{\mathrm{res}}(\mathfrak g)
=
\{(\varphi,\omega)\mid \varphi\in C^2(\mathfrak g),\ \omega\colon \mathfrak g_{\bar0}\to F\text{ is \(\varphi\)-compatible}\},
\]
together with the six-term exact sequence
\[
0\to H^1_{\rm res}(\mathfrak g)\to H^1(\mathfrak g)\xrightarrow{D}\mathrm{Fr}(\mathfrak g_{\bar0},F)\to H^2_{\rm res}(\mathfrak g)\to H^2(\mathfrak g)\xrightarrow{H}\mathrm{Fr}(\mathfrak g_{\bar0},H^1(\mathfrak g))
\]
[2509.00426].

For the even-center family \({}^\lambda_{m,n}\), one checks that \(D\equiv0\) and that the last map \(H\) vanishes because all \((p-1)\)-fold brackets land in the center spanned by \(x_{2m+1}\). Hence
\[
H^1_{\rm res}({}^\lambda_{m,n})\cong H^1({}_{m,n}),
\qquad
H^2_{\rm res}({}^\lambda_{m,n})
\cong
\mathrm{Fr}(\mathfrak h_{m,n,\bar0},F)\oplus H^2({}_{m,n}).
\]
Since
\[
\dim\mathrm{Fr}(\mathfrak h_{m,n,\bar0},F)=2m+1,
\]
and
\[
\dim H^2({}_{m,n})=2m^2+m+\tfrac{n^2+n}{2}-(2m+1),
\]
one obtains
\[
\mathrm{sdim}\;H^2_{\rm res}({}^\lambda_{m,n})
=
\bigl(2m^2+m+\tfrac{n^2+n}{2},\,2mn\bigr).
\]
A homogeneous basis consists of the splitting part
\[
\{(0,\overline x^i)\mid 1\le i\le 2m+1\}
\]
and the lifted ordinary cocycles
\[
\{(x^{i,j},\widetilde{x^{i,j}})\},\quad
\{(x^i\wedge y^j,\widetilde{x^i\wedge y^j})\},\quad
\{(y^{i,j},\widetilde{y^{i,j}})\},\quad
\{(y^{i,i},\widetilde{y^{i,i}})\},
\]
where in fact each \(\widetilde{\bullet}=0\).

For the odd-center family \(\mathfrak{ba}_n^0\), again \(D\equiv0\) and \(H\equiv0\), so
\[
H^1_{\rm res}(\mathfrak{ba}_n^0)\cong H^1(\mathfrak{ba}_n),
\qquad
H^2_{\rm res}(\mathfrak{ba}_n^0)\cong
\mathrm{Fr}(\mathfrak{ba}_{n,\bar0},F)\oplus H^2(\mathfrak{ba}_n).
\]
Here
\[
\dim\mathrm{Fr}(\mathfrak{ba}_{n,\bar0},F)=n,
\]
and
\[
\mathrm{sdim}\;H^2_{\rm res}(\mathfrak{ba}_n^0)
=
(n^2+n,\;n^2-1+\delta_{1,n}).
\]

In these two families, restricted \(2\)-cohomology splits into a Frobenius part and a lifted ordinary part. This contrasts sharply with the twisted case, where the exact sequence does not collapse in the same way.

## 5. Restricted one-dimensional central extensions

By general theory, equivalence classes of restricted one-dimensional central extensions of a restricted superalgebra \((\mathfrak g,[p])\) by the trivial module \(F c\) are in bijection with \(H^2_{\rm res}(\mathfrak g)_{\bar0}\) [2509.00426]. For a cocycle \((\varphi,\omega)\in Z^2_{\rm res}(\mathfrak g)_{\bar0}\), the extension
\[
0\to Fc\to \widetilde{\mathfrak g}=\mathfrak g\oplus Fc\to \mathfrak g\to 0
\]
is defined by
\[
[x,y]_{\widetilde{\mathfrak g}}
=
[x,y]_{\mathfrak g}+\varphi(x,y)c,
\qquad
x_{\bar0}^{[p]_{\widetilde{\mathfrak g}}}
=
x^{[p]_{\mathfrak g}}+\omega(x)c.
\]

For \({}^\lambda_{m,n}\), the splitting extensions are the \(2m+1\) classes \((0,\overline x^i)\), yielding superalgebras \(\mathfrak H_i\) in which the bracket is unchanged and
\[
g_0^{[p]_{\mathfrak H_i}}
=
g_0^{[p]_{{}^\lambda_{m,n}}}+c_i^p\,c.
\]
The non-splitting extensions have \(\omega=0\). For each
\[
\varphi\in\{x^{s,t},\,y^{k,l}\},
\]
one obtains an extension \(\mathfrak X_{s,t}\) or \(\mathfrak Y_{k,l}\) with
\[
[g,h]_{\rm ext}
=
[g,h]_{{}^\lambda_{m,n}}+\varphi(g,h)c,
\qquad
g_0^{[p]_{\rm ext}}
=
g_0^{[p]_{{}^\lambda_{m,n}}}.
\]
These exhaust the
\[
2m^2-m+\tfrac{n^2+n}{2}-1
\]
non-splitting classes.

For \(\mathfrak{ba}_n^0\), the splitting classes are \((0,\overline x^i)\), \(1\le i\le n\), producing \(\mathfrak H_i\) with only the \([p]\)-map perturbed by \(c_i^p\,c\). The non-splitting classes come from ordinary cocycles \(x^{s,t}\) or \(y^{s,t}\), yielding \(\mathfrak X_{s,t}\) or \(\mathfrak Y_{s,t}\), in which only the bracket gains a \(c\)-term and the \([p]\)-map remains zero on \(\bar0\). Altogether these form the remaining \(n^2\) classes.

The classification separates “pure \([p]\)-map” deformations from bracket deformations. In the first type, the extension splits as an ordinary central extension but not as a restricted one; in the second, the bracket itself changes while the restricted structure on the even part is unchanged.

## 6. Twisted Heisenberg variants

The restricted cohomology of twisted Heisenberg Lie superalgebras displays a different pattern [2509.03016]. For
\[
\mathfrak h=\mathfrak h^{\lambda,\kappa}_{m,n,t},
\]
the even part is spanned by
\[
\{e_1,\dots,e_{2m},e_{2m+1},e_{2m+2}\},
\]
the odd part by
\[
\{\omega_1,\dots,\omega_{2n},\eta_1,\dots,\eta_t\},
\]
and the nonzero brackets include
\[
[e_i,e_{m+i}]=e_{2m+1},
\quad
[e_{2m+2},e_i]=\lambda_i e_{m+i},
\quad
[e_{2m+2},e_{m+i}]=\lambda_i e_i,
\]
\[
[\omega_j,\omega_j]=e_{2m+1},
\quad
[\omega_{n+j},\omega_{n+j}]=-e_{2m+1},
\quad
[\eta_k,\eta_k]=e_{2m+1},
\]
\[
[e_{2m+2},\omega_j]=\kappa_j\omega_{n+j},
\quad
[e_{2m+2},\omega_{n+j}]=\kappa_j\omega_j.
\]

Here a restricted structure exists if and only if
\[
p>2
\quad\text{and}\quad
\lambda_1^{p-1}=\cdots=\lambda_m^{p-1}
=
\kappa_1^{p-1}=\cdots=\kappa_n^{p-1}
=:|\lambda|.
\]
Fixing
\[
\mu=(\mu_1,\dots,\mu_{2m+2})\in F^{2m+2},
\]
the \([p]\)-map on generators is
\[
e_i^{[p]}=\mu_i e_{2m+1}\quad (1\le i\le 2m+1),
\qquad
e_{2m+2}^{[p]}=|\lambda|\,e_{2m+2}+\mu_{2m+2}e_{2m+1}.
\]

The ordinary cohomology is more selective than in the two basic families:
\[
H^1(\mathfrak h)\cong \mathrm{Span}\{e^{2m+2},\eta^1,\dots,\eta^t\},
\]
and \(H^2(\mathfrak h)\) is grouped into five families \(A_1,\dots,A_5\). Restrictedly, one shows
\[
H^1_*(\mathfrak h)=\mathrm{Span}\{\eta^1,\dots,\eta^t\},
\qquad
\mathrm{im}\,D=\langle\overline e^{2m+2}\rangle,
\]
and the map \(H\) vanishes on the \(A_1\cup A_2\cup A_3\cup A_4\)-components of \(H^2(\mathfrak h)\). Therefore
\[
H^2_*(\mathfrak h)
\cong
\langle A_1\cup\dots\cup A_4\rangle
\oplus
\bigl(\mathrm{Fr}(\mathfrak h_{\bar0},F)/\langle\overline e^{2m+2}\rangle\bigr).
\]

This computation isolates a genuine obstruction absent from the two basic families: the class corresponding to \(e^{2m+2}\) is not annihilated by \(D\). A plausible implication is that twisted Heisenberg superalgebras provide the first natural setting in which restricted extension theory no longer reduces to a direct sum of Frobenius maps and ordinary cocycles.

The example
\[
\mathfrak h_{1|1}=\mathfrak h^{\lambda,\kappa}_{1,1,0}
\]
makes this explicit. Restrictedness forces \(\lambda^{p-1}=\kappa^{p-1}\), and one finds
\[
H^1_*(\mathfrak h_{1|1})=0.
\]
Moreover, there are five independent restricted central extensions, three coming from “pure \(p\)-map” deformations of \(e_1,e_2,e_3\), and two from the even cocycles above.

## 7. Low-dimensional cases and conceptual distinctions

The low-dimensional classification of \(p\)-nilpotent restricted Lie superalgebras up to dimension \(4\) gives a concrete set of Heisenberg examples [2401.08313]. The possibilities \(2m+n+1\le 4\) are:
\[
(m,n)=(1,0),\ (0,2),\ (1,1),\ (0,3).
\]
They correspond respectively to \(H_{1,0}\), \(H_{0,2}\), \(H_{1,1}\), and \(H_{0,3}\).

For \(H_{1,0}\) and \(H_{1,1}\), the possible \(p\)-maps on the even generators fall into two classes: the trivial \(p\)-map and the “step-one” \(p\)-map
\[
e_1^{[p]}=e_2,\qquad e_2^{[p]}=0,\qquad Z^{[p]}=0,
\]
up to automorphic variant. For \(H_{0,2}\) and \(H_{0,3}\), the even part is \(\langle Z\rangle\), so only \(Z^{[p]}=0\) occurs.

The restricted cohomology in these low-dimensional cases is correspondingly small. In every Heisenberg case,
\[
H^2_{\rm res}(H,\Bbbk)\cong \mathrm{Span}\{\Delta\},
\]
where \(\Delta\) is the cocycle defining the central bracket: for example,
\[
\Delta(e_1,e_2)=1 \quad\text{in } H_{1,0},
\qquad
\Delta(e_1,e_2)=\Delta(\psi,\psi)=1 \quad\text{in } H_{1,1}.
\]
The classification states that, up to isomorphism and up to automorphisms of the underlying restricted structure, exactly four families occur, and that no further central or restricted deformations arise in dimension \(\le 4\).

These low-dimensional results clarify two points. First, restricted Heisenberg Lie superalgebras are not determined solely by the underlying bracket; even in dimension \(4\), distinct \(p\)-maps can yield non-isomorphic restricted structures. Second, the one-dimensionality of \(H^2_{\rm res}\) in the \(p\)-nilpotent small-dimensional cases should not be conflated with the higher-dimensional families, where Yang’s calculations produce large Frobenius summands and many non-splitting extension classes.

Source: https://www.emergentmind.com/topics/restricted-heisenberg-lie-superalgebras