A metric approach to zero-free regions for $L$-functions

기술 요약: L-함수의 영 없는 영역(Zero-Free Regions)에 대한 메트릭 접근법

문제 정의
본 논문은 표준 $L$-함수 $L(s, \pi)$ 및 랭킨-셀베르그(Rankin–Selberg) $L$-함수 $L(s, \pi \times \pi')$에 대하여 고전적인 영 없는 영역을 확립하는 문제를 다룬다. 여기서 $\pi$와 $\pi'$는 수체 $F$ 위의 $GL(m)$및$GL(m')$의 정칙 자가모듈러 표현(cuspidal automorphic representations)이다. 구체적으로, 목표는 이 함수들이 특정 자기 쌍대성(self-duality) 조건 하에서 단 하나의 단순 실수 영점(Siegel zero)을 가질 가능성을 제외하고, $\sigma \geq 1 - c/\log(C(\dots))$ 형태의 영역에서 영점을 갖지 않음을 증명하는 것이다.

일반화된 라만차-하디 추측(GRC)에 의존하는 기존의 방식들을 오토모픽(automorphic) 환경으로 확장하는 데 있어 주요한 난제는, 아직 완전히 확립되지 않은 디리클레 계수들에 대한 유계성 문제이다. 전통적인 접근법들은 아직 완전히 입증되지 않은 GRC에 대한 진전이 필요한 프라임 거듭제곱(prime powers)에 대한 계수 유계성을 요구하는 경우가 많다. 또한, 이전의 랭킨-셀베르크 합성곱 결과들은 명시적인 상수(explicit constants)가 결여되어 있거나 차수(degree) $m$ 및 $m'$에 대한 의존성이 최적화되지 못한 경우가 있었다.

방법론
저자는 Granville과 Soundararajan이 개발하고 Koukoulopoulos가 공식화한 "기만적(pretentious)" 곱셈 함수 이론에서 영감을 얻은 "메트릭(metric)" 접근법을 사용한다. 핵심 전략은 고전적인 비음수 삼각 부등식(예: $3-4-1$논법)을 오토모픽$L$-함수에 의해 정의된 메트릭 군(family of metrics)으로 대체하는 것이다.

1. 수정된 메트릭: 표준 디리클레 계수 $\lambda_\pi(n)$ 대신, 저자는 로그 미분 $-(L'/L)(s, \pi)$의 계수 $a_\pi(n)$에 기반한 메트릭 $D_\sigma$를 정의한다. 이러한 전환은 매우 중요한데, $a_\pi(p) = \lambda_\pi(p)$가 프라임(prime)에 대해 성립하지만, 로그 미분 정식화는 저자가 프라임 거듭제곱에 관한 미해결된 GRC에 대한 의존성을 우회할 수 있게 해주기 때문이다.
2. 삼각 부등식: 증명 구조는 삼각 부등식 $D_\sigma(x_1, x_2) \leq D_\sigma(x_1, x_3) + D_\sigma(x_3, x_2)$에 의존한다. 이 부등식을 제곱하고 특정 원소들($\pi, \pi'$, 이동량 $\gamma$, 부호 $\delta$)을 선택함으로써, 저자는 $L$-함수의 로그 미분의 비음수 선형 결합을 구성한다. 이 구성은 영 없는 영역을 제한하기 위해 사용되는 고전적인 삼각 항등식의 오토모픽 유사체 역할을 한다.
3. 분기된 프라임(Ramified Primes) 처리:
   • 초기 접근법 (섹션 4): 레벨 $Nq_\pi = 1$인 경우, 메트릭 접근법은 원하는 부등식을 직접적으로 도출한다.
   • 정교화된 접근법 (섹션 5): $Nq_\pi > 1$인 경우, 분기된 프라임들은 오차항을 도입한다. 이러한 항들을 제어하기 위해 GRC에 대한 의존성을 제거해야 하는 상황에서, 저자는 Lichtman과 Pascadi가 도입한 "양의 준정부호 가족(positive semi-definite families)"의 틀을 활용한다. 저자는 $(-(L'/L)(s, \pi \times \tilde{\pi}'))$의 양의 준정부호성에 기반하여 수정된 양 $D^*_\sigma$를 정의함으로써, 분기된 프라임의 기여를 포함하지 않고도 필요한 비음수 선형 결합을 구성한다.

주요 결과
본 논문은 명시적인 상수와 차수 $m, m'$에 대한 균등한 의존성을 갖는 정리들을 확립한다:

• 정리 1.1 (표준 $L$-함수): $\pi \in \mathcal{F}^*_m$에 대하여, $L(s, \pi)$는 $\pi$가 자기 쌍대인 경우 단 하나의 단순 실수 영점을 가질 가능성을 제외하고, $\sigma \geq 1 - \frac{1}{33(2m+3)\log(C(\pi)(3+|t|)^{m[F:\mathbb{Q}]})}$ 영역에서 영점을 갖지 않는다. 만약 $\pi$가 자기 쌍대라면, $(3+|t|)$의 지수를 $[F:\mathbb{Q}]$로 줄일 수 있다.
• 정리 1.2 (랭킨-셀베르크, 비-자기 쌍대 $\pi$): $\pi \neq \tilde{\pi}$이고 $\pi' = \tilde{\pi}'$일 때, $L(s, \pi \times \pi') \neq 0$은 $\sigma \geq 1 - \frac{1}{28(m+m')\log(C(\pi)C(\pi')(3+|t|)^{m[F:\mathbb{Q}]})}$ 영역에서 성립한다.
• 정리 1.3 (랭킨-셀베르크, 자기 쌍대 조건): $L(s, \pi \times \pi') = L(s, \tilde{\pi} \times \tilde{\pi}')$이면, $L(s, \pi \times \pi')$는 $\sigma \geq 1 - \frac{1}{66(m+m')\log(C(\pi)C(\pi')(3+|t|)^{m[F:\mathbb{Q}]})}$ 영역에서 최대 하나의 단순 실수 영점을 갖는다.

한계 및 구조적 장벽
본 논문은 이 메트릭 접근법의 한계를 명시적으로 분석한다. 저자는 만약 $\pi, \pi', L(s, \pi \times \pi')$가 모두 비-자기 쌍대(non-self-dual)라면, 메트릭 프레임워크가 고전적인 영 없는 영역을 생성할 수 없음을 보여준다. 이러한 비대칭적 설정에서는 삼각 부등식으로부터 유도된 임의의 선형 결합이 $c_P \geq c_Z$ (여기서 $c_P$는 극점 기여, $c_Z$는 영점 기여)를 만족하게 되어, 모순을 이끌어내기 위한 필수 조건인 $0 \leq c_P < c_Z$를 충족하지 못한다.

의의 및 독창성
저자는 다음과 같은 기여를 주장한다:

1. GRC로부터의 독립성: 디리클레 계수를 직접 사용하는 대신 로그 미분의 계수를 활용함으로써, 일반화된 라만차-하디 추측(GRC)에 대한 진전 없이도 증명을 수행한다.
2. 명시적 상수 및 균등성: 결과들은 명시적인 상수(예: 33, 28, 66)를 제공하며, Brumley, Goldfeld, Li, Humphries, Thorner의 이전 연구들과 비교하여 $m$ 및 $m'$에 대한 균등성을 개선하거나 일치시킨다.
3. 새로운 영 없는 영역: 정리 1.3은 $L(s, \pi \times \pi')$가 자기 쌍대이지만 $\pi$와 $\pi'$가 반드시 개별적으로 자기 쌍대일 필요는 없는 일반적인 경우에 대한 새로운 결과로 제시된다.
4. 방법론적 정렬: 이 접근법은 표준 및 랭킨-셀베르크 $L$-함수의 연구를 고전적인 하다마르-드 라 발레 푸생(Hadamard–de la Vallée Poussin) 논법과 일치시키며, 메르텐스(Mertens)의 결과를 회복하고 이를 오토모픽 환경으로 확장하는 "메트릭" 해석을 제공한다.
5. 누락된 부분의 교정: 본 논문은 이전 문헌([11, Lemma 5.9])에서 $\gamma \neq 0$인 $s=1+i\gamma$에서의 극점 기여와 관련하여 발생한 잠재적 간과를 다루고 있으며, 섹션 4.1.2에서 더 완전한 분석을 제공한다.

결론적으로, 메트릭 접근법은 자기 쌍대성 가정 하에서는 강력하지만, 일반적인 비-자기 쌍대 랭킨-셀베르크 $L$-함수로의 확장은 여전히 미해결 과제로 남아 있으며, 이는 Lichtman과 Pascadi의 양의 준정부호 프레임워크가 더 넓지만 현재로서는 불충분한 경로를 제시할 수 있음을 시사한다.