[论文解读] Fundaments of Quaternionic Clifford Analysis III: Fischer Decomposition in Symplectic Harmonic Analysis

Fred Brackx, Hennie De Schepper+3 more|arXiv (Cornell University)|Apr 14, 2014

Algebraic and Geometric Analysis参考文献 17被引用 3

一句话总结

本文在四元数超纯分析的 $$\mathbb{R}^{4p}$$ 设置中建立了复值多项式的Fischer分解，通过辛球谐函数将多项式空间分解为辛群Sp$(p)$的不可约模。关键结果识别出Howe对偶对为 $$\mathfrak{sl}(2,\mathbb{C})\oplus\mathfrak{sl}(2,\mathbb{C})\cong\mathfrak{so}(4,\mathbb{C})$$，导致多项式空间被分解为Verma模和有限维不可约模的无重数分解。

ABSTRACT

In the framework of quaternionic Clifford analysis in Euclidean space $\mathbb{R}^{4p}$, which constitutes a refinement of Euclidean and Hermitian Clifford analysis, the Fischer decomposition of the space of complex valued polynomials is obtained in terms of spaces of so--called (adjoint) symplectic spherical harmonics, which are irreducible modules for the symplectic group Sp$(p)$. Its Howe dual partner is determined to be $\mathfrak{sl}(2,\mathbb{C}) \oplus \mathfrak{sl}(2,\mathbb{C}) = \mathfrak{so}(4,\mathbb{C})$.

研究动机与目标

• 将Fischer分解理论推广至 $$\mathbb{R}^{4p}$$ 中的四元数超纯分析设置。
• 将复值多项式空间表征为辛群Sp$(p)$上的模。
• 识别 $$\mathfrak{sl}(2,\mathbb{C})\oplus\mathfrak{sl}(2,\mathbb{C})$$ 与Sp$(p)$在 $$\mathcal{P}(\mathbb{R}^{4p};\mathbb{C})$$ 上联合作用的Howe对偶对。
• 利用辛球谐函数和Verma模，提供多项式空间的无重数分解。

提出的方法

• 通过算子 $$X = \frac{1}{2}|\underline{z}|^2$$ 和 $$Y = -\frac{1}{2}\Delta_{4p}$$ 构造Fischer分解，它们生成与Sp$(p)$作用对偶的 $$\mathfrak{sl}(2,\mathbb{C})$$-作用。
• 辛球谐函数 $$\mathcal{H}^{S}_{a,b}$$ 被定义为具有最高权 $$(a+b,0,\ldots,0)_s$$ 的不可约Sp$(p)$-模。
• $$\mathcal{E}^\dagger$$ 的作用生成有限维 $$\mathfrak{sl}(2,\mathbb{C})$$-模 $$\mathbb{I}_{a,b}$$，而 $$X = \frac{1}{2}|\underline{z}|^2$$ 生成Verma模 $$\mathbb{I}^{\infty}_{a,b}$$。
• 分解被实现为所有 $$a \geq b \geq 0$$ 的直和，每个分量同构于 $$(\mathbb{I}^{\infty}_{a,b} \otimes \mathbb{I}_{a,b}) \otimes \mathbb{H}_{a,b}$$，其中 $$\mathbb{H}_{a,b}$$ 是不可约Sp$(p)$-模。
• 识别出Howe对偶对为 $$\mathfrak{sl}(2,\mathbb{C})\oplus\mathfrak{sl}(2,\mathbb{C})\cong\mathfrak{so}(4,\mathbb{C})$$，其生成元包括 $$\mathbb{E}_z + \mathbb{E}_z^\dagger + 2p$$，$$|\underline{z}|^2$$，和 $$\Delta_{4p}$$。
• 分解的三角形图反映了 $$\mathcal{E}^\dagger$$（水平方向）和 $$|\underline{z}|^2$$（垂直方向）的作用，当 $$a < b$$ 时方向反转。

实验结果

研究问题

• RQ1 如何将Fischer分解推广至 $$\mathbb{R}^{4p}$$ 中的四元数超纯分析设置？
• RQ2 多项式空间 $$\mathcal{P}(\mathbb{R}^{4p};\mathbb{C})$$ 作为辛群Sp$(p)$模的结构是什么？
• RQ3 $$\mathfrak{sl}(2,\mathbb{C})\oplus\mathfrak{sl}(2,\mathbb{C})$$ 与Sp$(p)$在该空间上联合作用的Howe对偶对是什么？
• RQ4 $$\mathcal{E}^\dagger$$ 和 $$|\underline{z}|^2$$ 如何生成多项式空间到不可约分量的分解？
• RQ5 在对偶对的联合作用下，$$\mathcal{P}(\mathbb{R}^{4p};\mathbb{C})$$ 的精确无重数分解是什么？

主要发现

• 复值多项式空间 $$\mathcal{P}(\mathbb{R}^{4p};\mathbb{C})$$ 在 $$\mathfrak{sl}(2,\mathbb{C})\oplus\mathfrak{sl}(2,\mathbb{C})$$ 与Sp$(p)$的联合作用下具有无重数分解。
• 分解形式为 $$\bigoplus_{a\geq b=0}^{\infty} (\mathbb{I}^{\infty}_{a,b} \otimes \mathbb{I}_{a,b}) \otimes \mathbb{H}_{a,b}$$，其中 $$\mathbb{I}^{\infty}_{a,b}$$ 是 $$\mathfrak{sl}(2,\mathbb{C})$$ 的最低权为 $$a+b+2p$$ 的Verma模。
• 有限维 $$\mathfrak{sl}(2,\mathbb{C})$$-模 $$\mathbb{I}_{a,b}$$ 的最高权为 $$a-b$$，由对奇异向量重复作用 $$\mathcal{E}^\dagger$$ 生成。
• 不可约Sp$(p)$-模 $$\mathbb{H}_{a,b}$$ 的最高权为 $$(a+b,0,\ldots,0)_s$$，长度为 $$p$$，其作为 $$(a,b)$$-齐次辛调和多项式空间实现。
• 识别出Howe对偶对为 $$\mathfrak{sl}(2,\mathbb{C})\oplus\mathfrak{sl}(2,\mathbb{C})\cong\mathfrak{so}(4,\mathbb{C})$$，其生成元包括 $$\mathbb{E}_z + \mathbb{E}_z^\dagger + 2p$$，$$|\underline{z}|^2$$，和 $$\Delta_{4p}$$。
• 分解通过三角形图可视化，水平箭头表示 $$\mathcal{E}^\dagger$$ 的作用，垂直箭头表示乘以 $$|\underline{z}|^2$$ 的作用，当 $$a < b$$ 时方向反转。