[论文解读] Representations of the Schrödinger-Virasoro algebras

Junbo Li, Yucai Su|arXiv (Cornell University)|Jan 15, 2008

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

一句话总结

本文对 $\sigma[s]$（$s = 0$ 或 $1/2$）上的不可约哈里什-钱德拉模进行了分类，证明此类模要么是最高权/最低权模，要么是一致有界模。此外，本文还对中间系列的所有不可约模进行了分类，表明对于 $\mathcal{L}[0]$，这些模恰好是维拉索罗代数的中间系列模；而对于 $\mathcal{L}[1/2]$，则出现了 $A_{a,b}$、$B_{a,b}$、$C_a$ 和 $D_a$ 的新变形，其结构由显式作用公式完全确定。

ABSTRACT

In this paper it is proved that an irreducible weight module with finite-dimensional weight spaces over the Schrödinger-Virasoro algebras is a highest/lowest weight module or a uniformly bounded module. Furthermore, indecomposable modules of the intermediate series over these algebras are completely determined.

研究动机与目标

• 对 $s = 0$ 和 $s = 1/2$ 时的舒林格-维拉斯罗代数 $\mathcal{L}[s]$ 上的不可约哈里什-钱德拉模进行分类。
• 确定 $\mathcal{L}[s]$ 上所有不可约模的中间系列结构。
• 通过分析舒林格代数与维拉索罗子代数作用下的权空间分解与模结构，理解 $\mathcal{L}[s]$ 的表示理论。
• 在 $s = 1/2$ 时，识别中间系列模的新变形，扩展已知的维拉索罗代数模结构。

提出的方法

• 利用 Cartan 子代数 $\mathcal{H} = \text{span}\{L_0, M_0, c\}$ 分析权空间分解，并通过权空间的有限维性定义哈里什-钱德拉模。
• 通过限制到 $\SS$-子代数并分析 $\SS$ 在权向量上的作用，将维拉索罗代数中间系列模的分类技术应用于舒林格-维拉斯罗代数。
• 利用李括号关系，特别是 $[L_m, Y_p] = (p - m/2)Y_{p+m}$ 和 $[Y_p, Y_{p'}] = (p' - p)M_{p'+p}$，推导模作用的约束条件。
• 通过参数 $a, b, \alpha$ 的指标平移与情形分析，分类可能的模结构，并通过 $M_n$ 与 $Y_p$ 的非平凡作用检测变形。
• 应用雅可比恒等式与交换子关系，推导结构常数（如 $g_p$ 与 $f_n$）的递推关系，并对某些参数选择证明矛盾，从而排除变形的可能性。
• 根据指标的奇偶性（$k \in \mathbb{Z}$ 或 $k \in \frac{1}{2} + \mathbb{Z}$）区分情形，分别处理 $s = 0$ 与 $s = 1/2$ 的情况，尤其在 $\mathcal{L}[0]$ 情形中，$Y_0$ 不是半单的。

实验结果

研究问题

• RQ1 舒林格-维拉斯罗代数 $\mathcal{L}[s]$ 上可能存在的不可约哈里什-钱德拉模有哪些？
• RQ2 在 $s = 0$ 与 $s = 1/2$ 时，$\mathcal{L}[s]$ 上存在哪些不可约模的中间系列？
• RQ3 在 $\mathcal{L}[1/2]$ 上，是否存在超越维拉索罗代数的中间系列模的新变形？
• RQ4 舒林格子代数 $\SS$ 的作用如何约束中间系列模的结构？
• RQ5 参数 $a, b, \alpha$ 满足何种条件时，模作用是一致的？在何种情况下变形被排除？

主要发现

• 在 $\mathcal{L}[s]$ 上的不可约哈里什-钱德拉模，要么是最高权/最低权模，要么是一致有界模。
• 对于 $\mathcal{L}[0]$，所有不可约模的中间系列恰好是维拉索罗代数的中间系列模，且 $\SS$ 作用平凡。
• 对于 $\mathcal{L}[1/2]$，存在新的不可约模的中间系列，包括 $A_1(\alpha)$、$A_2(\alpha)$、$B_1(\alpha)$、$B_2(\alpha)$、$C_a$、$D_a$ 及其变形 $C(\alpha, \alpha')$、$D(\beta, \beta')$，这些模与任何维拉索罗代数中间系列模都不同构。
• 在所有已识别的模中，$M_n$ 对权向量的作用均为平凡：对所有 $n, k$ 有 $M_n x_k = 0$，尤其在 $A_2(\alpha)$ 与 $A_1(\alpha)$ 中成立。
• $A_1(\alpha)$ 与 $A_2(\alpha)$ 中的参数 $\alpha$ 参数化了非同构的变形，且 $A_1(\alpha)$ 同构于某个 $\alpha'$ 对应的 $A_2(\alpha')$ 的对偶模。
• 当 $b = -1/2, b' = 1$ 时，出现新模 $D_a$ 及其变形 $D(\beta, \beta')$，其显式作用公式由交换子关系与指标约束导出。