[论文解读] New irreducible tensor product modules for the Virasoro algebra

Xiangqian Guo, Xuewen Liu+1 more|arXiv (Cornell University)|Aug 30, 2017

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

一句话总结

本论文通过将不可约模块 $\Omega(\lambda,\alpha,h)$ 与不可约最高权模块 $V(\theta,h)$ 或模块 $\mathrm{Ind}_\theta(N)$ 取张量积，构造了新的不可约非权 Virasoro 模块，并建立了不可约性与同构性的必要充分条件。主要贡献在于证明了这些模块是全新的，且与任何已知的不可约 Virasoro 模块都不同构。

ABSTRACT

In this paper, we obtain a class of Virasoro modules by taking tensor products of the irreducible Virasoro modules $Ω(λ,α,h)$ defined in \cite{CG}, with irreducible highest weight modules $V(θ,h)$ or with irreducible Virasoro modules Ind$_θ(N)$ defined in \cite{MZ2}. We obtain the necessary and sufficient conditions for such tensor product modules to be irreducible, and determine the necessary and sufficient conditions for two of them to be isomorphic. These modules are not isomorphic to any other known irreducible Virasoro modules.

研究动机与目标

• 通过已知不可约模块的张量积构造新的不可约非权 Virasoro 模块类别。
• 确定此类张量积模块不可约的必要与充分条件。
• 建立两个此类张量积模块同构的条件。
• 证明所构造的模块与任何其他已知不可约 Virasoro 模块都不同构，从而确认其新颖性。
• 将张量模重新表述为 Virasoro 代数子代数上的诱导模，以获得结构上的洞察。

提出的方法

• 将 Virasoro 模块 $\Omega(\lambda,\alpha,h)$ 定义为自由 $\mathbb{C}[t,s]$-模，其 $d_m$ 在 $f(t)s^i$ 上的作用具有特定形式。
• 将 $\Omega(\lambda,\alpha,h)$ 与不可约最高权模 $V(\theta,h)$ 或与 $\mathrm{Ind}_\theta(N)$（在 Virasoro 代数正部上局部有限）取张量积。
• 利用 Poincaré-Birkhoff-Witt 定理构造诱导模 $\mathrm{Ind}_{\theta,\lambda}(\mathbb{C}[t]_{\alpha,h,\mathbf{a}})$ 的基，并与张量积模的基进行比较。
• 定义从诱导模到张量积模的线性映射 $\phi$，并通过验证模同态性与双射性，证明其为 Virasoro 模同构。
• 利用已知的 $\Omega(\lambda,\alpha,h)$（当 $\deg(h)=1$ 且 $\alpha \neq 0$ 时）与 $V_{\mathbf{a},\theta}$（当 $a_{2n-1}^2 + a_{2n}^2 \neq 0$ 时）的不可约性判别准则，确定张量积的不可约性。
• 通过基元素上的全序关系证明同构映射 $\phi$ 的单射性，从而确保张量积模不可约当且仅当两个因子均不可约。

实验结果

研究问题

• RQ1 在何种条件下，张量积 $\Omega(\lambda,\alpha,h) \otimes V(\theta,h)$ 是不可约的？
• RQ2 在何种条件下，张量积 $\Omega(\lambda,\alpha,h) \otimes \mathrm{Ind}_\theta(N)$ 是不可约的？
• RQ3 两个此类张量积模同构的必要与充分条件是什么？
• RQ4 这些新张量积模是否同构于任何已知的不可约 Virasoro 模？
• RQ5 张量积模能否作为 Virasoro 代数子代数上的诱导模实现？

主要发现

• 张量积 $\Omega(\lambda,\alpha,h) \otimes V(\theta,h)$ 不可约当且仅当 $\deg(h) = 1$ 且 $\alpha \neq 0$，且 $V(\theta,h)$ 不可约。
• 张量积 $\Omega(\lambda,\alpha,h) \otimes \mathrm{Ind}_\theta(N)$ 不可约当且仅当 $\deg(h) = 1$，$\alpha \neq 0$，且 $a_{2n-1}^2 + a_{2n}^2 \neq 0$。
• 两个不可约张量积模 $\Omega(\lambda,\alpha,h) \otimes V(\theta,h)$ 同构当且仅当其参数 $\lambda, \alpha, h, \theta$ 满足由模结构导出的特定等价条件。
• 所构造的模与任何其他已知不可约 Virasoro 模都不同构，从而确立了其新颖性。
• 张量积模 $\Omega(\lambda,\alpha,h) \otimes V(\mathbf{a},\theta)$ 同构于诱导模 $\mathrm{Ind}_{\theta,\lambda}(\mathbb{C}[t]_{\alpha,h,\mathbf{a}})$，为这些模提供了新的实现方式。
• 从 $\mathrm{Ind}_{\theta,\lambda}(\mathbb{C}[t]_{\alpha,h,\mathbf{a}})$ 到 $\Omega(\lambda,\alpha,h) \otimes V(\mathbf{a},\theta)$ 的同构 $\phi$ 通过保持基、Virasoro-等变的映射建立，其单射与满射性通过单项式上的全序关系得到证明。