[论文解读] Singular conformally invariant trilinear forms and covariant differential operators on the sphere

Jean-Louis Clerc|arXiv (Cornell University)|Feb 9, 2011

Advanced Algebra and Geometry参考文献 9被引用 4

一句话总结

该论文通过取解析族的极点残数，利用 $|x-y|^s$ 分布的梅雷罗姆延拓所导出的协变微分算子，构造了球面 $S^{n-1}$ 上新的共形不变三线性型。关键贡献在于识别出这些残数为在参数空间中三族极点处的奇异不变型，其支撑于低维子流形上，尤其在参数空间中四族极点里的三族中表现显著。

ABSTRACT

Let $G=SO_0(1,n)$ be the conformal group acting on the $(n-1)$ dimensional sphere $S$, and let $(\\pi_\\lambda)_{\\lambda\\in \\mathbb C}$ be the spherical principal series. For generic values of $\\boldsymbol \\lambda =(\\lambda_1,\\lambda_2,\\lambda_3)$ in $\\mathbb C^3$, there exits a (essentially unique) trilinear form on $\\mathcal C^\\infty(S)\ imes \\mathcal C^\\infty(S)\ imes \\mathcal C^\\infty(S)$ which is invariant under $\\pi_{\\lambda_1}\\otimes \\pi_{\\lambda_2}\\otimes \\pi_{\\lambda_3}$. Using differential operators on the sphere $S$ which are covariant under the conformal group $SO_0(1,n)$, we construct new invariant trilinear forms corresponding to singular values of $\\boldsymbol \\lambda$. The family of generic invariant trilinear forms depend meromorphically on the parameter $\\boldsymbol \\lambda$ and the new forms are shown to be residues of this family.

研究动机与目标

• 将球面 $S^{n-1}$ 上共形不变三线性型的理论从一般参数扩展至谱参数的奇异值。
• 通过解析族的残数，在奇异参数值处构造新的不变三线性型。
• 刻画这些奇异型的几何与分析结构，特别是其支撑性与协变微分算子的依赖关系。
• 通过分析 $S \times S$ 上分布 $|x-y|^s$ 的极点与残数，系统地构造这些型。

提出的方法

• 利用 $S \times S$ 上分布 $|x-y|^s$ 的梅雷罗姆延拓，其在 $s = -(n-1) - 2k$（$k \in \mathbb{Z}$）处具有单极点，从而构造协变微分算子。
• 依赖 $SO_0(1,n)$ 的球面主系列表示 $\pi_\lambda$，定义 $\mathcal{C}^\infty(S)^3$ 上的解析族三线性型 $\mathcal{K}_{\boldsymbol{\alpha}}$。
• 对解析族 $\mathcal{K}_{\boldsymbol{\alpha}}$ 在 $\alpha_3 = -\rho - 2k$ 对应的极点处应用残数计算，得到新的不变三线性型。
• 利用 $|x-y|^s$ 在 $s = -(n-1) - 2k$ 处的残数为 $k$ 阶协变微分算子 $R_k$ 的倍数这一事实。
• 通过证明这些型为某一致不变解析族的残数，建立其在 $SO_0(1,n)$ 作用下的不变性。
• 通过解析延拓与积分号下微分，验证残数型与含 $R_k$ 及核函数的表达式相等。

实验结果

研究问题

• RQ1 如何将共形不变三线性型从球面上的一般参数扩展至奇异参数值？
• RQ2 作为三线性型解析族残数的奇异不变型，其几何与分析性质为何？
• RQ3 球面上的协变微分算子与分布 $|x-y|^s$ 的极点之间有何关系？
• RQ4 在参数空间 $\mathbb{C}^3$ 中，哪些极点族会产生定义良好且非对角的奇异不变型？
• RQ5 三线性型解析族 $\mathcal{K}_{\boldsymbol{\alpha}}$ 的残数与 $R_k$ 对函数与核的乘积作用之间的确切关系为何？

主要发现

• 新构造的三线性型为解析族 $\mathcal{K}_{\boldsymbol{\alpha}}$ 在 $\alpha_3 = -\rho - 2k$ 对应极点处的残数，且在共形群 $SO_0(1,n)$ 作用下不变。
• 这些残数型的支撑位于 $S \times S \times S$ 的低维子流形上，尤其避开对角线，且与四族极点中的三族相关。
• $\alpha_3 = -\rho - 2k$ 处的残数由含 $k$ 阶协变微分算子 $R_k$ 作用于函数与核 $|x_3 - x_1|^{-\rho + \alpha_2}$ 乘积的积分表达式给出。
• 通过解析延拓与积分号下微分，证明残数型等于一个含 $R_k$ 的分布积分，条件为 $\alpha_1, \alpha_2$ 的实部充分大。
• $\mathcal{K}_{\boldsymbol{\alpha}}(1,1,1)$ 的残数在 $\alpha_3 = -\rho - 2k$ 处为 $\Gamma$-函数的有理函数，其在 $\alpha_1 + \alpha_2 = 2k - 2l$（$l \in \mathbb{Z}$）处具有单极点。
• 残数型本质上唯一且共形不变，其显式表达式由 $R_k$ 算子与核分布的结构导出。