[논문 리뷰] Subconvex bounds for Hecke-Maass forms on compact arithmetic quotients of semisimple Lie groups

Pablo Ramacher, Satoshi Wakatsuki|arXiv (Cornell University)|2017. 03. 20.

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

한 줄 요약

이 논문은 단순형 리 군 G의 컴acts산 산술 몫 Γ\G에서 히케–마스 형태에 대한 하위볼록 경계를 설정하며, 타원형 미분연산자의 스펙트럼 이론을 통해 구면형이 아닌 임의의 K-형태로 알려진 경계를 일반화한다. 주요 결과는 L²_σ(Γ\G)의 고유함수에 대해 ||φⱼ||_∞ ≪ (-μⱼ + 2μ_σ)^{(dim G/K - 1)/4 - δ} 형태의 하위볼록 경계로, 코컴 pact 라티스와 새로운 유형의 자동형 표현(특히 무게 측면에서의 정칙 모듈라 형식 포함)에 대해 유효하다.

ABSTRACT

Let $H$ be a semisimple algebraic group, $K$ a maximal compact subgroup of $G:=H(\mathbb{R})$, and $Γ\subset H(\mathbb{Q})$ a congruence arithmetic subgroup. In this paper, we generalize existing subconvex bounds for Hecke-Maass forms on the locally symmetric space $Γ\backslash G/K$ to corresponding bounds on the arithmetic quotient $Γ\backslash G$ for cocompact lattices using the spectral function of an elliptic operator. The bounds obtained extend known subconvex bounds for automorphic forms to non-trivial $K$-types, yielding subconvex bounds for new classes of automorphic representations, and constitute subconvex bounds for eigenfunctions on compact manifolds with both positive and negative sectional curvature. We also obtain new subconvex bounds for holomorphic modular forms in the weight aspect.

연구 동기 및 목표

• 컴팩트 산술 몫 Γ\G에서 자동형 형태의 하위볼록 경계를 구면형에서 비구면형 K-형태로 일반화하는 것.
• L-함수와 고유함수에 대한 기존의 하위볼록 경계를 비자명한 K-형태와 혼합 곡률을 가진 컴팩트 다양체로 확장하는 것.
• 스펙트럼 방법을 이용해 무게 측면에서의 정칙 모듈라 형식에 대한 하위볼록 경계를 수립하는 것.
• 타원형 미분연산자의 스펙트럼 함수를 통한 히케–마스 형태의 표현 이론적 프레임워크를 제공하는 것.
• 이전의 고유값 및 무게 측면에서의 하위볼록성 결과를 산술 몫에서의 자동형 형태에 대해 통합 및 일반화하는 것.

제안 방법

• 타원형 미분연산자의 스펙트럼 함수를 사용하여 컴팩트 리만 다양체 Γ\G에서의 고유함수를 분석한다.
• 피터–웨일 분해를 적용하여 L²(Γ\G)를 K-형태별 성분인 L²_σ(Γ\G)로 분해한다. 여기서 σ ∈ K̂이다.
• 아델릭 군의 작용을 이용하여 자동형 형태의 스펙트럼 이론을 활용해 G 위에서 특성과 함께 히케 연산자를 구성한다.
• 미분연산자 Dᵘ의 노름과 표현 σ의 차원 d_σ를 사용하여 L²_σ(Γ\G)의 고유함수에 대한 볼록 경계를 유도한다.
• 히케 핵 연산자의 스펙트럼 점근적 성질과 K-형태의 웨일 법칙, 행렬 계수의 감쇠를 결합하여 하위볼록 경계를 수립한다.
• 하리슈-찬드라 정리와 카시미르 연산자를 포함한 표현 이론적 도구를 사용하여 스펙트럼 매개변수에 따라 고유함수의 성장률을 제어한다.

실험 결과

연구 질문

• RQ1 단순형 리 군 G의 컴팩트 산술 몫 Γ\G에서 히케–마스 형태에 대한 하위볼록 경계를 구면형에서 임의의 K-형태로 확장할 수 있는가?
• RQ2 양의 및 음의 섹션 곡률을 모두 가진 컴팩트 다양체에서 고유함수에 대한 하위볼록 경계의 정밀도는 어떻게 되는가?
• RQ3 Γ\G에서 자동형 형태에 대한 하위볼록 경계는 K-형태 σ와 스펙트럼 매개변수 μ_j에 따라 어떻게 달라지는가?
• RQ4 이 방법은 무게 측면에서의 정칙 모듈라 형식에 적용되어 새로운 하위볼록 경계를 도출할 수 있는가?
• RQ5 대수적 군 H와 그 산술 라티스 Γ 사이에 어떤 조건이 성립하면 이러한 하위볼록 경계의 존재를 보장하는가?

주요 결과

• 논문은 L²_σ(Γ\G)의 히케–마스 형태 φⱼ에 대해 ||φⱼ||_∞ ≪ (-μⱼ + 2μ_σ)^{(dim G/K - 1)/4 - δ} 형태의 하위볼록 경계를 수립한다. 여기서 μ_j는 카시미르 고유값이고, μ_σ는 σ에서 dR(Ω_K)의 고유값이다.
• 이 경계는 모든 K-형태 σ ∈ K̂에 대해 성립하며, 이는 기존의 구면형 자동형 형태에서 비구면형 자동형 형태로의 결과 확장을 의미한다.
• K가 원환군인 경우 경계는 ||φⱼ||_∞ ≪ (-μⱼ + 2μ_σ)^{(dim G/K - 1)/4 - δ}로 단순화되며, 거의 최적의 경계이며 이전의 볼록 경계를 향상시킨다.
• 이 방법은 특히 G = SL(n,R) (n ≥ 2)일 때 무게 측면에서의 정칙 모듈라 형식에 대해 새로운 하위볼록 경계를 도출한다.
• 결과는 분할 대수와 수체 위에서의 유니타리 군에 대해 적용 가능하며, H(R)에 컴팩트 R-간단 성분이 없을 경우에 한하여 비콤팩트 산술 몫의 존재를 보장하여 적용 가능하다.
• 타원형 연산자의 스펙트럼 함수를 사용하여 K-형태 σ에 독립적인 균일한 하위볼록 경계를 도출하였으며, δ > 0는 군 G와 라티스 Γ에만 의존한다.