2025-11-12T15:16:11.274035

Derivations, 2-local derivations, biderivations and automorphisms of generalized Loop Heisenberg-Virasoro algebras

Ren, Tang

In this paper, the generalized Loop Heisenberg-Virasoro algebra is introduced. Firstly, we determine the derivations on the generalized Loop Heisenberg-Virasoro algebra. Then we show that all 2-local derivations are derivations. Furthermore, we determine the biderivations on the generalized Loop Heisenberg-Virasoro algebra are inner biderivations and give their applications. Finally, the automorphism groups on the generalized Loop Heisenberg-Virasoro algebra are presented.

academic

Derivations, 2-local derivations, biderivations and automorphisms of generalized Loop Heisenberg-Virasoro algebras

基本信息

论文ID: 2503.19247
标题: Derivations, 2-local derivations, biderivations and automorphisms of generalized Loop Heisenberg-Virasoro algebras
作者: Qingyan Ren, Liming Tang (Harbin Normal University)
分类: math.RA (Ring and Algebra)
发表时间: 2025年3月 (arXiv v2: 2025年10月24日)
论文链接: https://arxiv.org/abs/2503.19247

摘要

本文引入了广义loop Heisenberg-Virasoro代数，并系统研究了其代数结构。首先确定了该代数上的所有导子；然后证明了所有2-局部导子都是导子；进一步证明了该代数上的双导子都是内双导子，并给出了相关应用；最后刻画了该代数的自同构群结构。

研究背景与动机

研究问题

本文研究广义loop Heisenberg-Virasoro代数L(Γ)的结构理论，特别是：

确定该代数的导子代数结构
刻画2-局部导子的性质
分类双导子并研究其应用
确定自同构群的完整结构

重要性

Heisenberg-Virasoro代数是重要的无限维李代数，在数学和物理的多个领域发挥关键作用：

它是圆周上次数不超过1的微分算子李代数的泛中心扩张
在共形场论、可积系统、表示论等领域有广泛应用
结构理论（导子、自同构等）是李代数研究的核心内容

现有研究局限

虽然已有研究涉及：

广义loop Virasoro代数的导子和自同构
Schrödinger-Virasoro代数的双导子
Witt代数的2-局部导子
扭Heisenberg-Virasoro代数的结构

但对于广义loop Heisenberg-Virasoro代数这一统一框架的系统研究尚属空白。

研究动机

受文献7中loop Heisenberg-Virasoro代数研究的启发，本文将其推广到更一般的阿贝尔群Γ上，建立统一的理论框架，这不仅包含了已知特殊情况（当Γ=Z时），还为研究更广泛的代数结构提供了工具。

核心贡献

引入新代数结构：定义了广义loop Heisenberg-Virasoro代数L(Γ)，统一了多个已知代数
完全刻画导子代数：证明了DerL(Γ) = ad(L(Γ)) + (D_{HomZ(Γ,Ft,t^{-1})} ⊕ D_{g(Γ)} ⊕ D_{Ft,t^{-1}} ⊕ D_{Ft,t^{-1}d/dt})
证明2-局部导子定理：所有2-局部导子都是导子（Theorem 10）
分类双导子：证明所有双导子都是内双导子（Theorem 15）
应用结果：
- 刻画了交换线性映射的充要条件
- 证明了该代数上的交换post-Lie代数结构是平凡的
确定自同构群：证明AutL(Γ) ≅ A × Hom(Γ,Z) × χ(Γ) × AutZ × F*（Theorem 24）

方法详解

任务定义

对于广义loop Heisenberg-Virasoro代数L(Γ)，定义为具有基{L_{α,i}, H_{β,j} | α,β ∈ Γ, i,j ∈ Z}的李代数，满足李括号：

L_{α,i}, L_{β,j} = (α-β)L_{α+β,i+j}
L_{α,i}, H_{β,j} = -βH_{α+β,i+j}
H_{α,i}, H_{β,j} = 0

其中Γ是阿贝尔加法群，F是特征零的代数闭域。

导子的确定方法

核心策略：利用Γ-分次结构

分次分解（Lemma 2）：
- 证明DerL(Γ) = (DerL(Γ))_0 + adL(Γ)
- 对于γ≠0的分次导子D∈(DerL(Γ))γ，证明D = ad{γ^{-1}D(L_{0,0})}是内导子
零次导子分析（Lemma 3-4）：
- 对D∈(DerL(Γ))0，设D(L{α,i}) = f_{α,i}L_{α,i} + g_{α,i}H_{α,i}
- 通过计算D(L_{α,i}, L_{β,j})，得到函数方程：
  - f_{α+β,i+j} = f_{α,i} + f_{β,j}
  - (α-β)g_{α+β,i+j} = αg_{α,i} - βg_{β,j}
- 证明f_{α,i} = f_α（与i无关），f∈HomZ(Γ,Ft,t^{-1})
- 证明g_{α,i} = g_α，满足(α-β)g_{α+β} = αg_α - βg_β
构造标准导子：定义四类零次导子
- D^φ：对应φ∈HomZ(Γ,Ft,t^{-1})
- D^g：对应g∈g(Γ) = {g:Γ→Ft,t^{-1} | (α-β)g_{α+β} = αg_α - βg_β}
- D^b：对应b∈Ft,t^{-1}
- D^ρ：对应ρ∈Ft,t^{-1}d/dt

2-局部导子的证明策略

定义：映射Δ:L→L称为2-局部导子，如果对任意x,y∈L，存在导子Δ_{x,y}使得Δ(x)=Δ_{x,y}(x)，Δ(y)=Δ_{x,y}(y)。

证明思路（Theorem 10）：

假设Δ是2-局部导子，固定L_{0,i}和L_{1,j}
设Δ_{L_{0,i},L_{1,j}}是对应的导子
定义Δ^{(1)} = Δ - Δ_{L_{0,i},L_{1,j}}，则Δ^{(1)}(L_{0,i}) = Δ^{(1)}(L_{1,j}) = 0
关键步骤（Lemma 7-9）：
- 若Δ(L_{α,i})=0，则Δ_{L_{α,i},x}具有特殊形式
- 若Δ(L_{0,i})=Δ(L_{1,j})=0，则对所有α∈Γ, k∈Z有Δ(L_{α,k})=0
- 若所有Δ(L_{α,i})=0，则Δ≡0
结论：Δ^{(1)}≡0，故Δ=Δ_{L_{0,i},L_{1,j}}是导子

双导子的分类方法

定义：双线性映射f:L×L→L称为双导子，如果它对两个分量都是导子。

证明策略（Theorem 15）：

利用完美性：证明L(Γ)是完美李代数（Lemma 11），即L(Γ)=L(Γ),L(Γ)
中心元素性质（Lemma 12）：若α∈C(L(Γ))，则f(x,α)=f(α,x)=0
交换性质（Lemma 13）：f(x,y),u,v = [[x,y],f(u,v)]
逐步证明：
- 步骤(i)：存在λ∈F使得f(L_{0,i},L_{m,j}) ≡ λL_{0,i},L_{m,j} (mod FH_{0,i+j})
- 步骤(ii)：f(L_{0,i},H_{m,j}) ≡ λL_{0,i},H_{m,j} (mod FH_{0,i+j})
- 步骤(iii)：对所有x∈L(Γ)，f(L_{0,i},x) ≡ λL_{0,i},x (mod FH_{0,i+j})
- 步骤(iv)：f(x,y) ≡ λx,y (mod FH_{0,i+j})
- 步骤(v)：通过导子性质消去模项，得f(x,y) = λx,y

自同构群的确定

策略：

同构条件（Lemma 20-21）：L(Γ)≅L(Γ')当且仅当存在a∈F*使得aΓ'=Γ
自同构形式：任何θ∈AutL(Γ)可写为
- θ(L_{α,i}) = aμ(α,i)L_{α/a,ε(α,i)}
- θ(H_{α,i}) = aμ(α,i)H_{α/a,ε(α,i)}
五类基本自同构（Lemma 23）：
- θ_a：对应a∈A={a∈F*|aΓ=Γ}
- θ_φ：对应φ∈Hom(Γ,Z)
- θ_χ：对应χ∈χ(Γ)（群同态Γ→F*）
- θ_ψ：对应ψ∈AutZ={id,-id}
- θ_b：对应b∈F*
群同构（Theorem 24）：证明映射Ψ:(a,φ,χ,ψ,b)↦θ_aθ_φθ_χθ_ψθ_b是同构