[论文解读] Automorphisms and Verma modules for Generalized Schrödinger-Virasoro algebras

Shaobin Tan, Xiufu Zhang|ArXiv.org|Apr 10, 2008

Advanced Topics in Algebra参考文献 7被引用 4

一句话总结

本文在特征为0的域上引入了广义的Schrödinger-Virasoro代数 𝔤sv[G,α]，其由加法子群G和满足2α∈G但α∉G的元素α参数化。本文完全确定了该代数的自同构群，并对Verma模V(c,h)的不可约性进行了分类，表明V(c,h)不可约当且仅当c≠0或h≠0，其中V(0,0)有一个一维商模，而当h≠0时，V(0,h)有一个唯一的极大子模。

ABSTRACT

Let $\mathbb{F}$ be a field of characteristic 0, $G$ an additive subgroup of $\mathbb{F}$, $α\in \mathbb{F}$ satisfying $α otin G, 2α\in G$. We define a class of infinite-dimensional Lie algebras which are called generalized Schrödinger-Virasoro algebras and use $\mathfrak{gsv}[G,α]$ to denote the one corresponding to $G$ and $α$. In this paper the automorphism group and irreducibility of Verma modules for $\mathfrak{gsv}[G,α]$ are completely determined.

研究动机与目标

• 定义并研究一类新的无限维李代数——广义Schrödinger-Virasoro代数 𝔤sv[G,α]，作为经典Schrödinger-Virasoro代数的自然推广。
• 确定两个此类广义代数之间同构的充要条件。
• 完全刻画任意满足给定条件的加法子群G与α的广义Schrödinger-Virasoro代数 𝔤sv[G,α] 的自同构群。
• 在 𝔤sv[G,α] 上定义Verma模V(c,h)，并完全确定其不可约性。
• 证明当h≠0时，V(0,h)的唯一极大子模是其自然投影到U(L−)的核，且V(0,0)有一个平凡商模。

提出的方法

• 将广义Schrödinger-Virasoro代数 𝔤sv[G,α] 定义为具有基 {L_u, M_u, Y_{u+α} | u∈G} 的李代数，并给出涉及G和α的特定换乘关系。
• 证明 𝔤sv[G,α] 是T-加细的，其中T=G∪(α+G)，且子模I=M⊕Y是唯一的极大理想。
• 利用Cartan子代数 𝔤sv[G,α]_0 和根空间分解分析权模。
• 将Verma模V(c,h)构造为从Borel子代数的一维表示诱导出的模。
• 使用降低算子L_{-i}, M_{-j}, Y_{α-k} 的递归约化技术，分析循环子模的结构。
• 利用关于L_{j^{(0)}} 和 Y_{-(α−k^{(0)})} 作用的引理，约化解码中M和Y生成元的单项式长度，最终证明若权向量非零，则v_h属于该子模。

实验结果

研究问题

• RQ1 广义Schrödinger-Virasoro代数 𝔤sv[G,α] 与 𝔤sv[G',α'] 同构的充要条件是什么？
• RQ2 广义Schrödinger-Virasoro代数 𝔤sv[G,α] 的自同构群Aut(𝔤sv[G,α]) 的完整结构是什么？
• RQ3 在何种c与h值下， 𝔤sv[G,α] 上的Verma模V(c,h)是不可约的？
• RQ4 当h≠0时，V(0,h)的唯一极大子模的结构是什么？
• RQ5 商模V(0,0)/N(0,0)是什么？它对平凡表示意味着什么？

主要发现

• 𝔤sv[G,α] 的自同构群已被完全确定，其由与群G和元素α相容的缩放与平移对称性诱导的自同构构成。
• Verma模V(c,h)不可约当且仅当c≠0或h≠0；当c=0且h=0时，V(0,0)是可约的，且有一个一维商模。
• 当h≠0时，Verma模V(0,h)有一个唯一的极大真子模N(0,h)，且商模V(0,h)/N(0,h)作为向量空间同构于泛包络代数U(L−)。
• V(0,h)的唯一极大子模N(0,h)由所有被L_0和所有正根生成元作用为零的向量构成，且当h≠0时是真子模。
• 在V(0,0)中，向量v_h不属于子模N(0,0)，且商模V(0,0)/N(0,0)同构于平凡模ℱ。
• 不可约性证明依赖于通过降低算子对M和Y生成元的单项式进行递归约化，表明只要c≠0或h≠0，任意非零权向量都会生成整个模。