[논문 리뷰] Harmonic analysis on real reductive symmetric spaces

Patrick Delorme|ArXiv.org|2003. 04. 22.

Advanced Algebra and Geometry참고 문헌 28인용 수 15

한 줄 요약

이 논문은 재수정된 리 군 $G$와 그의 고정점의 열린 부분군 $H$로 구성된 실수 재수정 대칭 공간 $G/H$에 대해 $L^2(G/H)$의 스펙트럼 분해를 확립한다. 아이젠스타인 적분, 잘라내기 기법, 해석 continuation을 사용하여, 온전한 $L^2$-전개가 불변 미분 연산자의 공통 고유함수들로 표현되는 플랑커엘 공식이 성립함을 증명한다. 이는 온도 함수에 대한 직교 프로젝션을 통해 이루어진다.

ABSTRACT

Let $G$ be a reductive group in the Harish-Chandra class e.g. a connected semisimple Lie group with finite center, or the group of real points of a connected reductive algebraic group defined over $\R$. Let $σ$ be an involution of the Lie group $G$, $H$ an open subgroup of the subgroup of fixed points of $σ$. One decomposes the elements of $L^2(G/H)$ with the help of joint eigenfunctions under the algebra of left invariant differential operators under $G$ on $G/H$.

연구 동기 및 목표

• 실수 재수정 대칭 공간 $G/H$에서 $L^2(G/H)$의 스펙트럼 분해 문제를 해결한다. 여기서 $G$는 재수정 리 군이고, $H$는 치환 $σ$의 고정점의 열린 부분군이다.
• 왼쪽 정규 표현에 대한 $G$의 플랑커엘 공식을 수립한다. 이는 $L^2(G/H)$에서의 표현을 기약 유니터리 표현들의 힐버트 적분으로 분해한다.
• 디랙 측도 $eH$를 $H$-고정 분포 벡터로 분해하여 푸리에 역공식을 도출한다.
• 실수 재수정 대칭 공간의 맥락에서 아이젠스타인 적분 이론과 그 해석 continuation을 일반화하여, 군과 리만 기하학의 경우에서의 결과를 확장한다.
• 스웨츠 공간 ${\cal C}(G/H,\tau)$ 내의 $\tau$-구면 함수 공간이 온도 고유함수로의 자연스러운 분해를 갖는다는 것을 증명하며, 이는 완전한 스펙트럼 분해를 이끈다.

제안 방법

• 재수정 리 군 $G$의 $\sigma\theta$-안정 파라보릭 부분군 $P$에 대해, 장그랜드의 $\sigma$-분해 $P = M_P A_P N_P$ 를 사용한다. 여기서 $A_P$ 는 $\sigma(a) = a^{-1}$ 로 정의된다.
• 잘라내기 기법을 적용하여 잘라낸 아이젠스타인 적분과 그 내적을 정의함으로써 수렴성과 스펙트럼 분석을 가능하게 한다.
• C-함수 이론과 상수항 전개를 사용하여 아이젠스타인 적분의 행동과 그 해석 continuation을 분석한다.
• 플렌스테드-존슨 이중성과 오시마 및 마츠키의 결과를 활용하여, $G/H$에서의 이산 계열을 유도 표현과 연결하고 온도 스펙트럼을 제어한다.
• 다음과 같은 프로젝션 연산자 $\mathcal{P}_\tau = \sum_{P \in \mathbb{F}} (W(\mathfrak{a}_P))^{-1} \mathcal{I}_P^0 \mathcal{F}_P^0$ 를 구성한다. 여기서 $\mathbb{F}$ 는 파라보릭 부분군의 $\sigma$-관련 클래스의 대표원 집합이다.
• 플랑커엘 조건의 지지집합에 관한 버너스타인의 결과와 슈라이크루르의 최소 $K$-형태에 관한 결과를 적용하여, 온도성과 스펙트럼 분해를 증명한다.

실험 결과

연구 질문

• RQ1 실수 재수정 대칭 공간에서 $L^2(G/H)$의 스펙트럼 분해는 $\mathbb{D}(G/H)$의 공통 고유함수들로 달성될 수 있는가? 여기서 $\mathbb{D}(G/H)$ 는 $G/H$ 위의 좌이항 미분 연산자 대수이다.
• RQ2 플랑커엘 공식이 $G$의 $L^2(G/H)$에서 성립하는가? 그리고 기약 유니터리 표현들의 명시적 분해가 가능한가? 이 과정에 관여하는 플랑커엘 측도는 무엇인가?
• RQ3 푸리에 역공식은 $eH$에서의 디랙 측도를 스펙트럼 분해 내의 $H$-고정 분포 벡터로 분해함으로써 실현될 수 있는가?
• RQ4 비리만 대칭, 비군의 경우에서 아이젠스타인 적분과 그 잘라낸 형태는 어떻게 행동하는가? 그리고 $L^2$-전개에서 이들의 역할은 무엇인가?
• RQ5 프로젝션 연산자 $\mathcal{P}_\tau$ 가 $\tau$-구면 스웨츠 함수 공간 위에서 항등 연산자인가? 이는 완전한 스펙트럼 분해를 의미하는가?

주요 결과

• 스웨츠 함수 공간 $\mathcal{C}(G/H,\tau)$ 위에 정의된 프로젝션 연산자 $\mathcal{P}_\tau$ 는 $L^2$ 스칼라곱에 관해 직교 프로젝션이다.
• 정리 10은 $\mathcal{P}_\tau$ 가 $\mathcal{C}(G/H,\tau)$ 위에서 항등 연산자임을 증명한다. 이는 이 공간의 모든 함수가 정규화된 아이젠스타인 적분들의 웨이브 팩터 전개를 갖는다는 것을 의미한다.
• 스펙트럼 분해는 $\mathbb{D}(G/H)$의 공통 고유함수들을 통해 완전히 실현되며, 플랑커엘 공식은 온도 표현에 대한 적분으로 $L^2$-노름을 표현한다.
• $\mathcal{A}_2(G/H,\tau)$ 는 제곱-integrable $\tau$-구면 함수들의 공간으로, 유한차원임을 확인함으로써, 플렌스테드-존슨 이중성과 오시마-마츠키 결과를 통해 $G/H$에 대한 이산 계열 이론이 확인된다.
• 플랑커엘 조건의 지지집합에 관한 버너스타인의 결과와 슈라이크루르의 최소 $K$-형태에 관한 결과를 통해 스펙트럼의 온도성이 확립된다.
• 일반화된 슈어 수직관계식이 유도되며, 플랑커엘 분해 내의 거의 모든 기약 표현 $\pi$ 에 대해, $H$-고정 분포 벡터는 양의 함수 $d(x)$ 와 상수 $C_\pi(v,v')$ 를 포함한 정확한 점근 공식을 만족한다.