[논문 리뷰] Counter-examples of high Clifford index to Prym-Torelli

Elham Izadi, Herbert Lange|arXiv (Cornell University)|2010. 01. 20.

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

한 줄 요약

이 논문은 고르디언 인덱스가 임의로 큰 곡선에 대해 프림-토렐리 정리의 반례를 구성한다. 이는 기저 곡선으로부터의 $n$차 매핑이 있는 곡선의 에탈 이중 쌍대화에서 테트라곤럴 구성법을 활용하여 이루어지며, 프림 사상이 임의의 주어진 상한을 초월하는 고르디언 인덱스를 가진 기본 곡선을 가질 때조차 단사가 아님을 보인다. 명시적인 이소지니와 코homological 계산을 통해 프림 다양체 내의 특정 곡선이 최소 클래스의 배수임을 보여준다.

ABSTRACT

We give examples of curves of arbitrarily high Clifford index such that the Prym map is not injective at any of their étale double covers.

연구 동기 및 목표

• 프림 사상이 고르디언 인덱스 ≥ 3인 곡선의 에탈 이중 쌍대화에서 단사임을 추측하는 것을 반증하기 위해.
• 고르디언 인덱스가 임의로 큰 곡선에 대해 프림 사상이 단사가 아님을 보여주는 명시적 예를 구성하기 위해.
• 도나기의 테트라곤럴 구성법을 $\mathbb{P}^1$ 이외의 임의의 기저 곡선 $Y$로 일반화하고, 관련 프림 다양체 간의 동형을 증명하기 위해.
• 프림 다양체 내 곡선의 코homology 계열을 연구하고, 그것이 최소 계열 $[\Theta]^{g-2}/(g-2)!$ 의 배수임을 보여주기 위해.
• 도나기의 정리에 대한 새로운 명시적 증명을 제공하여, 이는 임의의 기저 곡선 $Y$에 대해 유효하며, 분해법과 코homological 방법에 의존하지 않는다.

제안 방법

• 기저 곡선 $Y$로의 $n$-겹 단순 분지 쌍대화 $\rho_n$와 분지 없음 이중 쌍대화 $\kappa$를 갖는 곡선의 타워 $\widetilde{X} \xrightarrow{\kappa} X \xrightarrow{\rho_n} Y$ 를 구성한다.
• $\widetilde{C} \subset \widetilde{X}^{(n)}$ 를 $\widetilde{X}^{(n)} \to X^{(n)}$ 와 $Y \to X^{(n)}$ 의 피보트 제품으로 정의하여, $Y$의 점들에서 $\widetilde{X}$ 로의 올림을 매개화한다.
• $\widetilde{C}$ 에 정의된 치환 $\sigma$ 를 이용해 두 성분 $\widetilde{C}_1$ 과 $\widetilde{C}_2$ 로 분해하고, 각각이 테트라곤럴 구성법을 통해 프림 다양체를 유도한다.
• $\kappa: \widetilde{X} \to X$ 의 프림 다양체 $P$ 와 $\widetilde{X}_\nu \to X_\nu$ 의 일반화된 프림 다양체 $P_\nu$ 사이의 이소지니 $\alpha: P \to P_\nu$ 를 수립하며, 그 핵의 순서가 $2^{ng_Y - 1}$ 임을 보인다.
• $\alpha^*\Theta_{P_\nu} = 2\Theta_P$ 를 증명하여, 그 역이소지니 $\beta: P_\nu \to P$ 가 $\beta^*\Theta_P = 2\Theta_{P_\nu}$ 를 만족함을 보인다.
• 포이앙카르에 이중성과 차수 계산을 적용하여 코homology 계열의 전이를 연결하고, 최종적으로 $[\widetilde{C}_i] = 2^{n-1} \frac{[\Theta_P]^{g_X - 2}}{(g_X - 2)!}$ 를 도출한다.

실험 결과

연구 질문

• RQ1 고르디언 인덱스 ≥ 3인 곡선의 에탈 이중 쌍대화에서 프림 사상은 일반적으로 단사적인가?
• RQ2 기저 곡선 $Y$ 가 $\mathbb{P}^1$ 이 아닌 경우에도 테트라곤럴 구성법을 일반화하여 동형 프림 다양체를 생성할 수 있는가?
• RQ3 프림 다양체 내 곡선은 최소 코homology 계열 $[\Theta]^{g-2}/(g-2)!$ 의 배수를 나타내는가?
• RQ4 대응 이론을 사용하여 프림 다양체 간의 명시적 이소지니를 구성하고, 그것이 동형임을 보일 수 있는가?
• RQ5 프림 다양체 $P$ 에서 $\widetilde{C}_i$ 의 이미지의 정확한 코homology 계열은 무엇인가?

주요 결과

• 임의의 정수 $N$ 에 대해, 고르디언 인덱스가 $N$ 이상인 곡선 $X$ 가 존재하며, 이에 대해 $X$ 의 모든 에탈 이중 쌍대화에서 프림 사상이 단사가 아님을 보여, 고르디언 인덱스가 높을수록 단사성 보장이 되지 않음을 반증한다.
• $\widetilde{C} \subset \widetilde{X}^{(n)}$ 의 두 성분 $\widetilde{C}_1$ 과 $\widetilde{C}_2$ 에 대응하는 프림 다양체는 작고 일반적인 조건 하에서 동형임을 보이며, 이는 $Y$ 가 $\mathbb{P}^1$ 이 아닐 때에도 성립한다.
• 이소지니 $\alpha: P \to P_\nu$ 는 차수 $2^{ng_Y - 1}$ 을 가지며, 그 역 $\beta$ 는 $\beta^*\Theta_P = 2\Theta_{P_\nu}$ 를 만족함을 보여, 전이의 정확한 코homology 계산이 가능하다.
• 프림 다양체 $P$ 에서 $\widetilde{C}_i$ 의 이미지 계열은 $[\widetilde{C}_i] = 2^{n-1} \frac{[\Theta_P]^{g_X - 2}}{(g_X - 2)!}$ 로 표현되며, 이는 최소 계열의 배수임을 보여준다.
• 프림 다양체 간의 동형을 증명하는 과정은 $Y = \mathbb{P}^1$ 인 경우 도나기의 정리를 위한 세 번째 증명을 제공하며, 분해법과 코homological 방법에 의존하지 않는다.
• 이 구성은 임의의 $n \geq 3$ 에 대해 성립하며, 테트라곤럴 구성법을 고차수 쌍대화로 일반화하여 프림 다양체 내에서 제어 가능한 코homology 계열을 갖는 곡선을 도출한다.