Block-type Witt Algebra Overview

• Block-type Witt algebra is an infinite-dimensional Lie algebra defined via a two-parameter Block construction that generalizes the classical Witt and Virasoro algebras.
• It is constructed using Novikov algebra products and the Balinskii–Novikov formalism, leading to well-defined quasifinite and highest-weight module structures.
• Its universal central extension, incorporating the Gelfand–Fuchs cocycle, consolidates diverse representations and extends applications to modular Lie algebras and mathematical physics.

A Block-type Witt algebra refers to a wide class of infinite-dimensional Lie algebras that generalize the classical Witt algebra through the so-called Block construction, realized concretely by the family $\mathcal{B}(p,q)$ with two parameters $p,q\in\mathbb{C}$. These algebras emerge from applying the Balinskii–Novikov method to Witt-type Novikov algebras. Block-type Witt algebras encapsulate, as special cases, the classical Witt algebra, its central extension—the Virasoro algebra—and other known Block algebras, thereby serving as a natural unifying structure for the representation theory of generalized Cartan-type Lie algebras over $\mathbb{C}$ and for modular Lie algebras in characteristic $p$ via cohomological realizations.

1. Construction via Novikov Algebras and Balinskii–Novikov Formalism

A Novikov algebra is a vector space $(A, \cdot)$ over $\mathbb{C}$ with a bilinear product satisfying the identities

• $$(a\cdot b)\cdot c - a\cdot(b\cdot c) = (b\cdot a)\cdot c - b\cdot(a\cdot c)$$,
• $(a\cdot b)\cdot c = (a\cdot c)\cdot b$, for all $a, b, c \in A$.

Given $A$ Novikov and a fixed $q\in \mathbb{C}$, the generalized Balinskii–Novikov construction defines a Lie algebra $L(A) = A \otimes \mathbb{C}[t, t^{-1}]$ with bracket

$$[a[m], b[n]] := (m+q)(a\cdot b)[m+n] - (n+q)(b\cdot a)[m+n]$$

where $a[m] := a \otimes t^{m+1}$. This construction yields a Lie algebra if and only if $A$ is Novikov, thereby linking infinite-dimensional Lie algebras to the underlying Novikov structure (Tang et al., 2016).

2. Block-type Algebras $\mathcal{B}(p,q)$: Structure and Relations

Specializing to the case of interest, begin with the classical rank-one Witt algebra $W=\mathrm{span}_\mathbb{C}\{x^a|a\in\mathbb{Z}\}$ with bracket $[x^a,x^b]=(b-a)x^{a+b}$. Endowing $W$ with a family of Novikov products

$x^a \circ x^b = (b+p)x^{a+b} + p x^{a+b+\kappa}$

(parametrized by $p\in \mathbb{C}$, shift $\kappa \in \mathbb{Z}$), and applying the generalized Balinskii–Novikov construction (with $\kappa=0$), one obtains basis elements $L_{a,i} = x^a \otimes t^{i+1},\ a,i\in \mathbb{Z}$ satisfying

$$[L_{a,i}, L_{b,j}] = \big((i+q)(b+p) - (j+q)(a+p)\big)L_{a+b,i+j}.$$

Including the universal central extension for the “half-infinite” algebra (i.e., $i,j \geq 0$), one obtains $\mathcal{B}(p,q)$, generated by $\{L_{a,i}: a\in\mathbb{Z}, i\geq 0\}$ and central element $c$, with defining relations: $$\begin{aligned} &[c, L_{a,i}] = 0, \ &[L_{a,i}, L_{b,j}] = ((i+q)(b+p) - (j+q)(a+p)) L_{a+b,i+j} + \delta_{a+b,0} \delta_{i+j,0}\frac{a^3-a}{12}c. \end{aligned}$$ The algebra is graded by $a\in\mathbb{Z}$: $$\mathcal{B}(p,q) = \bigoplus_{a\in\mathbb{Z}} \mathcal{B}(p,q)_a,\quad \mathcal{B}(p,q)_a = \mathrm{Span}\{L_{a,i}\mid i\geq 0\},$$ with triangular decomposition $$\mathcal{B}(p,q) = \mathcal{B}(p,q)_- \oplus \mathcal{B}(p,q)_0 \oplus \mathcal{B}(p,q)_+$$, where $$\mathcal{B}(p,q)_\pm = \bigoplus_{a\gtrless 0} \mathcal{B}(p,q)_a$$ (Tang et al., 2016).

3. Connections to the Witt and Virasoro Algebras

The Block-type algebra $\mathcal{B}(p,q)$ recovers several classical algebras as special cases. Restricting to the zero-mode subspace ($i=0$),

$[L_{a,0}, L_{b,0}] = q(b-a)L_{a+b,0}$

so up to rescaling, the algebra $\mathrm{Span}\{L_{a,0}\}$ is the classical Witt algebra. The central extension gives the Virasoro algebra, as the cocycle

$\delta_{a+b,0} \delta_{i+j,0}\frac{a^3-a}{12}$

restricts to the canonical Gelfand–Fuchs cocycle on Witt. For $p=0$, $q=1$, $\mathcal{B}(0,1)$ is the classical “Block algebra” $\mathcal{B}(\mathbb{Z})$ (Tang et al., 2016).

4. Representation Theory: Quasifinite and Highest-weight Modules

A module $V$ for $\mathcal{B}(p,q)$ is $\mathbb{Z}$-graded if $V = \bigoplus_{\mu\in\mathbb{Z}} V_\mu$ with $\mathcal{B}(p,q)_a \cdot V_\mu \subseteq V_{a+\mu}$. Quasifinite modules require $\dim_\mathbb{C} V_\mu < \infty$ for all $\mu$; uniformly bounded modules satisfy $\dim_\mathbb{C} V_\mu \leq N$ for some $N$; modules of the intermediate series have $\dim_\mathbb{C} V_\mu \leq 1$ for all $\mu$.

Highest-weight modules are induced from a weight $\Lambda \in \mathcal{B}(p,q)_0^*$, with highest-weight vector $v_\Lambda$ annihilated by $\mathcal{B}(p,q)_+$, so that $h\cdot v_\Lambda = \Lambda(h)v_\Lambda$. The Verma module $M(\Lambda)$ is constructed as $$U(\mathcal{B}(p,q)) \otimes_{U(\mathcal{B}(p,q)_0 \oplus \mathcal{B}(p,q)_+)} \mathbb{C}_{v_\Lambda}$$; its irreducible quotient is denoted $L(\Lambda)$.

A decisive criterion (Theorem 3.2) for when $L(\Lambda)$ is quasifinite is: write $\Lambda_i = \Lambda(L_{0,i})$, define the series

$$\Delta_\Lambda(z; p, q) = 2q \sum_{i\geq 0} \Lambda_i \frac{z^i}{i!} + (1-p^2) \sum_{i\geq 0} \Lambda_{i+1} \frac{z^i}{i!}.$$

Then $L(\Lambda)$ is quasifinite if and only if $\Delta_\Lambda(z; p, q)$ is a quasipolynomial, i.e. satisfies a nontrivial constant-coefficient linear ODE (Tang et al., 2016).

The complete classification (Theorem 4.1) asserts that every irreducible quasifinite $\mathcal{B}(p,q)$-module is either a highest-weight module, a lowest-weight module, or a uniformly bounded module.

5. Block Witt Algebras in Modular Representation Theory and Hochschild Cohomology

Block-type Witt algebras also arise naturally in modular Lie theory. Let $k$ be an algebraically closed field of prime characteristic $p$, and $G$ a finite group. The group algebra $kG$ decomposes as blocks $B_i$. The first Hochschild cohomology $\mathrm{HH}^1(B)$, realized as derivations modulo inner derivations, inherits a Lie algebra structure.

The principal result of Linckelmann–Rubio y Degrassi (Theorem): If $B$ is a block of $kG$ with a unique simple module up to isomorphism, then $\mathrm{HH}^1(B)$ is a simple Lie algebra if and only if $B$ is a nilpotent block with elementary abelian defect group $P$ of order at least $3$. In this case,

$\mathrm{HH}^1(B) \cong \mathrm{HH}^1(kP),$

with $\mathrm{HH}^1(kP)$ the classical Jacobson–Witt algebra $W_r$ (where $P \cong (\mathbb{Z}/p)^r$ and $|P|=p^r \geq 3$). The Jacobson–Witt algebra is $\mathrm{Der}_k(kP)$ with explicit $k$-basis

$$D_{i,a}(t_j) = \delta_{ij} t^a, \qquad t^a = t_1^{a_1} \cdots t_r^{a_r},\quad 0\leq a_i < p,$$

and bracket

$$[D_{i,a}, D_{j,b}] = b_i D_{j,a+b-e_i} - a_j D_{i,a+b-e_j}$$

with $e_i$ the $i$th standard basis vector (Linckelmann et al., 2016).

No other simple modular Lie algebras, including those of other Cartan types (such as $S_r, H_r, K_r$), arise as $\mathrm{HH}^1(B)$ for a block with only one simple module; the chain of ideals in the derivation algebra is too restrictive for more exotic structures.

6. Central Extensions and Relations to Known Block Algebras

The universal central extension of $\mathcal{B}(p,q)$ is distinguished by the cocycle

$\delta_{a+b,0} \delta_{i+j,0} \frac{a^3-a}{12} c$

which, when restricted to zero modes ($i=0$), is the standard Virasoro cocycle. This central extension encompasses known Block algebras for particular choices of parameters $(p,q)$ and shift $\kappa$. For example, algebras studied by Xu and Su fit as special cases. Thus, $\mathcal{B}(p,q)$ serves as a two-parameter generalization of the Witt–Virasoro landscape and offers a universal structure for previously studied Block algebras (Tang et al., 2016).

7. Significance and Dichotomy in Quasifinite Representation Theory

The Block-type Witt algebra $\mathcal{B}(p,q)$ exhibits a strong dichotomy for quasifinite irreducible modules: they are either highest-weight, lowest-weight, or uniformly bounded. A generating series criterion dictates when highest-weight modules are quasifinite, analogous to the Mathieu-type structure encountered in the Virasoro and related algebras. The presence of the Verma/irreducible quotient modules and the complete classification of their quasifinite representations generalize the module theory of the classical Witt and Virasoro algebras to the broader context of the Block-type algebras. This structure underpins applications to infinite-dimensional representation theory, modular Lie algebras, and mathematical physics (Tang et al., 2016, Linckelmann et al., 2016).