Finiteness of pointed families of symplectic varieties: a geometric Shafarevich conjecture

1. 연구 배경 및 문제 제기 (Problem)

이 논문은 기하학적 샤라레비치 추측 (Geometric Shafarevich Conjecture) 의 비극화 (unpolarized) 버전을 원시 심플렉틱 다양체 (primitive symplectic varieties) 로 확장하는 것을 목표로 합니다.

• 배경: 샤라레비치 추측은 고정된 기하학적 성질 (예: 종수, 차원) 을 가진 다양체들이 주어진 기저 (수체 또는 함수체) 위에서 유한하게 존재한다는 명제입니다. 기존 연구들은 주로 극화 (polarization) 가 존재하고 그 차수가 유계인 경우 (극화 샤라레비치 추측) 에 증명되었습니다.
• 문제: 극화가 없거나 극화의 차수가 유계일 필요가 없는 경우 (비극화 샤라레비치 추측) 에는 다양체들이 단일한 유한형 (finite type) 모듈라이 스택에 포함되지 않아 유한성을 증명하기가 훨씬 어렵습니다.
• 주요 질문: 고정된 점 $0$을 가진 매끄러운 곡선$(B, 0)$과 고정된 원시 심플렉틱 다양체$X$가 주어졌을 때,$0$에서의 섬유가$X$와 동형인 국소적 자명 (locally trivial) 한 심플렉틱 다양체들의 가계 (families) 중, 일반 섬유 (generic fiber) 의 동형류는 유한한가? 또한, 사영적 (projective) 인 가계의 동형류는 유한한가?

2. 주요 결과 (Key Results)

저자들은 두 가지 주요 정리를 증명했습니다.

정리 1.1: 일반 섬유의 유한성 (Finiteness of Generic Fibers)

• 가정: $k$는 표수 0 의 대수적으로 닫힌 체, $(B, 0)$는 점진된 매끄러운 곡선, $X$는 $k$ 위의 $Q$-계수 (Q-factorial) 종단 (terminal) 원시 심플렉틱 다양체.
• 결과:
  1. 만약 $b_2(X) \neq 4$이면, $X_0 \cong X$인 국소적 자명 가계들의 일반 섬유 (generic fiber) 의 동형류는 유한합니다.
  2. 만약 $b_2(X) = 4$이면, 비등방 (non-isotrivial) 인 가계에 대해서만 위 유한성이 성립합니다.
• 의미: 이는 심플렉틱 다양체의 모듈라이 공간이 기하학적으로 쌍곡적 (geometrically hyperbolic) 임을 시사하며, 기존에 매끄러운 하이퍼-케러 (hyper-Kähler) 다양체에 대해 증명된 결과를 특이점을 가진 심플렉틱 다양체로 일반화한 것입니다.

정리 1.2: 사영 가계의 유한성 (Finiteness of Projective Families)

• 가정: 정리 1.1 의 조건에 더해, 매우 일반적인 섬유 $X_b$ 위의 모든 네프 (nef) 수반이 반 ample (semi-ample) 인 경우 (이는 SYZ 추측과 관련됨).
• 결과: $X_0 \cong X$인 사영적 (projective) 인 $Q$-계수 종단 원시 심플렉틱 다양체들의 가계 동형류는 유한합니다.
• 코롤러리 1.3: 알려진 변형 유형 (K3$[n]$, Kumn, OG6, OG10) 의 매끄러운 하이퍼-케러 다양체 $X$에 대해서는 조건이 자동으로 만족되므로, 이러한 경우 사영 가계의 유한성이 무조건적으로 성립합니다.

반례 (Counter-example)

• 사영성 (projectivity) 이 가정되지 않으면 유한성이 성립하지 않을 수 있음을 보였습니다. 즉, $B \setminus \{0\}$에서 동형이고 $0$에서의 섬유도 동형인 무한히 많은 서로 비동형인 (non-isomorphic) 비사영적 가계를 구성할 수 있습니다. 이는 모듈라이 문제가 분리되지 않음 (non-separatedness) 을 보여줍니다.

3. 방법론 및 증명 전략 (Methodology)

저자들은 다음과 같은 복잡한 기하학적 도구들을 결합하여 증명을 수행했습니다.

1. 약한 극화 (Weak Polarization) 와 Kuga-Satake 구성:

   • 비극화 가계에서도 약한 극화 (weak polarization) 가 항상 존재함을 보였습니다.
   • 이를 통해 균일 Kuga-Satake 구성 (Uniform Kuga-Satake construction) 을 적용하여, 심플렉틱 다양체들의 가계를 아벨 다양체 (abelian varieties) 의 가계로 변환했습니다. 이는 Zarhin 의 트릭의 심플렉틱 버전으로 볼 수 있습니다.
   • 핵심 아이디어: 서로 다른 가계들이 동일한 Kuga-Satake 다양체로 매핑될 수 있음을 보였으며, 이를 통해 모듈라이 공간의 쌍곡성 (hyperbolicity) 을 이용할 수 있게 되었습니다.

2. 콘 추측 (Cone Conjectures) 의 활용:

   • Kawamata-Morrison 콘 추측을 비대수적으로 닫힌 체와 특이점을 가진 원시 심플렉틱 다양체로 확장하여 증명했습니다 (Theorem 3.5).
   • 이 추측은 네프 콘 (nef cone) 과 이동 가능 콘 (movable cone) 이 자동형 군의 작용 하에 유한한 유리 다면체 기본 영역을 가진다는 것을 의미합니다.
   • 이를 통해 작은 $Q$-계수 수정 (small Q-factorial modifications) 의 수가 유한함을 유도하여, 사영 가계의 동형류 유한성을 증명했습니다.

3. 모듈라이 이론 및 Matsusaka-Mumford 정리:

   • 특이점을 가진 심플렉틱 다양체에 대한 Matsusaka-Mumford 정리를 국소적 자명 가계에 대해 증명했습니다 (Proposition 4.2). 이는 극화된 가계들의 모듈라이 스택이 분리된 (separated) 유한형 Deligne-Mumford 스택임을 보장합니다.
   • 이를 통해 모듈라이 공간의 기하학적 쌍곡성을 이용해 유한성을 도출했습니다.

4. MBM 클래스의 유계성:

   • Wall divisor 또는 MBM (monodromy birationally minimal) 클래스의 Beauville-Bogomolov 제곱이 하에서 유계임을 이용하여, 특이점을 가진 경우에도 콘 추측이 유효함을 보였습니다.

4. 주요 기여 (Key Contributions)

1. 비극화 샤라레비치 추측의 기하학적 버전 증명: 극화 조건 없이도 (단, $b_2 \neq 4$ 또는 비등방 조건 하에) 심플렉틱 다양체 가계의 유한성을 증명한 최초의 결과 중 하나입니다.
2. 특이점 포함 일반화: 기존 연구가 주로 매끄러운 하이퍼-케러 다양체에 국한되었으나, 본 논문은 $Q$-계수 종단 특이점을 가진 원시 심플렉틱 다양체로 범위를 확장했습니다.
3. 콘 추측의 확장: 비대수적으로 닫힌 체와 특이점을 가진 심플렉틱 다양체에 대한 Kawamata-Morrison 콘 추측을 증명하여, 쌍유리 기하학 (birational geometry) 분야에서 중요한 도구를 제공했습니다.
4. 최적성 (Optimality) 입증: 사영성 가정이 필수적임을 반례를 통해 보였습니다. 즉, 사영성이 없으면 유한성이 깨질 수 있음을 보여주어 문제의 설정이 최적임을 입증했습니다.

5. 의의 및 향후 전망 (Significance)

• Lang-Vojta 추측의 증거: 이 결과는 Lang-Vojta 추측 (산술 쌍곡성과 기하학적 쌍곡성의 동치) 에 대한 강력한 증거를 제공합니다. 특히 모듈라이 공간이 유한형이 아니거나 분리되지 않은 경우에도 유한성 결과가 성립할 수 있음을 보여줍니다.
• 심플렉틱 기하학의 발전: 특이점을 가진 심플렉틱 다양체의 모듈라이 이론과 쌍유리 기하학에 대한 기초를 다졌습니다.
• 일관된 유계성 (Uniform Boundedness): 저자들은 주어진 위상수학적 데이터 ($B$의 기본군과 $X$의 변형 유형) 에만 의존하는 유한 상수 $N$이 존재하는지 여부에 대한 질문 (Question 1.5) 을 제기하며, 향후 연구 방향을 제시했습니다.

요약하자면, 이 논문은 심플렉틱 다양체의 가계 유한성 문제에 있어 극화 조건을 제거하고 특이점을 허용하는 동시에, 이를 증명하기 위해 Kuga-Satake 구성과 콘 추측을 혁신적으로 결합한 획기적인 연구입니다.