[논문 리뷰] Exceptional Zeros of $L$-series and Bernoulli-Carlitz Numbers

Bruno Anglès, Tuân Ngô Dac외 1명|arXiv (Cornell University)|2015. 11. 19.

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

한 줄 요약

이 논문은 양의 특성에서 베르누이-카를리츠 수의 소수 모듈로에서의 비영성에 대한 추측을 증명하며, 이러한 수와 특정 L-급수의 예외적 영점 사이에 깊은 연결을 설정한다. 조합 기법과 앤더슨의 솔리톤 성질을 활용하여, 소수 $P$ 모듈로에서의 베르누이-카를리츠 수 $BC_{q^d - N}$의 비영성은 $K$-선형 내림사상의 행렬식이 비영성과 동치임을 보이며, 이는 $L$-급수 $L_N(t)$의 예외적 영점을 캐릭터라이즈한다. 이로써 함수체 산술 이론에서 핵심 문제를 해결한다.

ABSTRACT

Bernoulli-Carlitz numbers were introduced by L. Carlitz in 1935, they are the analogues in positive characteristic of Bernoulli numbers. We prove a conjecture formulated by F. Pellarin and the first author on the non-vanishing modulo a given prime of families of Bernoulli-Carlitz numbers. We then show that the "exceptional zeros" of certain $L$-series are intimately connected to the Bernoulli-Carlitz numbers.

연구 동기 및 목표

• 양의 특성에서 베르누이-카를리츠 수의 가역성에 대한 F. 펠라린과 B. 안글레의 추측을 해결한다.
• 일부 $L$-급수 $L_N(t)$의 예외적 영점과 베르누이-카를리츠 수의 산술적 구조 사이의 정확한 연결 고리를 설정한다.
• 특정 $K$-선형 내림사상 $\varphi_t^{(N)}$의 고유값을 이용하여 비영성 결과의 새로운 증명을 제공한다.
• 다항식 $A = \mathbb{F}_q[\theta]$에서의 도함수를 포함하는 오일러 유형 합에 대한 자릿수 원칙을 개발하며, 양의 특성에서의 유한 다중 제타값에 대한 결과를 일반화한다.

제안 방법

• Theorem 1.1을 증명하기 위해 $p$-진 값 측정과 $L$-급수 $L_N(t)$의 계수 차수에 대한 조합적 경계를 사용하며, 자릿수 합 $\ell_q(N)$과 칼리츠 계승법 $\Pi(n)$에 의존한다.
• Anderson-Thakur 함수 $\omega(t)$와 칼리츠 주기 $e_\pi$를 통해 이중변수 다항식 $B_N(t, \theta)$를 구성하며, $B_N(t^p, \theta^p) = B_N(t, \theta)^p$와 같은 핵심 함수 항등식을 만족함을 보인다.
• 예외적 영점은 유한 차원 $K$-벡터 공간 $H(\varphi^{(N)})$ 위에서 작용하는 $K$-선형 내림사상 $\varphi_t^{(N)}$의 고유값임을 이용하며, $\theta^{q^d}I_d - \varphi_t^{(N)}|_{H(\varphi^{(N)})}$의 행렬식과 베르누이-카를리츠 수 사이의 관계를 규명한다.
• 부록의 자릿수 원칙을 적용하여 도함수 합 $\delta_N = \sum_{k \geq 1} \sum_{a \in A_{+,k}} \frac{a'^N}{a}$를 $\delta_{q^k}$, $\Pi(N)$, $\beta_N$를 포함하는 곱으로 표현하며, 이는 $B_N(\theta, \theta)$와 연결된다.
• 초우등 Weierstrass 준비 정리를 적용하여 $F(t)/\omega(t) \in \mathbb{F}_q[t]$임을 보이며, 이는 항등식 $\omega(t) = \exp_C(e_\pi / (\theta - t))$의 증명에 핵심적이다.
• 항등식 $\operatorname{Res}_{t=\theta^{q^j}} \left( \frac{L(t)}{t - \theta^{q^j}} \right) = \delta_{q^j}$와 보조정리 A.3을 사용하여 $\delta_{q^j}$를 명시적으로 $\Pi(q^j)/[j] \cdot e_\pi^{1 - q^j}$로 계산한다.

실험 결과

연구 질문

• RQ1 만약 $q^d > N$ 이고 $d \geq \frac{\ell_q(N) - 1}{q - 1} N$ 이면, 차수 $d$인 모닉 기약 다항식 $P$에 대해 $BC_{q^d - N}$이 모듈로 $P$에서 영이 되는가?
• RQ2 $L$-급수 $L_N(t)$의 예외적 영점과 베르누이-카를리츠 수 사이의 정확한 산술적 관계는 무엇인가?
• RQ3 합 $\delta_N = \sum_{k \geq 1} \sum_{a \in A_{+,k}} \frac{a'^N}{a}$는 $\delta_{q^k}$와 $\Pi(N)$과 같은 알려진 특수값으로 표현될 수 있는가?
• RQ4 $H(\varphi^{(N)})$ 위에서 작용하는 $K$-선형 내림사상 $\varphi_t^{(N)}$의 고유값은 $L_N(t)$의 예외적 영점을 어떻게 캐릭터라이즈하는가?
• RQ5 클래식한 다중 제타값 이론과 유사하게, 도함수 합 $\delta_N$의 구조를 지배하는 자릿수 기반 원칙이 존재하는가?

주요 결과

• Theorem 1.1이 증명됨: $N \geq 2$, $N \equiv 1 \pmod{q - 1}$, 그리고 $d \geq \frac{\ell_q(N) - 1}{q - 1} N$ 이면, 임의의 차수 $d$인 모닉 기약 $P$에 대해 $q^d > N$ 이면 $BC_{q^d - N} \not\equiv 0 \pmod{P}$이다.
• $L_N(t)$의 예외적 영점은 정확히 $H(\varphi^{(N)})$ 위에서 작용하는 $K$-선형 내림사상 $\varphi_t^{(N)}$의 고유값이며, 이들은 단순하며 $q = p$ 이면 $\mathbb{F}_p((1/\theta))$에 속한다.
• $q = p$ 이면 행렬식 $\det_K(\theta^{q^d}I_d - \varphi_t^{(N)}|_{H(\varphi^{(N)})})$ 는 $\frac{(-1)^{\ell_p(N) - p}}{p - 1} \cdot \frac{\Pi(N) \Pi(q^d - N)}{\prod_{l=0}^{k} \prod_{n=0, n \neq l}^{d-1} (\theta^{p^l} - \theta^{p^n})^{n_l}} \cdot BC_{q^d - N}$ 와 같다.
• 합 $\delta_N = \sum_{k \geq 1} \sum_{a \in A_{+,k}} \frac{a'^N}{a}$ 는 $\frac{\beta_N \Pi(N)}{\Pi([N/q])^q} \prod_{k=1}^r \left( \frac{\delta_{q^k}}{e_\pi} \right)^{n_k}$ 와 같음을 보이며, 여기서 $\beta_N = (-1)^{\frac{\ell_q(N) - 1}{q - 1}} B_N(\theta, \theta)$ 이다.
• 다항식 $B_N(t, \theta)$ 는 $\theta$ 에 대해 모닉이며 차수 $\frac{\ell_q(N) - q}{q - 1}$ 이며, 그 근은 $L_N(t)$의 예외적 영점이다.
• $\ell_q(N) = 3q - 2$ 이면 $B_N(\theta, t)$의 판별식이 0이 아니며, 이는 $B_N(\theta, t)$가 단순 근만을 가지며, 이는 이 경우 예외적 영점의 단순성을 확인한다.