[논문 리뷰] Moduli Stacks of Polarized K3 Surfaces in Mixed Characteristic

Jordan Rizov|ArXiv.org|2005. 06. 07.

Algebraic Geometry and Number Theory인용 수 5

한 줄 요약

이 논문은 에테ール 코homology와 수론 기하학 기법을 사용하여, 어떤 $N$ 에 대해 $\operatorname{Spec}(\mathbb{Z}[1/N])$ 위의 매끄러운 대수적 공간으로서, 수직 구조를 가진 원시 극성 K3 표면의 모듈리 스택의 표현 가능성을 확립한다. 이는 델 라이트-무덤 스택을 구성하고, 수직 구조가 유한 에테ール 쌍대를 유도함으로써 혼합 특성수로 모듈리 이론을 확장하며, 양의 특성수에서 복소 곱법과 쿠가-사타케 다양체의 연구를 가능하게 한다.

ABSTRACT

In this note we define moduli functors of (primitively) polarized K3 spaces. We show that they are representable by Deligne-Mumford stacks over Spec(Z). Further, we look at K3 spaces with a level structure. Our main result is that the moduli functors of K3 spaces with a primitive polarization of degree 2d and a level structure are representable by smooth algebraic spaces over open parts of Spec(Z). To do this we use ideas of Grothendieck, Deligne, Mumford, Artin and others. These results are the starting point for the theory of complex multiplication for K3 surfaces and the definition of Kuga-Satake abelian varieties in positive characteristic given in our Ph.D. thesis.

연구 동기 및 목표

• 모듈리 스택을 $\operatorname{Spec}(\mathbb{Z})$ 위에서 혼합 특성수에서 원시 극성 K3 표면에 대해 정의하고 연구한다.
• 복소수 영역을 넘어서 K3 표면의 모듈리 이론을 확장하기 위해 $\mathbb{Z}[1/N]$ 위의 대수적 공간을 구성함으로써 수론적 응용을 가능하게 한다.
• 에테ール 코homology를 사용하여 K3 표면에 수직 구조를 도입하고, 그것이 매끄러운 대수적 공간으로서의 표현 가능성을 증명한다.
• 양의 특성수에서 K3 표면에 대해 복소 곱법과 쿠가-사타케 아벨 다양체를 연구하기 위한 기초 틀을 마련한다.

제안 방법

• K3 표면의 두 번째 에테ール 코homology 군을 사용하여 $\operatorname{SO}(2,19)(\mathbb{A}_f)$ 의 컴acts 오픈 부분군을 통해 수직 구조를 정의한다.
• 아르틴의 대수적 스택 및 변형 이론 기법을 적용하여, 모듈리 함자의 델 라이트-무덤 스택에 의한 표현 가능성을 보인다.
• 표현 $\operatorname{CSpin}(2,19)\to\operatorname{SO}(2,19)$ 를 통한 수직 $\mathbb{K}$-구조를 도입하여 스핀 수직 구조의 개념을 일반화한다.
• $\mathcal{F}_{2d,\mathbb{K}}$ 의 전체 부분범주인 모듈리 공간 $\mathcal{F}_{2d,\mathbb{K}}^{\rm full}$ 을 구성하고, 잊어버림 및 투영 함자를 갖춘다.
• 잊어버림 사상 $p_{2d,\mathbb{K}}:\mathcal{F}_{2d,\mathbb{K}}^{\rm full}\to\mathcal{F}_{2d,\mathbb{Z}[1/N_{\mathsc{B}}]}$ 가 유한하고 에테ール임을 증명하여, 매끄럽고 표현 가능한 성질을 보장한다.
• 라티스의 임베딩 $i: L_{2d} \hookrightarrow L_0$ 을 사용하여 수직 구조를 연결하고, 모듈리 스택 간의 호환 가능한 사상들을 정의한다.

실험 결과

연구 질문

• RQ1 혼합 특성수에서 $\operatorname{Spec}(\mathbb{Z})$ 위에 원시 극성 K3 표면의 모듈리 스택을 구성할 수 있는가?
• RQ2 수직 구조를 가진 K3 표면의 모듈리 함자는 $\mathbb{Z}[1/N]$ 위의 매끄러운 대수적 공간으로서 표현 가능한가?
• RQ3 에테ール 코homology를 통해 정의된 수직 구조는 양의 특성수에서 K3 표면의 기하학과 수론적 성질과 어떻게 관련되는가?
• RQ4 수직 구조를 가진 K3 표면의 모듈리 공간을 사용하여 양의 특성수에서 쿠가-사타케 아벨 다양체를 정의할 수 있는가?
• RQ5 스핀 수직 $n$-구조와 같은 서로 다른 수직 구조들 사이의 관계는 무엇이며, 그에 대응하는 모듈리 공간은 어떻게 관련되는가?

주요 결과

• 도수 $2d$ 를 가진 원시 극성 K3 표면의 모듈리 스택 $\mathcal{F}_{2d}$ 는 $\operatorname{Spec}(\mathbb{Z})$ 위의 델 라이트-무덤 스택으로서 표현 가능하다.
• 어떤 허용 가능한 수직 구조 $\mathbb{K}$ 에 대해서도, 모듈리 공간 $\mathcal{F}_{2d,\mathbb{K}}^{\rm full}$ 은 $\mathbb{Z}[1/N_{\mathsc{B}}]$ 위에서 상대 차원 19인 분리되고 매끄러운 대수적 공간이다.
• 잊어버림 사상 $p_{2d,\mathbb{K}}:\mathcal{F}_{2d,\mathbb{K}}^{\rm full}\to\mathcal{F}_{2d,\mathbb{Z}[1/N_{\mathsc{B}}]}$ 는 유한하고 에테ール이며, 이는 $\mathcal{F}_{2d,\mathbb{K}}^{\rm full}$ 이 $\mathcal{F}_{2d}$ 의 유한한 분리된 쌍대임을 의미한다.
• 포함 사상 $i_{\mathbb{K}}:\mathcal{F}_{2d,\mathbb{K}}^{\rm full}\hookrightarrow\mathcal{F}_{2d,\mathbb{K}}$ 는 열린 포함 사상이며, 이는 수직 구조가 스택 구조와 호환됨을 보여준다.
• $n \geq 3$ 인 경우, 전체 수직 $n$-구조를 가진 K3 표면의 모듈리 공간 $\mathcal{F}_{2d,n}^{\rm full}$ 은 $\mathbb{Z}[1/2dn]$ 위의 매끄러운 대수적 공간이 되며, 일반적 구성의 구체적 예를 제공한다.
• 다른 수직 구조를 가진 모듈리 공간 간의 투영 함자 $pr_{(\mathbb{K}_1,\mathbb{K}_2)}$ 는 유한하고 에테ール이며, 이는 수직 구조 간의 호환성을 보장한다.