[논문 리뷰] The Schottky problem in genus five

Charles Siegel|arXiv (Cornell University)|2013. 02. 24.

Algebraic Geometry and Number Theory참고 문헌 29인용 수 3

한 줄 요약

이 논문은 종수 5에서 슈타크 문제를 해결하기 위해 종수 6 곡선의 프림 맵을 분석하고 $\beta_5$의 섬유 위의 인cidenc 구조를 이용한다. 이를 통해 소 슈타크 다양체역학적 다양체 $\mathcal{S}_5^{\text{small}}$가 정확히 잭비안 다양체역학적 다양체 $\mathcal{J}_5$와 일치함을 증명하며, 도나기의 오랜 추측을 해결하고 종수 5에서의 소 슈타크 다양체역학적 다양체의 기약성을 확인한다.

ABSTRACT

In this paper, we present a solution to the Schottky problem in the spirit of Schottky and Jung for genus five curves. To do so, we exploit natural incidence structures on the fibers of several maps to reduce all questions to statements about the Prym map for genus six curves. This allows us to find all components of the big Schottky locus and thus, to show that the small Schottky locus introduced by Donagi is irreducible.

연구 동기 및 목표

• 주로 편평한 편평한 아벨 다양체의 모듈리 공간 내에서 잭비안 다양체역학적 다양체를 특성화함으로써 종수 5에서 슈타크 문제를 해결하는 것.
• 소 슈타크 다양체역학적 다양체 $\mathcal{S}_5^{\text{small}}$가 기약적이며 잭비안 다양체역학적 다양체 $\mathcal{J}_5$와 일치함을 증명하는 것.
• $\beta_5$의 분해와 수축된 다양체역학적 다양체를 분석함으로써 슈타크-준 프로그램을 확장하여, 왜곡된 프림 다양체역학적 다양체의 모듈리 공간에서의 성질을 연구하는 것.
• 인cidenc 구조와 국소 차수 계산을 이용하여 종수 5에서의 큰 슈타크 다양체역학적 다양체의 성분을 완전히 분류하는 것.

제안 방법

• $\beta_5$는 왜곡된 프림 다양체역학적 다양체의 모듈리 공간에서 $\mathcal{A}_4$로 가는 사상이며, 이 사상의 섬유를 $\mathbb{F}_2$ 위에서의 $Q_6^-$-구성에 기반하여 분석한다.
• $\mathbb{F}_2$ 위의 점-선 구성에 대한 인cidenc 기하학을 적용하여 $\beta_5$의 차수를 계산하며, 그 결과는 119로 도출된다.
• 아이자디의 작업에 기반한 종수 5에서 아벨 다양체의 분해를 연구함으로써 $\alpha_4(\mathcal{A}_4)$의 역상 내 성분을 분류할 수 있다.
• $\beta_5$의 수축된 다양체역학적 다양체를 분석하여 국소 차수가 양수가 아닌 성분들을 식별하고, 슈타크 다양체역학적 다양체에 기여하는 관련 성분들을 분리한다.
• $\overline{\mathcal{RJ}}_5$, $\overline{\mathcal{RC}^0}$, $\partial^I\overline{\mathcal{RA}}_5^t$에서 국소 차수 계산을 수행하여 각각 54, 1, 64의 값을 얻는다.
• 국소 차수의 합(1 + 54 + 64 = 119)은 슈타크 다양체역학적 다양체에 기여하는 다른 성분이 존재하지 않음을 확인하며, 분류를 완료한다.

실험 결과

연구 질문

• RQ1 종수 5에서 소 슈타크 다양체역학적 다양체 $\mathcal{S}_5^{\text{small}}$는 기약적이며 잭비안 다양체역학적 다양체 $\mathcal{J}_5$와 일치하는가?
• RQ2 $\beta_5^{-1}(\alpha_4(\mathcal{A}_4))$의 성분 중에서 국소 차수가 양수인 것은 무엇이며, 슈타크 다양체역학적 다양체에 기여하는가?
• RQ3 $\beta_5$의 총 차수는 얼마이며, 이는 슈타크 다양체역학적 다양체의 구조에 어떤 제약을 가하는가?
• RQ4 프림 맵 기하학과 분해 기법을 이용하여 종수 5에서 슈타크-준 추측을 수정하고 검증할 수 있는가?
• RQ5 왜곡된 프림 다양체역학적 다양체의 모듈리 공간 내에서 $\beta_5$에 의해 수축되는 다양체역학적 다양체는 무엇이며, 이는 슈타크 다양체역학적 다양체에 어떤 영향을 미치는가?

주요 결과

• $\beta_5$의 차수는 $\mathbb{F}_2$ 위의 $Q_6^-$-구성에 대한 인cidenc 구조를 통해 계산되었으며, 그 값은 119이다.
• $\beta_5^{-1}(\alpha_4(\mathcal{A}_4))$의 유일한 성분 중에서 수축되는 것은 $\mathcal{A}_4 \times \mathcal{RA}_1$이며, 나머지 모든 성분은 국소 차수가 양수이다.
• $\beta_5$의 국소 차수는 $\overline{\mathcal{RC}^0}$에서 1, $\overline{\mathcal{RJ}}_5$에서 54, $\partial^I\overline{\mathcal{RA}}_5^t$에서 64이며, 합은 119이다.
• 국소 차수의 합은 $\mathcal{RS}_5$의 다른 성분들이 기여하지 않음을 확인하며, 이에 따라 $\mathcal{RS}_5 = \overline{\mathcal{RJ}}_5 \cup \overline{\mathcal{RC}^0} \cup \partial^I\overline{\mathcal{RA}}_5^t \cup \mathcal{A}_4 \times \mathcal{RA}_1$임을 완성한다.
• 모든 비영인 2- torsion 점을 포함하는 유일한 다양체역학적 다양체는 잭비안이므로, $\mathcal{S}_5^{\text{small}} = \mathcal{J}_5$임을 유추할 수 있다.
• 잭비안 다양체역학적 다양체 $\mathcal{J}_5$가 기약이므로, 소 슈타크 다양체역학적 다양체 $\mathcal{S}_5^{\text{small}}$ 역시 기약이다.