HK manifolds of Type $K3^{[a^2+1]}$ as moduli spaces of projective bundles on HK manifolds of Type $K3^{[2]}$

기술 요약: K3$[2]$ 타입 HK 다양체 상의 사영 결합다발(Projective Bundles)의 모듈라이 공간으로서의 K3$[a^2+1]$ 타입 HK 다양체

문제 정의
본 논문은 하이퍼켈러(hyperkähler, HK) 다양체를 모듈라이 공간으로 실현하는 문제를 다룬다. 모든 알려진 HK 다양체가 K3 또는 아벨 곡면 위의 semistable 층(sheaf)의 모듈라이 공간과 변형 동치(deformation-equivalent)라는 점은 잘 확립되어 있으나, 임의의 K3$[a^2+1]$ 타입(K3 곡면의 $a^2+1$개 점에 대한 힐베르트 스킴과 변형 동치인 것) HK 다양체를 고정된 타입의 HK 다양체 상의 번들(bundle)의 모듈라이 공간으로 구현할 수 있는지는 여전히 핵심적인 질문으로 남아 있다. 구체적으로, 저자는 사영적 HK 다양체 $W$가 Type K3$[2]$(K3 곡면의 2개 점에 대한 힐베르트 스킴과 변형 동치인 것)인 사영적 HK 다양체 $X$ 상의 $\omega$-slope stable 사영 결합다발(또는 twisted vector bundle)의 모듈라이 공간으로 실현될 수 있는지 조사한다.

방법론
증명 전략은 사영적 K3 곡면 $S$의 힐베르트 스킴 $S^{[2]}$를 이용한 구성적 접근법과 Verbitsky의 이론을 이용한 변형 논증에 의존한다.

1. $S^{[2]}$에서의 구성:

   • 저자는 rank $2a$와 Mukai vector $v_1$을 갖는 K3 곡면 $S$ 상의 구형 벡터 번들(spherical vector bundle) $E_1$을 고려한다.
   • $v_2 = a v_1 - (0,0,1)$인 Mukai vector를 갖는 $S$ 상의 stable sheaf를 $E_2$라고 하자. 이때 $M_{v_2}(S, h_S)$는 Type K3$[a^2+1]$인 HK 다양체이다.
   • 저자는 BKR(Bridgeland-King-Reid) 동치를 사용하여 $E_1 \otimes E_2 \oplus E_2 \otimes E_1$로부터 $S^{[2]}$ 상의 벡터 번들 $G(E_1, E_2)$를 구성한다.
   • 저자는 $S^{[2]}$ 상의 극성(polarization)에 대한 $G(E_1, E_2)$의 안정성을 분석한다. $E_2$가 특정 determinantal divisor $D_{v_2} \subset M_{v_2}$ 밖에 있을 때, $G(E_1, E_2)$는 slope stable함이 증명된다.
   • $E_2 \in D_{v_2}$인 경우, $G(E_1, E_2)$는 unstable하다. 저자는 (elementary modification을 통한) "semistable reduction"을 수행하여 stable한 대체물을 구성한다. 이는 $D_{v_2}$의 Brill-Noether stratification을 분석하고, rigid bundle $E_1^{[2]\pm}$ 및 sheaves $B(H, U_k)$ 또는 $B(p, W_a)$를 포함하는 특정한 extension을 구성하는 과정을 포함한다.
   • 핵심적인 기술적 결과는 이러한 수정된 sheaves들이 적절한 극성에 대해 locally free하고 slope stable함을 증명하는 것이며, 이를 통해 특정 mock Mukai vector $w$를 갖는 $S^{[2]}$ 상의 projective bundles의 모듈라이 공간으로 가는 정칙 사상(regular map) $\psi: M_{v_2} \to M_w(S^{[2]})$를 정의한다.

2. 일반적인 HK 다양체로의 확장:

   • 저자는 프로젝트리브 하이퍼홀로로픽(projectively hyperholomorphic) 벡터 번들의 Verbitsky 이론을 활용한다. 이 이론은 특정 fiber(예: $S^{[2]}$)로부터의 stable bundle을 전체 twistor family의 변형으로 확장할 수 있게 한다.
   • 이러한 번들들의 모듈라이 공간이 twistor path를 따라 올바르게 변형됨을 보임으로써, $S^{[2]}$에서 확립된 결과들을 임의의 Type K3$[2]$인 HK 다양체 $X$로 확장한다.

3. 호지 이론 및 등거리 사상(Isometries):

   • 저자는 곱공간 $X \times \widetilde{M}_w(X, \omega)$ 상의 second Chern class를 분석하여 $H^2(X)$와 $H^2(\widetilde{M}_w(X, \omega))$ 사이의 유릿 호지 등거리 사상(rational Hodge isometry)을 정의한다.
   • 이 등거리 사상은 HK 다양체에 관한 Markman의 Shafarevich conjecture 결과와 결합된다.

주요 기여 및 결과

• 정리 1.1: Type K3$[2]$인 HK 다양체 $X$와 적절한 Kähler class $\omega$에 대하여, 특정 mock Mukai vector $w$를 갖는 $\omega$-slope stable projective bundles의 모듈라이 공간 $M_w(X, \omega)$는 irreducible component $\widetilde{M}_w(X, \omega)^\bullet$를 포함한다. $X$가 사영적이고 $\omega$가 ample할 때, 이 component의 정규화(normalization)는 Type K3$[a^2+1]$인 HK 다양체와 동형이다.
• 정리 1.3 (전사성/실현): 역으로, 모든 사영적 HK 다양체 $W$ (Type K3$[a^2+1]$)는 어떤 극성된 HK 다양체 $(X, h)$ (Type K3$[2]$)에 대하여 $\widetilde{M}_w(X, h)^\bullet$와 동형이다. 이는 Type K3$[a^2+1]$ 다양체들이 Type K3$[2]$ 다양체 상의 projective bundle들의 모듈라이 공간임을 입증한다.
• 정리 1.7 (Shafarevich Conjecture의 유사 형태): 본 논문은 Type K3$[a_1^2+1]$와 Type K3$[a_2^2+1]$ 사이의 유릿 호지 등거리 사상에 대한 Shafarevich conjecture의 유사 형태를 증명한다. 구체적으로, 임의의 rational Hodge isometry $f: H^2(W_1) \to H^2(W_2)$는 $CH^2(W_1 \times W_2)$ 내의 algebraic cycle class에 의해 유도된다.
• Modular Sheaves: 이 연구는 구성된 sheaves들(구체적으로 $G(E_1, E_2)$와 그 stable replacement들)이 modular하지만 atomic하지는 않음을 보여주며, 이는 Markman과 Bottini의 최근 연구에서 다뤄진 sheaves들과 구별되는 점이다.

의의 및 주장
저자는 이러한 결과들이 광범위한 클래스의 HK 다양체(Type K3$[a^2+1]$)를 더 낮은 차원의 HK 다양체(Type K3$[2]$) 상의 번들의 모듈라이 공간으로 구현하는 구체적인 기하학적 실현을 제공한다고 주장한다. 이는 K3 곡면 상의 sheaves에 대한 고전적인 결과와 평행하며, Type K3$[2]$ 다양체 상의 sheaves 이론이 K3 곡면 상의 sheaves 이론과 구조적 유사성을 가짐을 시사한다.

본 논문은 $M_w(X, \omega)$가 irreducible한지 여부를 해결하지는 못하지만, 원하는 성질을 갖는 특정 irreducible component를 성공적으로 식별하였다고 명시한다. 결과들은 Type K3$[2]$의 특정한 기하학과 modular sheaves의 성질에 크게 의존하며, 이는 modular sheaves를 통해 구축된 HK 다양체의 기존 지평을 확장한다. 이러한 특정 타입들에 대한 Shafarevich conjecture 유사 형태의 증명은 모듈라이 공간 실현의 존재성과 Markman의 선행 연구(atomic sheaves에 관한)에 기반한다.