Local Derivations on a Block-type Lie Algebra

Technical Summary: Local Derivations on a Block-type Lie Algebra

Problem Statement
This paper investigates the structure of local derivations on the Block-type Lie algebra $B$. A local derivation on a Lie algebra $L$ is a linear map $\Delta: L \to L$ such that for every $x \in L$, there exists a derivation $D_x \in \text{Der}(L)$ satisfying $\Delta(x) = D_x(x)$. The central problem addressed is whether every local derivation on $B$ is necessarily a global derivation. While this property holds for finite-dimensional semisimple Lie algebras and various other structures (including certain solvable algebras, Witt algebras, and specific Lie superalgebras), it is not universal. The Block-type Lie algebra $B$, characterized by a two-index basis $\{L_{\alpha,i} \mid \alpha \in \mathbb{Z}, i \in \mathbb{Z}_{\ge 0}\}$ and the bracket $[L_{\alpha,i}, L_{\beta,j}] = (\beta(i+1) - \alpha(j+1))L_{\alpha+\beta, i+j}$, presents a more complex scenario due to its infinite dimensionality and the intricacy of its two-index structure.

Methodology
The authors employ a strategy of "normalization and coefficient comparison" to prove that any local derivation $\Delta$ on $B$ can be reduced to the zero map by subtracting suitable global derivations. The proof proceeds through the following logical steps:

1. Structural Decomposition: The authors utilize the known structure of the derivation algebra $\text{Der}(B) = \text{ad}(B) \oplus \mathbb{C}D_0$, where $D_0$ is an outer derivation defined by $D_0(L_{\alpha,i}) = iL_{\alpha,i}$.
2. Symmetry Utilization: A reflection automorphism $\sigma_0$ (mapping $L_{\alpha,i} \to -L_{-\alpha,i}$) is used to extend results from positive indices to negative indices, allowing the authors to focus primarily on $\alpha \ge 0$ before generalizing.
3. Stepwise Normalization: The proof systematically eliminates the action of $\Delta$ on specific subsets of the basis:
   • First, $\Delta$ is normalized to vanish on elements of the form $L_{0,i}$.
   • Next, it is shown that $\Delta$ can be normalized to vanish on $L_{\alpha,0}$ for all $\alpha \in \mathbb{Z}$.
   • Finally, the action on general basis elements $L_{\alpha,i}$ is analyzed.
4. Coefficient Propagation and Elimination: A critical technical tool is Lemma 2.5, a coefficient elimination lemma. By constructing specific linear combinations of basis elements (e.g., $u = L_{\alpha,i} + xL_{\beta,0}$) and comparing coefficients in the expression $\Delta(u) = [v, u] + dD_0(u)$, the authors derive systems of linear equations. These systems, holding for arbitrary non-zero scalars $x$, force specific coefficients to vanish.
5. Finiteness Arguments: The proofs frequently rely on the fact that any element in $B$ is a finite linear combination of basis vectors. By assuming a non-zero coefficient exists and using the Lie bracket relations to generate an infinite sequence of non-zero coefficients for the auxiliary element $v$, the authors derive a contradiction, thereby proving that the initial coefficient must be zero.

Key Contributions and Results
The primary result of the paper is Theorem 1.1, which states:

Every local derivation of the Block-type Lie algebra $B$ is a derivation. Equivalently, $\text{LDer}(B) = \text{Der}(B)$.

The paper achieves this by establishing a sequence of lemmas (3.1 through 3.9) that progressively restrict the form of a local derivation:

• Lemma 3.1 & 3.4: Establish that $\Delta$ can be adjusted to vanish on $L_{0,i}$ and $L_{\alpha,0}$ for $\alpha \ge 2$.
• Lemma 3.5 & 3.6: Extend the vanishing property to $L_{1,0}$ and $L_{\alpha,0}$ for all $\alpha \in \mathbb{Z}$.
• Lemma 3.7 & 3.8: Demonstrate that for the remaining elements $L_{\alpha,i}$, the local derivation $\Delta$ must act diagonally (i.e., $\Delta(L_{\alpha,i}) = c_{\alpha,i}L_{\alpha,i}$) and that all off-diagonal terms in the expansion of $\Delta(L_{\alpha,i})$ must vanish.
• Lemma 3.9: Prove that the remaining diagonal coefficients $c_{\alpha,i}$ are all zero, implying $\Delta = 0$ after normalization.

Significance
The paper contributes to the classification of local derivations on infinite-dimensional Lie algebras. While the Block-type Lie algebra shares structural similarities with the Witt algebra (a one-index Lie algebra), the authors note that the two-index structure of $B$ makes coefficient comparisons significantly more complicated. The work demonstrates that despite the presence of non-trivial outer derivations and the complexity introduced by the double indexing, the Block-type Lie algebra retains the property that local derivations are global derivations. This result extends the class of algebras known to satisfy the "local derivation implies derivation" property, reinforcing the structural rigidity of Block-type algebras within the context of operator algebra theory and Lie algebra representation theory. The methodology of using finite coefficient propagation arguments based on the specific index structure offers a technique applicable to other multi-index Lie algebras.