[論文レビュー] 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}$ 上の新しい共形不変な3次形式を構成する。この形式は、一般の3次形式のメロモルフィック族の留数として得られ、共形微分作用素を用いて導出される。主な貢献は、パrameter空間内の4つの極のうち3つの族に対応する、低次元部分多様体に台を持つ特異な不変形式としてこれらの留数を同定することにある。

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.

研究の動機と目的

• 球面上の共形不変3次形式の理論を、一般パラメータにとどまらず、スペクトルパラメータの特異値に対しても拡張すること。
• 一般形式のメロモルフィック族の留数を用いて、特異パラメータ値における新しい不変3次形式を構成すること。
• これらの特異形式の幾何学的・解析的構造、特にその台と共形微分作用素への依存性を特定すること。
• 球面 $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}}$ として3次形式を定義する。
• $\alpha_3 = -\rho - 2k$ に対応する極における $\mathcal{K}_{\boldsymbol{\alpha}}$ の留数計算を適用し、新たな不変3次形式を得る。
• 分布 $|x-y|^s$ の $s = -(n-1) - 2k$ における留数が、$k$ 階の共形微分作用素 $R_k$ の定数倍であるという事実を用いる。
• 不変性を示すために、これらの形式が不変なメロモルフィック族の留数として生じることを示し、$SO_0(1,n)$ の作用に関して不変であることを確立する。
• 十分に大きな $\alpha_1, \alpha_2$ の実部に対して、積分記号下での微分と解析接続を用いて、留数形式が $R_k$ とカーネル関数を含む表現と等価であることを検証する。

実験結果

リサーチクエスチョン

• RQ1 球面上の共形不変3次形式は、一般パラメータから特異パラメータ値へどのように拡張可能か？
• RQ2 メロモルフィック族の3次形式の留数として生じる特異不変形式の幾何学的・解析的性質は何か？
• RQ3 球面上の共形微分作用素は、分布 $|x-y|^s$ の極とどのように関係しているか？
• RQ4 $\mathbb{C}^3$ のパラメータ空間におけるどの極の族が、定義された非対角の特異不変形式を生じるか？
• RQ5 メロモルフィック族 $\mathcal{K}_{\boldsymbol{\alpha}}$ の留数と、$R_k$ が関数の積とカーネルに作用する関係の正確な関係は何か？

主な発見

• 新しい3次形式は、$\alpha_3 = -\rho - 2k$ に対応する $\mathcal{K}_{\boldsymbol{\alpha}}$ の留数として構成され、共形群 $SO_0(1,n)$ に関して不変である。
• これらの留数形式は、$S \times S \times S$ の低次元部分多様体に台を持つ。特に、対角を避ける特徴があり、パrameter空間内の4つの極の族のうち3つに対応する。
• $\alpha_3 = -\rho - 2k$ における留数は、$k$ 階の共形微分作用素 $R_k$ が関数の積とカーネル $|x_3 - x_1|^{-\rho + \alpha_2}$ に作用する積分表現で与えられる。
• 十分に大きな $\alpha_1, \alpha_2$ の実部に対して、解析接続と積分記号下での微分を用いて、留数形式が $R_k$ を含む分布的積分と等価であることが示された。
• $\mathcal{K}_{\boldsymbol{\alpha}}(1,1,1)$ は、$\alpha_1 + \alpha_2 = 2k - 2l$（$l \in \mathbb{Z}$）に沿って単純極を持つ $\Gamma$-関数の有理関数としての留数を持つ。
• 留数形式は本質的に一意的であり、共形不変である。明示的な表現は、$R_k$ 作用素とカーネル分布の構造から導出された。