[논문 리뷰] Rank Two Non-Abelian Zeta and Its Zeros

Lin Weng|ArXiv.org|2004. 12. 01.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 3

한 줄 요약

이 논문은 랭크 두 개의 비아벨 제타 함수와 고전적 디데킨트 제타 함수 사이의 새로운 연결 고리를 랭킨-셀버그 및 자지어 방법을 통해 확립하며, 모든 비자명한 제타 함수의 영점이 임계선 ℜ(s) = 1/2 위에 있음을 증명함으로써 기하학적 및 해석적 수론 기법을 통해 이 클래스의 L-함수에 대한 일반화된 리만 가설을 확인한다.

ABSTRACT

In this paper, we first reveal an intrinsic relation between non-abelian zeta functions and Epstein zeta functions for algebraic number fields. Then, we expose a fundamental relation between stability of lattices and distance to cusps. Next, using these two relations, we explicitly express rank two zeta functions in terms of the well-known Dedekind zeta functions. Finally, based on such an expression, we show that all zeros of rank two non-abelian zeta functions are entirely sitting on the critical line whose real part equals to 1/2. This is an integrated part of our Geo-Arithmetic Program.

연구 동기 및 목표

• 메린 변환과 격자 안정성에 의해 비아벨 제타 함수와 에프스타인 제타 함수 사이의 기본적 연결 고리를 확립하기 위해.
• 수체에 대한 비아벨 제타 함수를 디데킨트 제타 함수의 자연스러운 일반화로 정의하기 위해.
• 랭크 두 개의 비아벨 제타 함수를 디데킨트 제타 함수의 명시적 표현을 통해 대수적 수론과 해석적 수론을 통합하기 위해.
• 대칭성과 함수방정식 기법을 이용하여 랭크 두 개의 비아벨 제타 함수에 대한 일반화된 리만 가설을 증명하기 위해.
• 상반평면 모델에서 격자의 안정성과 심판점까지의 거리 사이의 내재적 관계를 명확히 하기 위해.

제안 방법

• 랭킨-셀버그 방법과 자지어의 기법을 활용하여 랭크 두 개의 비아벨 제타 함수를 디데킨트 제타 함수의 형태로 명시적인 공식을 유도한다.
• 비아벨 제타 함수와 수체 위의 격자에 관련된 에프스타인 제타 함수를 연결하기 위해 메린 변환을 적용한다.
• 심판점까지의 정규화된 시겔 유형 거리를 사용하여 특수 자기동형군의 상반평면 위의 작용에 대한 기본 영역을 구성한다.
• 심판점의 안정자와 이상류 사이의 대응을 수립함으로써 격자 등장사상의 기하학적 해석을 가능하게 한다.
• 에프스타인 제타 함수의 푸리에 전개 기법을 활용하여 그 해석적 성질과 함수적 구조를 분석한다.
• 리만 ξ-함수의 함수방정식과 곱 표현을 이용하여 이론을 일반 수체로 확장한다.

실험 결과

연구 질문

• RQ1 수체에 대한 비아벨 제타 함수는 고전적 디데킨트 제타 함수의 형태로 명시적으로 표현될 수 있는가?
• RQ2 안정성의 맥락에서 격자에서 심판점까지의 거리의 기하학적 및 산술적 의미는 무엇인가?
• RQ3 임의의 수체 위에서 랭크 두 개의 비아벨 제타 함수에 대한 일반화된 리만 가설이 성립하는가?
• RQ4 랭크 두 개의 격자 모듈리 공간의 구조는 SL(2,𝒪_K)의 작용과 단위군과 어떻게 관련이 있는가?
• RQ5 함수방정식의 대칭성이 영점이 임계선 위에 위치하도록 보장하는 데 어떤 역할을 하는가?

주요 결과

• 유리수에 대한 랭크 두 개의 비아벨 제타 함수의 모든 비자명한 영점은 임계선 ℜ(s) = 1/2 위에 있다.
• 임의의 수체 K에 대해, 랭크 두 개의 비아벨 제타 함수 ξ_{K,2}(s)는 랭킨-셀버그 방법에 의해 디데킨트 제타 함수의 선형 조합으로 표현될 수 있다.
• 명시적 공식 ξ_{K,2}(s) = [ξ_K(2s)/(s−1)]Δ_K^{s−1} − [ξ_K(2s−1)/s]Δ_K^{−s} 는 오직 K에만 의존하는 상수까지는 성립한다.
• 랭크 두 개 제타 함수에 대한 리만 가설의 증명은 s(s−1)ξ_K(s)가 순서가 1인 전함수라는 사실에 기반한다.
• 기능방정식의 통일성과 조건 Δ_K ≥ 1 덕분에 이론은 ℚ에서 임의의 수체 K로 확장된다.
• 가족 ξ_{ℚ,2}^T(s) 에서 T→∞ 의 극한에서 방법이 실패함을 보여, 리만 가설이 이러한 극한에서 보존되지 않음을 시사한다.