[논문 리뷰] Moduli and periods of simply connected Enriques surfaces

Torsten Ekedahl, J. M. E. Hyland외 1명|arXiv (Cornell University)|2012. 10. 01.

Algebraic Geometry and Number Theory참고 문헌 25인용 수 22

한 줄 요약

이 논문은 특성 2에서 단순 연결된 에리쿠스 표면에 대해 주기 호모모르피즘을 수립하며, 그 모듈리 공간이 초순수 K3 표면의 주기 공간 위의 P¹-_bundle의 열린 부분집합임을 보여준다. Keel–Mori 스택과 Deligne–Mumford 스택을 사용하여, 자동형군 스킴의 비감소성에 의해 유니포텐트(단순 연결) 에리쿠스 표면의 모듈리가 결정됨을 증명하고, W(k)[[x₁,…,x₁₂]]/(FG−2) 형태의 환 위에서 α₂-에리쿠스 표면에 대한 최소일반 변형을 구축한다.

ABSTRACT

We describe a period map for those simply connected Enriques surfaces in characteristic 2 whose canonical double cover is K3. The moduli stack for these surfaces has a Deligne-Mumford quotient that is an open substack of a $\mathbb P^1$-bundle over the period space. We also give some general results relating local and global moduli for algebraic varieties and describe the difference in their dimensions in terms of the failure of the automorphism group scheme to be reduced.

연구 동기 및 목표

• 알gebraic 스택과 주기 사상을 사용하여 특성 2에서 단순 연결된 에리쿠스 표면의 모듈리 공간을 묘사하기.
• 자동형군 스킴의 비감소성 분석을 통해 局부 모듈리와 전역 모듈리 간의 차이를 정량화하기.
• α₂-에리쿠스 표면에 대한 최소일반 변형 공간을 구축하고, 그 정규성 증명하기.
• K3–에리쿠스 표면에 대한 주기 사상을 수립하고, 그 이미지가 표준 K3 표면의 주기 공간의 몫에 포함됨을 보여주기.
• 모든 에리쿠스 표면가 절대 램프리케이션 지수에 유계된 특성 0의 DVR로 올라갈 수 있음을 보여주기.

제안 방법

• Keel–Mori 스택을 사용하여 코arse 모듈리 공간을 구축하고, Deligne–Mumford 스택을 사용하여 몫의 구조를 정밀화하기.
• Rudakov–Shafarevich 정리를 적용하여, Y가 K3–에리쿠스일 경우 X →Y의 캐논리컬 이중 코팅 X가 유리 이중점(RDPs)을 가진 K3 표면임을 분석하기.
• X의 최소 해소 eX를 사용하여 주기 사상을 구축하고, 이러한 표면에 대해 Ogus의 주기 동형을 적용하기.
• X 위의 2-폐쇄 벡터 필드 공간을 통해 종수 0 곡선의 피브레이션을 분석하고, 이는 접선층의 직선을 매개화한다.
• 변형 이론을 사용하여 α₂-에리쿠스 표면의 최소일반 변형 공간을 SpecW(k)[[x₁,…,x₁₂]]/(FG−2)로 묘사하고, 이것이 정규임을 증명하기.
• Liedtke의 Cossec–Verra 극화 및 RDP-K3 표면에 대한 결과를 활용하여 모듈리 성분의 대수성과 기약성을 확립하기.

실험 결과

연구 질문

• RQ1 자동형군 스킴의 비감소성은 에리쿠스 표면의 局부 모듈리와 전역 모듈리 간의 차이에 어떤 영향을 미치는가?
• RQ2 특성 2에서 단순 연결된 에리쿠스 표면의 모듈리 공간의 구조는 어떠한가?
• RQ3 K3–에리쿠스 표면에 대해 주기 사상을 구축할 수 있으며, 그 기하학적 이미지는 무엇인가?
• RQ4 α₂-에리쿠스 표면의 최소일반 변형 공간은 무엇이며, 정규인가?
• RQ5 에리쿠스 표면는 어느 정도까지 특성 0으로 올라갈 수 있으며, 램프리케이션 지수에 어떤 유계가 존재하는가?

주요 결과

• 단순 연결된 에리쿠스 표면의 모듈리 공간은 초순수 K3 표면의 주기 공간 위의 P¹-_bundle의 열린 부분스킴이다.
• K3–에리쿠스 표면에 대한 주기 사상은 MN/S¹²의 몫을 통해 인식되며, 여기서 MN은 표준 K3 표면의 주기 공간이다.
• α₂-에리쿠스 표면의 최소일반 변형 공간은 정규이며, SpecW(k)[[x₁,…,x₁₂]]/(FG−2)와 동형이며, 차원 12의 완전교차이다.
• 모든 에리쿠스 표면는 절대 램프리케이션 지수 2⁹·N를 나누는 특성 0의 이산가액환으로 올라간다. 여기서 N ∈ {192, 128, 60, 56, 40, 9}이다.
• 에리쿠스 표면의 스택은 Spec Z 위에서 대수적이며, 기하적 성분은 10차원이다. 특성 2에서는 두 개의 기약 성분 Euni(유니포텐트)와 Einf(무한소)를 가지며, 이들은 Eα(α₂-표면)에서 만난다.
• 열린 부분스택 EK3,uni(K3–에리쿠스 표면)의 여집합은 최소한 코드미너션 3이므로, 주기 사상은 밀도 있는 열린 부분집합에서 잘 정의되어 있다.