[논문 리뷰] A motivic version of Pellikaan's two variable zeta function

Francesco Baldassarri, Christopher Deninger외 1명|ArXiv.org|2003. 02. 11.

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

한 줄 요약

이 논문은 체 K 위의 매끄럽고 사영적인 곡선에 대해, 유한체의 크기 q를 Grothendieck 다양체의 링 안에서 Lefschetz 모티브 L로 대체함으로써 Pellikaan의 고전적 두 변수 zeta 함수를 일반화한 모티브 두 변수 zeta 함수를 도입한다. 모티브 측도 하에 이 모티브 zeta 함수의 유리성과 함수방정식을 증명하고, 자명하지 않은 측도를 가진 야코비안의 경우에만 분모 다항식이 절대적으로 기약임을 증명한다.

ABSTRACT

Combining the idea of motivic zeta function, due to Kapranov, and Pellikaan's definition of a two- variable zeta function for curves over finite fields in the present note we introduce a motivic two- variable zeta function for curves over arbitrary fields and prove the generalizations of Pellikaan's results in this context.

연구 동기 및 목표

• 유한체 위에서의 Pellikaan의 두 변수 zeta 함수를 Grothendieck 다양체의 링을 이용한 모티브 설정으로 확장하기.
• 고정된 차수와 전역 절단 수의 차수에 대한 Picard 다양체의 모티브 측도를 이용해 모티브 zeta 함수를 정의하기.
• 고전적인 유한체 위의 결과들과 유사하게, 모티브 zeta 함수의 유리성과 함수방정식을 확립하기.
• 모티브 zeta 함수의 분모 다항식이 절대적으로 기약임을 야코비안 다양체의 측도가 0이 아닐 조건과 동치임을 증명하기.

제안 방법

• 모티브 zeta 함수를 T와 u에 대한 형식적 멱급수로 정의하며, 계수는 다양체의 Grothendieck 링에 속하고, 전역 절단 수 ν = h⁰(D)에 대해 가중치 (u^ν - 1)/(u - 1)를 갖는다.
• 대칭곱 X^(n)을 전역 절단 수가 정확히 ν개인 선다발을 매개변수화하는 스트라타 Picⁿ_ν로 분해한다.
• 이 스트라타를 이용해 모티브 zeta 함수를 합으로 표현하며, K₀(Var_K)에서 [X^(n)] = ∑_ν [Picⁿ_ν] (L^ν - 1)/(L - 1)의 관계를 활용한다.
• 모티브 적분을 적용하여 zeta 함수를 A[[u]] 값의 구조적 함수로 Picard 다양체 위에서의 적분으로 해석한다.
• zeta 함수가 함수방정식을 만족하고, 분모 다항식 P_X,μ(T,u)가 A[T,u]에 속한다는 것을 보여 유리성을 증명한다.
• Clifford의 정리를 이용해 Picⁿ_ν의 지지부를 유계로 제한함으로써, 분모 다항식의 차수를 유계로 유지하고 기약성 논증을 가능하게 한다.

실험 결과

연구 질문

• RQ1 Pellikaan의 유한체 위에서의 두 변수 zeta 함수는 Grothendieck 다양체의 링 안에서 모티브 형태로 일반화될 수 있는가?
• RQ2 모티브 zeta 함수는 고전적 zeta 함수와 유사한 유리성 성질을 만족하는가?
• RQ3 모티브 zeta 함수의 분모 다항식의 기약성을 보장하는 조건은 무엇인가?
• RQ4 모티브 zeta 함수의 함수방정식은 야코비안 다양체의 기하학과 어떻게 관련이 있는가?
• RQ5 야코비안의 모티브 측도는 zeta 함수의 분모 다항식의 기약성 결정에 어떤 역할을 하는가?

주요 결과

• 모티브 zeta 함수 Z_X,μ(T,u)는 유리적이며, Z_X,μ(T,u) = P_X,μ(T,u) / [(1 - T)(1 - uT)] 형태를 가지며, 다항식 P_X,μ(T,u) ∈ A[T,u]가 존재한다.
• 함수방정식 Z_X,μ(T,u) = u^{g-1} T^{2g-2} Z_X,μ(u^{-1} T^{-1}, u^{-1})가 성립하며, 이는 고전적 함수방정식을 일반화한다.
• 분모 다항식 P_X,μ(T,u)는 μ(Pic⁰_X/K) ≠ 0일 때에만 절대적으로 기약이다.
• 분모의 차수는 Clifford의 정리에 따라 deg P_i(u) ≤ 1 + i/2로 유계로 제한된다.
• 상수항 P_0(u) = 1 이고, 최고차항 P_{2g}(u) = u^g이며, 이는 함수방정식과 일치한다.
• 기약성의 증명은 다항식 F(T,u) = T^{2g} P_X,μ(T^{-1},u)의 T에 대한 최고차항 계수가 A[T]에서 기약임을 보여, 계수로 (1 - T)u^g + O(u^{g-1})를 사용한다.