[논문 리뷰] Spherical Functions: The Spheres Vs. The Projective Spaces

Juan Tirao, Ignacio Zurrián|arXiv (Cornell University)|2012. 06. 29.

Mathematics and Applications참고 문헌 6인용 수 4

한 줄 요약

이 논문은 n-구면체 $S^n \simeq \mathrm{SO}(n+1)/\mathrm{SO}(n)$ 상의 기약 구면 함수와 실수 사영 공간 $\mathbb{R}P^n \simeq \mathrm{SO}(n+1)/\mathrm{O}(n)$ 상의 기약 구면 함수 사이에 정확한 대응 관계를 설정한다. 홀수 $n$인 경우, $S^n$ 상의 함수 쌍을 통해 $\mathbb{R}P^n$ 상의 구면 함수가 명시적인 행렬 구조를 통해 연결되며, 짝수 $n$인 경우 구면 함수가 직접적으로 일치한다. 핵심 결과는 한 공간의 모든 구면 함수를 결정하는 것이 다른 공간의 구면 함수를 결정하는 것과 동치라는 것이다.

ABSTRACT

In this paper we establish a close relationship between the spherical functions of the $n$-dimensional sphere $S^n\simeq\SO(n+1)/\SO(n)$ and the spherical functions of the $n$-dimensional real projective space $P^n(\mathbb{R})\simeq\SO(n+1)/\mathrm{O}(n)$. In fact, for $n$ odd a function on $\SO(n+1)$ is an irreducible spherical function of some type $π\in\hat\SO(n)$ if and only if it is an irreducible spherical function of some type $γ\in\hat {\mathrm{O}}(n)$. When $n$ is even this is also true for certain types, and in the other cases we exhibit a clear correspondence between the irreducible spherical functions of both pairs $(\SO(n+1),\SO(n))$ and $(\SO(n+1),\mathrm{O}(n))$. Summarizing, to find all spherical functions of one pair is equivalent to do so for the other pair.

연구 동기 및 목표

• n-구면체 $S^n = \mathrm{SO}(n+1)/\mathrm{SO}(n)$ 와 실수 사영 공간 $\mathbb{R}P^n = \mathrm{SO}(n+1)/\mathrm{O}(n)$ 상의 구면 함수 간의 관계를 명확히 하기.
• 구면 함수의 유형 $\pi \in \hat{\mathrm{SO}}(n)$ 이 $S^n$ 상에서 $\mathrm{SO}(n)$-유형으로, $\gamma \in \hat{\mathrm{O}}(n)$ 이 $\mathbb{R}P^n$ 상에서 $\mathrm{O}(n)$-유형으로 일치하는 조건을 규명하기.
• 홀수 $n$ 이고 일반적인 경우, $(\mathrm{SO}(n+1), \mathrm{O}(n))$-유형의 기약 구면 함수와 $(\mathrm{SO}(n+1), \mathrm{SO}(n))$-유형의 함수 쌍 사이의 명시적 대응 관계를 구축하기.
• 대칭 공간 하나에서의 구면 함수를 구하는 것이 다른 곳에서의 구면 함수를 구하는 것과 동치임을 보이며, 표현 이론과 특성 이론을 활용하기.

제안 방법

• 콤��� 부분군 위의 특성 $\chi_\delta$ 와 Haar 측도를 포함하는 적분 방정식을 이용해 정의된 행렬 값 구면 함수 이론을 사용하기.
• $\mathrm{SO}(n)$ 과 $\mathrm{O}(n)$ 의 기약 표현의 분류를 적용하며, 특히 반사 $a$ 를 통한 공액 작용을 통해 $\mathrm{SO}(n)$ 의 표현이 $\mathrm{O}(n)$ 으로 어떻게 확장되는지에 초점하기.
• $\mathrm{SO}(n+1)$ 상에서 새로운 구면 함수 $\Phi^{\tau,\gamma}$ 를 $\Phi^{\tau,\pi}$ 와 $\Phi^{\tau,\pi_\phi}$ 를 조합한 $2 \times 2$ 블록 행렬로 구성하기. 여기서 $\pi_\phi$ 는 $a$ 에 의한 공액 표현이다.
• $\mathrm{SO}(n)$-모듈로로 $\tau(a)V_\pi \simeq V_{\pi_\phi}$ 임을 이용해, $V_\pi \oplus \tau(a)V_\pi$ 상의 유도 표현 $\gamma$ 가 기약이면서 $\mathrm{O}(n)$-유형 $\gamma$ 와 동치임을 보이기.
• $\cos(2\theta(g)) = \cos(\theta'(g))$ 를 이용해 $S^n$ 과 $\mathbb{R}P^n$ 상의 지구형 구면 함수를 연결하여, $\varphi_{2j} = \phi_j$ 가 $\mathrm{SO}(n+1)$ 상의 함수로 일치함을 보이기.
• 특히 $P_{2k}^{(\alpha,\alpha)}(x) = c_k P_k^{(\alpha,-1/2)}(2x^2 - 1)$ 와 같은 알려진 잰비 다항식 항등식을 적용해, 두 공간 상의 지구형 구면 함수의 수직 다항식 표현 간의 관계를 규명하기.

실험 결과

연구 질문

• RQ1 $(\mathrm{SO}(n+1), \mathrm{SO}(n))$-유형의 기약 구면 함수와 $(\mathrm{SO}(n+1), \mathrm{O}(n))$-유형의 기약 구면 함수 사이의 관계는 무엇인가?
• RQ2 구면 함수가 $S^n$ 과 $\mathbb{R}P^n$ 상에서 언제 일치하는가?
• RQ3 기약 구면 함수의 $\mathrm{O}(n)$-유형과 $\mathrm{SO}(n)$-유형의 함수 쌍 사이의 명시적 행렬 구조는 무엇인가?
• RQ4 지구형 구면 함수의 수직 다항식 표현을 통해 $S^n$ 과 $\mathbb{R}P^n$ 상의 구면 함수는 어떻게 관련되어 있는가?
• RQ5 $\mathbb{R}P^n$ 상의 전체 구면 함수 집합은 체계적인 표현 이론적 절차를 통해 $S^n$ 상의 함수로부터 재구성될 수 있는가?

주요 결과

• 짝수 $n$ 인 경우, $\mathrm{SO}(n+1)$ 상의 함수가 $\pi \in \hat{\mathrm{SO}}(n)$-유형의 기약 구면 함수일 조건은, 어떤 $\gamma \in \hat{\mathrm{O}}(n)$-유형의 기약 구면 함수일 조건과 정확히 일치한다.
• 홀수 $n$ 인 경우, $\mathrm{O}(n)$-유형 $\gamma$ 의 구면 함수는 반사 $a \in \mathrm{O}(n) \setminus \mathrm{SO}(n)$ 에 의한 공액 표현 $\pi_\phi$ 와 $\mathrm{SO}(n)$-유형 $\pi$ 의 구면 함수를 조합한 $2 \times 2$ 블록 행렬로 구성된다.
• $\Phi^{\tau,\gamma}(g)$ 의 구체적 표현은 행렬 $\begin{pmatrix} \Phi^{\tau,\pi}(g) & \Phi^{\tau,\pi}(ga) \\ \Phi^{\tau,\pi_\phi}(ga) & \Phi^{\tau,\pi_\phi}(g) \end{pmatrix}$ 로 주어지며, 이는 구면 함수의 정의 함수 방정식을 만족한다.
• $S^n$ 과 $\mathbb{R}P^n$ 상의 지구형 구면 함수는 $\varphi_{2j}^{*}(\theta) = \phi_j^{*}(\theta')$ 로 관련되며, 여기서 $\theta \in [0, \pi/2]$ 에 대해 $\theta' = 2\theta$ 이고 $\cos(2\theta) = \cos(\theta')$ 이다.
• $P_{2k}^{(\alpha,\alpha)}(\cos\theta) = c_k P_k^{(\alpha,-1/2)}(\cos(2\theta))$ 라는 항등식을 통해 $\varphi_{2j} = \phi_j$ 가 $\mathrm{SO}(n+1)$ 상의 함수로 일치함을 보이며, 이는 $\mathbb{R}P^n$ 상의 모든 지구형 구면 함수가 짝수 인덱스를 가진 $S^n$ 상의 지구형 함수로 나타남을 시사한다.
• 결과적으로 $S^n$ 상의 모든 구면 함수를 결정하는 것은 $\mathbb{R}P^n$ 상의 모든 구면 함수를 결정하는 것과 동치이며, 이 대응 관계는 이분법적이며 명시적으로 구성 가능하다.