[논문 리뷰] On the Prym map of Galois covering

Abolfazl Mohajer|arXiv (Cornell University)|2020. 04. 20.

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

한 줄 요약

이 논문은 아벨 및 메타아벨 갈루아 군을 가진 대수적 곡선의 피르름 사상에 대해 연구하며, 피르름 사상의 미분이 단사가 되는 조건을 규명한다. 빌드링 데이터와 코homological 기법을 사용하여, 특정 선다발의 차수들이 임계 임계값을 초과할 경우 아벨 코팅에 대해 미분의 단사성을 증명하고, 전역 생성성과 절단 맵의 상사성에 의해 이를 메타아벨 코팅으로 확장한다.

ABSTRACT

In this paper we consider the Prym variety $P(\widetilde{C}/C)$ associated to a Galois coverings of curves $f:\widetilde{C} o C$ branched at $r$ points. We discuss some properties and equivalent definitions and then consider the Prym map $\mathcal{P}=\mathcal{P}(G,g,r):R(G,g,r) o A_{p,δ}$ with $δ$ the type of the polarization. For Galois coverings whose Galois group is abelian and metabelian (non-abelian) we show that the differential of this map at certain points is injective. We also consider the Abel-Prym map $u:\widetilde{C} o P(\widetilde{C}/C)$ and prove some results for its injectivity. In particular we show that in contrast to the classical and cyclic case, the behavior of this map here is more complicated. The theories of abelian and metabelian Galois coverings play a substantial role in our analysis and have been used extensively throughout the paper.

연구 동기 및 목표

• 갈루아 군이 아벨 및 메타아벨인 곡선의 갈루아 코팅에 대한 피르름 사상 분석하기.
• 모듈리 공간의 특정 점들에서 피르름 사상의 미분이 단사가 되는 조건 규명하기.
• 순환 갈루아 코팅에서의 아벨-피르름 맵 결과를 비순환 갈루아 코팅으로 일반화하기.
• 아벨 및 메타아벨 코팅 이론을 활용하여 모듈리 공간 R(G,g,r)를 내재적으로 묘사하기.
• 곱셈 맵의 상사성을 보장하는 선다발과 그 전역 절단의 충분한 조건 설정하여, 미분의 단사성에 핵심적인 영향을 미치기.

제안 방법

• 아벨 갈루아 코팅의 경우 줄인 빌드링 데이터를 사용하여 모듈리 공간 R(G,g,r)를 매개변수화한다.
• 곱셈 맵 μ: H⁰(ω_C ⊗ L_i^{⌊ni/2⌋}) ⊗ H⁰(ω_C ⊗ L_i^{ni−⌊ni/2⌋}) → H⁰(ω_C²(D_i)) 를 통한 코homological 기준을 적용하여 피르름 사상의 미분의 단사성 평가하기.
• 메타아벨 코팅에서 벡터다발 U_χ = q_*F_χ 이론을 활용하여 선다발을 초월한 분석을 일반화한다.
• [3, Theorem 1]에 의존하여 선다발이 매우 망원적 또는 충분한 차수를 가진 전역 생성 가능일 경우 곱셈 맵의 상사성을 보장한다.
• 메타아벨 케이스에서의 상사성을 보장하기 위해 h⁰(ω_C² ⊗ L'² ⊗ U_χ ⊗ U_χ⁻¹) ≤ t(h⁰(ω_C ⊗ L' ⊗ U_χ) + h⁰(ω_C ⊗ L' ⊗ U_χ⁻¹)) − t² 조건을 사용한다.
• [4] 및 [1]의 결과를 활용하여 벡터다발 및 선다발의 맥락에서 전역 생성성과 곱셈 맵의 상사성에 대한 분석을 적용한다.

실험 결과

연구 질문

• RQ1 아벨 갈루아 코팅의 경우 피르름 사상의 미분이 언제 단사가 되는가?
• RQ2 비순환 갈루아 코팅에서 아벨-피르름 맵의 행동은 고전적 순환 케이스와 어떻게 다를까?
• RQ3 빌드링 데이터에 어떤 조건이 있어야 곱셈 맵의 상사성이 보장되며, 이는 피르름 사상의 미분에 사용되는가?
• RQ4 아벨 갈루아 코팅에서의 피르름 사상 미분의 단사성은 메타아벨 갈루아 코팅으로 확장될 수 있는가?
• RQ5 전역 절단과 선다발의 차수는 피르름 사상의 단사성에 어떤 역할을 하는가?

주요 결과

• 아벨 코팅의 경우, n_i 가 짝수일 때 d_i ≥ 6 이거나, n_i 가 홀수일 때 d_i ≥ 7 이면, 피르름 사상의 미분 dP 는 단사가 된다.
• 어떤 문자 χ 가 존재하여 deg(L_χ) ≥ 3 이고 deg(L_χ⁻¹) ≥ 3 이면, dP 는 단사가 된다.
• L_χ 와 L_χ⁻¹ 가 전역 생성 가능하고 deg(L_χ) + deg(L_χ⁻¹) ≥ 5 이면, 미분 dP 는 여전히 단사가 된다.
• 메타아벨 케이스에서는, ω_C ⊗ L' 이 전역 생성 가능하고 U_χ, U_χ⁻¹ 가 전역 생성 가능하며 h⁰(ω_C² ⊗ L'² ⊗ U_χ ⊗ U_χ⁻¹) ≤ t(h⁰(ω_C ⊗ L' ⊗ U_χ) + h⁰(ω_C ⊗ L' ⊗ U_χ⁻¹)) − t² 이면, dP 는 단사가 된다.
• dP 의 단사성은 전역 절단에 대한 곱셈 맵의 상사성에 의해 확보되며, 이는 제시된 차수 및 전역 생성 조건에 의해 보장된다.
• 논문은 피르름 사상의 단사성이 비순환 갈루아 코팅에서 실패할 수 있음을 보여주는 반례를 제시한다. 이는 곡선이 g²¹₂ₕ 일 경우에 해당하며, 제시된 조건의 필수성을 시사한다.