[논문 리뷰] Fourier series on compact symmetric spaces

Gestur Ólafsson, Henrik Schlichtkrull|arXiv (Cornell University)|2008. 04. 23.

Advanced Algebra and Geometry참고 문헌 26인용 수 3

한 줄 요약

이 논문은 컴팩트 대칭 공간 $U/K$ 상의 $K$-유한 스무스 함수에 대해 팔레이-위너 유형 정리를 수립하며, 힐버트 공간 $\mathcal{H} = L^2(K/M)$ 에 값이 있는 이러한 함수의 푸리에 계수들이 복소화된 매개변수 공간으로 해석적 계속이 가능하고 지수형 타입 $r$ 을 가진다. 이는 함수가 지오데식 공의 반지름 $r$ 내에 지지되어 있을 때이고 그 때에만 성립한다. 이 결과는 코스타ント의 구면 주요 시리즈 이론을 이용해 문제를 $K$-항등 함수의 경우로 환원함으로써 이전의 $K$-항등 함수에 대한 연구를 일반화한다.

ABSTRACT

The Fourier coefficients F(t) of a function f on a compact symmetric space U/K are given by integration of f against matrix coefficients of irreducible representations of U. The coefficients depend on a spectral parameter t, which determines the representation, and they can be represented by elements F(t) in a common Hilbert space H. We obtain a theorem of Paley-Wiener type which describes the size of the support of f by means of the exponential type of a holomorphic H-valued extension of F, provided f is K-finite and of sufficiently small support. The result was obtained previously for K-invariant functions, to which case we reduce.

연구 동기 및 목표

• 컴팩트 대칭 공간 $U/K$ 상의 $K$-항등 함수에서의 국소 팔레이-위너 정리를 $K$-유한 함수로 확장하는 것.
• 푸리에 계수의 해석적 계속 성질을 통해 $K$-유한 스무스 함수의 지지 집합을 특성화하는 것.
• $K$-유한 스무스 함수 중 지지 집합이 작은 것들과 지수형 타입 $r$ 을 가진 해석적 $\mathcal{H}$-값 함수 사이의 전단사 관계를 수립하는 것.
• $K$-유한 함수의 일반적인 경우를 코스타ント의 구면 주요 시리즈와 같은 표현 이론적 도구를 이용해 이전에 해결된 $K$-항등 함수의 경우로 환원하는 것.

제안 방법

• 푸리에 계수를 스칼라 값이 아닌 힐베르트 공간 $\mathcal{H} = L^2(K/M)$ 에 값이 있는 것으로 표현하기 위해 힐베르트 공간 $\mathcal{H}$ 를 사용한다.
• 코스타ント의 구면 주요 시리즈 기술을 적용하여 $K$-유한 함수를 투영 연산자를 통해 $K$-항등 성분으로 분해한다.
• $K$-항등 함수에 대한 $\mathcal{U}(\mathfrak{g})$-항등 미분 연산자의 작용을 분석함으로써 $K$-유한 문제를 $K$-항등 함수의 경우로 환원한다.
• 푸리에 변환의 해석적 계속을 이용하여 반지름 $r$ 인 지오데식 공 내에 지지된 함수를 특성화하며, 웨일 군의 불변성과 지수형 타입 추정을 활용한다.
• 해당 함수의 역 푸리에 변환을 $K$-형식에 대해 합하여 구성하며, $K$-항등 함수에 작용하는 연산자 $L(u_i)$ 를 사용하여 스무스성과 정확한 지지 집합을 보장한다.
• $K$-항등 함수에 대한 결과 [19] 를 표현 이론을 통해 $K$-유한 설정으로 확장하여, 작은 $r$ 에 대해 전단사 대응 관계를 증명한다.

실험 결과

연구 질문

• RQ1 컴팩트 대칭 공간 상의 $K$-항등 함수에 대한 팔레이-위너 정리는 지지 집합이 작은 $K$-유한 함수로 확장될 수 있는가?
• RQ2 지오데식 공 반지름 $r$ 내에 지지된 $K$-유한 스무스 함수를 특성화하는 조건은 푸리에 계수(즉, $\mathcal{H}$-값 함수)에 어떤 성질을 가져야 하는가?
• RQ3 표현 이론적 도구인 구면 주요 시리즈를 통해 $K$-유한 경우를 $K$-항등 함수의 경우로 환원할 수 있는가?
• RQ4 $K$-유한 스무스 함수 중 지지 집합이 작은 것들과 지수형 타입 $r$ 을 가진 해석적 $\mathcal{H}$-값 함수 사이의 푸리에 변환이 전단사인가?
• RQ5 한 $K$-유한 함수의 지지 집합은 그 푸리에 변환의 해석적 계속성과 성장률로 특성화될 수 있는가?

주요 결과

• 모든 $r < R$ 에 대해 $R > 0$ 인 반지름 $R$ 이 존재하여, 지오데식 공 반지름 $r$ 내에 지지된 $K$-유한 스무스 함수의 공간 $C^\infty_{K,r}(U/K)$ 과 지수형 타입 $r$ 을 가진 해석적 $\mathcal{H}$-값 함수의 공간 $\mathrm{PW}_{K,r}(\mathfrak{a})$ 사이에 푸리에 변환이 전단사임을 보여준다.
• 지지 집합이 작은 각각의 $K$-유한 함수는 지지 집합이 작은 $K$-항등 함수의 $\mathcal{U}(\mathfrak{g})$-미분 계수들의 유한 합으로 나타나며, 계수는 $H^*_\delta$ 에 속한다.
• 지지 집합이 작은 $K$-유한 함수의 푸리에 변환은 복소화된 쌍대 공간 $\mathfrak{a}^*_\mathbb{C}$ 로 해석적 계속이 가능하며, 지수형 타입 $r$ 을 만족하는 성장 조건을 갖는다. 이 조건은 지지 집합 반지름을 특성화한다.
• 코스타ント의 구면 주요 시리즈 이론을 통해 $K$-항등 함수의 경우로 환원되며, 이는 [19] 에서의 $K$-항등 함수에 대한 기존 결과를 활용할 수 있게 한다.
• $K$-형식 $\delta$ 에 대해 함수 $f$ 의 $\delta$-성분의 푸리에 변환 $\tilde{f}_\delta$ 는 복소화된 공간으로 해석적 계속이 가능하며 지수형 타입 $r$ 을 가지며, 이 조건은 $f$ 가 반지름 $r$ 인 공 내에 지지되어 있음과 필요충분 조건이다.
• 이 결과는 날카로운 성질을 지닌다. 즉 반지름 $R$ 은 $U/K$ 의 기하학적 성질에 의존하며, $r \geq R$ 일 경우는 이러한 전단사 대응 관계가 존재하지 않는다.