[论文解读] Whittaker modules for the Schrödinger-Virasoro algebra

Xiufu Zhang, Shaobin Tan|ArXiv.org|Dec 17, 2008

Algebraic structures and combinatorial models参考文献 20被引用 15

一句话总结

本文通过其三角分解 $\chi = \chi^{-} \oplus \mathfrak{h} \oplus \chi^{+}$，构建并分类了舒里辛格-维拉斯罗代数 $\chi$ 的惠特aker模。对于非奇异同态 $\psi: \chi^{+} \to \mathbb{C}$，本文完全分类了不可约惠特aker模，并刻画了惠特aker向量。对于奇异 $\psi$，本文证明了所有此类模都是可约的，并在特殊情况下提供了精确的结构结果，包括当 $\psi \equiv 0$ 且 $\xi \neq 0$ 时 $L_{\psi,\xi}$ 的滤子结构。主要贡献在于对不可约惠特aker模的完整分类，将表示理论扩展至这一无限维李代数，超越了权模的范畴。

ABSTRACT

In this paper, Whittaker modules for the Schrödinger-Virasoro algebra $\mathfrak{sv}$ are defined. The Whittaker vectors and the irreducibility of the Whittaker modules are studied. $\mathfrak{sv}$ has a triangular decomposition according to the Cartan algebra $\mathfrak{h}:$ $$\mathfrak{sv}=\mathfrak{sv}^{-}\oplus\mathfrak{h}\oplus\mathfrak{sv}^{+}.$$ For any Lie algebra homomorphism $ψ:\mathfrak{sv}^{+} o\mathbb{C}$, we can define Whittaker modules of type $ψ.$ When $ψ$ is nonsingular, the Whittaker vectors, the irreducibility and the classification of Whittaker modules are completely determined. When $ψ$ is singular, by constructing some special Whittaker vectors, we find that the Whittaker modules are all reducible. Moreover, we get some more precise results for special $ψ$.

研究动机与目标

• 定义并研究舒里辛格-维拉斯罗代数 $\mathfrak{sv}$ 的惠特aker模，这些模是非权模。
• 根据类型 $\psi: \mathfrak{sv}^{+} \to \mathbb{C}$ 对不可约惠特aker模进行分类，区分非奇异与奇异 $\psi$。
• 刻画惠特aker向量，并确定诱导模 $W_\psi$ 与 $L_{\psi,\xi}$ 的结构。
• 详细分析 $\psi \equiv 0$ 的情形，证明当 $\xi \neq 0$ 时 $L_{\psi,\xi}$ 可被滤子分解为韦尔马模，且当 $\xi = 0$ 时证明某些子模的极大性。

提出的方法

• 通过三角分解 $\mathfrak{sv} = \mathfrak{sv}^{-} \oplus \mathfrak{h} \oplus \mathfrak{sv}^{+}$ 定义类型为 $\psi$ 的惠特aker模，其中 $\mathfrak{h} = \mathbb{C}L_0 \oplus \mathbb{C}M_0$。
• 利用李代数同态 $\psi$ 作用于 $\mathfrak{sv}^{+}$，构造诱导模 $W_\psi$ 与 $L_{\psi,\xi}$。
• 通过生成元 $L_n, M_n, Y_{n+1/2}$ 在基向量上的点作用分析惠特aker向量与模结构。
• 应用极大权技巧与滤子论证研究可约性与不可约性，尤其针对 $\psi \equiv 0$ 的情形。
• 采用归纳法与基分解证明：当 $\psi \equiv 0$ 且 $\xi \neq 0$ 时，$L_{\psi,\xi}$ 同构于其子模 $V^i$。
• 利用显式作用公式，如当 $\nu(b) \neq 0$ 时 $Y_{1/2 + b} \cdot v \neq 0$，证明惠特aker向量的非零性与不可约性。

实验结果

研究问题

• RQ1 对于哪些类型 $\psi: \mathfrak{sv}^{+} \to \mathbb{C}$，其对应的惠特aker模是不可约的？
• RQ2 在 $\psi$ 非奇异时，$W_\psi$ 与 $L_{\psi,\xi}$ 中惠特aker向量的结构是怎样的？
• RQ3 当 $\psi$ 为奇异类型时，特别是 $\psi \equiv 0$ 时，惠特aker模的行为如何？
• RQ4 $L_{\psi,\xi}$ 是否可分解为子模的滤子？商模具有何种性质？
• RQ5 当 $\psi \equiv 0$ 时，$L_{\psi,0}$ 是否可约？其极大真子模的结构如何？

主要发现

• 当 $\psi$ 为非奇异时，惠特aker模 $W_\psi$ 与 $L_{\psi,\xi}$ 均为不可约，且其惠特aker向量被完全刻画。
• 当 $\psi \equiv 0$ 且 $\xi \neq 0$ 时，惠特aker模 $L_{\psi,\xi}$ 具有滤子结构 $L_{\psi,\xi} = V^0 \supseteq V^1 \supseteq \cdots$，其中 $V^i / V^{i+1} \cong V(\xi, \zeta)$，即一个韦尔马模。
• 当 $\psi \equiv 0$ 且 $\xi \neq 0$ 时，$L_{\psi,\xi}$ 作为 $\mathfrak{sv}$-模同构于每个 $V^i$，表明存在非平凡的自同构。
• 当 $\psi \equiv 0$ 且 $\xi = 0$ 时，由 $L_{-2}\bar{w}$ 生成的子模 $V$ 是一个极大真子模，且 $L_{\psi,0}/V$ 是一个一维平凡模。
• 当 $\psi$ 为奇异时，特殊惠特aker向量的构造表明 $L_{\psi,\xi}$ 总是可约的。
• 当 $\psi \equiv 0$ 且 $\xi \neq 0$ 时，$L_{\psi,\xi}$ 中惠特aker向量的集合为 $\mathbb{C}[L_0]\bar{w}$，确认了最高权空间的特定形式。