Pryms of $\mathbb{Z}_3\times\mathbb{Z}_3$ coverings of genus 2 curves

1. 연구 배경 및 문제 제기 (Problem)

• 프리姆 다양체 (Prym Variety) 와 프리姆 사상 (Prym Map): 두 매끄러운 곡선 사이의 유한 사상 $f: C' \to C$ 에 대해, 노름 사상 (Norm map) $N_{f}: J_{C'} \to J_C$ 의 연결된 영영역 (connected component of the kernel) 으로 정의되는 프리姆 다양체 $P(f)$ 가 존재합니다. 이는 피복의 모듈라이 공간에서 극화된 아벨 다양체 (polarised abelian variety) 의 모듈라이 공간으로 가는 '프리姆 사상'을 유도합니다.
• 기존 연구의 한계: 고전적으로 비분기 2 차 피복 (unramified double coverings) 에 대한 프리姆 사상의 연구가 주를 이루었으나, 최근에는 다른 차수나 군을 가진 피복들에 대한 연구가 활발해지고 있습니다.
  • genus 2 곡선의 비분기 순환 (cyclic) 피복에 대해서는 특정 소수 차수에서 일반적 단사성 (generic injectivity) 이 증명되었습니다.
  • $Z_2 \times Z_2$ 피복의 경우 전역 단사성 (global injectivity) 이 증명되었습니다.
• 본 연구의 목표: genus 2 곡선에 대한 비분기 갈루아 $Z_3 \times Z_3$ 피복을 집중적으로 연구하여, 해당 피복이 그 프리姆 다양체로부터 유일하게 복원 가능한지 (즉, 프리姆 - 토렐리 정리 (Prym-Torelli theorem) 가 성립하는지) 를 증명하는 것입니다. 또한, 임의의 유한 아벨 군 $G$에 대한 genus 2 곡선의 비분기 피복에 대한 프리姆 사상의 일반적 유한성 (generic finiteness) 을 규명합니다.

2. 방법론 (Methodology)

저자들은 다음과 같은 기하학적 및 대수적 기법을 활용하여 문제를 접근했습니다.

2.1. 모듈라이 공간의 구조 분석

• $Z_3 \times Z_3$ 피복의 모듈라이 공간 $R^{Z_3 \times Z_3}_2$ 는 두 개의 기약 성분 (irreducible components) 으로 나뉩니다:
  1. 등방성 (Isotropic) 성분: 생성자 $\eta, \zeta$가 웨일 쌍대성 (Weil pairing) 에 대해 0 이 되는 경우 ($\omega(\eta, \zeta) = 0$).
  2. 비등방성 (Non-isotropic) 성분: $\omega(\eta, \zeta) \neq 0$인 경우.
• 이 두 경우에서 프리姆 다양체에 유도된 극화 (polarisation) 의 유형이 다릅니다 (등방성: $(1, \dots, 1, 3, 3)$, 비등방성: $(1, \dots, 1, 9)$).

2.2. 피복 곡선의 기하학적 구조 분석

• 피복 곡선 $\tilde{C}$ (genus 10) 은 갈루아 군 $G = \langle \sigma, \tau \rangle \cong Z_3 \times Z_3$ 의 작용을 가집니다.
• $\tilde{C}$ 를 $G$ 의 부분군으로 나눈 몫곡선들을 분석합니다. 특히, 초타원성 (hyperelliptic) 인volution $\iota$ 의 리프트 (lift) $j$ 를 포함하는 군 $F \cong \text{SmallGroup}(18, 4)$ 를 구성합니다.
• $\tilde{C}$ 를 $F$ 의 부분군으로 나눈 12 개의 타원곡선 (elliptic curves) 과 9 개의 genus 4 곡선 ($C_{ab}$) 을 식별합니다.

2.3. 프리姆 다양체의 분해 및 복원 전략

• 아이소타입 분해 (Isotypical Decomposition): 프리姆 다양체 $P(f)$ 는 4 개의 작은 프리姆 (small Pryms) $P_\sigma, P_\tau, P_{\sigma\tau}, P_{\sigma^2\tau}$ 의 직합으로 분해됩니다.
• 타원곡선 복원:
  • 비등방성 경우: 제한된 극화 (restricted polarisation) 를 통해 각 작은 프리姆 내부의 3 개의 타원곡선을 유일하게 식별합니다.
  • 등방성 경우: 작은 프리姆이 전체 프리姆에 매장되지 않으므로, 3-비점 (3-torsion point) 으로 나눈 몫과 그 쌍대 다양체를 고려하여 타원곡선을 복원합니다.
• 대합 (Involution) 과의 대응: 식별된 타원곡선들의 4-튜플 (4-tuple) 과 프리姆 다양체 위의 대합 (involutions) 사이의 대응 관계를 설정합니다.
• 피복 복원: 9 개의 호환 가능한 4-튜플을 통해 genus 4 곡선들의 자코비안 (Jacobian) 을 복원하고, 이를 통해 원래의 피복 $f: \tilde{C} \to H$ 를 유일하게 결정합니다.

3. 주요 결과 (Key Results)

3.1. $Z_3 \times Z_3$ 피복에 대한 전역 단사성 (Theorem 1.1)

• 결과: $Z_3 \times Z_3$ 피복의 모듈라이 공간의 두 성분 (등방성 및 비등방성) 에 대한 프리姆 사상 $P$ 는 전역적으로 단사 (globally injective) 입니다.
• 의미: 주어진 극화된 프리姆 다양체 $(P, \Theta_P)$ 는 해당 피복 $f$ 를 유일하게 결정합니다. 즉, 프리姆 - 토렐리 정리가 성립합니다.
• 증명 핵심: 프리姆 다양체의 극화 구조에서 갈루아 군의 작용을 복원하고, 이를 통해 피복 곡선 $\tilde{C}$ 와 기저 곡선 $H$ 사이의 관계를 완전히 재구성할 수 있음을 보였습니다.

3.2. 임의의 아벨 군 $G$ 에 대한 프리姆 사상의 일반적 유한성 (Theorem 1.2 & Theorem 4.2)

• 결과: genus 2 곡선의 비분기 $G$-피복에 대한 프리姆 사상 $P^G_2$ 에 대해:
  1. $G$ 가 순환군 (cyclic group) 이며 차수가 6 미만 ($Z_2, Z_3, Z_4, Z_5$) 인 경우: 일반적 섬유 (generic fiber) 의 차원이 양수입니다 (유한하지 않음).
  2. $G$ 가 차수가 6 이상인 순환군이거나, $Z_2 \times Z_2$, $Z_3 \times Z_3$, $Z_5 \times Z_5$ 와 같이 비순환적 (non-cyclic) 인 경우: 프리姆 사상은 일반적으로 유한 (generically finite) 합니다.
• 특이점: $G$ 의 생성자 수가 5 이상이면 모듈라이 공간 자체가 비어있습니다.

4. 기술적 기여 및 의의 (Significance)

1. 새로운 클래스의 토렐리 정리 증명: 기존에 $Z_2 \times Z_2$ 나 특정 순환 피복에 대해서만 알려진 토렐리 유형의 결과를, 비순환 아벨 군 $Z_3 \times Z_3$ 로 확장하여 증명했습니다. 이는 아벨 피복의 모듈라이 공간과 아벨 다양체 모듈라이 공간 사이의 깊은 연결을 보여줍니다.
2. 등방성/비등방성 경우의 통합적 처리: $Z_3 \times Z_3$ 피복의 두 가지 서로 다른 기하학적 유형 (등방성/비등방성) 에 대해 각각 다른 극화 유형을 가지지만, 모두 전역 단사성이 성립함을 보였습니다. 특히 등방성 경우의 기술적 난제 (작은 프리姆의 비매장성) 를 3-비점 몫과 쌍대 다양체 기법을 통해 해결했습니다.
3. 일반 아벨 피복에 대한 포괄적 분류: genus 2 곡선의 비분기 아벨 피복에 대한 프리姆 사상의 유한성 여부를 $G$ 의 구조 (순환성 및 차수) 에 따라 완전히 분류했습니다. 이는 기존에 알려진 순환 피복의 결과들을 일반화하고, 비순환 피복에 대한 새로운 통찰을 제공합니다.
4. 구체적 기하학적 복원: 단순히 존재성을 증명하는 것을 넘어, 프리姆 다양체의 극화 구조에서 타원곡선과 대합을 추출하여 원래 피복을 구성하는 구체적인 알고리즘적 접근 (비구축적이지는 않으나 구조적 복원) 을 제시했습니다.

5. 결론

본 논문은 genus 2 곡선의 $Z_3 \times Z_3$ 피복에 대해 프리姆 사상이 전역 단사임을 증명함으로써, 해당 피복이 프리姆 다양체로부터 완전히 복원 가능함을 확립했습니다. 또한, 이를 바탕으로 임의의 아벨 군에 대한 프리姆 사상의 일반적 유한성 조건을 규명하여, 아벨 피복의 모듈라이 이론에서 중요한 진전을 이루었습니다. 이 연구는 고차원 아벨 다양체와 곡선 피복의 기하학을 연결하는 중요한 고리 역할을 합니다.