[논문 리뷰] Stable maps and singular curves on K3 surfaces

Michael Kemeny|arXiv (Cornell University)|2015. 07. 01.

Algebraic Geometry and Number Theory참고 문헌 96인용 수 3

한 줄 요약

이 논문은 안정적인 사상과 변형 이론을 사용하여 K3 표면 위의 특이 곡선을 연구하며, 매끄러운 곡선에서 K3 표면으로의 분리되지 않은 사상에 초점을 맞춘다. 대부분의 경우에 이러한 사상의 스택에서 곡선의 모듈리 공간으로의 모듈리 사상이 이미지 위로 일반적으로 유한하다는 것을 입증하며, 브릴-노이만 이론의 새로운 프레임워크를 제공하고, 심플렉틱 호환을 갖는 K3 표면에서 초월적 군과 가우스 함수에의 적용을 가능하게 한다.

ABSTRACT

In this thesis we study singular curves on K3 surfaces. Let $\mathcal{B}_g$ denote the stack of polarised K3 surfaces of genus $g$ and set $p(g,k)=k^2(g-1)+1$. There is a stack $ \mathcal{T}^n_{g,k} o \mathcal{B}_g$ with fibre over the polarised surface $(X,L)$ parametrising all unramified morphisms $f: C o X$, birational onto their image, with $C$ an integral smooth curve of genus $ p(g,k)-n$ and $f_*C \sim kL$. One can think of $ \mathcal{T}^n_{g,k}$ as parametrising all singular curves on K3 surfaces such that the normalisation map is unramified (or equivalently such that the curve has "immersed" singularities). The stack $ \mathcal{T}^n_{g,k}$ comes with a natural moduli map $$η\; : \;\mathcal{T}^n_{g,k} o \mathcal{M}_{p(g,k)-n}$$ to the Deligne-Mumford stack of curves, defined by forgetting the map to the K3 surface. We first show that $η$ is generically finite (to its image) on at least one component of $\mathcal{T}^n_{g,k} $, in all but finitely many values of $p(g,k)-n$. We also consider related questions about the Brill-Noether theory of singular curves on K3 surfaces as well as the surjectivity of twisted Gaussian maps on normalisations of singular curves. Lastly, we apply the deformation theory of $\mathcal{T}^n_{g,k}$ to a seemingly unrelated problem, namely the Bloch-Beilinson conjectures on the Chow group of points of K3 surfaces with a symplectic involution.

연구 동기 및 목표

• 안정적인 사상들을 이용하여 K3 표면 위의 특이 곡선을 연구하기 위한 새로운 모듈리 이론적 프레임워크를 개발하는 것.
• 안정적인 사상에서 곡선의 모듈리 공간으로의 모듈리 사상의 기하학을 분석하는 것.
• K3 표면 위에 놓인 노드형 및 특이 곡선에 대한 브릴-노이만 이론을 조사하는 것.
• K3 표면 위의 안정적인 사상의 변형 이론을 심플렉틱 호환을 갖는 K3 표면에 대한 블로흐-베일리논 추측에 적용하는 것.
• K3 표면 위의 특이 곡선의 정규화에서의 왜곡된 가우스 함수의 상사성에 대한 이해를 높이는 것.

제안 방법

• 매끄러운 곡선의 기하학적 종수 $ p(g,k) - n $ 과 극화된 K3 표면의 기하학적 종수 $ g $ 에 대해, 분리되지 않은, 이형사상인 사상의 스택 $ \mathcal{T}^{n}_{g,k} $ 를 구성한다.
• 각 안정적인 사상이 그 이미지 곡선의 정규화로 보내지는 자연스러운 모듈리 사상 $ \eta: \mathcal{T}^{n}_{g,k} \to \mathcal{M}_{p(g,k)-n} $ 를 정의한다.
• 변형 이론을 적용하여 $ \eta $ 의 섬유 차원을 분석하고, 특정 조건 하에서 일반 유한성을 입증한다.
• 브릴-노이만 매개변수 $ \rho(g,r,d) $ 에 대한 귀납법을 사용하여, 평가 사상에 의한 선다발의 기저점 자유 부분을 분석한다.
• 불안정한 감소와 토르션 자유 층의 평탄한 가속을 사용하여 붕괴와 섬유 차원을 통제한다.
• 모듈리 공간의 효과적 선다발에 대한 $ \overline{W}^r_d(C) $ 의 보편 성질에 의존하며, 매끄러운 부분에서의 효과적 선다발 모듈리 공간을 식별하여 섬유 차원을 유계화한다.

실험 결과

연구 질문

• RQ1 모듈리 사상 $ \eta: \mathcal{T}^{n}_{g,k} \to \mathcal{M}_{p(g,k)-n} $ 이 $ \mathcal{T}^{n}_{g,k} $ 의 적어도 하나의 성분에 대해 이미지 위로 일반적으로 유한한가?
• RQ2 특이 곡선, 특히 노드 모델에 대한 K3 표면 위의 브릴-노이만 이론은 어떻게 되는가?
• RQ3 K3 표면 위의 특이 곡선의 정규화에서 왜곡된 가우스 함수가 상사성이 성립하는 조건은 무엇인가?
• RQ4 안정적인 사상의 변형 이론은 심플렉틱 호환을 갖는 K3 표면에 대한 블로흐-베일리논 추측에 어떻게 적용될 수 있는가?
• RQ5 합리적인 표면의 합으로 붕괴시키지 않고도 K3 표면 위의 특이 곡선 기하학을 연구할 수 있는가?

주요 결과

• 모듈리 사상 $ \eta: \mathcal{T}^{n}_{g,k} \to \mathcal{M}_{p(g,k)-n} $ 는 모든 $ g $ 와 $ k $ 에 대해 유한 개를 제외한 나머지 경우에 대해 적어도 하나의 성분에서 이미지 위로 일반적으로 유한하다.
• 일반 유한성의 증명은 평가 사상의 코어널의 곡선의 매끄럽고 특이한 부분으로 분해하여 섬유 차원을 통제하는 데 의존한다.
• 모든 $ L $ 에 대해 $ |L| $ 에 속한 정규적이고 노드형 곡선 $ C $ 에 대해 $ \rho(g,r,d) < 0 $ 이면 브릴-노이만 정리가 성립하며, 개발된 프레임워크를 통해 이러한 곡선으로까지 결과가 확장된다.
• 사상 $ f: I^0 \to \overline{W}^{r'}_{d'}(C) $ 의 섬유 차원은 $ d - d' $ 이하로 유계화되며, 이는 $ r > 0 $ 일 때 $ \dim(I) < \rho(g,r,d) $ 를 보장한다.
• 선다발의 차수 $ d - d' - e $ 로 휘어진 사상 $ g: I^0 \to \overline{W}^{r'}_{d-e}(C) $ 의 구성은 매끄러운 부분의 대칭적 곱의 차원을 사용하여 섬유 차원을 통제할 수 있게 한다.
• 이 결과들은 안정적인 사상 이론과 고전적인 대수기하학 문제 사이의 다리를 쌓으며, 니쿨린 호환을 갖는 K3 표면에 대한 블로흐-베일리논 추측에 기여한다.