[논문 리뷰] A survey on the theory of universality for zeta and $L$-functions

Kohji Matsumoto|arXiv (Cornell University)|2014. 07. 16.

Analytic Number Theory Research참고 문헌 49인용 수 26

한 줄 요약

이 종합적 리뷰는 바르트린의 1975년 초석이 되는 결과 이후의 zeta 및 L-함수 이론의 보편성 이론을 종합적으로 검토한다. 이는 리만 제타함수와 오일러乘법을 갖는 다른 L-함수들이 수직 이동을 통해 임의의 영이 아닌 해석적 함수를 임의의 임계대의 컴acts부분집합에서 보편적으로 근사할 수 있음을 입증하며, 에르고딕 이론, 근사 이론, 스펙트럼 분석의 도구를 사용한다. 이는 리만 가설과 동역적 시스템에 대한 함의를 지닌다.

ABSTRACT

We survey the results and the methods in the theory of universality for various zeta and $L$-functions, obtained in these forty years after the first discovery of the universality for the Riemann zeta-function by Voronin.

연구 동기 및 목표

• zeta 및 L-함수의 보편성 현상에 관한 40년에 걸친 연구를 체계화하고 요약하기 위해.
• zeta 및 L-함수가 수직 이동을 통해 임의의 영이 아닌 해석적 함수를 보편적으로 근사할 수 있는 조건을 명확히 하기 위해.
• 보편성, 에르고딕 이론, 리만 가설 간의 깊은 연관성을 탐색하기 위해.
• 일반적, 강력한, 이산적, 가중치가 있는, 하이브리드 등의 다양한 보편성 결과를 동일한 이론적 프레임워크 아래 통합하기 위해.
• zeta 및 L-함수의 동역학 분야에서의 열린 문제와 향후 연구 방향을 부각하기 위해.

제안 방법

• 힐버트 공간에서 페처스키의 재배열 정리에 기반한 바르트린의 원래 증명 기법을 활용한다.
• 유리수 위에서 log p의 선형 독립성을 활용하기 위해 크로네커-베일 근사 정리를 적용하여 목표 함수의 조밀한 근사를 가능하게 한다.
• 메르게리얀의 근사 정리를 활용하여 컴팩트 집합에서 해석적 함수를 다항식으로 균일하게 근사한다.
• 바그치의 증명을 통해 확률적 프레임워크를 도입하여 보편성을 비르코프-항킨친 에르고딕 정리와 연결한다.
• 동시적인 함수 공간 내 근사를 통해 다중 zeta 및 L-함수에 대한 공동 보편성 및 강력 보편성 개념을 도입한다.
• 에르고딕 이론을 적용하여 보편성을 함수 공간에서의 조밀한 궤도 행동으로 재구성하며, 측도를 보존하는 변환과 반복적 이동을 사용한다.

실험 결과

연구 질문

• RQ1 임의의 영이 아닌 해석적 함수를 임계대의 컴팩트 부분집합에서 보편적으로 근사할 수 있는 zeta 또는 L-함수의 조건은 무엇인가?
• RQ2 다중 zeta 및 L-함수의 공동 보편성은 고전적 보편성 정리의 어떤 확장인가?
• RQ3 에르고딕 이론은 zeta-함수의 수직 이동에 따른 동역적 행동을 이해하는 데 어떤 역할을 하는가?
• RQ4 보편성은 도함수, 다중 zeta-함수, 또는 가중치가 있는 근사로 확장될 수 있는가?
• RQ5 보편성 현상은 리만 가설과 zeta-함수의 스펙트럼 성질과 어떻게 관련되어 있는가?

주요 결과

• 바르트린의 보편성 정리에 따르면, 임의의 컴팩트 집합 K ⊂ D(1/2,1)에서 영이 아닌 해석적 함수 f에 대해, 그리고 임의의 ε > 0에 대해, sup_{s∈K} |ζ(s+iτ) - f(s)| < ε 를 만족하는 τ 가 존재한다.
• 이러한 τ 의 집합은 양의 하한 밀도를 가지며, 이는 임의의 긴 간격 내에 무수히 많은 이러한 이동이 존재함을 의미한다.
• 리만 제타-함수의 D(1/2,1) 내 보편성은 {log p} 가 유리수 위에서 선형 독립이면서 크로네커-베일 근사 정리에 의해 유도된다.
• 오일러 곱을 갖는 L-함수의 가족에 대해, 그 관련 매개변수가 유리수 위에서 선형 독립이면 공동 보편성이 성립한다.
• 강력 보편성은 해석적 함수가 영이 될 수 있는 경우에도 적절한 조건 하에서 근사 가능성을 확장한다.
• 보편성은 동역계 이론의 관점에서 에르고딕성과 동치이다: 궤도 {φ(s+iτ)} 는 함수 공간에서 조밀하며, 목표 함수의 임의의 이웃 영역으로 무수히 많이 돌아온다.