[논문 리뷰] K-moduli of curves on a quadric surface and K3 surfaces

Kenneth Ascher, Kristin DeVleming외 1명|arXiv (Cornell University)|2020. 06. 11.

Geometry and complex manifolds참고 문헌 18인용 수 5

한 줄 요약

이 논문은 $(\mathbb{P}^1 \times \mathbb{P}^1, cC)$ 형태의 로그 팔레오 쌍에 대한 K-모듈리 공간이 $(4,4)$-곡선 $C$에 대해 벽 교차를 겪으며, 이는 $\mathbb{P}^3$ 내의 $(2,4)$-완전교차곡선에 대한 기하학적 안정성 이론의 변형(VGIT) 몫과 정확히 일치함을 규명한다. 이는 $(4,4)$-곡선의 GIT 몫과 4차 히퍼엘리프틱 K3 표면의 Baily-Borel 콪 pactification 사이의 모듈러스 해석을 제공한다.

ABSTRACT

We show that the K-moduli spaces of log Fano pairs $(\mathbb{P}^1 imes\mathbb{P}^1, cC)$ where $C$ is a $(4,4)$-curve and their wall crossings coincide with the VGIT quotients of $(2,4)$ complete intersection curves in $\mathbb{P}^3$. This, together with recent results by Laza-O'Grady, implies that these K-moduli spaces form a natural interpolation between the GIT moduli space of $(4,4)$-curves on $\mathbb{P}^1 imes\mathbb{P}^1$ and the Baily-Borel compactification of moduli of quartic hyperelliptic K3 surfaces.

연구 동기 및 목표

• 로그 팔레오 쌍 $(\mathbb{P}^1 \times \mathbb{P}^1, cC)$에 대해 $C$가 $(4,4)$-곡선인 경우 K-안정성을 프레임워크로 사용하여 K-모듈리 공간을 구축하고 연구하는 것.
• 4차 히퍼엘리프틱 K3 표면의 모듈리 공간에 대한 Baily-Borel 콩 pactification과 $\mathbb{P}^1 \times \mathbb{P}^1$ 위의 $(4,4)$-곡선에 대한 GIT 콩 pactification 사이의 장기적인 비교 문제를 해결하는 것.
• 변하는 $c \in (0, \frac{1}{2})$에 대해 K-모듈리 공간의 벽 교차가 $\mathbb{P}^3$ 내의 $(2,4)$-완전교차곡선에 대한 VGIT 벽 교차와 정확히 일치함을 보이는 것.
• K-안정성을 통한 중간 콩 pactification의 모듈러스 해석을 제공하는 것.

제안 방법

• ADL19에서 제시한 K-다중안정 로그 팔레오 쌍의 프레임워크를 활용하여, $\mathbb{Q}$-코hen스타인 가소적일 수 있는 K-다중안정 쌍 $(X, cD)$를 매개변수화하는 올바른 양호한 모듈리 공간 $\overline{K}_c$를 구축한다.
• K-모듈리 매개변수 $c$와 VGIT 매개변수 $t$ 사이의 대응을 $t = \frac{3c}{2c + 2}$의 관계를 통해 설정하여 K-안정성과 VGIT 안정성을 연결한다.
• CM 선다발 계산을 적용하여, $(\mathbb{P}^1 \times \mathbb{P}^1, cC)$의 K-안정성과 $C$의 GIT 안정성 간의 관계를 $d=4$일 때의 공식 $\lambda_{\mathrm{CM}} = \mathcal{O}(3(2 - dc)^2 c)$를 통해 연결한다.
• 글로벌 토렐리 정리와 주기 사상(주기 맵)을 활용하여 K-모듈리 공간을 히퍼엘리프틱 4차 K3 표면의 주기 도메인과 연결한다.
• 벽에 대한 귀납과 CM 선다발 및 VGIT 선다발 $N_t$를 통한 안정성 조건 비교를 통해 비례 관계 $\lambda_{U,c} \propto N_t$를 보이며, $t = \frac{6c}{dc + 4}$를 만족함을 보인다.
• Laza-O'Grady [LO21]의 결과를 응용하여 주기 도메인 $\mathscr{F}^*$에서의 벽 교차를 분석하고, $\mathscr{F}(\beta) = \mathrm{Proj} R(\lambda + \beta \Delta)$가 $\mathfrak{M}$과 $\mathscr{F}^*$ 사이를 보간함을 보여준다.

실험 결과

연구 질문

• RQ1 로그 팔레오 쌍 $(\mathbb{P}^1 \times \mathbb{P}^1, cC)$에 대한 K-모듈리 공간이 $(4,4)$-곡선의 경우, $(4,4)$-곡선의 GIT 몫과 4차 히퍼엘리프틱 K3 표면의 Baily-Borel 콩 pactification 사이를 보간하는 데 사용될 수 있는가?
• RQ2 K-모듈리 공간 $\overline{K}_c$의 벽 교차가 $\mathbb{P}^3$ 내의 $(2,4)$-완전교차곡선에 대한 VGIT 벽 교차와 정확히 일치하는가?
• RQ3 GIT과 Baily-Borel 콩 pactification 사이의 중간 공간에 대해 K-안정성을 통한 모듈러스 해석이 존재하는가?
• RQ4 K-모듈리 매개변수 $c$와 VGIT 매개변수 $t$ 사이의 정확한 관계는 무엇인가?
• RQ5 $\overline{K}_{d,c} \cong \mathfrak{M}_d(t)$가 성립하는 $c$의 값은 무엇이며, 어디서 실패하는가?

주요 결과

• 모듈리 공간 $\overline{K}_c$가 $c \in (0, \frac{1}{8})$일 때, $\mathbb{P}^1 \times \mathbb{P}^1$ 위의 $(4,4)$-곡선의 GIT 몫 $\mathfrak{M}$과 동형임을 보이며, 초기 벽 교차를 확립한다.
• $c = \frac{1}{8}$에서의 벽 교차는 K-안정성의 첫 번째 비자명한 변화를 나타내며, $\overline{K}_c \cong \mathfrak{M}$에서 자명하지 않은 자기동형사상 집합을 가진 새로운 모듈리 공간으로의 전이를 나타낸다.
• $c \in (0, \frac{4 - \sqrt{2}}{8})$일 때, K-모듈리 공간 $\overline{K}_c$는 $t = \frac{3c}{2c + 2}$인 VGIT 몫 $\mathfrak{M}(t)$과 동형임을 보이며, K-모듈리와 VGIT 벽 교차의 정확한 일치를 보여준다.
• K-모듈리 공간의 CM 선다발 $\lambda_{\mathrm{CM}}$은 $t = \frac{6c}{dc + 4}$를 통해 VGIT 선다발 $N_t$와 비례하며, $d=4$일 때 안정성의 등가성을 확인한다.
• $\overline{K}_c$의 벽 교차 구조는 Laza-O'Grady가 구성한 $\mathscr{F}(\beta) = \mathrm{Proj} R(\lambda + \beta \Delta)$의 보간 구조와 일치하며, $0 \leq \beta \leq 1$ 범위에서 성립한다.
• $d \neq 4$인 경우, 예를 들어 $d=3$일 때 $\overline{K}_{3,\frac{1}{2}}$에 $\mathbb{P}(1,2,9)$가 나타나는 것처럼 $c > \frac{4 - \sqrt{2}}{2d}$일 때 $\overline{K}_{d,c} \cong \mathfrak{M}_d(t)$의 동형이 실패한다.