[논문 리뷰] Brill-Noether theory of binary curves

Lucia Caporaso|ArXiv.org|2008. 07. 09.

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

한 줄 요약

이 논문은 이원 곡선의 컴actified Jacobian을 통해 이원 곡선 위의 선다발에 대한 브릴-노에르 이론의 기초 정리들인 리만, 클리포드, 마르텐스 정리를 수립한다. 일반적인 이원 곡선에서 $ r \leq 2 $에 대해 브릴-노에르 정리를 증명하며, 브릴-노에르 다양체의 차원이 기대값 $ \rho^r_d(g) $와 일치함을 보이고, 클리포드 지표를 통해 히퍼에일리프틱 및 트리골릭 곡선을 특성화하여 대수기하학에서 기울어진 안정 곡선에 대한 새로운 프레임워크를 제공한다.

ABSTRACT

Final version, to appear in Mathematical Research Letters.

연구 동기 및 목표

• 이원 곡선—두 개의 유리 성분이 $ g+1 $개의 점에서 만날 때의 노달 곡선—에 대해 고전적인 브릴-노에르 이론을 비연결성이고 특이적인 곡선으로 확장하기 위해 이원 곡선에 초점을 맞춘다.
• 이원 곡선의 컴 pactified 피카르 스킴에 의해 매개화되는 선다발에 대해 리만, 클리포드, 마르텐스 정리를 수립한다.
• 클리포드 지표를 사용하여 히퍼에일리프틱 및 트리골릭 이원 곡선을 특성화하여 부드러운 곡선 이론의 열화된 해석을 제공한다.
• 일반적인 이원 곡선에서 $ r \leq 2 $에 대해 브릴-노에르 정리를 증명하며, 브릴-노에르 다양체의 기대 차원 $ \rho^r_d(g) $가 성립함을 보인다.

제안 방법

• 이원 곡선 위의 선다발을 위한 배경 공간으로 컴 pactified 유니버설 피카르 다양체 $ \overline{P}_{d,g} \to \overline{M}_g $를 사용한다.
• 유리 곡선에서 사영 공간으로의 차수 $ d $ 매핑을 매개화하기 위해 안정 매핑의 모듈리공간 $ M_{0,n}(\mathbb{P}^r, d) $를 적용한다.
• $ g+1 $개의 점에서 표식이 있는 유리 곡선을 붙임으로써 이원 곡선을 매개화하기 위해 사상 $ \gamma_g: M_{0,g+1} \times M_{0,g+1} \to B_g $를 구성한다.
• 유리 곡선에서의 평가 사상의 이미지 분석: $ J \subset M_{0,g+1}(\mathbb{P}^2, d_1) \times M_{0,g+1}(\mathbb{P}^2, d_2) $에서 $ B_g $로의 사상에서 $ \operatorname{Im}\phi_1 \subset \operatorname{Im}\phi_2 $ 여부에 따라 경우를 구분한다.
• 모듈리공간의 차원 공식 $ \dim M_{0,n}(\mathbb{P}^r, d) = (r+1)d + r - 3 + n $을 사용하여 브릴-노에르 국소의 차원을 근사한다.
• PGL(3) 및 PGL(2) 작용에 대한 불변성을 적용하여 섬유 차원을 통제하고 $ B_g $로의 사상의 지배성을 결정한다.

실험 결과

연구 질문

• RQ1 클리포드 정리는 컴 pactified Jacobian 위의 선다발에 대해 성립하는가?
• RQ2 클리포드 지표는 부드러운 경우와 마찬가지로 히퍼에일리프틱 및 트리골릭 이원 곡선을 특성화할 수 있는가?
• RQ3 일반적인 이원 곡선에서 $ r \leq 2 $에 대해 브릴-노에르 정리가 성립하는가? 즉, $ W^r_{\underline{d}}(X) $의 차원이 $ \rho^r_d(g) $와 일치하는가?
• RQ4 일반적인 이원 곡선의 종수 $ g $에 대해 브릴-노에르 국소 $ W^r_{\underline{d}}(X) $의 차원은 얼마인가?
• RQ5 유리 성분에서의 매핑이 교차하지 않을 경우, 국소 $ W^r_{\underline{d}}(X) $는 어떻게 행동하는가?

주요 결과

• 모든 이원 곡선의 컴 pactified Jacobian에 의해 매개화되는 선다발에 대해 리만, 클리포드, 마르텐스 정리가 성립한다.
• 이원 곡선의 클리포드 지표가 0이면 그 곡선은 히퍼에일리프틱이고, 1이면 트리골릭이다.
• 일반적인 이원 곡선 $ X $에 대해 $ r = 1 $일 때 $ W^1_{\underline{d}}(X) $의 차원은 $ \rho^1_d(g) $이며, $ \rho^1_d(g) < 0 $이면 공집합이다.
• 일반적인 이원 곡선 $ X $에 대해 $ r = 2 $일 때 $ W^2_{\underline{d}}(X) $의 차원은 $ \rho^2_d(g) $이며, $ \rho^2_d(g) < 0 $이면 공집합이다. 이 결과는 매핑의 모듈리공간에서의 차원 계산을 통해 유도된다.
• $ \beta_{\underline{d}}(J_b) $는 $ B_g $에 밀도가 없으며, 따라서 브릴-노에르 다양체의 차원에 기여하는 것은 오직 $ J_a $ 성분뿐이다.
• 브릴-노에르 정리의 증명은 부드러운 곡선의 경우와 독립적이며, 따라서 고전적 정리에 대한 새로운 증명을 제공한다.