[논문 리뷰] Global Prym-Torelli for double coverings ramified in at least 6 points

Juan Carlos Naranjo, Ángela Ortega|arXiv (Cornell University)|2020. 05. 22.

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

한 줄 요약

이 논문은 $r$개의 점에서 분지하는 2차 덮개를 갖는 곡선의 경우, 관련된 프림 다양체를 부여하는 분지 프림 사상 $\mathcal{P}_{g,r}$가 모든 $g > 0$ 및 $r \geq 6$ 에서 임베딩임을 증명한다. 또한, $r = 2$ 및 $r = 4$의 경우, 초타원 곡선의 덮개에 제한했을 때 이 사상이 양의 차원의 섬유를 가짐을 보이며, 비틀림 구조와 프림 다양체의 쌍대성을 이용해 섬유를 유리적 방법으로 분석한다.

ABSTRACT

We prove that the ramified Prym map $\mathcal P_{g, r}$ which sends a covering $π:D\longrightarrow C$ ramified in $r$ points to the Prym variety $P(π):= ext{Ker}( ext{Nm}_π)$ is an embedding for all $r\ge 6$ and for all $g(C)>0$. Moreover, by studying the restriction to the locus of coverings of hyperelliptic curves, we show that $\mathcal P_{g, 2}$ and $\mathcal P_{g, 4}$ have positive dimensional fibers.

연구 동기 및 목표

• 모든 $g > 0$ 및 $r \geq 6$ 에서 분지 프림 사상 $\mathcal{P}_{g,r}$가 전역적으로 단사(즉, 임베딩)인지 여부를 규명하는 것.
• 비분지 케이스에서의 고전적 직관—일반화된 사각형 구성이 비단사성의 원인이 된다—이 분지 케이스로 확장되는지 조사하는 것.
• 비분지 케이스의 초기 기대와는 달리 $r \geq 6$ 에서 $\mathcal{P}_{g,r}$가 단사인지 여부를 해결하는 열린 문제를 해결하는 것.
• $r = 2$ 및 $r = 4$ 에서 초타원 곡선의 덮개로 제한된 사상 $\mathcal{P}_{g,r}^h$의 섬유의 구조를 분석하는 것.

제안 방법

• 분지 프림 사상 $\mathcal{P}_{g,r}$의 미분을 분석하기 위해, $\operatorname{Sym}^2 H^0(C, \omega_C \otimes \eta) \to H^0(C, \omega_C^2 \otimes \mathcal{O}(B))$ 형태의 코미분 사상 을 사용하며, 클리포드 지수와 차수의 경계를 통해 $r \geq 6$ 에서의 단사성을 보인다.
• 초타원 곡선의 이중 덮개에 대해 비틀림 구조를 적용하여, 덮개의 프림 다양체가 $\frac{r}{2} - 1$ 차수 곡선 위의 관련 덮개의 프림 다양체의 쌍대와 관련이 있음을 규명한다.
• 비틀림 구조, 忘却 사상, 그리고 극화된 아벨 다양체의 쌍대성으로 이루어진 도형의 교환성을 이용하여, $\mathcal{P}_{g,r}^h$의 섬유를 忘却 사상의 섬유와 유리적으로 동일시한다.
• 이케다의 결과에 따르면 $r \geq 6$ 일 때 $\mathcal{P}_{1,r}$가 단사임을 알고 있으며, 이를 바탕으로 $\mathcal{P}_{g,r}^h$가 이러한 경우에 단사임을 유도한다.
• 일반화된 사각형 구성 이론과 선형 계열 이론을 적용하여, 프림 사상의 미분이 전성사상이 되지 않는 경우를 특성화하며, 예외적인 케이스인 $r = 2, 4$ 를 규명한다.

실험 결과

연구 질문

• RQ1 분지 프림 사상 $\mathcal{P}_{g,r}$ 가 $r \geq 6$ 에서 전역적으로 단사인가?
• RQ2 $r = 2$ 또는 $r = 4$ 일 때 $\mathcal{P}_{g,r}$ 에서 양의 차원 섬유가 존재하는가?
• RQ3 $r = 2$ 및 $r = 4$ 에서 초타원 기저 곡선으로 제한된 $\mathcal{P}_{g,r}^h$ 의 섬유의 구조를 명시적으로 묘사할 수 있는가?
• RQ4 비틀림 구조는 $\mathcal{P}_{g,r}^h$ 의 섬유 분석을 가능하게 하는 유리적 동치를 제공하는가?
• RQ5 관련된 덮개의 프림 다양체 간의 쌍대성은 $r = 2, 4$ 케이스에서 섬유의 구조를 설명하는 데 기여하는가?

주요 결과

• 모든 $g > 0$ 및 $r \geq 6$ 에서 분지 프림 사상 $\mathcal{P}_{g,r}$ 는 임베딩이며, 이 경우 전역 프림-토렐리 정리를 확립한다.
• $r = 2$ 일 때, $\mathcal{P}_{g,2}^h$ 의 일반 섬유는 $\mathbb{P}^2$와 유리적으로 동치이다.
• $r = 4$ 일 때, $\mathcal{P}_{g,4}^h$ 의 일반 섬유는 타원 곡선과 유리적으로 동치이다.
• $\mathcal{P}_{g,r}$ 의 미분은 모든 $r \geq 6$ 에서 단사적이며, 이는 임베딩 성질을 증명하는 데 핵심적인 단계이다.
• 비틀림 구조는 $\mathcal{RH}_{g,r}$ 와 $\mathbb{P}^1$ 의 덮개 모듈리 공간 사이의 유리적 사상으로 이어지며, $r = 2, 4$ 에서의 섬유 분석을 가능하게 한다.
• $r = 2$ 및 $r = 4$ 에서 $\mathcal{P}_{g,r}^h$ 의 섬유는 양의 차원을 가진 忘却 사상의 섬유에서 유래하며, 각각 $\mathbb{P}^2$ 와 타원 곡선이다.