[논문 리뷰] Arithmetic on Elliptic Threefolds

Rania Wazir|ArXiv.org|2001. 12. 23.

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

한 줄 요약

이 논문은 수체 위의 타원 세중다양체에서 유리점의 랭크와 소수 모듈로 감소에서 프로베누스 추적 평균을 포함하는 생성함수의 잔여류 사이의 해석적 공식을 수립한다. 에탈 코hom로지, 시오다-타테 공식, 타테의 추측을 이용하여, 소수에 대한 평균 프로베누스 추적과 log(q_p)/q_p^s의 곱을 s=1에서 합한 급수의 잔여류가 세중다양체의 유리 점 섹션의 모델-베일 랭크와 일치함을 증명한다.

ABSTRACT

In a recent paper, Rosen and Silverman showed that Tate's conjecture on the order of vanishing of L(E,s) implies Nagao's formula, which gives the rank of an elliptic surface in terms of a weighted average of fibral Frobenius trace values. The aim of this article is to extend their result to the case of elliptic threefolds, and deduce, from Tate's conjecture, a Nagao-type formula for the rank of an elliptic threefold E. This will require a two-pronged approach: on the one hand, we need some cohomological results in order to derive a Shioda-Tate-like formula for elliptic threefolds; on the other, we compute an "average" number of rational points on the singular fibers and relate this to the action of Galois on those fibers.

연구 동기 및 목표

• 타테의 추측 하에 나가오의 타원 표면에 대한 해석적 랭크 공식을 타원 세중다양체로 확장한다.
• 프로베누스 추적을 통한 타원 세중다양체의 유리점의 산술과 기하학적 불변량 사이의 연결을 수립한다.
• 평균 프로베누스 추적을 포함하는 생성함수의 잔여류가 세중다양체의 모델-베일 랭크와 일치함을 증명한다.

제안 방법

• 기저 표면와 세중다양체의 에탈 코hom로지 군 간의 가환군 모듈로서의 동형사상 수립.
• 타원 세중다양체에 대한 일반화된 시오다-타테 공식을 적용하여 네로-세버르 랭크를 모델-베일 랭크와 연결한다.
• 레프셰츠 고정점 정리를 적용하여 유한체 위의 유리점 수를 전역적으로와 섹션별로 세는 두 가지 방법을 동치로 만든다.
• 얻어진 섹션별 평균 추적 공식을 L-함수와 그 로그 도함수의 관점에서 재해석한다.
• 타테의 추측을 적용하여 L-함수의 영점의 차수를 가환군 불변 코호몰로지 및 네로-세버르 군의 랭크와 연결한다.
• 모든 구성요소를 통합하여 s=1에서 해석적 랭크 공식을 유도한다.

실험 결과

연구 질문

• RQ1 타테의 추측 하에 나가오의 타원 표면에 대한 해석적 랭크 공식은 타원 세중다양체로 일반화되는가?
• RQ2 타원 세중다양체의 섹션들에 대한 평균 프로베누스 추적은 모델-베일 랭크와 어떻게 관련되는가?
• RQ3 프로베누스 추적으로 구성된 제타 유사 급수의 잔여류로부터 모델-베일 군의 랭크를 복원할 수 있는가?

주요 결과

• 급수 ∑_p -A_p(ℰ) log(q_p)/q_p^s 의 s=1에서의 잔여류는 ℰ(S/k)의 모델-베일 랭크와 일치한다.
• 타원 n-다양체, 특히 세중다양체에 대해 Galois 모듈로서 H^1_ét(S/k̄, Q_l) ≅ H^1_ét(ℰ/k̄, Q_l) 의 동형사상이 성립한다.
• 타원 세중다양체에 대한 시오다-타테 공식은 모델-베일 랭크를 기저와 섹션 구성요소의 네로-세버르 군 랭크 기여도로 분해한다.
• 레프셰츠 고정점 정리를 통해 평균 프로베누스 추적 A_p(ℰ)는 L-함수의 로그 도함수와 연결된다.
• 타테의 추측 하에, L_2(ℰ,s)의 s=2에서의 영점 차수는 ℰ의 네로-세버르 랭크와 일치한다.
• 최종 공식은 타테의 추측이 성립할 경우, 타원 표면에 대한 해석적 랭크 공식이 세중다양체로 일반화됨을 확인한다.