[논문 리뷰] On Irreducible Symplectic Varieties of $\mathrm{K3}^{[n]}$-type in Positive Characteristic

Ziquan Yang|arXiv (Cornell University)|2019. 11. 13.

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

한 줄 요약

이 논문은 특성 0 또는 $p > n+1$인 체 위에서 잘 정의된 $ \mathrm{K3}^{[n]}$-유형의 비가역 심플렉틱 다양체의 개념을 수립하고, 혼합 특성의 모듈리 공간을 구축하며, 오구스의 크리스탈린 토렐리 정리가 초기성 $ \mathrm{K3}^{[n]}$-유형 다양체로 일반화된다. 주요 기여는 이러한 다양체를 그들의 크리스탈린 코homology와 네론-세버 기구의 구조를 통해 분류하는 크리스탈린 토렐리 정리이다.

ABSTRACT

We show that there is a good notion of irreducible sympelectic varieties of $\mathrm{K3}^{[n]}$-type over an arbitrary field of characteristic zero or $p > n + 1$. Then we construct mixed characteristic moduli spaces for these varieties. Our main result is a generalization of Ogus' crystalline Torelli theorem for supersingular K3 surfaces. For applications, we answer a slight variant of a question asked by F. Charles on moduli spaces of sheaves on K3 surfaces and give a crystalline Torelli theorem for supersingular cubic fourfolds.

연구 동기 및 목표

• 임의의 특성 0 또는 $p > n+1$인 체 위에서 $ \mathrm{K3}^{[n]}$-유형 다양체의 강력한 정의를 제시하여 고전적 복소수 및 $p$-진 정의를 확장한다.
• 초기 극성 $ \mathrm{K3}^{[n]}$-유형 다양체에 대한 혼합 특성의 모듈리 공간을 구축하고, 이들이 유한한 에탈 커버를 갖는 정규의 준사영 스킴에 의해 덮이는 델리-무담 스택임을 증명한다.
• 초기성 $ \mathrm{K3}^{[n]}$-유형 다양체에 대해 오구스의 크리스탈린 토렐리 정리를 고차원 $ \mathrm{K3}^{[n]}$-유형 다양체로 일반화한다.
• F. 찰스의 질문의 변형, 즉 양의 특성에서 K3 표면 위의 층 모듈리 공간의 유계성 문제를 해결한다.
• 초기성 삼차 4차 곡면의 라인의 플라노 곡면을 통해 초기성 삼차 4차 곡면에 대한 크리스탈린 토렐리 정리를 수립한다.

제안 방법

• 특성 $p > n+1$인 완전체 $k$ 위에서, $W(k)$로의 릿지와 호환되는 극성 및 호지 수 조건을 통해 $ \mathrm{K3}^{[n]}$-유형 다양체를 정의한다.
• 형식적 변형 이론과 윌트 벡터 코hom로지 이론을 사용하여, $k$ 위의 $X$ 위의 선다발과 극성들이 $W(k)$의 유한 평탄 확장 위의 형식적 변형으로 올라간다는 것을 보인다.
• $\mathbb{Z}_{(p)}$ 위에서 차수 $d$인 초기 극성 $ \mathrm{K3}^{[n]}$-유형 다양체의 모듈리 함수 $\mathsf{M}_{n,d}$를 구축하고, 이것이 유한형의 델리-무담 스택임을 증명한다.
• 모듈리 공간에 수준 구조와 방향성을 부여하여, 정규의 준사영 스킴에 의해 표현되는 정밀한 모듈리 공간을 얻는다.
• 크리스탈린 코homology $H^2_{\mathrm{cris}}(X/W)$가 네론-세버 기구와 극성과 호환되는 표준적인 $F$-크리스탈의 구조를 지닌다는 것을 증명한다.
• 형식적 브라우어 군 이론과 세르의 윌트 벡터 코hom로지 이론을 사용하여, $H^2_{\mathrm{cris}}(X/W)$ 위에서 프로베니우스 작용의 핵을 분석하고, $W_i = W/p^iW$에 대해 차원이 $\min(i, h-1)$임을 보인다.

실험 결과

연구 질문

• RQ1 특성 $p > n+1$인 체 위에서 $ \mathrm{K3}^{[n]}$-유형 다양체에 대해 좋은 정의를 내릴 수 있는가?
• RQ2 초기 극성 $ \mathrm{K3}^{[n]}$-유형 다양체에 대한 $ \mathbb{Z}_{(p)}$ 위의 모듈리 공간이 존재하며, 양호한 기하적 성질을 갖는가?
• RQ3 오구스의 K3 표면에 대한 결과를 일반화하여, 초기성 $ \mathrm{K3}^{[n]}$-유형 다양체에 대해 크리스탈린 토렐리 정리가 존재하는가?
• RQ4 이 틀을 통해 양의 특성에서 K3 표면 위의 층 모듈리 공간의 유계성을 확립할 수 있는가?
• RQ5 초기성 삼차 4차 곡면의 라인의 플라노 곡면에 대해 크리스탈린 토렐리 정리가 성립하는가?

주요 결과

• 모듈리 함수 $\mathsf{M}_{n,d}$는 $\mathbb{Z}_{(p)}$ 위의 유한형 델리-무담 스택이며, 정규의 준사영 스킴에 의해 유한한 에탈 커버를 갖는다.
• 특성 $p > n+1$인 대수적으로 닫힌 체 $k$ 위의 $ \mathrm{K3}^{[n]}$-유형 다양체 $X$와 그 위의 선다발 $\zeta$에 대해, $X$가 $\mathrm{Spf}\,W'$ 위에 형식적 변형을 가지며 $\zeta$가 연장되는 유한 평탄 확장 $W'$가 존재한다.
• 특성 $p > n+1$인 대수적으로 닫힌 체 $k$ 위의 $X$에 대한 유한 평탄 확장 $V'$의 $W(k)$ 위에서의 변형 $X_{V'}$가 초기 극성을 올리면, $X_{V'}$의 모든 기하적 일반 섹션은 $ \mathrm{K3}^{[n]}$-유형이다.
• 초기성 $ \mathrm{K3}^{[n]}$-유형 다양체 $X$는 크리스탈린 코homology $H^2_{\mathrm{cris}}(X/W) \to H^2_{\mathrm{cris}}(X'/W)$로 올라가는 $\mathrm{NS}(X) \to \mathrm{NS}(X')$의 동형 $ \psi$에 의해, 프로베니우스와 극성 구조를 유지하면서 유일하게 결정된다.
• $W_i = W/p^iW$에 대해, $H^2_{\mathrm{cris}}(X/W)$ 위에서 프로베니우스 작용의 핵의 차원은 $\min(i, h-1)$이며, 여기서 $h$는 형식적 브라우어 군의 높이다.
• 모든 $n \geq 1$에 대해 $\beta_n: H^1(B_n) \to H^1(\Omega_Y^1)$는 단사적이다. 이는 카르티에 연산자의 코homological 구조가 제어되고 안정화됨을 의미한다.