[논문 리뷰] Weyl Group Invariants and Application to Spherical Harmonic Analysis on Symmetric Spaces

Joseph A. Wolf, Wolf, Joseph A.|ArXiv.org|2009. 01. 29.

Algebraic and Geometric Analysis참고 문헌 18인용 수 7

한 줄 요약

이 논문은 고전적 리 군의 더 큰 대칭 공간에서 더 작은 대칭 공간으로의 와일 군 불변 다항식의 제약 사상이 전성임을 보장하는 조건을 설정한다. 특히 더 큰 대칭 대칭 대칭 공간이 더 작은 것의 연장임이 성립할 때 이를 다루며, 핵심 결과는 유한 차원 팔레이-위너 정리들을 무한 차원 컴팩트 대칭 공간의 직접 극한으로 확장하는 데 있다. 이는 정칙 함수의 $G_\infty$-등변 힐버트 공간 완비화를 통해 달성된다.

ABSTRACT

Polynomial invariants are fundamental objects in analysis on Lie groups and symmetric spaces. Invariant differential operators on symmetric spaces are described by Weyl group invariant polynomial. In this article we give a simple criterion that ensure that the restriction of invariant polynomials to subspaces is surjective. We apply our criterion to problems in Fourier analysis on projective/injective limits, specifically to theorems of Paley--Wiener type.

연구 동기 및 목표

• 더 큰 대칭 공간에서 더 작은 것으로의 와일 군 불변 다항식 제약 사상이 전성임을 보장하는 조건을 설정하는 것.
• 유한 차원 팔레이-위너 정리를 컴팩트 대칭 공간의 무한 차원 직접 극한으로 확장하는 것.
• 직접 극한 공간 $M_\infty$ 위의 정칙 함수에 대한 $G_\infty$-등변 힐버트 공간 완비화를 구성하는 것.
• 직접 체계에서 구면 함수와 부분 등거리사상 간의 불일치를 해결하기 위해 함수 공간의 구조를 새로운 전힐버트 공간 구조로 재정의하는 것.
• 연장에 의해 연결된 대칭 공간의 직접 체계 전반에 걸쳐 침습 반경이 일정함을 보여주어 팔레이-위너 정리에서 균일한 지지 조건을 가능하게 하는 것.

제안 방법

• 다이녹 다이어그램 확장을 통해 리 대수 $\mathfrak{g}_k$ 가 $\mathfrak{g}_n$ 의 연장임을 정의하여, 동일한 루트 체계 유형과 왼쪽 끝에서만 랭크가 증가함을 보장한다.
• 유형 $D$ 대수의 경우 홀수 부호 변경을 포함하는 확장된 와일 군 $\widetilde{W}(\mathfrak{g},\mathfrak{h})$ 를 정의하여 제약에 대한 호환성을 확보한다.
• 고전적 경우에서 $\widetilde{W}(\mathfrak{g}_k,\mathfrak{h}_k)$-불변 다항식이 $\widetilde{W}(\mathfrak{g}_n,\mathfrak{h}_n)$-불변 다항식으로 전성적으로 제약됨을 증명한다.
• 단위성을 유지하기 위해 스케일링을 포함한 $G_n$-등변 부분 등거리사상을 사용하여 힐버트 공간의 직접 체계 $\{L^2(M_n), L_{m,n}\}$ 를 구성한다.
• 직접 체계의 맵과 가 commutative하는 맵 $\eta_{n,\mu}$ 를 통해 직접 극한의 정칙 함수 $\mathcal{A}(M_\infty)$ 에 새로운 전힐버트 공간 구조를 정의한다.
• $\mathcal{A}(M_\infty)$ 를 $L^2(M_\infty)$ 로 $G_\infty$-등변 등거리 임베딩 $\widetilde{\eta}: \mathcal{A}(M_\infty) \to L^2(M_\infty)$ 를 구축하여 $\mathcal{A}(M_\infty)$ 의 힐버트 공간 완비화를 완성한다.

실험 결과

연구 질문

• RQ1 만약 $\mathfrak{g}_k$ 가 $\mathfrak{g}_n$ 의 연장이라면, $\mathfrak{h}_k$ 에서 $\mathfrak{h}_n$ 으로의 $W$-불변 다항식 제약 사상이 언제 전성인지?
• RQ2 유한 차원 컴팩트 대칭 공간에서의 팔레이-위너 정리는 어떻게 그들의 무한 차원 직접 극한으로 확장될 수 있는가?
• RQ3 표준적인 부분 등거리사상 $L_{m,n}$ 이 제약하에 구면 함수를 유지하지 못하는 이유는 무엇이며, 이를 어떻게 수정할 수 있는가?
• RQ4 확장된 와일 군 $\widetilde{W}(\mathfrak{g},\mathfrak{h})$ 는 연장에 따라 불변량의 호환성을 보장하는 데 어떤 역할을 하는가?
• RQ5 연장에 의해 형성된 대칭 공간의 직접 체계 전반에 걸쳐 침습 반경은 어떻게 행동하는가? 이는 푸리에 분석에서 지지 조건에 어떤 영향을 미치는가?

주요 결과

• 고전적 리 대수에서, 만약 $\mathfrak{g}_k$ 가 $\mathfrak{g}_n$ 의 연장이라면, $\widetilde{W}(\mathfrak{g}_k,\mathfrak{h}_k)$-불변 다항식은 $\widetilde{W}(\mathfrak{g}_n,\mathfrak{h}_n)$-불변 다항식으로 전성적으로 제약되며, 유형 $D$ 의 경우 확장된 와일 군이 필요하다.
• 연장에 의해 연결된 컴팩트 대칭 공간의 직접 체계 전반에 걸쳐 침습 반경이 일정하며, 이는 팔레이-위너 정리에서 균일한 지지 크기 조건을 가능하게 한다.
• 구면 함수 $\psi_{I,n}$ 은 표준적인 부분 등거리사상 $L_{m,n}$ 을 통해 앞으로 전달되지 않으며, $L_{m,n}(\psi_{I,n}) \neq \psi_{I,m}$ 이다. 이는 스케일링과 $K_n$-불변성의 유지 실패 때문이다.
• 직접 체계의 힐버트 공간 $\{L^2(M_n), L_{m,n}\}$ 과 직접 체계의 정칙 함수 $\{\mathcal{A}(M_n), \nu_{m,n}\}$ 간에 $\eta_{n,\mu}$, $\nu_{m,n,\mu}$, $L_{m,n,\mu}$ 를 포함한 가환 다이어그램을 통해 호환성이 확립된다.
• $\widetilde{\eta}: \mathcal{A}(M_\infty) \to L^2(M_\infty)$ 는 $G_\infty$-등변 등거리 임베딩이며, 그 이미지는 조밀하며, 이에 따라 $L^2(M_\infty)$ 는 $\mathcal{A}(M_\infty)$ 의 힐버트 공간 완비화가 된다.
• $L^2(M_\infty)$ 에서의 $G_\infty$ 의 왼쪽 정규 표현은 고유값이 $\xi_I = \sum k_r \xi_r$ 인 기약 표현 $\pi_I = \varinjlim \pi_{I,n}$ 의 다중도 없음 이산 직접 합으로 표현되며, 이는 $\pi_I$ 가 $\varinjlim \pi_{I,n}$ 이다.