Central extensions, derivations, and automorphisms of multi-copy semi-direct sums of the Witt algebra with its intermediate series modules

For the Witt algebra $\mathcal{W}=\operatorname{Der}\mathbb{C}[t,t^{-1}]$, the classification of Lie and Leibniz central extensions, derivations, and automorphisms is complete for semi-direct sums $\mathcal{W}\ltimes M$ with a single indecomposable intermediate series module $M$ (tensor density modules $I(a,b)$ by Gao–Jiang–Pei; the exceptional families $A(\lambda)$ and $B(\lambda)$, and the central extensions and derivations of the irreducible quotient $\widetilde{I}$, by Buzaglo–Vishwa). The open problem addressed here is the extension of this structure package to the larger semi-direct sums $\mathcal{W}\ltimes(M_1\oplus\cdots\oplus M_n)$ with $n\geq 2$ arbitrary copies of intermediate series modules, which arise as asymptotic symmetry algebras in non-Lorentzian physics. No systematic treatment of the multi-copy case is known; only isolated instances have been resolved.

Background

The Witt algebra $\mathcal{W}=\operatorname{Der}\mathbb{C}[t,t^{-1}]=\bigoplus_{n\in\mathbb{Z}}\mathbb{C}L_n$, with $L_n=t^{n+1}\frac{d}{dt}$ and bracket $[L_n,L_m]=(m-n)L_{n+m}$, is the Lie algebra of polynomial vector fields on the punctured complex plane; its unique nontrivial central extension is the Virasoro algebra of two-dimensional conformal field theory. A $\mathbb{Z}$-graded $\mathcal{W}$-module is said to be of intermediate series if all of its homogeneous components are one-dimensional — these are precisely the modules with the same Hilbert series as $\mathcal{W}$ itself, and in this sense the simplest infinite-dimensional $\mathcal{W}$-modules. Kaplansky and Santharoubane classified the indecomposable ones: the tensor density modules $I(a,b)$, $a,b\in\mathbb{C}$, with action $L_n\cdot I_m=(a+bn+m)I_{n+m}$, and two exceptional families $A(\lambda)$ and $B(\lambda)$, $\lambda\in\mathbb{P}^1$, obtained by blowing up the $(a,b)$-plane at the two points where $I(a,b)$ is reducible. Endowing such a module $M$ with the abelian Lie bracket and letting $\mathcal{W}$ act by derivations produces a semi-direct sum (semi-direct product) Lie algebra $\mathcal{W}\ltimes M$. These algebras and their multi-module analogues occur as asymptotic symmetry algebras in non-Lorentzian physics — for example the planar Galilean conformal algebra and the BMS-like algebras of Carrollian boundary symmetries. The standard structure package of such an algebra consists of: its central extensions, classified by the second Lie algebra cohomology $H^2(\mathfrak{g},\mathbb{C})$ with trivial coefficients (skew-symmetric 2-cocycles modulo coboundaries); its Leibniz central extensions, classified by the second cohomology $HL^2(\mathfrak{g},\mathbb{C})$ in Loday's Leibniz category, where the antisymmetry of cocycles is dropped and the group can be strictly larger than the Lie one; its derivation algebra $\operatorname{Der}(\mathfrak{g})$, i.e. the linear maps $D$ satisfying $D[x,y]=[Dx,y]+[x,Dy]$; and its automorphism group $\operatorname{Aut}(\mathfrak{g})$. Gao, Jiang, and Pei computed low-dimensional cohomology, derivations, and automorphisms for $\mathcal{W}(a,b)=\mathcal{W}\ltimes I(a,b)$, and Buzaglo–Vishwa (2024) then treated $\mathcal{W}\ltimes A(\lambda)$ and $\mathcal{W}\ltimes B(\lambda)$ in full, together with the central extensions and derivations of $\mathcal{W}\ltimes\widetilde{I}$, where $\widetilde{I}=I(0,0)/\mathbb{C}$ is the unique nontrivial irreducible quotient of $I(0,0)$ (with Mathieu and Martin–Piard having earlier classified the irreducible bounded $\mathcal{W}$-modules). The method of Buzaglo–Vishwa exploits the fact that these semi-direct sums are internally graded — the $\mathbb{Z}$-grading is induced by the adjoint action of $L_0$, so that every cocycle is cohomologous to one of degree zero — which reduces the computations to solvable functional equations on the integer indices; the authors stress that the technique applies to a wider class of internally graded Lie algebras and note that larger semi-direct sums involving multiple copies of intermediate series modules are already attracting interest from physics. What has no counterpart anywhere in the literature is the systematic package for multi-copy semi-direct sums $\mathcal{W}\ltimes(M_1\oplus\cdots\oplus M_n)$ with $n\geq 2$: mixing cocycles between distinct copies, cross-copy module homomorphisms entering derivations and automorphisms, and coincidences among the parameters of the copies are all genuinely new phenomena there. Only isolated instances have been treated case by case — the extended Schrödinger–Virasoro algebra, the twisted and deformative Schrödinger–Virasoro families, and loop-type current extensions such as the Affine-Virasoro algebras and $\mathcal{W}\ltimes(\mathfrak{sl}_2\otimes\mathbb{C}[t,t^{-1}])$ — none of which yields a classification uniform in the module data.

Problem Statement

Let $\mathcal{W}=\operatorname{Der}\mathbb{C}[t,t^{-1}]$ and let $M_1,\dots,M_n$ with $n\geq 2$ be arbitrary indecomposable intermediate series $\mathcal{W}$-modules, each belonging to one of the three Kaplansky–Santharoubane families $I(a,b)$ ($a,b\in\mathbb{C}$), $A(\lambda)$, or $B(\lambda)$ ($\lambda\in\mathbb{P}^1$), with repetitions and mixing of families allowed. Let $\mathcal{V}=\bigoplus_{i=1}^n M_i$ as an abelian Lie algebra carrying the diagonal $\mathcal{W}$-action, and form the semi-direct sum $\mathcal{W}_{\mathcal{V}}=\mathcal{W}\ltimes\mathcal{V}$. Determine, uniformly in $n$ and in the module parameters: (1) the second cohomology $H^2(\mathcal{W}_{\mathcal{V}},\mathbb{C})$, given by explicit cocycle bases depending on the parameters of the copies; (2) the Leibniz second cohomology $HL^2(\mathcal{W}_{\mathcal{V}},\mathbb{C})$; (3) the full derivation algebra $\operatorname{Der}(\mathcal{W}_{\mathcal{V}})$, including the cross-copy homomorphism spaces $\operatorname{Hom}_{\mathcal{W}}(M_i,M_j)$ that it involves; and (4) the automorphism group $\operatorname{Aut}(\mathcal{W}_{\mathcal{V}})$. The completed single-copy case ($n=1$: Gao–Jiang–Pei for $I(a,b)$, with the reducible points $(0,1)$ and $(0,0)$ governed by the corrected values compiled in Buzaglo–Vishwa Theorem 2.10, which supersedes the Leibniz count of Gao–Jiang–Pei Theorem 3.5 at $(a,b)=(0,1)$ (see Buzaglo–Vishwa Remark 2.11); Buzaglo–Vishwa for $A(\lambda)$ and $B(\lambda)$, and for the central extensions and derivations of $\widetilde{I}$; the reducible tensor modules coincide with the exceptional families at $\lambda=0$, $I(0,1)\cong A(0)$ and $I(0,0)\cong B(0)$) serves as the template and consistency boundary: an answer is complete when it reduces to those published classifications at $n=1$ and covers all combinations at $n\geq 2$, with all degenerate parameter coincidences (repeated modules, $\lambda=0$, reducible tensor modules) handled explicitly.

References

1. Lucas Buzaglo and Girish S. Vishwa, Central extensions, derivations, and automorphisms of semi-direct sums of the Witt algebra with its intermediate series modules, J. Lie Theory 35 (2025), No. 3, 455–506; arXiv:2407.14809, DOI 10.48550/arXiv.2407.14809, https://arxiv.org/abs/2407.14809
2. I. Kaplansky and L. J. Santharoubane, Harish-Chandra modules over the Virasoro algebra, Math. Sci. Res. Inst. Publ. 4, Springer, New York, 1985, pp. 217–231, DOI 10.1007/978-1-4612-1104-4_8, https://doi.org/10.1007/978-1-4612-1104-4_8
3. O. Mathieu, Classification of Harish-Chandra modules over the Virasoro Lie algebra, Invent. Math. 107 (1992), 225–234, DOI 10.1007/BF01231888, https://doi.org/10.1007/BF01231888
4. C. Martin and A. Piard, Indecomposable modules over the Virasoro Lie algebra and a conjecture of V. Kac, Comm. Math. Phys. 137 (1991), 109–132, DOI 10.1007/BF02099118, https://doi.org/10.1007/BF02099118
5. C. Martin and A. Piard, Classification of the indecomposable bounded admissible modules over the Virasoro Lie algebra with weightspaces of dimension not exceeding two, Comm. Math. Phys. 150 (1992), 465–493, DOI 10.1007/BF02096957, https://doi.org/10.1007/BF02096957
6. S. Gao, C. Jiang, and Y. Pei, Low-dimensional cohomology groups of the Lie algebras W(a,b), Comm. Algebra 39 (2011), 397–423, DOI 10.1080/00927871003591835, https://doi.org/10.1080/00927871003591835
7. Y. C. Su, Harish-Chandra modules of the intermediate series over the high rank Virasoro algebras and high rank super-Virasoro algebras, J. Math. Phys. 35 (1994), 2013–2023, DOI 10.1063/1.530534, https://doi.org/10.1063/1.530534
8. S. Gao, D. Liu, and Y. Pei, Structure of the planar Galilean conformal algebra, Rep. Math. Phys. 78 (2016), 107–122, DOI 10.1016/S0034-4877(16)30052-0, https://doi.org/10.1016/S0034-4877(16)30052-0
9. Shoulan Gao, Cuipo Jiang, and Yufeng Pei, Structure of the extended Schrodinger-Virasoro Lie algebra, arXiv:0801.2058, DOI 10.48550/arXiv.0801.2058, https://arxiv.org/abs/0801.2058
10. Junbo Li and Linsheng Zhu, Leibniz Central Extension on the Twisted Schrödinger-Virasoro Algebra, arXiv:0801.2211, DOI 10.48550/arXiv.0801.2211, https://arxiv.org/abs/0801.2211
11. Qifen Jiang and Song Wang, Derivations and automorphism groups of the original deformative Schrödinger-Virasoro algebras, arXiv:1209.3164, DOI 10.48550/arXiv.1209.3164, https://arxiv.org/abs/1209.3164
12. Chengkang Xu, Deformed higher rank Heisenberg-Virasoro algebras, arXiv:2001.00680, DOI 10.48550/arXiv.2001.00680, https://arxiv.org/abs/2001.00680
13. Meher Abdaoui, Central extensions, derivations, 2-local derivations and biderivations of the Lie algebras $\mathfrak{L}_{\mathfrak{sl}_2}$, Bull. Malays. Math. Sci. Soc. 48 (2025), No. 5, DOI 10.1007/s40840-025-01959-6, https://doi.org/10.1007/s40840-025-01959-6
14. Rencai Lü, Xizhou You, and Kaiming Zhao, $(d,\sigma)$-twisted Affine-Virasoro superalgebras, arXiv:2507.00349, DOI 10.48550/arXiv.2507.00349, https://arxiv.org/abs/2507.00349
15. Lucas Buzaglo, Xiao He, Tuan Anh Pham, Haijun Tan, Girish S. Vishwa, and Kaiming Zhao, On the boundary Carrollian conformal algebra, Lett. Math. Phys. 116 (2026), No. 4, arXiv:2508.21603, DOI 10.1007/s11005-026-02118-z, https://arxiv.org/abs/2508.21603
16. Carlos Batlle, José Figueroa-O'Farrill, Joaquim Gomis, and Girish Vishwa, BMS-like algebras: canonical realisations and BRST quantisation, arXiv:2411.14866, DOI 10.48550/arXiv.2411.14866, https://arxiv.org/abs/2411.14866
17. J.-L. Loday and T. Pirashvili, Universal enveloping algebras of Leibniz algebras and (co)homology, Math. Ann. 296 (1993), 139–158, DOI 10.1007/BF01445099, https://doi.org/10.1007/BF01445099