[논문 리뷰] The bounded spherical functions for the free two step nilpotent Lie group

Véronique Fischer|arXiv (Cornell University)|2010. 12. 08.

Spectral Theory in Mathematical Physics인용 수 4

한 줄 요약

이 논문은 자유 두 단계 비아벨 리 군 $N_p$ 에서 옥타드럴 군 $O(p)$ 또는 $SO(p)$ 의 작용 하에 유계 구면 함수의 완전한 특성화를 표현 이론과 조화 분석을 통해 제공한다. 이 함수들의 명시적 표현을 유도하고, 코른 하위라플라시안에 대한 고유값을 계산하며, 반경 방향 플랑커렐 측도를 결정함으로써 $N_p$ 상의 $K$-불변 $L^2$ 함수에 대한 완전한 스펙트럼 분해를 제공한다. 결과는 히젠베르크 군과 같은 알려진 사례를 일반화하고 더 높은 계수의 자유 비아벨 군으로 확장한다.

ABSTRACT

In this paper, we give the expressions for the bounded spherical functions, or equivalently the spherical functions of positive type, for the free two-step nilpotent Lie groups endowed with the actions of orthogonal groups or their special subgroups. Next we deduce some results about the (Kohn) sub-Laplacian, and we compute the radial Plancherel measure.

연구 동기 및 목표

• 자유 두 단계 비아벨 리 군 $N_p$ 에서 $O(p)$ 또는 $SO(p)$ 의 작용 하에 모든 유계 구면 함수에 대한 완전하고 엄밀한 유도를 제공함으로써 히젠베르크 군의 경우에 알려진 결과를 확장한다.
• 이 구면 함수에 작용하는 코른 하위라플라시안의 고유값을 계산한다.
• $K$-불변 함수에 대한 반경 방향 플랑커렐 측도를 결정함으로써 게르판트 쌍의 맥락에서 스펙트럼 분해를 가능하게 한다.
• 구면 함수, 라거르 및 에르미트 함수, 그리고 유도 표현을 통한 $N_p$ 의 표현 이론 간의 연결 고리를 설정한다.

제안 방법

• Gelfand 쌍 $(N_p, O(p))$ 의 구조를 이용하여, $O(p)$ 내의 안정자 부분군의 기약 표현에서 유도 표현 $\Pi_{r,\Lambda,l}$ 을 통해 유계 구면 함수를 구성한다.
• 표준 실현 $\mathcal{N}_p = \mathcal{V} \oplus \mathcal{Z}$ 를 사용하며, 여기서 $\mathcal{V} \cong \mathbb{R}^p$, $\mathcal{Z} \cong \mathfrak{so}(p)$ 이고, 리 괄호는 $[X,Y](V) = \langle X,V\rangle Y - \langle Y,V\rangle X$ 로 정의한다.
• 구면 함수 $\phi^{r,\Lambda,l}$ 를 표현 $\Pi_{r,\Lambda,l}$ 의 행렬 계수로 표현하며, 라거르 및 에르미트 함수의 정규 직교 기저를 사용한다.
• 미분 표현 $d\Pi(L)$ 를 통해 코른 하위라플라시안 $L = -\sum_{i=1}^p X_i^2$ 이 이 함수들에 작용하는 방식을 계산하여 고유값 $\sum_{j=1}^{p_1} \lambda_j(2l_j + m_j) + r^2$ 을 도출한다.
• 반경 방향 플랑커렐 측도 $m^\natural$ 을 $\mathcal{L}$ 상의 $\eta'$, $\mathbb{N}^{p'}$ 상의 수세기 측도, $\mathbb{R}^+$ 상의 $\tau$ 의 텐서곱으로 유도하며, 정규화 상수 $c(p)$ 를 포함한다.
• 반대칭 행렬의 극분해와 측도 $d\eta$ 가 $O(p)$ 에 대해 불변임을 이용하여 플랑커렐 공식을 정당화한다.

실험 결과

연구 질문

• RQ1 자유 두 단계 비아벨 리 군 $N_p$ 에서 $O(p)$ 또는 $SO(p)$ 의 작용 하에 유계 구면 함수의 완전한 표현은 무엇인가?
• RQ2 구면 함수는 $N_p$ 상의 코른 하위라플라시안의 고유함수와 어떻게 관련이 있는가?
• RQ3 게르판트 쌍 $(N_p, O(p))$ 에서 $K$-불변 함수에 대한 반경 방향 플랑커렐 측도는 무엇인가?
• RQ4 구면 함수와 관련 측도를 통해 $L^2(N_p)$ 의 스펙트럼 분해는 어떻게 실현될 수 있는가?

주요 결과

• 유계 구면 함수 $\phi^{r,\Lambda,l}$ 는 유도 표현 $\Pi_{r,\Lambda,l}$ 의 행렬 계수로 명시적으로 주어지며, 여기서 $r \in \mathbb{R}^+$, $\Lambda \in \mathcal{L}$, $l \in \mathbb{N}^{p'}$ 이다.
• 코른 하위라플라시안 $L$ 은 $\phi^{r,\Lambda,l}$ 에 대해 고유값 $\sum_{j=1}^{p_1} \lambda_j(2l_j + m_j) + r^2$ 을 갖는다. 여기서 $\lambda_j$ 는 반대칭 행렬 $A$ 의 양의 고유값이고, $m_j$ 는 $\lambda_j$ 의 중복도이다.
• 반경 방향 플랑커렐 측도 $m^\natural$ 은 $\mathcal{L}$ 상의 측도 $\eta'$, $\mathbb{N}^{p'}$ 상의 수세기 측도, $\mathbb{R}^+$ 상의 $\tau$ 의 곱이며, 정규화 상수 $c(p)$ 를 포함한다. 이 측도는 $K$-불변인 $\psi \in L^2(N)$ 에 대해 $\|\psi\|^2_{L^2(N)} = \int |\langle \psi, \phi^{r,\Lambda,l} \rangle|^2 dm^\natural(r,\Lambda,l)$ 를 만족한다.
• 비반경 방향 플랑커렐 측도 $m$ 은 $O(p)$ 상의 호르 메질 $dk$, $\mathcal{L}$ 상의 $\eta'$, $\mathbb{R}^+$ 상의 $\tau$ 의 텐서곱이며, 정규화 상수 $c(p)$ 를 포함한다. 이 측도는 $L^2(N)$ 의 전체 플랑커렐 공식을 만족한다.
• 측도 $d\eta(\Lambda)$ 는 $p=2p'$ 이면 $c \prod_{j<k} (\lambda_j^2 - \lambda_k^2)^2 d\Lambda$, $p=2p'+1$ 이면 $c \prod_i \lambda_i^2 \prod_{j<k} (\lambda_j^2 - \lambda_k^2)^2 d\Lambda$ 로 정의되며, 이는 $\mathcal{A}_p$ 의 극분해를 보장한다.
• 유도 표현을 통한 구성과 라거르 및 에르미트 함수의 사용은 $N_p$ 상의 $K$-불변 함수에 대한 완전하고 명시적인 스펙트럼 이론을 제공하며, 히젠베르크 군의 경우를 일반화한다.