[논문 리뷰] Special values of adjoint L-functions and congruences for automorphic forms on GL(n) over a number field

Baskar Balasubramanyam, A. Raghuram|arXiv (Cornell University)|2014. 08. 18.

Advanced Algebra and Geometry참고 문헌 14인용 수 3

한 줄 요약

이 논문은 수체 F 위의 GL_n에서의 코homological 커피드럴 자동형식 π에 대해, 인접 L함수 L(1, Ad⁰, π, ε)의 특수값에 대한 정수성 결과를 확립하며, 이 값의 대수적 부분을 나누는 소수들(유한한 예외 소수 집합 외)이 서로 다른 자동형식 간의 합동을 나타내는 합동 소수임을 증명한다. 이 결과는 Hida와 Ribet의 고전적 정리들을 고차원 GL_n로 일반화하며, 코homological 방법과 Whittaker 주기들을 활용한다.

ABSTRACT

We prove an integrality result for the value at s=1 of the adjoint L-function associated to a cohomological cuspidal automorphic representation on GL(n) over any number field. We then show that primes (outside an exceptional set) dividing this special value give rise to congruences between automorphic forms. We also prove a non-vanishing property at infinity for the relevant Rankin-Selberg L-functions on GL(n) x GL(n).

연구 동기 및 목표

• 임의의 수체 위에서 GL₂에 대한 고전적 합동 정리들을 GL_n으로 확장하는 것.
• GL_n에서의 코homological 커피드럴 자동형식 π에 관련된 인접 L함수 L(1, Ad⁰, π, ε)의 특수값에 대한 정수성 결과를 확립하는 것.
• 이 특수값을 나누는 소수들(유한한 집합 외)이 동일한 수준과 무게를 가진 자동형식 간의 합동을 유도함을 증명하는 것.
• Betti–Whittaker 주기와 유리수 코homology 계열을 통한 인접 L함수의 대수적 부분에 대한 코homological 해석을 제공하는 것.

제안 방법

• L(1, Ad⁰, π)을 L(s, π × ˜π)의 잔류로서 표현하기 위해 Rankin–Selberg 적분을 사용하여 Petersson 내적과 연결하는 것.
• 국소 대칭 공간 S^{G}_{K_f}의 코homology에서 Poincaré 대칭을 적용하여 L값의 대수적 기술을 제공하는 것.
• Whittaker 모델과 코homological 실현 간의 비교를 통해 Betti–Whittaker 주기를 구성하는 것.
• Casselman–Wallach 표현과 유도 함자를 사용하여 코homological 쌍대성과 코homology 계열의 비영성분을 분석하는 것.
• Sun의 비영성 결과를 적응하여, 정수성 정리에 필수적인 아르히메데스 주기의 비영성을 확보하는 것.
• 코homology 모듈의 판별식을 계산하여 대수적 L값과 합동 모듈 간의 관계를 설정하고, p진 값매김을 통해 합동을 제어하는 것.

실험 결과

연구 질문

• RQ1 Hida와 Ribet의 GL₂에 대한 고전적 합동 정리들이 임의의 수체 위의 GL_n으로 일반화될 수 있는가?
• RQ2 특수값 L(1, Ad⁰, π, ε)의 대수적 부분은 정수이며, 이를 코homological 불변량으로 표현할 수 있는가?
• RQ3 이 대수적 L값을 나누는 소수들(유한한 집합 외)이 동일한 수준과 무게를 가진 자동형식 간의 합동을 유도하는가?
• RQ4 Betti–Whittaker 주기는 GL_n의 산술에서 자동형식 주기와 코homological 주기 사이의 관계를 어떻게 설명하는가?
• RQ5 정수성 결과가 효과적으로 작동하기 위해 아르히메데스 주기의 비영성을 어떻게 보장할 수 있는가?

주요 결과

• 정리 3.3.7에 의해, 대수적 부분 L^{alg}(1, Ad⁰, π, ε)는 알려진 산술 인자들 외에는 정수임이 입증되었다.
• 비영성 결과(정리 3.3.4)를 통해 아르히메데스 주기 $ \mathfrak{p}_{\infty}(\pi) $의 비영성이 확보되었으며, Sun의 결과를 일반화한 것이다.
• 정리 4.3.1에 따르면, 유한한 예외 소수 집합 외의 소수 p가 L^{alg}(1, Ad⁰, π, ε)를 나누면, π와 다른 자동형식 π' 사이의 합동이 존재함을 의미한다.
• 합동 모듈은 코homology 모듈의 판별식으로 제어되며, 합동 소수들은 예외 소수를 제외한 대수적 L값을 나누는 소수들로 정확히 일치한다.
• Betti–Whittaker 주기 $ \mathfrak{p}^\varepsilon(\pi) $와 $ \mathfrak{q}^{\tilde{\varepsilon}}(\tilde{\pi}) $는 $ \mathbb{Q}(\pi) $ 위에서 유리이며, 그 비율은 대수적 L값에 나타난다.
• 차수 b+t에서의 코homological 쌍대성은 영이 아니며, ε에 독립적이며, 이는 코homology에서의 전반적 주기 클래스의 비영성을 보장한다.