Zeta functions over curves

기술 요약: 곡선 위의 제타 함수 (Zeta Functions Over Curves)

문제 정의
본 논문은 양의 표수를 가진 전역 함수체(global function fields)의 맥락에서 제타 함수와 $L$-함수의 구성 및 분석을 다룬다. 본 연구는 두 가지 서로 다른 이론적 틀을 연결하고자 한다:

1. Goss의 이론: 1979년부터 데이비드 고스(David Goss)가 발전시킨 이 이론은, 제타 함수를 양의 표수를 가진 국소체($C_\infty$) 내에서 칼리츠 제타 값(Carlitz zeta values)을 보간하는 형식적 급수로 구성한다. 이 함수들은 "복소 지수"(quasi-characters)의 공간 위에서 정의되며, 클래식한 리만 제타 함수와 유사한 성질(전해성(entireness) 및 자명한 영점 등)을 보인다. 그러나 리만의 $\xi(s) = \xi(1-s)$와 같은 함수 방정식(functional equation)은 이 프레임워크 내에서 여전히 규명되지 않은 상태로 남아 있다.
2. 곡선 기반 이론: 보다 최근의 접근법으로, $C_\infty$로 스칼라를 확장한 곡선 $X$ 위에서 직접 정의된 리지드 해석적 함수(rigid analytic functions)로서 제타 함수를 구성한다. 이 함수들은 동일한 특수값들을 보간하지만, 도메인과 구조적 성격 면에서 차이를 보인다.

핵심 문제는 이 두 이론 사이의 관계, 즉 곡선 기반 함수가 Goss의 값들과 어떻게 상호작용하는지를 이해하고, 이 새로운 함수들을 위한 "함수 방정식"의 유사체를 확립하여 곡선 위의 상대적 제타 함수(데데킨트와 유사한) 이론으로 나아가는 것이다.

방법론
본 논문은 산술 기하학, 리지드 해석 기하학, 그리고 드린펠트 모듈(Drinfeld modules) 이론의 합성을 활용한다. 방법론은 다음과 같이 진행된다:

• 기초 설정: 저자들은 $\mathbb{F}_q$ 위의 기하학적으로 연결된 매끄러운 사영 곡선 $X$와 선택된 점 $\infty$에 대한 표기법을 확립한다. 또한 $\infty$를 제외하고 정규적인 함수들의 환 $A$와 완비화 $K_\infty$를 정의한다.
• Goss의 프레임워크: 논문은 quasi-characters의 위상적 군 $S_\infty$ 위에서 Goss의 제타 함수 $\zeta_A(s)$ 구성을 검토한다. 여기에는 $a \in A$와 $s \in S_\infty$에 대한 지수 연산 $a^s$를 정의하는 과정이 포함되며, 이를 통해 부분 제타 함수 $Z_I(s)$와 전역 제타 함수를 유도한다.
• 곡선 기반 구성: 저자들은 $A \otimes_{\mathbb{F}_q} C_\infty$ 상의 급수로 정의되는 함수 $Z_{X,I}(n)$을 도입한다. 이들은 $X_{C_\infty} = X \times_{\mathbb{F}_q} \text{Spec}(C_\infty)$ 상의 리지드 해석적 함수로 간주된다.
• 슈투카 디비저와 모티브 (Shtuka Divisors and Motives): 핵심적인 기술적 도구는 **슈투카 디비저(shtuka divisors)**와 슈투카 함수(shtuka functions) 이론이다. 드린펠트의 보조정리에 따라, 저자들은 차수가 $g$(곡선 $X$의 종수)인 유효 디비저 $V$와 $\text{Div}(f) = V^{(1)} - V + \Xi - \infty$를 만족하는 유리 함수 $f$를 활용한다 (여기서 $\Xi$는 정준 점이며, $(1)$은 앤더슨 트위스트를 나타낸다).
• 특수 함수와 앤더슨 모티브: 논문은 특수 함수 $\omega$ (조건 $\omega^{(1)} = f\omega$를 만족하는 테이트 대수의 원소)와 앤더슨 모티브( $C_\infty[\tau]$ 상의 모듈)를 사용한다. 이러한 구조들은 제타 급수를 조작하고 해석적 성질을 증명하는 데 필수적이다.
• 상대적 제타 함수: 유한 분리 확장 $E/K$에 대하여, 저자들은 노름 사상(norm map)과 힐베르트 클래스 필드 $H$를 사용하여 상대적 부분 제타 함수 $Z_{I,A}$를 구성한다. 또한 리만-로흐 정리와 $X$의 야코비안 성질을 이용하여 부분 합의 증가율을 분석한다.

주요 기여 및 결과

1. Goss 이론의 검토: 본 논문은 Goss의 제타 함수에 대한 포괄적인 개요를 제공하며, 이들의 전해성, 음의 정수에서의 자명한 영점(특히 $-(q-1)\mathbb{Z}_{>0}$), 그리고 칼리츠 제타 값의 보간 성질을 설명한다. 또한 이 설정에서 알려진 함수 방정식이 결여되어 있음을 강조한다.
2. 페라로의 정리 (함수 항등식): 논문은 G. H. Ferraro의 정리(정리 5.3)에 대한 상세한 증명 스케치를 제시한다. 이 정리는 곡선 기반 제타 함수 $Z_{X,A}$에 대한 함수 항등식을 확립한다:
   $$\omega^{(1)} Z_{X,A} = e_\pi \delta^{(1)}$$
   여기서 $\omega$는 특수 함수이고, $e_\pi$는 칼리츠 주기(Carlitz period, $2\pi i$의 유사체)이며, $\delta$는 쌍대 슈투카 디비저와 관련된 유리 함수이다. 이 항등식은 제타 함수를 "감마와 유사한" 인자를 통해 유리 함수와 연결함으로써 리만의 함수 방정식과 유사한 역할을 수행한다.
3. 상대적 제타 함수의 전해성: 저자들은 체 확장 $E/K$와 관련된 상대적 부분 제타 함수 $Z_{I,A}$가 $X(C_\infty) \setminus \{\infty\}$ 상에서 전해 함수로 확장됨을 증명한다(정리 7.3). 이 결과는 유리 함수의 벡터 공간 차원과 야코비안의 성질로부터 유도된 증가 추정치를 사용하여 부분 합의 수렴성을 분석함으로써 달성된다.
4. 영점 분포: 논문은 $Z_{X,A}$의 영점을 식별한다. 이 함수는 특정 쌍대 슈투카 디비저 $V^*$의 점들과 $\Xi^{(i)} (i > 0)$의 점들에서 0이 된다. 이는 각각 "비자명한 영점"과 "자명한 영점"으로 해석된다.
5. 계산적 증거에 관한 부록: 부록에서는 페라로가 Anglès, Ngo Dac, Tavares Ribeiro의 공식과 페라로의 유리성 공식을 결합하여 상대적 제타 함수의 전해성을 도출하는 과정을 담고 있다. 또한 이 섹션은 정준 점 $\Xi$에서 이 함수들의 소멸 차수(order of vanishing)에 관한 가설을 뒷받침하는 수치적 증거를 제시한다.

의의 및 주장
본 논문은 양의 표수에서 제타 함수에 대한 두 가지 경쟁적이거나 상호 보완적인 접근법에 대해 통합적인 관점을 제공한다고 주장한다. 주요 의의는 다음과 같다:

• 이론의 가교 역할: 곡선 기반 함수가 Goss의 quasi-character 함수와는 구별되면서도, 이들과 상호작용하며 전해성 및 함수 항등식과 같은 성질을 도출할 수 있음을 보여준다.
• 함수 방정식 유사체: 리만의 함수 방정식 구조를 모방하는 구체적인 함수 항등식(정리 5.3)을 제공하며, 이는 Goss의 원래 프레임워크에서 해결되지 않았던 부분이다.
• 일반화: 곡선 위의 데데킨트 유사 제타 함수(상대적 제타 함수)로 이론을 확장하고 이들의 전해성을 증명함으로써, 클래스 수 공식(class number formulas) 및 아르틴 유사 $L$-함수로의 인수분해를 위한 길을 열었다.
• 가설적 프레임워크: 저자들은 이 상대적 제타 함수들의 $\Xi$에서의 소멸 차수가 클래식한 데데킨트 제타 함수와 유사하게 정수 환의 단위군(unit group)의 계수(rank)에 대응할 수 있다는 가설을 제기한다. 이 가설은 부록의 계산적 증거에 의해 뒷받침된다.

저자들은 "함수 방정식"이라는 용어에 대해 신중한 태도를 유지하며, 정리 5.3의 항등식이 리만의 것과 유사하기는 하나, 감마 인자의 완전한 이론과 영점 집합의 완전한 특징 규명(리만 가설과 유사한)은 향후 연구 과제로 남아 있다고 언급한다. 본 논문은 양의 표수에서의 리만 가설을 해결했다고 주장하는 것이 아니라, 이러한 심오한 질문들을 조사하기 위한 필수적인 구조적 도구들(슈투카 디비저, 모티브, 특수 함수)을 확립했음을 목적으로 한다.