[论文解读] The algebra of differential operators for a gegenbauer weight matrix

Ignacio Zurrián|arXiv (Cornell University)|Jan 1, 2015

Advanced Algebra and Geometry参考文献 37被引用 6

一句话总结

本文研究与Gegenbauer矩阵权相关的微分算子代数 $\mathcal{D}(W)$，证明其由两个二阶算子生成，且同构于具有特定关系的自由代数。该代数的中心同构于一条奇异有理曲线的仿射代数，且 $\mathcal{D}(W)$ 是其中心上的有限生成无挠模，但不是投射模。

ABSTRACT

In this work we study in detail the algebra of differential operators $\mathcal{D}(W)$ associated with a Gegenbauer matrix weight. We prove that two second order operators generate the algebra, indeed $\mathcal{D}(W)$ is isomorphic to the free algebra generated by two elements subject to certain relations. Also, the center is isomorphic to the affine algebra of a singular rational curve. The algebra $\mathcal{\mathcal{D}}(W)$ is a finitely-generated torsion-free module over its center, but it is not at and therefore neither projective. After [Tir11], this is the second detailed study of an algebra $\mathcal{D}(W)$ and the first one coming from spherical functions and group representation theory.

研究动机与目标

• 分析与Gegenbauer矩阵权相关的微分算子代数 $\mathcal{D}(W)$ 的结构。
• 确定 $\mathcal{D}(W)$ 的生成元及其定义关系，特别识别出两个二阶算子作为生成元。
• 刻画 $\mathcal{D}(W)$ 的中心，并证明其同构于一条奇异有理曲线的仿射代数。
• 研究 $\mathcal{D}(W)$ 在其中心上的模论性质，特别是其无挠性与非投射性。
• 在球函数与群表示理论的背景下扩展对 $\mathcal{D}(W)$ 代数的研究，延续先前的工作。

提出的方法

• 使用表示论技术分析与矩阵权相关的微分算子。
• 识别出两个二阶微分算子作为 $\mathcal{D}(W)$ 的生成元。
• 建立生成元之间的代数关系，证明 $\mathcal{D}(W)$ 同构于具有这些关系的自由代数。
• 计算 $\mathcal{D}(W)$ 的中心，证明其同构于一条奇异有理曲线的仿射代数。
• 应用模论方法，证明 $\mathcal{D}(W)$ 是其中心上的有限生成无挠模。
• 以 [Tir11] 的结果为基础，将结论推广至Gegenbauer矩阵权的情形。

实验结果

研究问题

• RQ1 Gegenbauer矩阵权对应的微分算子代数 $\mathcal{D}(W)$ 的结构是什么？
• RQ2 哪些微分算子生成 $\mathcal{D}(W)$，它们满足何种代数关系？
• RQ3 $\mathcal{D}(W)$ 的中心如何与代数几何相关，特别是与奇异有理曲线的关系？
• RQ4 $\mathcal{D}(W)$ 是否是其中心上的投射模？如果不是，原因是什么？
• RQ5 该构造如何与球函数及群表示理论相关联？

主要发现

• 代数 $\mathcal{D}(W)$ 由两个二阶微分算子生成。
• 代数 $\mathcal{D}(W)$ 同构于两个生成元的自由代数模特定定义关系。
• $\mathcal{D}(W)$ 的中心同构于一条奇异有理曲线的仿射代数。
• $\mathcal{D}(W)$ 是其中心上的有限生成无挠模。
• 尽管无挠， $\mathcal{D}(W)$ 并非其中心上的投射模。
• 本工作是第二份对 $\mathcal{D}(W)$ 代数的详细研究，也是首份源于球函数与群表示理论的此类研究。