[논문 리뷰] Irrationality of certain p-adic periods for small p

Frank Calegari|ArXiv.org|2004. 08. 16.

Advanced Mathematical Identities참고 문헌 3인용 수 4

한 줄 요약

이 논문은 Apéry의 정리에 대한 p-진 대응 방법을 사용하여 특정 p-진 L-값의 무리수성을 증명한다. 특히 2-진 제타값 ζ₂(3)과 2-진 카탈란 상수 L₂(2,χ)의 무리수성을 입증한다. 초수렴하는 모듈라 형식을 구성하고 관련 생성함수의 p-진 수렴 반경을 분석함으로써, 효과적인 p-진 근사값을 도출하며, p-진 근사 속도 기반의 기준을 통해 무리수성을 유도한다.

ABSTRACT

Following Apery's proof of the irrationality of zeta(3), Beukers found an elegant reinterpretation of Apery's arguments using modular forms. We show how Beukers arguments can be adapted to a p-adic setting. In this context, certain functional equations arising from Eichler integrals are replaced by the notion of overconvergent p-adic modular forms, and the periods themselves arise not as coefficients of period polynomials but as constant terms of p-adic Eisenstein series. We prove that the analogue of zeta(3) is irrational for p = 2 and 3, as well as the 2-adic analogue of Catalan's constant.

연구 동기 및 목표

• 작은 소수 p에 대해 Apéry의 무리수 증명 방법을 p-진 설정으로 확장한다.
• 특히 p=2와 p=3일 때 ζₚ(3)과 Lₚ(2,χ)의 p-진 제타값과 L-함수의 무리수성을 확립한다.
• Beukers의 모듈라 형식 접근법을 p-진 모듈라 형식으로 적응시키며, 초수렴하는 아이젠슈타인 급수를 핵심 도구로 사용한다.
• 어느 수에 대한 p-진 근사의 성장률에 기반한 p-진 무리수 기준을 개발한다.

제안 방법

• q-전개와 무게 공간의 보간을 사용하여 고전적 모듈라 형식의 p-진 극한으로 초수렴하는 p-진 모듈라 형식을 구성한다.
• 초수렴하는 아이젠슈타인 급수의 음의 정수 무게에 대한 특별한 값으로서 p-진 L-값을 정의한다.
• p-진 거리가 유리 근사값으로 향할 때의 감쇠 속도에 기반한 p-진 무리수 기준을 적용한다.
• 모듈라 형식과 관련된 생성함수의 p-진 수렴 반경을 분석하여 초수렴성을 탐지하고, 이를 통해 무리수성을 밝혀낸다.
• Fricke 대칭과 X₁(4) 상의 통일자(uniformizer)를 사용하여 모듈라 곡선을 매개변수화하고 p-진 수렴 행동을 제어한다.
• 생성함수 계수에 대한 Apéry 유사 재귀관계를 유도하여 유리 근사값을 계산한다.

실험 결과

연구 질문

• RQ1 2-진 제타값 ζ₂(3)는 무리수인가? 그리고 이는 p-진 모듈라 형식을 통해 증명될 수 있는가?
• RQ2 카탈란 상수의 2-진 대응 L₂(2,χ)는 무리수 기준을 만족하는가?
• RQ3 초수렴하는 모듈라 형식을 통한 p-진 근사 방법을 사용하여 p-진 L-값의 무리수성을 입증할 수 있는가?
• RQ4 초수렴하는 모듈라 형식과 관련된 생성함수의 정확한 p-진 수렴 반경은 무엇인가?
• RQ5 이러한 생성함수의 계수들이 p-진 순서에서 어떻게 행동하는가? 그리고 이는 유리 근사에 어떤 영향을 미치는가?

주요 결과

• 2-진 제타값 ζ₂(3)는 무리수이다. 이는 수렴 반경이 1보다 큰 생성함수를 구성하고, 무리수 기준을 적용함으로써 입증된다.
• 2-진 카탈란 상수 L₂(2,χ)는 무리수이며, 이는 무게 -1인 초수렴하는 모듈라 형식을 사용한 유사한 방법으로 입증된다.
• η = L₂(2,χ)/2일 때, 생성함수 H의 p-진 수렴 반경은 최소 2⁸ = 256 이상이다. 이는 초수렴성을 나타낸다.
• η ≠ L₂(2,χ)/2일 경우, 수렴 반경은 최대 1이므로 H는 초수렴하지 않으며, 이는 오직 유일하게 초수렴을 유도하는 값이 L₂(2,χ)/2임을 분명히 한다.
• 근사 지수 θ = 8 log 2 / (4 log 2 + 2) ≈ 1.16188는 θ > 1를 만족하며, 이는 p-진 기준에 의해 무리수성을 유도한다.
• L₂(2,χ)에 대한 첫 번째 몇 개의 유리 근사값은 높은 2-진 순서에서 진짜 값과 일치한다. 예를 들어 2a₆/b₆는 L₂(2,χ)와 2³⁴의 순서까지 일치한다.