[논문 리뷰] Bessel models for lowest weight representations of GSp(4,R)

Ameya Pitale, Ralf Schmidt|ArXiv.org|2008. 09. 02.

Advanced Algebra and Geometry참고 문헌 9인용 수 24

한 줄 요약

이 논문은 GSp(4,R)의 최저 무게 및 최고 무게 표현에 대한 분할 및 비분할 베타 모델의 유일성 및 존재 기준을 수립하며, 선형 일阶 미분방정식계의 명시적 해를 통해 닫힌 형태의 베타 함수를 도출한다. 주요 기여는 벡터 값 슈비에르 모듈라 형식에 대해 유효한 GSp(4)×GL(2)의 차수 8 L-함수에 대한 적분 표현을 가능하게 하는 명시적 아르히메데스 베타 함수에 기반한다.

ABSTRACT

We prove uniqueness and give precise criteria for existence of split and non-split Bessel models for a class of lowest and highest weight representations of the groups GSp(4,R) and Sp(4,R) including all holomorphic and anti-holomorphic discrete series representations. Explicit formulas for the resulting Bessel functions are obtained by solving systems of differential equations. The formulas are applied to derive an integral representation for a global $L$-function on GSp(4)xGL(2) involving a vector-valued Siegel modular form of degree 2.

연구 동기 및 목표

• GSp(4,R)의 최저 무게 및 최고 무게 표현에 대한 베타 모델의 정확한 존재 및 유일성 조건을 규명하는 것.
• 복소화된 리 대수의 작용으로부터 유도된 선형 일阶 미분방정식계의 해를 통해 베타 함수의 명시적 공식을 도출하는 것.
• 결과로 얻어진 아르히메데스 베타 함수를 활용하여 GSp(4) × GL(2)의 전역 L-함수 L(s, π_F × τ_f)에 대한 적분 표현을 구성하는 것.
• 명시적 아르히메데스 성분을 제공함으로써 후루사와의 방법을 벡터 값 슈비에르 모듈라 형식으로 확장하는 것.

제안 방법

• 베타 모델에서 최저 무게 벡터 위에 작용하는 복소화된 리 대수의 작용으로부터 유도된 선형 일阶 미분방정식계를 해결한다.
• 비분할 케이스의 경우 이중 코스 분해 (27)과 분할 케이스의 경우 (97)을 사용하여 군 작용을 매개변수화한다.
• 미분방정식을 적용하여 베타 함수의 명시적 공식을 월리커 함수 W_{l/2, ir/2}(4πλD^{1/2}x)와 ζ 및 λ를 포함한 대수적 표현으로 계산한다.
• 모델 전환 기법과 K-형태 분해를 활용하여 베타 함수를 표준 자동형 형식과 연결한다.
• 비아르히메데스 성분과 아르히메데스 성분을 조합하여 [2], [5], [6]의 기존 결과를 활용해 전역 적분 표현을 구성한다.
• 비아르히메데스 자리에서의 오일러 곱 인자와 아르히메데스 적분 Z_∞(s)를 조합하여 전역 L-함수 공식을 유도한다.

실험 결과

연구 질문

• RQ1 GSp(4,R)의 최저 무게 표현이 비분할 베타 모델을 가질 수 있는 조건은 무엇인가요?
• RQ2 이러한 표현에 대해 분할 베타 모델이 존재할 조건은 무엇이며, 중심 특성과 K-형태 차원의 역할은 무엇인가요?
• RQ3 복소화된 리 대수의 작용이 최저 무게 벡터 위에 작용할 때, 베타 함수의 명시적 공식은 어떻게 도출될 수 있나요?
• RQ4 벡터 값 슈비에르 모듈라 형식일 경우, GSp(4) × GL(2)의 아르히메데스 L-함수 적분의 구조는 어떻게 되나요?
• RQ5 명시적 베타 함수는 차수 8 L-함수에 대한 전역 적분 표현을 어떻게 구성하는 데 기여하나요?

주요 결과

• 비분할 베타 모델이 최저 무게 표현에 존재하기는 조건은 T(R) ≅ C×의 특성 Λ가 단위 원주에 제한되었을 때 정수 m에 대응하고, |m|가 최소 K-형태의 차원보다 작을 때에만 성립한다.
• 분할 베타 모델은 고려된 최저 무게 표현들 중 어느 것도 존재하지 않으며, 이는 관련된 PDE 시스템에 대한 중간 성장 해가 존재하지 않기 때문이다.
• 베타 함수의 명시적 공식은 월리커 함수 W_{l/2, ir/2}(4πλD^{1/2}x)를 포함하는 항들의 선형 조합으로 표현되며, 여기서 x = (ζ² + ζ⁻²)/2이다.
• 아르히메데스 L-함수 적분 Z_∞(s)는 계수 c_{k,j}와 유리 함수 Q_{k,j}(s)의 합으로 표현되며, Γ-함수와 π, D, 2의 거듭제곱과의 곱으로 나타난다.
• 전역 L-함수는 Z(s,Λ) = κ_N Z_∞(s) L(3s+1/2, π_F × τ_f) / [ζ(6s+1) L(3s+1, τ_f × AI(Λ))], 이며, 수준 N과 이차 수체 L에 따라 결정되는 명시적 국소 인자 κ_N를 포함한다.
• 결과는 후루사와의 방법을 차수 2의 벡터 값 슈비에르 모듈라 형식으로 확장하며, 베타 함수 공식은 n = 3,5,7,9에 대해 구성 가능하게 한다.