[논문 리뷰] Enumerative geometry of hyperelliptic plane curves

Tom Graber|ArXiv.org|1998. 08. 18.

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

한 줄 요약

이 논문은 평면에서의 초타원곡선의 수를 계산하기 위해 재귀적 알고리즘을 개발한다. 이는 초타원곡선이 $d$차수와 종수 $g$를 가지며 $ℝ^2$에서 일반적인 $3d+1$개의 점을 통과할 때, 이를 해밀토니안 스킴 $H$에서의 종수 0 고모보-원워틴 인버리언트와 연결함으로써 해결한다. 주요 기여는 고모보-원워틴 인버리언트 $I(d,g)$와 실제 수세기 계수 $E(d,h)$ 사이의 관계를 나타내는 공식 $I(d,g) = \sum_{h \geq g} \binom{2h+2}{h-g} E(d,h)$를 제시함으로써, 유리곡선 이론을 통해 고전적인 수세기 인버리언트를 효과적으로 계산할 수 있도록 한다.

ABSTRACT

We recursively compute the Gromov-Witten invariants of the Hilbert scheme of two points in the plane. By studying the space of stable maps and computing virtual contributions, we use these invariants to enumerate hyperelliptic plane curves of degree d and genus g passing through 3d+1 general points.

연구 동기 및 목표

• 현대 고모보-원워틴 이론을 사용하여 초타원곡선과 관련된 고전적인 수세기 문제를 해결하기 위해.
• 하일베르트 스킴 $H$와의 대응을 통해 고종수의 초타원곡선 수를 유리곡선 문제로 환원하기 위해.
• 하일베르트 스킴 위의 고모보-원워틴 인버리언트와 일반적인 점을 통과하는 초타원곡선의 실제 수 사이의 폐쇄형 공식 유도하기 위해.
• 계산된 인버리언트와 양자곱 관계를 사용하여 $H$의 소형 양자 코hom로지 레이어를 명시적으로 제시하기 위해.

제안 방법

• 초타원적 위상변환을 통해 $ℝ^2$ 내의 초타원곡선과 하일베르트 스킴 $H = H(2,ℝ^2)$ 내의 유리곡선 사이의 대응을 수립하기 위해.
• 곡선이 점을 통과하는 조건을 $H$ 내에서 점 $p$에 관련된 서브스키마의 사이클 $\Gamma(p)$와의 교차로 모델링하기 위해.
• 모듈리 공간의 여분 성분을 고려하여, $H$에서의 종수 0 고모보-원워틴 인버리언트를 사용해 수를 계산하기 위해.
• 변형 이론을 적용하여 비초타원적 성분의 기여를 분리하고, $ℝ^2$의 블로우업 위의 곡선 수와 연결하기 위해.
• 핵심 공식 $I(d,g) = \sum_{h \geq g} \binom{2h+2}{h-g} E(d,h)$ 유도하기 — 여기서 $I(d,g)$는 고모보-원워틴 인버리언트이고 $E(d,h)$는 수세기 계수이다.
• 고모보-원워틴 인버리언트의 형식적 성질을 활용하여 $I(d,g)$를 계산하는 재귀적 알고리즘을 구성하고, 이를 통해 $E(d,g)$를 계산하기 위해.

실험 결과

연구 질문

• RQ1 하일베르트 스킴 $H$에서의 고모보-원워틴 이론이 $ℝ^2$에서 두 점의 스킴일 때, 고전적인 초타원곡선 수세기 문제를 어떻게 해결할 수 있는가?
• RQ2 하일베르트 스킴 $H$의 고모보-원워틴 인버리언트와 $3d+1$개의 일반적인 점을 통과하는 $d$차수와 종수 $g$를 가진 초타원곡선의 수 사이의 정확한 관계는 무엇인가?
• RQ3 계산된 인버리언트와 양자곱의 구조를 사용하여 $H$의 소형 양자 코hom로지 레이어를 명시적으로 제시할 수 있는가?
• RQ4 매핑의 모듈리 공간 내의 여분 성분은 어떻게 식별하고, 그 기여는 어떻게 고유하게 분리할 수 있는가?

주요 결과

• 공식 $I(d,g) = \sum_{h \geq g} \binom{2h+2}{h-g} E(d,h)$는 고모보-원워틴 인버리언트 $I(d,g)$에서 직접적으로 수세기 계수 $E(d,g)$를 계산할 수 있도록 역전환을 제공한다.
• 알고리즘은 $I(d,g)$를 사용하여 $E(d,g)$를 재귀적으로 계산하며, $g=0$ 및 $g=1$일 때의 값은 콘체비치의 공식과 게츠러의 계산과 일치한다.
• 알고리즘을 통해 계산된 종수 1 시버리 디그리 $E^{1}(d,1)$는 알려진 결과와 일치하며, 예를 들어 $E_{1,6} = 57435240$로 확인되어 기존 방법과의 일致성을 입증한다.
• 소형 양자 코hom로지 레이어는 형식적 멱급수에서의 관계를 통해 명시적으로 제시되며, 예를 들어 $T_1*T_1*T_1 = 9f^2 T_1*T_2*T_2 - (9f^2 - 2f)T_2*T_2*T_2 + q_1q_2(q_1 - 1)$와 같은 식이 있으며, 여기서 $f = q_1/(1 - q_1)$이다.
• 하일베르트 스킴의 디바이저의 양자곱은 명시적으로 계산되었으며, $T_1*T_1 = (1 - 3f)T_3 + 3fT_5$와 같은 결과는 고전적 코hom로지에서의 변형을 보여준다.
• 양자 코hom로지 관계는 분모를 제거하여 다항식 관계로 변환할 수 있지만, 생성자 $T_i$는 다항식 링이 아닌 국소화된 링에 속해 있다.