[논문 리뷰] On the geometry of (1,2)-polarized Kummer surfaces

Adrian Clingher, Andreas Malmendier|arXiv (Cornell University)|2017. 04. 17.

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

한 줄 요약

이 논문은 복소수체 위의 (1,2)-극성화 아벨 곡면과 관련된 (1,2)-극성화 쿠머 표면가 세 점이 한 점에 모이는 여섯 직선 위에서 분지하는 ℙ²의 두중 덮개로 표현될 수 있음을 증명한다. 주요 기여는 이러한 쿠머 표면과 이중유계 곡선의 대칭 제곱을 이중유계 호몰로지로 나눈 몫 표면 사이의 비라시오널 동치를 밝혀내며, 이로부터 고리수 2의 모듈러 형식을 이용한 가중 프로젝티브 공간 내 정규형을 도출한다.

ABSTRACT

We discuss several geometric features of a Kummer surface associated with a (1,2)-polarized abelian surface defined over the field of complex numbers. In particular, we show that any such Kummer surface can be modeled as the double cover of the projective plane branched along six lines, three of which meet a common point. The proof uses certain explicit pencils of plane quartic bielliptic genus-three curves whose associated Prym varieties are naturally (1,2)-polarized abelian surfaces.

연구 동기 및 목표

• 기존의 주극성화 경우에 국한된 쿠머 표면의 고전적 기하학적 기술을 (1,2)-극성화 경우로 확장한다.
• 이중유계 및 하이퍼엘리프틱한 고리수 3 곡선의 대칭 제곱을 이용한 (1,2)-극성화 쿠머 표면의 비라시오널 모델을 제공한다.
• 해당 프리드먼 다양체가 (1,2)-극성화 아벨 곡면과 자연스럽게 동형인 평면 4차 이중유계 고리수 3 곡선의 명시적 선형군을 구성한다.
• 그라비안의 (2,2)-이소지니에 의해 유도되는 쿠머 표면 간의 유리 사상들을 기저 변환과 섬유별 이소지니를 통해 기술한다.
• 기존의 주극성화 경우에 대해 알려진 결과와 유사한 (1,2)-극성화 쿠머 표면에 대한 쿠머 샌드위치 정리를 수립한다.

제안 방법

• 고리수 3 곡선이 하이퍼엘리프틱하고 동시에 이중유계일 경우, 고리수 2 곡선의 두중 덮개임을 이용하여, (1,2)-극성화 쿠머 표면에서 주극성화 쿠머 표면으로 가는 두차수의 유리 사상으로 올리기.
• 해당 프리드먼 다양체가 자연스럽게 (1,2)-극성화 아벨 곡면과 동형인 평면 4차 이중유계 고리수 3 곡선의 명시적 선형군을 구성.
• 주극성화 아벨 곡면 간의 (2,2)-이소지니 이론을 적용하여, 2- torsion 점들의 최대 이소트로픽 부분군을 이용해 쿠머 표면 간의 유리 사상 정의.
• 쿠머 표면 간의 유리 사상들을 두 개의 유리 두중 덮개의 합성으로 분해하며, 각각 기저 변환과 그라비안 타원적 분할의 섬유별 두차수 이소지니에 대응.
• 2- torsion 점의 이동에 의한 내림을 프로젝티브 자기동형사상으로 내림시키며, 쿠머 표면에서 반-게멘-사르티 및 니쿨린 인버션을 실현.
• (2,2)-이소지니 사상의 인수분해를 통해 중간 단계의 (1,2)-극성화 쿠머 표면과 그 (2,2)-이소지노우스 동치 표면 간의 동형을 증명.

실험 결과

연구 질문

• RQ1 (1,2)-극성화 쿠머 표면이 여섯 직선 위에서 분지하는 ℙ²의 두중 덮개로 표현될 수 있는가, 특히 세 직선이 한 점에 모이는가?
• RQ2 이중유계 및 하이퍼엘리프틱한 고리수 3 곡선의 대칭 제곱을 이중유계 인버션으로 나눈 몫 표면으로서 (1,2)-극성화 쿠머 표면의 비라시오널 모델이 존재하는가?
• RQ3 해당 프리드먼 다양체가 자연스럽게 (1,2)-극성화 아벨 곡면과 동형인 평면 4차 이중유계 고리수 3 곡선의 선형군은 무엇인가?
• RQ4 고리수 2 곡선의 그라비안에서의 (2,2)-이소지니가 그에 대응하는 쿠머 표면 간의 유리 사상을 어떻게 유도하는가?
• RQ5 쿠머 표면 간의 유리 사상은 기저 변환과 섬유별 이소지니로 분해될 수 있으며, 이 분해에서 인버션의 역할은 무엇인가?

주요 결과

• (1,2)-극성화 쿠머 표면은 이중유계 하이퍼엘리프틱 고리수 3 곡선의 대칭 제곱을 그 이중유계 인버션으로 나눈 몫 표면과 비라시오널 동치이다.
• 가중 프로젝티브 3차원에서 계수들이 고리수 2의 모듈러 형식과 타타 함수로 표현된 4차 표면으로서 (1,2)-극성화 쿠머 표면의 정규형이 도출된다.
• 해당 프리드먼 다양체가 자연스럽게 (1,2)-극성화 아벨 곡면과 동형인 평면 4차 이중유계 고리수 3 곡선의 선형군이 존재한다.
• 한 (2,2)-이소지니에 의해 유도되는 쿠머 표면 간의 유리 사상은 두 개의 유리 두중 덮개의 합성으로 분해되며, 각각 다른 분할에 대응한다.
• 2- torsion 점 e₁₂ ∈ Jac(C)[2]에 의한 이동에 의해 유도되는 인버션 ι^Y₁은 쿠머 표면에서 니쿨린 인버션으로 내림된다. 마찬가지로 다른 인버션들에 대해서도 동일하다.
• 쿠머 표면 Kum(ℬ̂₁₂)는 두 차수의 유리 사상으로 Kum(Jac(C))와 Kum(Jac(Ĉ₁₂)) 사이에 끼워지며, 이는 (1,2)-극성화 경우에 대한 쿠머 샌드위치 정리를 확립한다.