[论文解读] A class of non-weight modules over the Schrödinger-Virasoro algebras

Yumei Wang, Honglian Zhang|arXiv (Cornell University)|Sep 14, 2018

Algebraic structures and combinatorial models参考文献 8被引用 4

一句话总结

本文通过构造由 L₀、M₀ 和 Y₀ 生成的子代数的通用包络代数，构建并分类了 S ̈rödinger-Virasoro 代数 sv(0) 上的自由秩-1模。证明了此类模由 λ ∈ ℂ* 和 α ∈ ℂ 参数化，记为 Φ(λ, α)，并进一步表明在 sv(1/2) 上不存在自由秩-1 U(CL₀ ⊕ CM₀)-模，从而解决了该代数结构的非存在性问题。

ABSTRACT

We construct and classify the free $U(\mathbb{C}L_0\oplus \mathbb{C}M_0\oplus\mathbb{C}Y_0)$-modules of rank $1$ over the Schrödinger-Virasoro algebra $\mathfrak{sv}(s)$ for $s=0$.Moreover, we show that the class of free $U(\mathbb{C}L_0\oplus\mathbb{C}M_0)$-modules of rank $1$ over the Schrödinger-Virasoro algebra $\mathfrak{sv}(s)$ for $s=\frac{1}{2}$ is nonexistent.

研究动机与目标

• 构建并分类以 L₀、M₀ 和 Y₀ 生成的子代数为基准的 sv(0) 上的自由秩-1模。
• 确定在由 L₀ 和 M₀ 生成的子代数下，sv(1/2) 上是否存在自由秩-1模。
• 解决 sv(1/2) 情形下此类模的非存在性问题，为 sv(0) 提供完整分类。
• 将非权模理论扩展至 S ̈rödinger-Virasoro 代数，特别是在特定子代数上的自由模情境下。

提出的方法

• 通过在多项式代数 ℂ[s, t, v] 上明确定义基元素 Lₘ、Mₘ 和 Yₘ 的作用，构造了 sv(0) 上的一族自由秩-1模 Φ(λ, α)。
• 利用 U(CL₀ ⊕ CM₀ ⊕ CY₀) 的结构，通过涉及 L₀、M₀ 和 Y₀ 的微分算子定义模的作用。
• 应用交换关系并使用归纳法，验证所定义的作用满足 sv(0) 的李代数关系，从而确保模结构定义良好。
• 通过 Lₘ、Mₘ 和 Yₘ 在生成元 1 上的作用系统性地进行分类，将问题归约为确定 L₀ 和 M₀ 上的多项式。
• 在 sv(1/2) 情形下，假设存在一个自由秩-1 U(CL₀ ⊕ CM₀)-模，并通过分析 Yₚ 的作用和 [Yₚ, Mₘ] = 0 的关系导出矛盾。
• 利用 [Yₚ, Y_q] 关系中 (q − p)M_{p+q} 在 p ≠ q 时非零的性质，证明当假设 hₚ(L₀, M₀) 属于 C[M₀] 时出现不一致，从而证明非存在性。

实验结果

研究问题

• RQ1 是否存在 sv(0) 上的自由秩-1模，且作为 U(CL₀ ⊕ CM₀ ⊕ CY₀)-模是自由的？
• RQ2 此类模是否能完全由参数 λ ∈ ℂ* 和 α ∈ ℂ 分类？
• RQ3 是否存在 sv(1/2) 上的自由秩-1模，且作为 U(CL₀ ⊕ CM₀)-模是自由的？
• RQ4 李代数关系对 Yₚ 和 Mₘ 在此类模中可能作用的约束是什么？

主要发现

• 所有作为 U(CL₀ ⊕ CM₀ ⊕ CY₀)-模自由的 sv(0) 上的自由秩-1模都同构于 Φ(λ, α)，其中 λ ∈ ℂ* 且 α ∈ ℂ。
• 分类是完整的：任意此类模 M 满足 M ≅ Φ(λ, α)，且 λ 和 α 唯一确定。
• 在 sv(1/2) 上不存在自由秩-1 U(CL₀ ⊕ CM₀)-模，通过 Yₚ 作用和 [Yₚ, Y_q] 关系导出矛盾得以证明。
• 模生成元 1 上 Yₚ 的作用必须属于 C[M₀]，但这与 p ≠ q 时 (q − p)M_{p+q} 非零的性质矛盾。
• 证明依赖于通用包络代数的结构以及非平凡交换关系，特别是 [Yₚ, Mₘ] = 0 和 [Yₚ, Y_q] = (q − p)M_{p+q}。
• 非存在性结果源于 hₚ(L₀, M₀) 所需形式与 sv(1/2) 中代数关系之间的不相容性。