[논문 리뷰] Twistor spaces for supersingular K3 surfaces

Daniel Bragg, Max Lieblich|arXiv (Cornell University)|2018. 04. 19.

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

한 줄 요약

이 논문은 보편적 $\mu_p$-gerbe 위의 왜곡된 층의 상대 모듈리 공간을 이용하여 초특이 K3 표면에 대해 투우터 공간의 양의 성질을 가지는 유사체를 개발한다. 이는 브라우어 군과 기하학적 가닥 간의 연결을 맺는다. 결정성 토렐리 정리, 극성 K3 모듈리 공간 내 초특이 성분의 유리다양체성, 오구스-토렐리 정리 및 잠재적 양호화의 새로운 증명(특성 3에서도 유효)을 확립한다.

ABSTRACT

We develop a theory of twistor spaces for supersingular K3 surfaces, extending the analogy between supersingular K3 surfaces and complex analytic K3 surfaces. Our twistor spaces are obtained as relative moduli spaces of twisted sheaves on universal gerbes associated to the Brauer groups of supersingular K3 surfaces. In rank 0, this is a geometric incarnation of the Artin-Tate isomorphism. Twistor spaces give rise to curves in moduli spaces of twisted supersingular K3 surfaces, analogous to the analytic moduli space of marked K3 surfaces. We describe a theory of crystals for twisted supersingular K3 surfaces and a twisted period morphism from the moduli space of twisted supersingular K3 surfaces to this space of crystals. As applications of this theory, we give a new proof of the Ogus-Torelli theorem modeled on Verbitsky's proof in the complex analytic setting and a new proof of the result of Rudakov-Shafarevich that supersingular K3 surfaces have potentially good reduction. These proofs work in characteristic 3, filling in the last remaining gaps in the theory. As a further application, we show that each component of the supersingular locus in each moduli space of polarized K3 surfaces is unirational.

연구 동기 및 목표

• 복소 K3 표면에서의 고전적 투우터 구성 방식을 양의 특성에서 초특이 K3 표면으로 확장한다.
• 보편 기저 위의 왜곡된 층의 모듈리 공간을 통한 아르틴-테이트 동형사상의 기하학적 실현을 확립한다.
• 초특이 왜곡 K3 표면의 모듈리 공간에서 결정성의 공간으로의 왜곡된 주기 사상의 개발.
• 오구스-토렐리 정리 및 잠재적 양호화에 관한 루다코프-샤파레비치 결과에 대한 새로운 증명을 제공하며, 특성 3에서도 유효하도록 한다.
• 극성 K3 모듈리 공간 내 초특이 성분이 유리다양체임을 보인다.

제안 방법

• 초특이 K3 표면 $X$ 위에 보편적 $\mu_p$-gerbe를 구성하여, 평탄한 코homology $\mathrm{H}^2(X,\boldsymbol{\mu}_p)$ 가 기저 체 위에서 $\mathbf{A}^1$ 와 동형인 브라우어 클래스의 가닥을 매개화함.
• 이 보편 기저 위의 왜곡된 층의 상대 모듈리 공간을 이용하여 초특이 투우터 가닥을 정의함. 이는 동일한 기저 표면을 가지되 기저의 위상이 변하는 왜곡 K3 표면의 가닥이다.
• 표면의 결정성 코homology 를 사용하여 초특이 왜곡 K3 표면의 모듈리 공간에서 결정성의 공간으로의 왜곡된 주기 사상을 정의함.
• 왜곡된 결정성 토렐리 정리를 적용하여, 왜곡된 초특이 K3 표면의 동형류가 주기 자료에 의해 결정됨을 보임.
• 반복적인 왜곡된 층의 모듈리 공간을 이용하여, 임의의 초특이 K3 표면이 $\sigma_0=1$ 표면을 유일하게 기반으로 하여 순차적 모듈리 구성 과정을 통해 유도됨을 보임.
• 표면의 $pNS(X)^*/pNS(X)$ 내의 등방성 벡터의 기하학적 성질을 활용하여 투우터 선을 매개화하고, 브라우어 클래스가 변하는 가닥을 구성함.

실험 결과

연구 질문

• RQ1 초특이 K3 표면에 대해 양의 특성에서 투우터 공간을 어떻게 기하학적으로 실현할 수 있는가?
• RQ2 브라우어 군은 복소 투우터 가닥과 유사한 왜곡 K3 표면의 가닥을 매개화하는 데 어떤 역할을 하는가?
• RQ3 이러한 모듈리 이론적 구성 방식을 통해 왜곡된 초특이 K3 표면에 대해 결정성 토렐리 정리를 확립할 수 있는가?
• RQ4 투우터 가닥은 보편 기저 위의 왜곡된 층의 모듈리 공간으로 자연스럽게 유도되는가?
• RQ5 극성 K3 표면 모듈리 공간 내 초특이 성분은 유리다양체인가? 그의 접선 공간의 기하학적 구조는 무엇인가?

주요 결과

• 왜곡된 초특이 K3 표면의 모듈리 공간은 결정성 주기 영역의 열린 부분집합으로의 전형적이고 분리된 사상이 존재하며, 이는 유리다양체이다.
• 극성 K3 표면 모듈리 공간 $M_{2d}$ 내 초특이 성분 $S_{2d}$ 의 모든 기약 성분은 유리다양체이다.
• $S_{2d}$ 의 일반적인 점에서의 접선 공간은 투우터 선에 해당하는 접선 방향들로 생성된다.
• 오구스-토렐리 정리의 증명은 결정성 토렐리 접근 방식을 통해 이루어졌으며, 버브스키의 복소해석적 증명과 유사하다.
• 루다코프와 샤파레비치의 초특이 K3 표면에 대한 잠재적 양호화 결과는 특성 3에서 재증명되었으며, 이는 이론의 마지막 미해결 문제를 해결한다.
• 모든 초특이 K3 표면은 적절한 무카이 벡터를 가진 왜곡된 층의 모듈리 공간을 반복적으로 취하여 $\sigma_0=1$ 표면으로부터 유도될 수 있다.