[论文解读] Projective Oscillator Representations of sl(n+1) and sp(2m+2)

Xiaoping Xu|arXiv (Cornell University)|Mar 28, 2014

Coding theory and cryptography参考文献 3被引用 3

一句话总结

本文通过在微分算子与乘法算子之间进行部分交换，将投影谐振子表示推广，构造了 $\mathfrak{sl}(n+1)$ 和 $\mathfrak{sp}(2m+2)$ 的新型多参数无限维不可约表示族。关键贡献在于在多项式代数与指数-多项式代数上显式实现不可约权模，扩展了 Howe 的谐振子构造，并为余离散模提供了新的实现方式。

ABSTRACT

The n-dimensional projective group gives rise to a one-parameter family of inhomogeneous first-order differential operator representations of sl(n+1). By partially swapping differential operators and multiplication operators, we obtain more general differential operator representations of sl(n+1). Letting these differential operators act on the corresponding polynomial algebra and the space of exponential-polynomial functions, we construct new multi-parameter families of explicit infinite-dimensional irreducible representations for s(n+1) and sp(2m+2) when n=2m+1. Our results can be viewed as extensions of Howe's oscillator construction of infinite-dimensional multiplicity-free irreducible representations for sl(n).

研究动机与目标

• 为 $\mathfrak{sl}(n+1)$ 和 $\mathfrak{sp}(2m+2)$ 显式构造无限维不可约表示，其中 $n = 2m+1$。
• 通过微分算子表示，将 Howe 对 $\mathfrak{sl}(n)$ 的谐振子构造推广至高秩李代数。
• 将余离散模自然实现为具有有限维权子空间的不可约权模。
• 通过部分交换微分算子与乘法算子，推广 $\mathfrak{sl}(n+1)$ 的单参数投影谐振子表示。
• 通过归纳法与换位子分析，确立在多项式与指数-多项式函数空间上的表示的不可约性。

提出的方法

• 通过在 $r \in S$ 上交换 $x_r \leftrightarrow \partial_{x_r}$，将 $\mathfrak{sl}(n+1)$ 的投影表示 $\pi_c$ 推广为 $\pi_{c,S}$，从而得到投影谐振子表示。
• 在空间 $\mathscr{A}_{\vec{a}} = \{ f e^{\vec{a} \cdot \vec{x}} \mid f \in \mathbb{F}[x_1,\dots,x_n] \}$ 上定义表示 $\pi_{c,S}^{\vec{a}}$，其中 $\mathscr{A}$ 为多项式代数。
• 通过多项式次数的归纳法，证明在 $\pi_{c,S}^{\vec{a}}$ 下，$\mathscr{A}_{\vec{a}}$ 作为 $\mathfrak{sp}(2m+2)$-模是不可约的。
• 应用换位子恒等式与微分算子关系，表明代数的生成元在 $\mathfrak{sp}(2m+2)$ 作用下保持不变。
• 利用 Howe 的谐振子理论与 theta 对应关系，将结果与无重表示及辛李代数联系起来。
• 通过总次数的滤子化与 $D = \sum x_s \partial_{x_s}$ 的作用，验证权子空间为有限维。

实验结果

研究问题

• RQ1 能否通过广义微分算子实现，构造 $\mathfrak{sl}(n+1)$ 和 $\mathfrak{sp}(2m+2)$ 的新无限维不可约表示？
• RQ2 微分算子与乘法算子的部分交换如何影响 $\mathfrak{sl}(n+1)$ 的谐振子表示结构？
• RQ3 在何种条件下，指数-多项式函数空间 $\mathscr{A}_{\vec{a}}$ 在 $\mathfrak{sp}(2m+2)$ 作用下是不可约的？
• RQ4 这些表示能否被视为 Howe 对 $\mathfrak{sl}(n)$ 的谐振子构造的扩展？
• RQ5 参数 $c$ 与子集 $S \subset \overline{1,n}$ 在决定不可约性与权子空间结构方面起什么作用？

主要发现

• 当 $n = 2m+1$ 时，$\mathscr{A}_{\vec{a}}$ 上的表示 $\pi_{c,S}^{\vec{a}}$ 作为 $\mathfrak{sp}(2m+2,\mathbb{F})$-模是不可约的。
• $\mathscr{A}_{\vec{a}}$ 在 $\pi_{c,S}^{\vec{0}}$ 下是具有有限维权子空间的无限维权模。
• 不可约性通过多项式次数的归纳法证明，表明所有单项式均可由一个非零向量生成。
• $\mathfrak{sp}(2m+2)$ 在 $\mathscr{A}_{\vec{a}}$ 上的作用保持总次数的滤子化，并通过微分算子生成所有分量。
• 该构造将单参数投影谐振子表示 $\pi_c$ 推广为多参数族 $\pi_{c,S}^{\vec{a}}$。
• 结果通过显式实现 $\mathfrak{sl}(n+1)$ 和 $\mathfrak{sp}(2m+2)$ 的余离散模，扩展了 Howe 的谐振子构造。