[논문 리뷰] Singular conformally invariant trilinear forms and covariant differential operators on the sphere

Jean-Louis Clerc|arXiv (Cornell University)|2011. 02. 09.

Advanced Algebra and Geometry참고 문헌 9인용 수 4

한 줄 요약

이 논문은 $S^{n-1}$ 위의 새로운 등각 불변 삼중선형 형식을 구성한다. 이는 $|x-y|^s$ 분포의 유리형 계속화로부터 유도된 공변 미분 연산자를 사용하여, 일반 매개수의 삼중선형 형식의 유리형 가중가족의 잔여치를 취하는 방식이다. 주요 기여는 매개수 공간 내 네 가족의 극 중 세 가지만이 하위다양체에 지지된 특이 불변 형식으로 나타남을 규명한 것이다.

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}$ 위에서 특이 값으로 확장한다.
• 일반 형식의 유리형 가중가족의 잔여치를 이용하여 특이 매개수 값에서 새로운 불변 삼중선형 형식을 구성한다.
• 이러한 특이 형식의 기하학적 및 해석적 구조, 특히 그 지지집합과 공변 미분 연산자에 대한 의존성에 대해 규명한다.
• 분포 $|x-y|^s$ 의 극과 잔여치를 분석하여 이러한 형식의 체계적인 구성 방법을 제공한다.

제안 방법

• 분포 $|x-y|^s$ 가 $S \times S$ 에서 유리형 계속화되며, $k \in \mathbb{Z}$ 에 대해 $s = -(n-1) - 2k$ 에서 단순 극을 가짐을 이용하여 공변 미분 연산자를 구성한다.
• SO_0(1,n) 의 구면 주요계열 표현 $\pi_\lambda$ 이론을 활용하여 $\mathcal{C}^\infty(S)^3$ 위의 삼중선형 형식 $\mathcal{K}_{\boldsymbol{\alpha}}$ 의 유리형 가중가족을 정의한다.
• 매개수 $\alpha_3 = -\rho - 2k$ 에 해당하는 극에서 유리형 가중가족 $\mathcal{K}_{\boldsymbol{\alpha}}$ 에 대한 잔여치 계산을 통해 새로운 불변 삼중선형 형식을 도출한다.
• 분포 $|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$ 가 함수의 곱과 커널에 작용하는 것 사이의 정확한 관계는 무엇인가?

주요 결과

• 신규로 구성된 삼중선형 형식은 $\alpha_3 = -\rho - 2k$ 에 해당하는 유리형 가중가족 $\mathcal{K}_{\boldsymbol{\alpha}}$ 의 잔여치로 얻어지며, 등각군 $SO_0(1,n)$ 에 대해 불변이다.
• 이 잔여치 형식은 $S \times S \times S$ 의 저차원 부분다양체에 지지되어 있으며, 특히 대각선을 피하고, 네 가족의 극 중 세 가족에서 기인한다.
• $\alpha_3 = -\rho - 2k$ 에서의 잔여치는 함수의 곱과 커널 $|x_3 - x_1|^{-\rho + \alpha_2}$ 에 작용하는 $k$-번째 순서의 공변 미분 연산자 $R_k$ 를 포함한 적분 표현식으로 주어진다.
• 해석적 계속화와 적분 기호 아래에서의 미분을 통해, 잔여치 형식이 $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$ 연산자의 구조와 커널 분포로부터 유도된 명시적 표현식을 갖는다.