[논문 리뷰] Euler number of the compactified Jacobian and multiplicity of rational curves

Barbara Fantechi, Lothar Gœttsche외 1명|ArXiv.org|1997. 08. 14.

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

한 줄 요약

이 논문은 유리 곡선의 평면 특이점에 대해 컴actified Jacobian의 오일러 특성과 그의 반무한변형 공간 내 δ-상수 부분공간의 다중도 사이의 깊은 연결고리를 확립한다. 주요 결과는 이 오일러 수가 Yau, Zaslow, 그리고 Beauville가 K3 표면 위의 유리 곡선에 부여한 다중도와 일치하며, 동시에 안정 사상의 모듈리 공간의 길이와도 같음을 보여주어 곡선 수세기 불변량의 기하학적 해석을 제공한다.

ABSTRACT

We show that the Euler number of the compactified Jacobian of a rational curve $C$ with locally planar singularities is equal to the multiplicity of the $δ$-constant stratum in the base of a semi-universal deformation of $C$. In particular, the multiplicity assigned by Yau, Zaslow and Beauville to a rational curve on a K3 surface $S$ coincides with the multiplicity of the normalisation map in the moduli space of stable maps to $S$.

연구 동기 및 목표

• 유리 곡선의 평면 특이점에 대한 컴actified Jacobian의 오일러 특성과 그 변형 공간 내 δ-상수 부분공간의 다중도 사이의 정밀한 관계를 확립하는 것.
• Yau, Zaslow, 그리고 Beauville가 K3 표면 위의 유리 곡선에 부여한 다중도에 대한 기하학적 해석을 제공하는 것.
• 유리 곡선 C에 대한 컴actified Jacobian의 오일러 특성 e(\overline{J}C)가 C로의 종수 0 안정 사상의 모듈리 공간의 길이와 같음을 보이는 것.
• 가중 Bézout 정리와 같은 대수기하 기법을 활용하여 특이점의 다중도를 계산하는 계산 프레임워크를 제공하는 것.

제안 방법

• 평면 특이점을 가진 곡선 C의 반무한변형 가족 \mathcal{C} \to B 를 사용하여 상대 컴actified Jacobian \overline{J}\mathcal{C} 를 연구하는 것.
• \overline{J}\mathcal{C} 가 기저 B 위에서 매끄럽고, \overline{J}\mathcal{C}' 가 부분가족 위에서 매끄럽기 위한 조건이 δ-상수 부분공간의 접선 쌍봉과의 교차성에 달려 있음을 증명하는 것.
• δ-차원 부분공간 W_t \subset B 의 일파라미터 가속가를 구성하여, 일반적인 t 에 대해 W_t \cap B^\delta 가 m(C,p) 개의 서로 다른 노드 곡선으로 이루어져 있음을 보장하는 것.
• 위상적 불변성의 적용: 오일러 특성 e(\overline{J}\mathcal{C}_t) 가 t 에 대해 일정하므로, t=0 에서의 e(\overline{J}C) 와 t ≠ 0 에서의 m(C,p) 를 비교할 수 있다.
• 동차 다항식 변형과 자동형의 제거를 통해 변형 이론과 대수기하를 활용하여 모듈리 공간 M_{g,0}(C,[C]) 의 길이를 명시적으로 계산하는 것.
• 다항식 f^q = g^p 에 의해 정의되는 0차원 스킴의 길이를 계산하기 위해 가중 Bézout 정리를 적용하는 것.

실험 결과

연구 질문

• RQ1 유리 곡선의 평면 특이점에 대한 컴actified Jacobian의 오일러 특성이 그 변형 공간 내 δ-상수 부분공간의 다중도와 같은가?
• RQ2 Yau, Zaslow, 그리고 Beauville가 K3 표면 위의 유리 곡선에 부여한 다중도가 그 컴actified Jacobian의 오일러 특성과 일치하는가?
• RQ3 유리 곡선 C 로의 종수 0 안정 사상의 모듈리 공간의 길이가 δ-상수 부분공간과 관련된 기하불변량으로 해석될 수 있는가?
• RQ4 특이점의 다중도 m(C,p) 는 변형 이론과 교차 이론을 통해 대수기하 기법으로 어떻게 계산할 수 있는가?

주요 결과

• 유리 곡선 C 가 평면 특이점을 가지면, 컴actified Jacobian \overline{J}C 의 오일러 특성은 그의 반무한변형의 기저 내 δ-상수 부분공간의 다중도 m(C) 와 같다.
• 유리 곡선 C 가 단일한 평면 특이점 (C,p) 을 가질 경우, 국소 컴actified Jacobian의 오일러 특성 e(M(C,p)) 는 그 특이점에서 δ-상수 부분공간의 다중도 m(C,p) 와 같다.
• 형태 y^p z^{q-p} = x^q 의 토릭 특이점에 대해 m(C,o) = \frac{1}{p+q} \binom{p+q}{p} 이다.
• 종수 g 의 안정 사상의 모듈리 공간 M_{g,0}(C,[C]) 의 길이는 다중도 m(C) 와 같으며, 이는 불변량의 기하적 실현을 제공한다.
• 부드러운 K3 표면 X 내에 있는 유리 곡선 C 에 대해, 컴actified Jacobian의 오일러 특성 e(\overline{J}C) 는 정규화 사상에 의해 지지되는 M_{0,0}(X,d) 의 0차원 성분의 길이와 같으며, 곡선 수세기와 모듈리 기하학을 연결한다.
• m(C,p) 의 계산은 가중 변수에서 p+q-2 개의 동차 방정식으로 정의된 0차원 스킴으로 환원되며, 그 길이는 가중 Bézout 공식으로 주어진다.