[논문 리뷰] Analytic newvectors for $\mathrm{GL}_n(\mathbb{R})$

Subhajit Jana, Paul D. Nelson|arXiv (Cornell University)|2019. 11. 05.

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

한 줄 요약

이 논문은 GLₙ(ℝ)에 대해 고전적인 뉴벡터 이론의 아르키메데스 수체에 해당하는 이론을 수립하며, 일반적인 기약 표현 π의 해석적 도수 C(π)가 K₀(X,τ) 및 K₁(X,τ)와 관련된 특정 부분군에 대해 거의 불변인 벡터의 존재와 연결지운다. 주요 결과는 해석적 도수가 C(π) < X인 커푸실류 애셋로피크 표현에 대해 스펙트럴 프로젝터 F_X가 π(F_X)W(1) ≫ 1임을 보여주며, 이는 추적 공식에서 해석적 도수 순으로 정렬된 애셋로피크 형식의 합을 주도할 수 있음을 가능하게 한다.

ABSTRACT

We relate the analytic conductor of a generic irreducible representation of $\mathrm{GL}_n(\mathbb{R})$ to the invariance properties of vectors in that representation. The relationship is an analytic archimedean analogue of some aspects of the classical non-archimedean newvector theory of Casselman and Jacquet--Piatetski-Shapiro--Shalika. We illustrate how this relationship may be applied in trace formulas to majorize sums over automorphic forms on $\mathrm{PGL}_n(\mathbb{Z}) \backslash \mathrm{PGL}_n(\mathbb{R})$ ordered by analytic conductor.

연구 동기 및 목표

• GLₙ(ℝ)에 대해 카스엘만의 비아르키메데스 뉴벡터 이론의 해석적 아르키메데스 수체 이론을 개발하기 위해.
• 일반적인 기약 표현 π의 해석적 도수 C(π)를 π 내의 벡터가 특정 부분군에 대해 가지는 불변성과 연결하기 위해.
• PGLₙ(ℤ)\PGLₙ(ℝ) 위의 애셋로피크 형식 가중치를 해석적 도수 순으로 정렬한 가중치에 대해 근사적으로 프로젝터 역할을 하는 테스트 함수 F_X를 구성하기 위해.
• 추적 공식을 사용하여 해석적 도수 순으로 정렬된 애셋로피크 형식의 합을 주도할 수 있도록 하여, 비아르키메데스 기법을 모방하기 위해.

제안 방법

• 행렬 성분이 1/X 이하로 제한되는 조건을 포함하는 K₀(X,τ) 및 K₁(X,τ) 부분군의 정규화된 주도 함수의 가중치를 도입함.
• 정규화된 주도 함수의 커플레션을 통해 군의 곱셈에 대해 주도 성질이 유지되도록 하여 스펙트럴 프로젝션과의 호환성을 확보함.
• 자동형 커널 ∑γ∈PGLₙ(ℤ) F_X(x₁⁻¹γx₂)의 스펙트럴 분해를 적용하여 추적 공식을 베셀 분포 J_π(F_X)와 연결함.
• 위트락 모델 이론과 플랑커르 측도를 활용하여 스펙트럴 측면을 위트락 함수 W_φ 및 그 L² 노름으로 표현함.
• 스커의 보조정리를 적용하여 벡터 φ의 L² 노름을 그 위트락 함수의 노름과 연결하며, 기약 π에 대해 ℓ(π) ≍ L(1,π,Ad)의 계수를 포함함.
• 베셀 분포 J_π(F_X) = ∑|π(f_X)W(1)|²를 통해 해석적 도수가 작은 표현을 탐지함. C(π) < X인 경우 J_π(F_X) ≫ 1임을 보여줌.

실험 결과

연구 질문

• RQ1 GLₙ(ℝ)의 일반적인 기약 표현 π의 해석적 도수는 비아르키메데스 뉴벡터 이론과 유사하게, 특정 부분군에 대해 거의 불변인 벡터의 성질로 특징지을 수 있는가?
• RQ2 PGLₙ(ℤ)\PGLₙ(ℝ) 위의 애셋로피크 형식 가중치에 대해 해석적 도수 순으로 정렬된 가중치에 대해 근사적으로 프로젝터 역할을 하는 테스트 함수를 어떻게 구성할 수 있는가?
• RQ3 C(π) < X인 표현에 대해 베셀 분포 J_π(F_X)의 스펙트럴 행동은 어떻게 되며, π(f_X)W(1)의 크기와 어떤 관계가 있는가?
• RQ4 정규화된 주도 함수의 커플레션은 군 연산 하에서 필요한 불변성 및 감쇠 성질을 어느 정도 유지하는가?

주요 결과

• 해석적 도수가 C(π) < X인 임의의 커푸실류 애셋로피크 표현 π에 대해 스펙트럴 프로젝터 F_X가 π(F_X)W(1) ≫ 1임을 만족한다. 여기서 W는 위트락 뉴벡터이다.
• 모든 C(π) < X인 커푸실류 π에 대해 베셀 분포 J_π(F_X) ≫ 1임을 만족하며, 이는 스펙트럴 탐지 메커니즘을 제공한다.
• 부분군 K₀(X,τ)의 체적은 Vol(K₀(X,τ)) ≍ X^{n−1}로 유계임을 보이며, 이는 위트락 적분 ∫_N F_X(x)ψ̅(x)dx ≪ X^{n−1}의 크기를 제어한다.
• 두 정규화된 주도 함수 F_X¹ 및 F_X²의 커플레션은 어떤 τ₁ > 0에 대해 K_*(X,τ₁)의 정규화된 주도 함수로 남아 있으며, 스펙트럴 프로젝션에 필요한 성질을 유지한다.
• 추적 공식의 스펙트럴 측면은 ∫ J_π(F_X)ℓ(π)⁻¹ dμ_aut(π)로 분해되며, 이는 X^{n−1}으로 주도될 수 있어 애셋로피크 형식의 합에 대한 효과적인 경계를 가능하게 한다.
• 이 구성은 비아르키메데스 프로젝터의 직접적인 아르키메데스 수체 이론을 제공하며, 해석적 도수 순으로 정렬된 가중치에 대해 추적 공식의 적용을 가능하게 한다.