Geometric Shafarevich boundedness conjecture for families of polarized varieties

기술적 요약: 극화 다양체 군에 대한 기하학적 샤라레비치 유계성 추측

문제 제기
본 논문은 복소수 체 위에서 기하학적 샤라레비치 추측의 고차원 일반화를 다룬다. Parˇsin과 Arakelov에 의해 확립된 곡선에 대한 고전적 추측은 준-사영적 기저 위에서 종수 $g > 1$인 매끄러운 사영 곡선 군의 유한성을 주장하지만, 비강성 매끄러운 군의 존재로 인해 이 성질은 고차원 다양체에서는 성립하지 않는다. Faltings, Liu-Todorov-Yau-Zuo 및 기타 연구자들의 이전 작업은 주극화 아벨 다양체의 매끄러운 군과 극화 칼라비-야우 다양체가 기저 위에서 비자명한 변형을 허용할 수 있음을 보여주었다.

따라서 고차원 군에 적합한 동치 관계는 기저 위의 단순 동형이 아닌 변형 동치이다. 핵심 문제는 고정된 기저 위의 안정적 최소 모델 군의 변형 동치류 집합이 유한한지, 또는 동등하게 관련 Hom-스택이 유한형인지, 즉 그러한 군의 유계성을 확립하는 것이다. 이 탐구는 특히 Birkar가 도입한 안정적 최소 모델의 모듈라이 스택을 포함하여 콤팩트화 가능한 모듈라이 공간의 구성과 본질적으로 연결되어 있으며, 이는 KSB 쌍과 Deligne-Mumford 안정 곡선의 모듈라이를 일반화한다.

방법론
증명 전략은 특정 ample $\mathbb{Q}$-선다발에 대한 coarse 모듈라이 공간에서 군의 분류 사상의 차수에 대한 균일한 Arakelov 유형의 부등식을 확립하는 데 의존한다. 방법론은 다음과 같은 기술적 단계를 거쳐 진행된다:

1. 모듈라이와 극화: 본 논문은 안정적 최소 모델을 매개변수화하는 적절한 Deligne-Mumford 스택 $\mathcal{M}_{slc}(d, \Phi_c, \Gamma, \sigma)$을 활용한다. 주요 기술적 도구는 직접 이미지 층 $f_*(r(K_{X/S} + B + aA))의 행렬식에서 유도된 coarse 모듈라이 공간 위의 ample$\mathbb{Q}$-선다발$\lambda_{a,r}$의 구성이다.
2. 허용 조건: 중요한 혁신은 유리적으로 허용 가능한 군의 도입이다. 이 조건은 군이 단순 정규 교차 (SNC) 엄밀 로그 유리 모델을 허용해야 함을 요구한다. 이는 군의 섬유나 극화가 호지 이론적 경계 적용을 방해하는 방식으로 퇴화하는 경우 (섬유 또는 극화의 퇴화와 관련된 반례로 illustration 됨) 를 배제한다.
3. 호지 이론적 구성: 증명 핵심은 허용 가능한 군과 관련된 로그 힉스 층을 구성하는 것이다. 고차원 섬유 곱 ($\mu$-fold) 을 통한 호지 구조의 변형으로의 임베딩을 활용한 이전 접근법 (예: Kovács-Taji) 과 달리, 본 논문은 교대 합 구성을 채택한다. 이는 상대적 표준 다발의 푸시포워드 행렬식을 기원적 혼합 호지 구조의 변형 (VMHS) 으로 임베딩하는 것을 포함한다.
4. Arakelov 부등식 유도: Campana-Păun의 로그 여접 다발의 양의 성질과 Simpson의 VMHS에 대한 Deligne 확장의 포물선 반안정성을 활용하여, 저자들은 분류 사상의 차수에 대한 균일한 상한을 유도한다. 이 상한은 모듈라이 문제의 수치 불변량과 기저의 기하학에 의존한다.

주요 기여 및 결과

• 정리 1.1 (변형 유계성): 콤팩트 특이점을 가진 대수적 다양체 $S$와 $\mathcal{M}_{slc}(d, \Phi_c, \Gamma, \sigma)$의 엄격하게 유리적으로 허용 가능한 국소 닫힌 부분 스택 $\mathcal{S} \subset \mathcal{M}_{slc}(d, \Phi_c, \Gamma, \sigma)$에 대해, $S$ 위의 $\mathcal{S}$-허용 가능한 군의 변형 동치류 집합은 유한하다.
• 정리 1.2 (Hom-스택의 유계성): 상대 Hom-스택 $\text{Hom}((S, Z), (\mathcal{S}, \partial\mathcal{S}))$는 유한형이다. 여기서 $Z$는 기저의 경계이고 $\partial\mathcal{S}$는 모듈라이 스택의 경계이다.
• 정리 1.3 (안정적 군에 대한 Arakelov 부등식): 본 논문은 분류 사상 $\xi: S \to \mathcal{M}_{slc}$의 차수에 대한 정확한 정량적 상한을 확립한다. 구체적으로, 유리적으로 허용 가능한 군에 대해 부등식
  $$c_1(\xi^*\lambda_{a,r}) \cdot \alpha \leq \frac{1}{k(kl^r d + 1)} \sum_{p=1}^{kl^r d} p^{n p-1} (K_S + D) \cdot \alpha + \frac{2}{k} D \cdot \alpha$$
  가 이동 가능한 곡선 클래스 $\alpha$에 대해 성립하며, 여기서 $l = \text{rank}(\Lambda_{a,r})$이다. $K_S + D$가 ample인 경우, 더 날카로운 상한이 얻어진다.
• 이전 상한의 정제: 본 논문에서 사용된 교대 합 구성은 이전 임베딩에 비해 정량적으로 더 날카로운 Arakelov 부등식으로 이어지며, 필요한 섬유 곱 차수가 현저히 낮기 때문이다 ($lr \ll \mu$).

의의
본 논문은 대수적 다양체의 유리적 분류에서 근본적인 대상인 안정적 최소 모델의 모듈라이 스택에 대한 기하학적 샤라레비치 유계성 추측을 확립한다고 주장한다. 엄격하게 유리적으로 허용 가능한 군이 유계 모듈라이를 형성함을 증명함으로써, 이 작업은 곡선에 대한 고전적 결과 ( $M_g$에 대한 샤라레비치 추측 회복) 를 일반화하고, 표준 극화 다양체 (Bedulev-Viehweg, Kovács-Lieblich) 및 칼라비-야우 군에 대한 유계성 결과를 안정적 최소 모델의 더 넓은 맥락으로 확장한다.

의의는 적절한 유리적 허용 조건 하에서 안정적 최소 모델의 모듈라이가 고정된 기저 위의 군에 대해 곡선 사례에서 관찰된 강성과 유사하게 잘 행동함을 확인하는 데 있다. 이는 임의의 Kodaira 차원을 가진 다양체의 모듈라이 공간의 전역 기하학을 이해하기 위한 기초적인 단계를 제공한다. 이 결과들은 모듈라이 스택의 기하학, 혼합 호지 구조의 변형 이론, 그리고 로그 미분 형식의 양의 성질 간의 상호작용에 의존한다.