Computing L-functions of $λ$-adic representations of global function fields

기술 요약: 전역 함수체 위의 $\lambda$-적(adic) 표현에 대한 $L$-함수 계산

문제 정의
전역 함수체 $K = \mathbb{F}_q(C)$ 상의 대상들에 대한 산술은 이론적으로 매우 잘 이해되어 있다. 구체적으로, 이들의 연관된 $L$-함수는 $q^{-s}$에 대한 유리 함수이며, 알려진 함수 방정식과 리만 가설을 만족한다. 그러나 이러한 대상들을 위한 계산 생태계는 매우 제한적이다. 수체(number fields)를 위한 광범美的한 인프라(예: LMFDB, Dokchitser, Booker, Rubinstein의 알고리즘)와 달리, PARI 및 SageMath와 같은 핵심 컴퓨터 대수 시스템은 함수체에 대한 명시적 계산을 거의 지원하지 않는다. Magma는 특정 사례(예: 비상수 타원 곡선)에 대해 일부 기능을 제공하지만, 임의의 $\lambda$-적 표현에 대한 $L$-함수의 계수와 루트 넘버($\epsilon$-인자)를 계산하기 위한 일반적이고 체계적인 프레임워크는 부재하다. 이러한 격차는 함수체용 LMFDB의 구축을 저해하고, 이 환경에서의 추측들을 명시적으로 검증하는 것을 제한한다.

방법론
본 논문은 전역 함수체 $K$의 거의 모든 곳에서 미분류(almost everywhere unramified)인 $\lambda$-적 표현 $\rho_\lambda$에 대하여 형식적 $L$-함수 $L(\rho_\lambda, T)$와 그 부호 $\epsilon(\rho_\lambda)$를 계산하기 위한 체계적인 프레임워크를 구축한다. 이 접근 방식은 $L(\rho_\lambda, T)$의 유리성과 그 함수 방정식에 기초한다.

1. 이론적 토대: 본 논문은 $\rho_\lambda$의 불변량들, 즉 아르틴 컨덕터(Artin conductor) $f(\rho_\lambda)$, 가중치(weight) $w(\rho_\lambda)$, 그리고 부호 $c(\rho_\lambda) \in \{\text{id}, \text{cc}\}$를 검토한다. 또한 $L(\rho_\lambda, T)$가 유리 함수 $N(\rho_\lambda, T)/D(\rho_\lambda, T)$임을 확립하며, 여기서 차수 차이 $n(\rho_\lambda) - d(\rho_\lambda)$는 컨덕터와 곡선 $C$의 종수에 의해 결정된다.
2. 층화(Stratification) 및 유리성: 저자들은 국소 오일러 인자(local Euler factors) $L_v(\rho_\lambda, T)$의 "층화"를 정의한다. 저자들은 $n(\rho_\lambda)$까지의 계수를 결정하기 위해 충분히 많은 곳(places) $v$에 대한 국소 인자들을 곱하여 분자 다항식 $N(\rho_\lambda, T)$를 계산하는 알고리즘 3.4를 제안한다.
3. 함수 방정식을 통한 최적화: 만약 $\rho_\lambda$가 자기 쌍대(self-dual)라면, 함수 방정식은 $N(\rho_\lambda, T)$의 고차수 계수와 저차수 계수를 연결한다.
   • 알고리즘 3.6은 $N(\rho_\lambda, T)$의 첫 $\lfloor n/2 \rfloor$개의 계수를 계산하고, $\epsilon(\rho_\lambda)$가 알려져 있는 경우 나머지 계수들을 동시에 도출하는 방법을 활용한다.
   • 알고리즘 3.9는 이 단계들을 결합하여 $\epsilon(\rho_\lambda)$가 알려졌을 때 $N(\rho_\lambda, T)$ 전체 다항식을 출력하며, 이를 통해 계산 복잡도를 $n$에 대한 지수 시간에서 대략 $\lfloor n/2 \rfloor$에 대한 지수 시간으로 줄인다.
4. 부호 계산: $\epsilon(\rho_\lambda)$를 모르는 경우, 알고리즘 3.11은 함수 방정식을 사용하여 이를 계산한다. 이는 부분 계수들을 계산하고, 관계식 $N_k = \epsilon M_{n-k}$로부터 유도된 비제로(non-zero) 계수를 사용하여 $\epsilon(\rho_\lambda)$를 결정한다.

주요 기여 및 결과
본 논문은 정리 1.1에 요약된 세 가지 주요 알고리즘 결과를 제시한다:

1. 일반 계산: $n(\rho_\lambda)$의 차수에 대략 지수 시간(exponential time)이 걸리는 $L(\rho_\lambda, T)$ 계산 알고리즘 (알고리즘 3.4).
2. 최적화된 계산: $\epsilon(\rho_\lambda)$가 알려진 경우, $L(\rho_\lambda, T)$를 계산하는 데 대략 $\lfloor n(\rho_\lambda)/2 \rfloor$에 대한 지수 시간이 걸리는 알고리즘 (알고리즘 3.9).
3. 부호 계산: 일반적으로 $\lfloor n(\rho_\lambda)/2 \rfloor$에 대한 지수 시간, 최악의 경우 $n(\rho_\lambda)$에 대한 지수 시간이 걸리는 $\epsilon(\rho_\lambda)$ 계산 알고리즘 (알고리즘 3.11).

저자들은 이 알고리즘들을 Magma에 구현하였으며, 타원 곡선 및 트위스티드 $L$-함수에 대한 기존 구현들과 비교 검증하였다. 논문은 다음의 사례들에 대해 명시적인 수계산 예시를 제공한다:

• 자명한 표현(Trivial representations): 하이퍼엘립틱 곡선의 데데킨트 $\zeta$-함수 계산.
• 타원 곡선: $\mathbb{F}_7(t)$ 상의 비상수 타원 곡선의 $L$-함수 계산.
• 디리클레 캐릭터(Dirichlet characters): $\mathbb{F}_3(t)$ 상의 원시 캐릭터에 대한 $L$-함수 및 $\epsilon$-인자 계산.

모든 예시에서, 분자 다항식의 계산된 근들은 리만 가설(모듈로 $q^{-(w+1)/2}$)을 만족하며, 이는 구현의 정당성을 입증하는 확인 절차 역할을 한다.

의의
본 논문은 수체 위의 모티브 $L$-함수를 위한 T. Dokchitser의 알고리즘을 전역 함수체에 맞게 변형하여, 최초의 일반적이고 체계적인 대응물을 제공한다고 주장한다. 함수체 위의 $\lambda$-적 표현에 대한 계산 도구의 공백을 메움으로써, 본 연구는 이전에는 불가능했던 더 넓은 범위의 대상들(아르틴 표현, 야코비안, 오토모픽 폼 포함)에 대한 $L$-함수 데이터를 명시적으로 계산할 수 있게 한다. 이는 함수체용 LMFDB의 잠재적 구축을 용이하게 하며, 함수체 환경에서의 트위스티드 BSD 유형 공식과 같은 산술적 추측들의 명시적 정식화를 지원한다. 본 연구는 알고리즘적 프레임워크와 특정 예시에 대한 검증에 집중하여 범위를 적절히 조절하였으며, 더 복잡한 엔도모피즘 $c(\rho_\lambda)$ 및 텐서 곱으로의 확장은 향후 과제로 남겨두었다.