[论文解读] Structure of polynomial representations for orthosymplectic Lie superalgebras

Cuiling Luo|arXiv (Cornell University)|Jan 20, 2010

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

一句话总结

本文通过在典范表示中交换玻色子乘法算子与微分算子，完全确定了正交辛李超代数 $\mathfrak{osp}(2m_1|2n)$ 的超对称多项式表示的结构。它识别出新的无穷维不可约表示以及不可约表示的新合成列，显著推进了这些复杂代数在数学物理中的理解。

ABSTRACT

Orthosymplectic Lie superalgebras are fundamental symmetries in modern physics, such as massive supergravity. However, their representations are far from being thoroughly understood. In the present paper, we completely determine the structure of their various supersymmetric polynomial representations obtained by swapping bosonic multiplication operators and differential operators in the canonical supersymmetric polynomial representations. In particular, we obtain certain new infinite-dimensional irreducible representations and new composition series of indecomposable representations for these algebras.

研究动机与目标

• 完全确定正交辛李超代数 $\mathfrak{osp}(2m_1|2n)$ 的超对称多项式表示的结构。
• 分析在典范超对称多项式表示中交换玻色子乘法算子与微分算子后得到的表示。
• 识别出新的无穷维不可约表示以及不可约表示的新合成列。
• 解决 $\mathfrak{osp}(2m_1|2n)$ 表示理论中长期存在的空白，特别是在典型模块与非完全可约结构的背景下。

提出的方法

• 在 $\mathcal{A} = \mathbb{C}[x_1,\dots,x_m,\theta_1,\dots,\theta_{2n}]$ 上构造 $\mathfrak{gl}(m|2n)$ 的超对称多项式表示，使用微分算子与乘法算子。
• 通过交换玻色子乘法算子与微分算子的角色，应用对偶变换以生成新表示。
• 利用权空间分解与最高权理论分析所得表示。
• 识别由特定单项式（如 $x_n^{m_1 - k}\theta_1\cdots\theta_{m_1}$）生成的循环子模，并证明其不可约性或不可约性。
• 利用正根空间 $\mathfrak{osp}(2m_1|2n)^+$ 的作用生成表示空间中的所有基向量。
• 使用显式算子作用，如 $E_{2m_1+1,2m_1+1+2n} + E_{2m_1+1+n,2m_1+1}$，关联单项式并证明其属于循环子模。

实验结果

研究问题

• RQ1 通过交换乘法算子与微分算子所获得的 $\mathfrak{osp}(2m_1|2n)$ 超对称多项式表示的完整结构是什么？
• RQ2 这些新表示是否产生了此前未知的无穷维不可约表示？
• RQ3 能否从这些变换后的表示中构造出不可约表示的新合成列？
• RQ4 与典范表示相比，交换表示中的权与最高权向量的行为如何？
• RQ5 由特定单项式（如 $x_n^{m_1 - k}\theta_1\cdots\theta_{m_1}$）生成的循环子模是否不可约或可约？

主要发现

• 本文通过在典范超对称多项式表示中交换算子，构造了 $\mathfrak{osp}(2m_1|2n)$ 的新无穷维不可约表示。
• 当 $k < m_1$ 时，由 $x_n^{m_1 - k}\theta_1\cdots\theta_{m_1}$ 生成的循环子模同构于 $\mathcal{A}'_k$，且不可约。
• 当 $k = m_1$ 时，由 $\theta_1\cdots\theta_{m_1}$ 生成的循环子模不可约，且等于 $\mathcal{A}'_{m_1}$。
• $\mathcal{A}'_k$ 被证明等于 $\mathcal{A}'_k$ 中任意非零 $f$ 生成的循环子模 $\langle f \rangle$，从而证明其不可约性。
• $\mathfrak{osp}(2m_1|2n)^+$ 在一般元素 $f = f_0 + f_1\theta_{2m_1+1}$ 上的作用确保 $\theta_1\cdots\theta_{m_1}$ 或相关单项式属于该子模，从而导出完全不可约性。
• 显式算子公式，如 $ (E_{2m_1+1,2m_1+1+2n} + E_{2m_1+1+n,2m_1+1})(x_n^{m_1-k+1}\theta_1\cdots\theta_{m_1}\theta_{2m_1+1}) $，可恢复低权单项式，确认子模的封闭性与不可约性。