[논문 리뷰] Anderson-Stark units for $\mathbb F_q[ heta]$

Bruno Anglès, Federico Pellarin외 1명|arXiv (Cornell University)|2015. 01. 27.

Advanced Mathematical Identities인용 수 2

한 줄 요약

이 논문은 Fq[θ] 위에서 다변수 L함수의 특수값을 코딩하는 특수 다항식인 Anderson-Stark 단위를 도입하고, 이러한 L값이 이 단위를 통해 유한한 다重로그함수의 합으로 표현될 수 있음을 증명한다. 다변수 로그-대수성 정리와 Frobenius twist 구조를 이용하여, L(N, s, z)의 명시적 공식을 다항계수에 대한 반복 τ작용의 형태로 유도함으로써, 양의 특성에서의 고전적 Stark형 단위를 일반화한다.

ABSTRACT

We investigate the arithmetic of special values of a new class of $L$-functions recently introduced by the second author. We prove that these special values are encoded in some particular polynomials which we call Anderson-Stark units. We then use these Anderson-Stark units to prove that $L$-functions can be expressed as sums of polylogarithms.

연구 동기 및 목표

• Fq[θ] 위에서 다변수 L함수 L(N, s, z)의 산술을 연구하고, 고전적 Goss L함수를 일반화한다.
• 이 L값을 코딩하는 특수 다항식으로서 Anderson-Stark 단위를 정의하고 특성화한다.
• A[t1,…,ts] 위의 t-모듈러스 구조와 관련된 지수함수에 대한 다변수 로그-대수성 정리를 수립한다.
• 명시적인 다항식 구성법을 통해 L(N, s, z)를 다중로그함수의 유한합으로 표현한다.
• Frobenius twist와 다항계수를 포함하는 명시적 공식을 통해 양의 특성에서의 리만 및 L함수의 특수값에 대한 고전적 결과를 일반화한다.

제안 방법

• K[[z]][t1,…,ts]에서 다변수 L급수 L(N, s, z) = ∑_{d≥0} z^d ∑_{a∈A+,d} a(t1)⋯a(ts)/a^N 를 정의한다.
• D_i가 재귀적 Frobenius 규칙을 만족하는 바, 지수함수 expφ,z = ∑_{i≥0} z^i / D_i ⋅ τ^i 를 정의한다.
• expφ,z(L(1, s, z)) ∈ A[t1,…,ts,z 임을 증명하고, 이를 Anderson-Stark 단위 σs(t,z) 라고 부른다.
• ϕ_r를 이용하여 L(q^r, s, z)와 L(1, s, z)를 ϕ_r(σs(t,z)) = σ_{s}(t,z) 의 이동을 통해 연결한다.
• 로그-대수성 항등식에 연산자 ϕ_r를 적용하여 L(N, n, z)를 j에 대한 합 ∑ θ^j log_{N,z}(h_j) 형태로 표현한다. 여기서 h_j는 t1,…,tn에 관한 다항식이다.
• 주요 공식 유도: L(N, n, z) = 1/(l_{r-1}^{q^r - N} b_r(t1)⋯b_r(tn)) ⋅ ∑_{j=0}^d θ^j log_{N,z}(h_j), h_j ∈ A[t1,…,tn,z].

실험 결과

연구 질문

• RQ1 Fq[θ] 위에서 다변수 L함수 L(N, s, z)의 특수값은 어떻게 산술적으로 코딩될 수 있는가?
• RQ2 Anderson-Stark 단위 σs(t,z)는 이러한 L값을 표현하는 데 어떤 역할을 하는가?
• RQ3 N > 0 이고 qr ≥ N 일 때, L(N, s, z)는 다중로그함수의 유한합으로 표현될 수 있는가?
• RQ4 Frobenius twist ϕ_r는 L(1, s, z)와 L(q^r, s, z)를 어떻게 연결하고, 명시적 공식의 구축을 가능하게 하는가?
• RQ5 L(N, n, z)의 합 분해에 나타나는 다항식 h_j의 정확한 구조는 무엇인가?

주요 결과

• Anderson-Stark 단위 σs(t,z) = expφ,z(L(1, s, z)) 는 A[t1,…,ts,z] 에 속하며, L-series L(1, s, z)를 다항식으로 코딩한다.
• 1 ≤ s ≤ q−1 일 때 σs(t,z) = 1 이고, s = q 일 때 σq(t,z) = 1 − z 이며, 이는 낮은 차수에서의 명시적 행동을 보여준다.
• σs(t,1) = expC(L(1, s)) 는 A[t1,…,ts] 에 속하며, s < q 이면 Γ(X1⋯Xs) = logC(X1⋯Xs) 를 만족한다.
• 모든 N ∈ Z 와 n ≥1 이며 qr ≥ N 일 때, L(N, n, z) 는 다음과 같은 유한합으로 표현된다: L(N, n, z) = 1/(l_{r-1}^{q^r - N} b_r(t1)⋯b_r(tn)) ⋅ ∑_{j=0}^d θ^j log_{N,z}(h_j), h_j ∈ A[t1,…,tn,z].
• 계수 h_j 는 h_j = ∑_{i=0}^m z^i b_r(t1)⋯b_r(tn) ϕ_r(g_{i,j}) 로 구성되며, g_{i,j} ∈ A[t1,…,tn] 이고, 이 공식은 Ts(K∞) 에서 성립한다.
• 이 공식은 양의 특성에서의 고전적 다중로그함수 항등식을 일반화하며, 다항식 기저와 Frobenius 작용을 이용한 명시적이고 알고리즘적인 특수 L값 계산 방법을 제공한다.