[논문 리뷰] Independence of Artin L-functions

Mircea Cimpoeaş, Florin Nicolae|arXiv (Cornell University)|2018. 05. 21.

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

한 줄 요약

이 논문은 순서가 1보다 작은 메로모르픽 함수의 체 위에서 서로 다른 갈루아 군의 특성에 대응하는 아르틴 L함수의 도함수들의 선형적·대수적 독립성을 확립한다. 디리클레 급수와 산술 함수의 성질을 이용하여, $ 1 \leq j \leq r $, $ 0 \leq k \leq m $ 에 대해 도함수 $ L^{(k)}(s, \chi_j) $ 가 이 체 위에서 선형 독립임을 증명하며, 이는 이전의 $ \mathbb{C} $ 위에서의 결과를 확장하고, 성장 차수 측면에서 결과가 최적임을 보여준다.

ABSTRACT

Let $K/\mathbb Q$ be a finite Galois extension. Let $χ_1,\ldots,χ_r$ be $r\geq 1$ distinct characters of the Galois group with the associated Artin L-functions $L(s,χ_1),\ldots, L(s,χ_r)$. Let $m\geq 0$. We prove that the derivatives $L^{(k)}(s,χ_j)$, $1\leq j\leq r$, $0\leq k\leq m$, are linearly independent over the field of meromorphic functions of order $<1$. From this it follows that the L-functions corresponding to the irreducible characters are algebraically independent over the field of meromorphic functions of order $<1$.

연구 동기 및 목표

• 복소수 위에서의 선형 독립성 초월하여 아르틴 L함수에 대한 더 강력한 독립성 결과를 확립하기 위해.
• 순서가 1보다 작은 메로모르픽 함수의 체 위에서 아르틴 L함수의 대수적 독립성을 조사하기 위해.
• 선형 종속 관계에서 계수 함수의 최적 성장 조건(순서 <1)을 규명하기 위해.
• 이전에 알려진 L함수 도함수의 선형 독립성 결과를 보다 넓은 계수 함수의 범주로 확장하기 위해.
• 순서가 1보다 작은 메로모르픽 함수 위에서 기약 아르틴 L함수들이 대수적으로 독립임을 증명하기 위해.

제안 방법

• 아르틴 L함수의 디리클레 급수 전개를 이용하고, 그 산술 함수 $ f_j(n) $ 이 임의의 $ \varepsilon > 0 $ 에 대해 $ O(n^\varepsilon) $ 임을 보여준다.
• 공간 $ \mathcal{A}_\varepsilon \subset \mathcal{B}_\varepsilon $ 에 속하는 계수를 가진 디리클레 급수의 절대수렴성과 0으로 수렴하는 성질에 관한 보조정리를 적용한다. 이 공간은 $ \mathcal{V}_\varepsilon $ 와의 교차가 자명하다.
• 해석적 함수의 항등정리 원리를 적용하여, 반평면에서 0이 되는 계수 함수는 식별적으로 0이어야 한다는 결론을 이끌어낸다.
• 체보타레프의 밀도 정리를 적용하여, 서로 다른 특성이 서로 다른 산술 함수 $ f_j(n) $ 를 유도함을 보여준다.
• 산술 함수 이론에서의 보조정리 4를 적용하여, $ \mathcal{A}_\varepsilon $ 위에서 도함수들의 선형 독립성을 결론짓는다.
• 항등식 $ L(s, \sum n_i \chi_i) = \prod L(s, \chi_i)^{n_i} $ 을 활용하여 결과를 대수적 독립성으로 확장한다.

실험 결과

연구 질문

• RQ1 순서가 1보다 작은 메로모르픽 함수의 체 위에서 도함수 $ L^{(k)}(s, \chi_j) $ 는 선형 독립인가?
• RQ2 복소수 위에서 아르틴 L함수의 선형 독립성은 더 큰 계수 체 위로 강화될 수 있는가?
• RQ3 이러한 독립성 결과에 대해 순서 <1 조건이 최적이란 말인가?
• RQ4 기약 특성에 대응하는 아르틴 L함수들은 순서가 1보다 작은 메로모르픽 함수 위에서 대수적으로 독립인가?
• RQ5 산술 함수 $ f_j(n) $ 이 L함수의 독립성 결정에 어떤 역할을 하는가?

주요 결과

• 순서가 1보다 작은 메로모르픽 함수의 체 위에서 $ 1 \leq j \leq r $, $ 0 \leq k \leq m $ 에 대해 도함수 $ L^{(k)}(s, \chi_j) $ 는 선형 독립이다.
• 결과는 최적이다: 성장 차수 측면에서 더 큰 계수 함수의 클래스를 사용할 수 없으며, 아르틴 L함수의 순서가 1이기 때문이다.
• 기약 아르틴 L함수 $ L(s, \chi_1), \ldots, L(s, \chi_h) $ 는 순서가 1보다 작은 메로모르픽 함수의 체 위에서 대수적으로 독립이다.
• 증명은 체보타레프의 밀도 정리를 통해 서로 다른 특성에 대응하는 산술 함수의 비등가성에 기반한다.
• 선형 독립성 결과는 [6, 정리 1]의 이전 결과를 계수 함수가 $ \mathbb{C} $ 에서 순서가 1보다 작은 메로모르픽 함수로 확장한 것이다.
• 결과는 서로 다른 아르틴 L함수의 도함수들 사이에 계수 함수가 순서가 1보다 작은 메로모르픽 함수 체에 속하는 비자명한 선형 관계가 존재하지 않음을 시사한다.