[논문 리뷰] On Petersson norms of generic cusp forms and special values of adjoint $L$-functions for ${ m GSp}_4$

Shih-Yu Chen, Atsushi Ichino|arXiv (Cornell University)|2019. 02. 18.

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

한 줄 요약

이 논문은 아르키메데스 성분이 이산 계열 또는 구면 주요 계열 표현인 경우, $\mathrm{GSp}_4(\mathbb{A}_\mathbb{Q})$ 상의 정규화된 일반 촉성 형태의 페테르손 노름에 대한 명시적 공식을 특수값의 차수 $L$-함수와 국소 상수에 따라 수립한다. 저자들은 표준 랭킨-셀버그 방법으로는 접근하기 어려운 아르키메데스 성분의 월라커 적분을 피하기 위해 내재적 감소와 라illis 내적 공식을 활용하여, 노름에 대한 완전히 명시적인 산술 공식을 도출한다.

ABSTRACT

We prove an explicit formula for the Petersson norms of some normalized generic cuspidal newforms on ${ m GSp}_4$ whose archimedean components belong to either discrete series representations or spherical principal series representations. Our formula expresses the Petersson norms in terms of special values of adjoint $L$-functions and some elementary constants depending only on local representations.

연구 동기 및 목표

• 체 $\mathbb{Q}$ 상의 $\mathrm{GSp}_4$에서 일반 촉성 형태의 페테르손 노름에 대한 명시적 공식을 도출하여, $\mathrm{GL}_n$ 및 $\mathrm{Mp}_{2n}$에 대한 기존 결과를 확장한다.
• 표준 랭킨-셀버그 방법으로는 접근이 불가능한 아르키메데스 성분의 월라커 적분 $\alpha_\infty(f_\infty)$를 계산하는 데 발생하는 과제를 극복한다.
• 이산 계열 또는 구면 주요 계열 아르키메데스 성분을 가진 $\mathrm{GSp}_4$ 촉성 형태에 대해 페테르손 노름과 특수값의 인접 $L$-함수 사이의 정확한 관계를 확립한다.
• 산술 기하학 및 수론 분야의 응용에 적합한 명시적 산술 공식을 제공한다.

제안 방법

• Lapid–Mao 추측을 프레임워크로 삼되, $\mathrm{GSp}_4$에 대해 그 타당성을 가정하고 아르키메데스 자리에서의 국소 인자 $\alpha_v(f_v)$ 계산에 집중한다.
• 표준 기저 변경을 통한 내재적 경우로의 감소 $\pi \to \Pi$ 를 통해 $\mathrm{GL}_4(\mathbb{A}_\mathbb{Q})$로의 변환을 도입하여 기존의 내적 공식을 활용한다.
• 라illis 내적 공식을 적용하여 자동형 표현을 통해 페테르손 노름과 $L$-함수의 특수값을 연결한다.
• 국소 $p$-진 및 아르키메데스 설정에서의 명시적 적분 표현과 수렴 분석을 통해 아르키메데스 자리에서의 월라커 함수를 계산한다.
• 시겔-바일 공식과 명시적 적분 평가를 활용하여 수렴성을 제어하고 매개수 공간에서의 균일한 경계를 도출한다.
• 지배 함수로 지수함수 및 거듭제곱 함수를 사용한 주어진 수렴성 분석을 통해 아르키메데스 경우의 핵심 적분의 절대 수렴성을 검증하여 공식의 타당성을 확보한다.

실험 결과

연구 질문

• RQ1 정규화된 일반 촉성 형태 $f$에 대해 $\mathrm{GSp}_4(\mathbb{A}_\mathbb{Q})$ 상의 페테르손 노름 $\langle f, f \rangle$ 은 특수값의 인접 $L$-함수와 국소 상수에 의해 명시적으로 표현될 수 있는가?
• RQ2 표준 랭킨-셀버그 방법으로는 접근이 어려운 아르키메데스 월라커 적분 $\alpha_\infty(f_\infty)$ 는 어떻게 우회하여 명시적 노름 공식을 도출할 수 있는가?
• RQ3 이산 계열 또는 구면 주요 계열 아르키메데스 성분을 가진 $\mathrm{GSp}_4$ 촉성 형태에 대해 페테르손 노름과 인접 $L$-함수 $L(s, \pi, \mathrm{Ad})$ 사이의 정확한 관계는 무엇인가?
• RQ4 내재적 경우로의 감소와 라illis 내적 공식을 활용함으로써 Lapid–Mao 추측을 $\mathrm{GSp}_4$에 대해 얼마나 명시적으로 확장할 수 있는가?
• RQ5 이산 계열 또는 주요 계열 유형의 아르키메데스 성분을 가진 경우, 내적 공식에서 유도되는 핵심 적분의 수렴 성질은 어떠한가?

주요 결과

• 정규화된 일반 촉성 형태 $f$ 에 대해 $\mathrm{GSp}_4(\mathbb{A}_\mathbb{Q})$ 상의 페테르손 노름 $\langle f, f \rangle$ 은 전역 $L$-값 $L^S(1, \pi, \mathrm{Ad})$, 상수 $\Delta_G^S$, 그리고 국소 인자 $\alpha_v(f_v)^{-1}$ 의 곱으로 표현되며, 고려된 경우들에 대해 $\mathcal{S}_\pi = 1$ 이다.
• 형식 (DS)의 아르키메데스 성분의 경우, 노름은 $\langle f, f \rangle = C \cdot L(1, \pi, \mathrm{Ad})$ 로 주어지며, 여기서 $C$ 는 블라투너 매개수 $\lambda_1, \lambda_2$ 와 최소 $\mathrm{U}(2)$-형식의 정규화에만 의존하는 기본 상수의 곱이다.
• 형식 (PS)의 아르키메데스 성분의 경우, 노름 공식 역시 명시적이며, $C$ 는 복소 매개수 $\lambda_1, \lambda_2$ 와 구면 벡터의 정규화에 따라 달라진다.
• 모든 관련 적분, 특히 아르키메데스 설정에서의 적분이 컴acts 집합 내 매개수에서 균일하게 수렴함을 입증하여, 공식이 표현의 가족 전반에서 유효함을 보장한다.
• 라illis 내적 공식에서 핵심 적분이 $\mathrm{Re}(s) > 4|\mathrm{Re}(\lambda)| + 4\epsilon - 1$ 에서 절대 수렴하며, $\lambda$ 에 대해 균일한 경계를 갖는다는 것을 검증하여 $L$-함수 인자에 대한 해석적 계속성을 확인한다.
• 최종 공식은 완전히 명시적이고 산술적 성격을 지니며, 수론적 및 기하학적 응용에 사용 가능한 계산 가능한 페테르손 노름 표현을 제공한다.