[논문 리뷰] Mukai models and Borcherds products

Shouhei Ma|arXiv (Cornell University)|2019. 09. 09.

Algebraic Geometry and Number Theory참고 문헌 30인용 수 6

한 줄 요약

이 논문은 $n$-점이 부여된 $g$-종수를 가진 $K3$ 표면의 모듈리 공간에서의 다중칸올리형식과 특정 정수형 보행형식 사이의 이somorphism을 수립하며, 충분히 큰 $n$에 대해 $\mathcal{F}_{g,n}$의 코다이라 차원이 19로 안정화됨을 증명한다. 보르체르스 곱과 무카이 모델을 조합하여 $g \leq 22$에 대해 음의 코다이라 차원에서 비음의 코다이라 차원으로의 전이점이 정확히 결정되며, 여러 경우에서 $n(g) = n'(g) + 1$임을 드러낸다.

ABSTRACT

Let F_{g,n} be the moduli space of n-pointed K3 surfaces of genus g with at worst rational double points. We establish an isomorphism between the ring of pluricanonical forms on F_{g,n} and the ring of certain orthogonal modular forms, and give applications to the birational type of F_{g,n}. We prove that the Kodaira dimension of F_{g,n} stabilizes to 19 when n is sufficiently large. Then we use explicit Borcherds products to find a lower bound of n where F_{g,n} has nonnegative Kodaira dimension, and compare this with an upper bound where F_{g,n} is unirational or uniruled using Mukai models of K3 surfaces in g<21. This reveals the exact transition point of Kodaira dimension in some g.

연구 동기 및 목표

• 모듈리 공간 $\mathcal{F}_{g,n}$의 다중칸올리형식과 정수형 보행형식 사이의 대응관계 수립.
• 코다이라 차원 $\kappa(\mathcal{F}_{g,n})$를 결정하고 $n$이 증가함에 따라 19로 안정화됨을 증명.
• 보수적이고 기하적 방법을 사용하여 $g \leq 22$에 대해 $\kappa(\mathcal{F}_{g,n}) = -\infty$에서 $\kappa(\mathcal{F}_{g,n}) \geq 0$로의 전이점 정확히 규명.
• 보르체르스 곱으로부터 유도된 보수적 한계와 무카이 모델로부터 유도된 기하적 한계를 비교하여 $\mathcal{F}_{g,n}$가 비-유니루드가 되는 시점 파악.

제안 방법

• 정수형 유형의 몫 $\Gamma_g \backslash \mathcal{D}_g$로 모듈리 공간 $\mathcal{F}_g$를 식별하기 위해 토렐리 정리 활용.
• $\mathcal{F}_{g,n}^\circ$ 위의 다중칸올리형식의 순서환과 $(-2)$-히그너 초면에서의 차수 $\geq m$로 소멸하는 $\det^m$ 특성을 가진 무게 $(19+n)m$의 보행형식 순서환 사이의 이somorphism 구축.
• $\Phi_{12}$ 형식의 준-풀백을 통한 보르체르스 곱의 적용으로 특성 $\det$를 가진 명시적 촉점형식을 구성하고, 형식 $F(g)$의 무게 $k(g)$ 결정.
• 무카이 모델을 이용해 $K3$ 표면을 그라스만리안 또는 동형 공간에서의 완전교차로 구성함으로써, 유니레셔널리티 또는 유니루드성에 대한 기하적 한계를 도출.
• 모듈리 공간 내의 인cidence 대응관계와 섬유 차원 분석을 통해 특정 $g$와 $n$에 대해 $\mathcal{F}_{g,n}$의 유니루드성 증명.
• 보수적 한계 $n(g) = k(g) - 19$ (형식 $S_{k(g)}(\Gamma_g, \det)$의 비영성에 기반)와 무카이 모델로부터 유도된 기하적 한계 $n'(g)$를 비교하여 코다이라 차원의 전이점 위치 규명.

실험 결과

연구 질문

• RQ1 어느 $n$ 에서 $\kappa(\mathcal{F}_{g,n})$가 비음이 되는가?
• RQ2 $n$ 이 증가함에 따라 $\kappa(\mathcal{F}_{g,n})$가 19로 안정화되는 $n$은 어느 값인가?
• RQ3 보르체르스 곱으로부터 유도된 보수적 한계와 무카이 모델로부터 유도된 기하적 한계가 코다이라 차원의 전이점을 규명하는 데 어떻게 비교되는가?
• RQ4 어느 경우에 $n(g) = n'(g) + 1$ 이 $g \leq 22$ 에 대해 성립하는가?
• RQ5 $g \leq 22$ 에서 $\mathcal{F}_{g,n}$가 유니루드 또는 유니레셔널인 경우는 언제이며, 그 최소 $n$은 얼마인가?

주요 결과

• 충분히 큰 $n$에 대해 코다이라 차원 $\kappa(\mathcal{F}_{g,n})$가 19로 안정화되며, 이는 이somorphism $H^0(X, K_X) \simeq S_{19+n}(\Gamma_g, \det)$에 의해 입증된다.
• $g \leq 22$ 에서 $\kappa(\mathcal{F}_{g,n}) = -\infty$ 에서 $\kappa(\mathcal{F}_{g,n}) \geq 0$로의 전이가 정확히 $n = n(g)$ 에서 발생하며, 여기서 $n(g) = k(g) - 19$ 이고 $k(g)$ 는 보르체르스 곱 $F(g)$ 의 무게이다.
• $g = 3,4,6,12,20$ 에서 전이점은 $n(g) = n'(g) + 1$ 를 만족하며, 여기서 $n'(g)$ 는 무카이 모델에 의해 $\mathcal{F}_{g,n}$ 가 유니루드 또는 유니레셔널이 되는 최소 $n$ 이다.
• $\mathcal{F}_{16,4}$ 는 $G(2,m)$-_bundle이 주어진 모듈리 공간에서의 주어진 사상에 대한 섬유 차원 분석을 통해 유니루드임을 입증하였다.
• $\mathcal{F}_{18,5}$ 와 $\mathcal{F}_{20,5}$ 는 인cidence 대응관계의 섬유가 양의 차수를 가지며, 모듈리 사상에 의해 압축되지 않음을 확인하여 유니루드임을 증명하였다.
• $\mathcal{F}_{22,1}$ 은 특수한 쿠빅 4-다양체를 사용하여 파르카스와 페라가 유니레셔널임을 확립하였으며, 이는 기하적 한계 $n'(22) = 1$ 을 확인한다.