[논문 리뷰] Theory of The Generalized Bernoulli-Hurwitz Numbers for The Algebraic Functions of Cyclotomic Type and The Universal Bernoulli Numbers

Yoshihiro Ônishi|ArXiv.org|2004. 06. 06.

Advanced Mathematical Identities참고 문헌 9인용 수 6

한 줄 요약

이 논문은 종수 g ≥ 1인 하이퍼에르미트 곡선에서 순환형 대수적 함수에 대한 일반화된 베르누이-허르비츠 수를 도입하며, 고전적 베르누이 수와 허르비츠 수를 확장한다. 보편 베르누이 수를 통해 칼리츠의 멱급수 비교 기법과 형식군 이론을 활용하여, 바이 슈타우트-클로젠, 바이 슈타우트 제2정리, 쿠머 합동정리의 유사 정리들을 수립한다. 명시적인 합동관계와 특수 곡선에 대한 L함수 유사 항등식을 제시한다.

ABSTRACT

Hurwitz numbers are the Laurent coefficients of an elliptic function $\wp(u)$ of cyclotomic type, and they are natural generalization of the Bernoulli numbers. This paper gives new generalization of Bernoulli and Hurwitz numbers for higher genus cases. They satisfy completely von Staudt-Clausen type theorem, an extension of von Staudt second theorem, and Kummer type congruence relation. The present paper is revised and combined version of math.NT/0304377 and math.NT/0312178 containing many numerical examples.

연구 동기 및 목표

• 종수 g ≥ 1인 하이퍼에르미트 곡선의 순환형 대수적 함수에 대해 고전적 베르누이 수와 허르비츠 수를 고차원 곡선으로 확장한다.
• 일반화된 베르누이-허르비츠 수에 대해 바이 슈타우트-클로젠, 바이 슈타우트 제2정리, 쿠머 합동정리의 유사 정리를 수립한다.
• 일반화된 수의 성질을 특수화를 통해 유도하기 위한 통합 프레임워크로 보편 베르누이 수를 도입한다.
• 보편 베르누이 수에 대해 쿠머 유형의 합동관계를 증명하고, 칼리츠의 방법을 통해 이들의 일반화된 수로의 특수화를 검증한다.
• 특수 L함수와 곡선 y² = x²ᵍ⁺¹ − 1 및 y² = x²ᵍ⁺¹ − x에서의 인수합과의 연결 고리를 조사한다.

제안 방법

• 하이퍼에르미트 곡선 C: y² = x²ᵍ⁺¹ − 1 또는 y² = x²ᵍ⁺¹ − x의 아벨-자코비 사상에 의해, 근처 u = 0에서의 역함수 x(u)의 로랑 계수로 일반화된 베르누이-허르비츠 수를 정의한다.
• 곡선을 g차원 복소 토러스 Cᵍ/Λ로 올리기 위해 아벨-자코비 사상 사용하며, u = (u₁,…,uᵍ)를 국소 좌표로 사용한다.
• 형식군의 구조를 활용하여 칼리츠의 멱급수 비교 기법을 적용해 쿠머 유형의 합동관계를 도출한다.
• 보편 형식군과 관련된 보편 베르누이 수를 도입하며, 이는 일반화된 베르누이-허르비츠 수로 특수화된다.
• 클라크의 정리를 보편 베르누이 수에 적용해 일반화된 바이 슈타우트 유형 정리를 증명하는 통합 도구로 사용한다.
• 보편 베르누이 수에 대해 새로운 쿠머 유형의 합동관계를 증명한다 (정리 3.1.1), 이후 ヤ수다에 의해 확인되었으며, 이를 일반화된 경우에 적용한다.

실험 결과

연구 질문

• RQ1 일반화된 베르누이-허르비츠 수는 고전적 베르누이 수와 유사한 바이 슈타우트-클로젠 유형 정리를 만족하는가?
• RQ2 이 수에 대해 고전 결과를 확장한 일반화된 바이 슈타우트 제2정리가 수립될 수 있는가?
• RQ3 일반화된 베르누이-허르비츠 수에 대해 쿠머 유형의 합동관계가 성립하는가? 그리고 이는 보편 베르누이 수의 합동관계로부터 도출될 수 있는가?
• RQ4 y² = x²ᵍ⁺¹ − 1과 같이 특수한 곡선에 대해 인수합에 대한 L함수 유사 항등식이 존재하는가? 이는 제타 함수 값과 유사한가?
• RQ5 y³ = x⁵ − 1과 같은 곡선에서 일반화된 수 Cₙ 및 Dₙ의 p진 값(특히 2진 값)은 어떻게 되는가?

주요 결과

• 일반화된 베르누이-허르비츠 수는 바이 슈타우트-클로젠 유형 정리를 만족한다 (정리 6.1.1), 여기서 분모의 합이 소수 모듈로에서 특정한 p진 조건을 만족한다.
• 일반화된 바이 슈타우트 제2정리가 수립된다 (정리 6.2.1), 이는 고전적 베르누이 수의 p진 값에 대한 결과를 확장한다.
• 보편 베르누이 수에 대해 쿠머 유형의 합동관계가 증명된다 (정리 3.1.1), 이는 최적의 모듈러스 추정을 제공하며, 이 결과는 ヤ수다의 정리 3.2.1(2) 증명에 의해 확인된다.
• 일반화된 베르누이-허르비츠 수는 보편 베르누이 수의 특수화를 통해 모든 성질을 상속하며, 이 중 쿠머 합동관계도 일반화된 수에 그대로 전이된다.
• 곡선 y² = x²ᵍ⁺¹ − 1에 대해, L에서 0이 아닌 격자점 λ에 대한 합 ∑_{λ ∈ L, λ ≠ 0} 1/λ²⁽²ᵍ⁺¹⁾ⁿ 은 Ω²⁽²ᵍ⁺¹⁾ⁿ / (2(2g+1)n)! × C₂⁽²ᵍ⁺¹⁾ⁿ 와 같다. 여기서 Ω는 실수 주기 적분이고 Cₙ은 일반화된 수이다.
• 곡선 y² = x²ᵍ⁺¹ − x에 대해, ∑* λ⁻⁴ᵍⁿ = Ω⁴ᵍⁿ / (4gn)! × C₄ᵍⁿ 이다. 이는 헤케 L함수와는 다를 새로운 L함수 유사 항등식을 시사한다.