[논문 리뷰] On correspondences of a K3 surface with itself. IV

Carlo Madonna, Viacheslav V. Nikulin|ArXiv.org|2006. 06. 12.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 9

한 줄 요약

이 논문은 일반적인 K3 표면 $X$에 대해 $ρ(X) \leq 2$일 때, 이소트ropic 박다이 벡터 $(r,H,s)$를 가진 스테이블 층의 모듈리 공간 $Y = M_X(r,H,s)$가 $X$와 동형임은 $Y \cong X$를 구성하는 유니버설 기하 동형사상과 티우린의 동형사상 사이의 합성으로서 존재할 때에만 성립함을 증명한다. 이 결과는 글로벌 토렐리 정리에 의존하지 않는 기하학적이고 효과적인 $Y \cong X$ 조건을 제공한다.

ABSTRACT

Let $X$ be a K3 surface with a polarization $H$ of the degree $H^2=2rs$, $r,s\ge 1$, and the isotropic Mukai vector $v=(r,H,s)$ is primitive. The moduli space of sheaves over $X$ with the isotropic Mukai vector $(r,H,s)$ is again a K3 surface, $Y$. In \cite{Nik2} the second author gave necessary and sufficient conditions in terms of Picard lattice $N(X)$ of $X$ when $Y$ is isomorphic to $X$ (some important particular cases were also considered in math.AG/0206158, math.AG/0304415 and math.AG/0307355). Here we show that these conditions imply existence of an isomorphism between $Y$ and $X$ which is a composition of some universal geometric isomorphisms between moduli of sheaves over $X$, and geometric Tyurin's isomorphsim between moduli of sheaves over $X$ and $X$ itself. It follows that for a general K3 surface $X$ with $ρ(X)= ext{rk\}N(X)\le 2$ and $Y\cong X$, there exists an isomorphism $Y\cong X$ which is a composition of the geometric universal and the Tyurin's isomorphisms. This generalizes our recent results math.AG/0605362 and math.AG/0606239 to a general case.

연구 동기 및 목표

• K3 표면 $X$ 위의 스테이블 층의 모듈리 공간 $Y = M_X(r,H,s)$가 표면 자체와 동형일 조건을 규명하는 것.
• 글로벌 토렐리 정리에 의존하지 않는 기하학적이고 효과적인 동형사상의 특성화를 제공하는 것.
• 일반적인 K3 표면에 대해 $\rho(X) \leq 2$일 때, 동형사상 $Y \cong X$가 유니버설 기하 동형사상과 티우린의 동형사상의 유일한 합성으로서 유일하게 유도됨을 보여주는 것.
• 유니버설 동형사상 $\nu(d_1,d_2)$, $T_D$, $\delta$ 및 티우린의 동형사상 $Tyu$가 동형사상 $Y \cong X$에 미치는 역할을 명확히 하는 것.

제안 방법

• Mukai 벡터 $v = (r,H,s)$와 $H^2 = 2rs$ 및 원시성 조건을 사용하여 모듈리 공간 $Y = M_X(r,H,s)$를 정의하며, 이는 K3 표면임이 알려져 있다.
• Chern 클래스와 분할에 대한 기하 작용을 통해 정의된, $X$ 위의 층 모듈리 공간 간의 유니버설 동형사상 $\nu(d_1,d_2)$, $T_D$, $\delta$의 적용.
• 특정 분할 클래스 $\widetilde{h}_1$를 사용하여 층의 모듈리 공간에서 $X$ 자체로 가는 티우린의 동형사상 $Tyu$를 구성하는 것. 이때 $\widetilde{h}_1^2 = \pm 2b_1c$ 또는 $\pm 2a_1c$이다.
• 이 동형사상들의 합성: $Tyu \circ T_D \circ \nu(1,d_2) \circ \delta \circ \nu(d_a,d_b)^{-1}$ 또는 $Tyu \circ T_D \circ \nu(1,d_2) \circ \nu(d_a,d_b)^{-1}$를 통해 $Y \cong X$를 도출하는 것.
• 모듈리 공간의 Picard 띠 $N(X)$와 전이성 띠 $T(X)$를 사용하여 $Y \cong X$를 위한 필요 및 충분 조건을 유도하며, 특히 $n(v) = (r,s,d\gamma)$라는 불변량을 통해 분석한다.
• 일반적인 $X$에 대해 $\rho(X) \leq 2$일 때, 이러한 합성의 존재가 $Y \cong X$에 대해 필수적이고 충분한 조건임을 증명하며, $v$의 원시성과 $\widetilde{H} = H/d$의 구조를 활용한다.

실험 결과

연구 질문

• RQ1 K3 표면 $X$ 위의 스테이블 층의 모듈리 공간 $Y = M_X(r,H,s)$가 표면 자체와 동형일 기하학적 조건은 무엇인가?
• RQ2 글로벌 토렐리 정리에 의존하지 않고, 기하 동형사상으로 $Y \cong X$를 명시적으로 구성할 수 있는가?
• RQ3 티우린의 동형사상과 유니버설 동형사상 $\nu(d_1,d_2)$, $T_D$, $\delta$는 $Y \cong X$를 구성할 때 어떤 역할을 하는가?
• RQ4 일반적인 K3 표면 $X$에 대해 $\rho(X) \leq 2$일 때, 이러한 동형사상의 합성 존재는 $Y \cong X$에 대해 필수적이고 충분한 조건인가?
• RQ5 불변량 $n(v) = (r,s,d\gamma)$, $\gamma$, 및 $\gamma_{a}, \gamma_{b}, \gamma_2$는 $Y \cong X$와 어떻게 관련이 있는가?

주요 결과

• 일반적인 K3 표면 $X$에 대해 $\rho(X) \leq 2$일 때, $Y = M_X(r,H,s)$는 $Y \cong X$이기 위한 필요충분조건으로서, 유니버설 기하 동형사상 $\nu(d_1,d_2)$, $T_D$, $\delta$, 및 티우린의 동형사상 $Tyu$의 합성으로서 존재하는 동형사상 $Y \cong X$가 존재할 때에만 성립한다.
• 동형사상 $Y \cong X$는 $\widetilde{h}_1^2$의 부호에 따라 $Tyu(\pm\widetilde{h}_1) \circ T_D \circ \nu(1,d_2) \circ \delta \circ \nu(d_a,d_b)^{-1}$ 또는 $Tyu(\pm\widetilde{h}_1) \circ T_D \circ \nu(1,d_2) \circ \nu(d_a,d_b)^{-1}$로 명시적으로 구성된다.
• 일반적인 $X$에 대해 $\rho(X) \leq 2$일 때, 이러한 합성의 존재는 $Y \cong X$에 대해 필수적이고 충분한 조건이며, 이는 동형사상이 이러한 기하적 구성에 의해 완전히 특징지어짐을 의미한다.
• 유니버설 동형사상 $\nu(d_1,d_2)$는 아직 기하학적으로 구성되지 않았지만, 기저 변경을 통한 모듈리 공간에서의 정의를 가지며, 합성에 있어 필수적이다.
• 티우린의 동형사상 $Tyu$와 동형사상 $T_D$, $\delta$, $\nu(d_1,d_2)$는 보편적으로 중요하다: 이들은 일반적인 K3 표면에 대해 $\rho(X) \leq 2$인 모든 경우에 $Y \cong X$ 문제를 해결하는 데 충분하다.
• $Y \cong X$를 위해 $n(v) = (r,s,d\gamma) = 1$이 필수적이며, 일반적인 위치 조건 하에서 이 조건이 주어진 동형사상의 합성 존재와 함께 충분한 조건이 된다.