[논문 리뷰] Holomorphic extension of representations: (I) automorphic functions

Bernhard Kroetz, Robert J. Stanton|ArXiv.org|2002. 10. 07.

Advanced Algebra and Geometry참고 문헌 13인용 수 4

한 줄 요약

이 논문은 실수 단순 리 군 $G$의 복소화 $G_C$에서 $K_C$-$G$ 이중잉여류 도메인을 구성하며, 임의의 기약 유니터리 표현의 $K$-유한 벡터 위에서 $G$의 작용이 이 도메인으로 해석적 계속되도록 한다. 해석적 계속된 행렬 계수의 특이점과 경계 행동에 대해 정밀한 추정을 수립하여, 자동형 함수에 대한 $L^∞$ 추정과 마아스 형식 및 랭킨-셀버그 곱의 푸리에 계수의 균일한 감쇠률 추정을 가능하게 한다.

ABSTRACT

Let G be a connected, real, semisimple Lie group contained in its complexification G_C, and let K be a maximal compact subgroup of G. We construct a K_C-G double coset domain in G_C, and we show that the action of G on the K-finite vectors of any irreducible unitary representation of G has a holomorphic extension to this domain. For the resultant holomorphic extension of K-finite matrix coefficients we obtain estimates of the singularities at the boundary, as well as majorant/minorant estimates along the boundary. We obtain L^\infty bounds on holomorphically extended automorphic functions on G/K in terms of Sobolev norms, and we use these to estimate the Fourier coefficients of combinations of automorphic functions in a number of cases, e.g. of triple products of Maass forms.

연구 동기 및 목표

• 임의의 기약 유니터리 표현의 $K$-유한 벡터 위에서 $G$의 작용이 해석적으로 계속되는 최대의 $K_C$-$G$ 이중잉여류 도메인 $\Omega \subset G_C$를 구성하는 것.
• 해석적 계속된 $K$-유한 행렬 계수의 경계에서의 특이점에 대한 정밀한 추정을 도출하는 것.
• 해석적 계속을 통해 $G/K$ 위 자동형 함수에 대한 $L^∞$ 추정을 소볼레프 노름으로 유도하여 푸리에 계수 감쇠 추정에 적용하는 것.
• 실수 랭크 1 및 높은 랭크 군에 걸쳐 마아스 형식 및 랭킨-셀버그 곱의 푸리에 계수 감쇠률 추정에 대해 균일한 표현론적 증명을 제공하는 것.
• 사르나크의 추측, 즉 마아스 형식 조합의 푸리에 계수에 대한 지수 감쇠 속도에 대한 균일한 판별을 해석적 계속 기법으로 검증하는 것.

제안 방법

• 아와사와 분해와 리 대칭 $\mathfrak{g}$의 복소화를 이용하여 $G_C$ 내에서 $K_C$-$G$ 이중잉여류 도메인을 구성하며, 카탄 분해 $\mathfrak{g} = \mathfrak{k} \oplus \mathfrak{p}$와 루트 공간 분해를 활용한다.
• 아와사와 분해 $G = KAN$과 그 복소화를 이용하여 도메인 $\Omega = K_C A_C^1 N_C \cap G_C$를 정의하고, 일부 방향에서 최대성임을 보인다.
• 행렬 $\kappa(g), a(g), n(g)$ 가 $g \in G$ 에 대해 해석적으로 의존함을 이용하여, $G$의 작용이 $\Omega$로 해석적으로 계속됨을 보인다.
• 복소해석함수 $z' = \sqrt{z^2 + \sin^2\theta(1/z^2 - z^2)}$ 를 사용하여 $K_C A_C^1 N_C$ 내에서 $a_z k_\theta$ 의 행동을 분석함으로써 도메인 경계에서의 주요 추정 및 보조 추정을 유도한다.
• 해석적 계속된 행렬 계수의 성질을 이용하여 소볼레프 노름 추정을 통해 자동형 함수에 대한 $L^\infty$ 추정을 수립한다.
• 이 추정을 이용하여 자동형 형식의 곱, 특히 마아스 형식의 삼중곱과 랭킨-셀버그 콘볼루션의 푸리에 계수를 추정한다.

실험 결과

연구 질문

• RQ1 임의의 기약 유니터리 표현의 $K$-유한 벡터 위에서 $G$의 작용이 해석적으로 계속되는 최대의 도메인 $\Omega \subset G_C$를 구성할 수 있는가?
• RQ2 해석적 계속된 $K$-유한 행렬 계수의 경계에서의 정밀한 특이점 및 성장 추정은 무엇인가?
• RQ3 해석적 계속을 통해 소볼레프 노름으로 $G/K$ 위 자동형 함수에 대한 $L^\infty$ 추정을 어떻게 도출할 수 있는가?
• RQ4 실수 랭크 1 군에 대해 마아스 형식 조합의 푸리에 계수 감쇠률은 균일한가? 표현론적 방법으로 이를 증명할 수 있는가?
• RQ5 해석적 계속 기법을 사용하여 사르나크의 추측, 즉 마아스 형식 곱의 푸리에 계수에 대한 지수 감쇠 속도에 대한 균일한 검증이 가능한가?

주요 결과

• 임의의 기약 유니터리 표현의 $K$-유한 벡터 위에서 $G$의 작용은 최대의 $K_C$-$G$ 이중잉여류 도메인 $\Omega \subset G_C$로 해석적으로 계속되며, 이 도메인이 일부 방향에서 최대임이 입증된다.
• 해석적 계속된 $K$-유한 행렬 계수는 도메인 경계에서 정밀한 주요 추정 및 보조 추정을 갖으며, 특이점은 도메인의 복소해석적 구조에 의해 제어된다.
• 논문은 해석적 계속된 행렬 계수를 이용하여 $G/K$ 위 자동형 함수에 대한 $L^\infty$ 추정을 소볼레프 노름으로 유도한다.
• 실수 랭크 1 군에 대해 마아스 형식 삼중곱의 푸리에 계수 감쇠률에 대한 추측된 지수 감쇠 속도에 대한 균일한 증명을 제공한다.
• 특히 $G = \mathrm{SL}(n,\mathbb{R})$ 일 경우, 마아스 형식의 랭킨-셀버그 곱의 푸리에 계수 감쇠률에 대한 추정을 도출한다.
• 공분산 체적 랏티스를 갖는 $\mathrm{SL}(2,\mathbb{R})$ 에서 랭킨-셀버그 곱의 푸리에 계수 성장률에 대한 굿의 결과에 대해 개념적으로 단순한 증명을 제시한다.