[논문 리뷰] Perturbations of L-functions with or without non-trivial zeros off the critical line

P. M. Gauthier, Xavier Xarles|ArXiv.org|2009. 11. 26.

Analytic Number Theory Research참고 문헌 16인용 수 3

한 줄 요약

이 논문은 표준 함수방정식을 만족하는 L-함수의 소규모 변형이 그랜드 리만 가설을 만족하거나 만족하지 않을 수 있음을 보여준다. 이는 변형의 종류에 따라 달라진다. 연구는 이러한 L-함수 공간에서 리만 가설을 위반하는 함수들이 일반적임을 증명하며, 동시에 리만 가설을 만족하는 함수들이 변형을 통해 근사 가능하다는 점을 보여, 소규모 변형에 의한 리만 가설의 실패와 지속성 모두가 존재함을 입증한다.

ABSTRACT

There exist small perturbations of L-functions, satisfying the appropriate functional equation, for which the analogue of the Riemann hypothesis fails radically. Moreover, this phenomenon is generic. However, there also exist small perturbations, for which the analogue of the Riemann hypothesis holds.

연구 동기 및 목표

• 표준 함수방정식을 만족하는 L-함수의 소규모 변형이 그랜드 리만 가설을 만족하지 않을 수 있는지 조사하기.
• 그랜드 리만 가설을 유지하는 이러한 변형이 존재하는지 확인하기.
• 함수방정식을 만족하는 유리형 및 정칙 함수의 공간에서 리만 가설을 위반하는 변형의 일반성 입증하기.
• 리만 제타함수에 알려진 결과를 감마 인자와 도수 항을 포함하는 함수방정식을 가진 더 넓은 범주의 L-함수로 확장하기.
• 원래 함수가 전체 공간에서 조밀하지 않은 경우에도 리만 가설을 만족하는 함수로의 근사가 가능함을 보여주기.

제안 방법

• 저자들은 원래 L-함수의 함수방정식의 구조를 유지하는 s = 1/2에 대해 대칭인 유리형 함수 ν(s)를 곱하여 L-함수의 변형을 고려한다.
• 함수방정식 ΛQ(f,s) = ΛQ(f,1−s)를 만족하는 유리형 함수의 공간 MQ와 그 안의 정칙 함수의 부분공간 HQ를 정의한다.
• 컴acta 위에서 균일 수렴의 위상 구조를 사용하여, MQ 및 HQ 내에서 리만 가설을 만족하는 함수들의 부분집합 RMQ 및 RHQ의 조밀성과 열린성 분석한다.
• 동시 근사 및 보간을 위한 월러시 보조정리의 일반화된 형태를 적용하여, 리만 가설을 유지하거나 파괴하는 변형을 구성한다.
• 원래 L-함수의 대칭성(예: 실수값 또는 복소수 켤레에 대한 대칭성)이 근사 함수에서도 유지될 수 있음을 검증한다.
• 모듈라 형식, 타원곡선, 함수체 위의 제타함수와 관련된 L-함수 등의 구체적 예를 제시하며, 그랜드 리만 가설이 성립하는 경우를 보이고, 이러한 성질을 유지하거나 위반하는 변형을 구성할 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 표준 함수방정식을 만족하는 L-함수의 소규모 변형이 그랜드 리만 가설을 만족하지 않을 수 있는가?
• RQ2 유리형 및 정칙 함수의 공간에서 리만 가설을 위반하는 변형의 집합이 일반적인가?
• RQ3 변형된 L-함수에 대해 그랜드 리만 가설이 여전히 성립하도록 변형을 구성할 수 있는가?
• RQ4 그랜드 리만 가설이 알려진 특정 클래스의 L-함수들이 존재하는가? 그리고 이러한 함수들이 리만 가설을 유지하거나 위반하는 변형에 의해 근사 가능한가?
• RQ5 원래 L-함수의 대칭성(예: 실수값 또는 켤레 대칭성)이 근사 변형에서 유지될 수 있는가?

주요 결과

• MQ에 속한 유리형 함수 중 리만 가설을 위반하는 집합은 열려 있고 조밀하여, 이는 이러한 위반이 변형 공간에서 일반적임을 나타낸다.
• 유사하게, HQ에 속한 정칙 함수 중 리만 가설을 위반하는 집합 역시 열려 있고 조밀하여, 정칙 함수의 경우 리만 가설 위반이 일반적임을 확인한다.
• 함수방정식을 유지하면서도 그랜드 리만 가설을 만족하는 소규모 변형이 존재함을 보여, 리만 가설을 유지하는 근사가 실제로 구성 가능함을 입증한다.
• 이 결과는 딜리클 캐릭터, 헤케 캐릭터, 모듈라 형식, 자동형 형식과 관련된 L-함수로도 확장 가능하며, 감마 인자와 도수 항을 포함하는 표준 형태의 함수방정식을 가져야 한다.
• 루트 번호 W(ρ) = 1이고 실수 표현을 가지는 L-함수, 또는 L(1/2) ≠ 0인 Q 위의 타원곡선에서 유래한 L-함수의 경우 그랜드 리만 가설이 성립하며, 이러한 함수들은 리만 가설을 유지하거나 위반하는 변형에 의해 근사 가능하다.
• 근사 함수의 구성은 대칭성을 유지한다: 원래 L-함수가 복소수 켤레에 대해 대칭이거나 실수값을 가지면, 근사 함수 역시 이러한 성질을 유지할 수 있도록 선택할 수 있다.