[논문 리뷰] Counting hyperelliptic curves in Abelian surfaces with quasi-modular forms

Simon Charles Florian Rose|arXiv (Cornell University)|2012. 01. 01.

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

한 줄 요약

이 논문은 캘리브란 해소 추측과 요우-자슬로우 공식을 이용하여, 평탄화된 아벨 표면 위의 초타원곡선(이동에 관하여 동치인 것까지)의 수에 대한 생성함수를 유도한다. 이는 맥마혼의 일반화된 약수의 합 함수를 통해 표현되며, 이 수가 준모듈라 형식을 이룬다는 것을 증명함으로써, 계수기하학과 모듈라 형식 사이의 깊은 연관성을 확립한다.

ABSTRACT

In this thesis we produce a generating function for the number of hyperelliptic curves (up to translation) on a polarized Abelian surface using the crepant resolution conjecture and the Yau-Zaslow formula. We present a formula to compute these in terms of P. A. MacMahon's generalized sum-of-divisors functions, and prove that they are quasi-modular forms.

연구 동기 및 목표

• 평탄화된 아벨 표면 위의 초타원곡선 수(이동에 관하여 동치인 것까지)에 대한 생성함수를 개발하는 것.
• 캘리브란 해소 추측을 통해 초타원곡선의 계수 기하학적 불변량과 모듈라 형식을 연결하는 것.
• 이러한 곡선 수를 P. A. 맥마혼의 일반화된 약수의 합 함수로 표현하는 것.
• 유도된 생성함수가 준모듈라 형식임을 증명하는 것.

제안 방법

• 이sov의 특이 다양체의 불변량과 부드러운 해소의 불변량을 연결하기 위해 캘리브란 해소 추측을 활용한다.
• 해소 과정에서 유도되는 칼라비-야우 3차원 다양체 내의 유리 곡선 수를 세기 위해 요우-자슬로우 공식을 적용한다.
• 유리 곡선의 수를 원래 아벨 표면 위의 초타원곡선 수로 변환한다.
• P. A. 맥마혼의 일반화된 약수의 합 함수를 사용하여 계수 기하학적 불변량을 명시적으로 표현한다.
• 생성함수의 모듈라 성질을 분석하여 그 준모듈라 성격을 증명한다.
• 평탄화된 아벨 표면과 그 해소에 대한 대수기하 기법을 사용하여 공식을 유도한다.

실험 결과

연구 질문

• RQ1 평탄화된 아벨 표면 위의 초타원곡선 수(이동에 관하여 동치인 것까지)는 어떻게 체계적으로 세는가?
• RQ2 요우-자슬로우 공식은 아벨 표면 내 초타원곡선의 세기와 어떤 관계가 있는가?
• RQ3 맥마혼의 일반화된 약수의 합 함수는 이러한 곡선의 수를 어떻게 매개하는가?
• RQ4 이러한 곡선 수의 생성함수가 왜 준모듈라 성질을 갖는가?
• RQ5 캘리브란 해소 추측은 이러한 불변량의 계산을 어떻게 지원하는가?

주요 결과

• 캘리브란 해소 추측을 이용하여 평탄화된 아벨 표면 위의 초타원곡선 수에 대한 생성함수가 명시적으로 구성된다.
• 초타원곡선의 수는 P. A. 맥마혼의 일반화된 약수의 합 함수의 선형 조합로 표현된다.
• 이러한 곡선 수의 생성함수가 준모듈라 형식임이 증명된다.
• 이 결과는 초타원곡선의 계수기하학과 모듈라 형식 이론 사이의 정밀한 연결 고리를 확립한다.
• 이 방법은 산술 함수와 모듈라 자료를 이용해 초타원곡선 수를 체계적으로 계산할 수 있는 방법을 제공한다.