On the birational geometry of $\mathbf{Q}$-Fano threefolds of large Fano index, I

기술 요약: 큰 파노 지수를 갖는 $\mathbb{Q}$-파노 3차원 다양체의 유리적 기하학에 관하여, I

문제 정의
본 논문은 특히 큰 파노 지수 $q_Q(X) \ge 2$를 갖는 $\mathbb{Q}$-파노 3차원 다양체의 유리성(rationality) 문제를 조사한다. $\mathbb{Q}$-파노 3차원 다양체 $X$는 터미널(terminal) $\mathbb{Q}$-팩토리얼 특이점을 가지며, $\text{Pic}(X) \simeq \mathbb{Z}$이고, 양의 안티-캐노니컬(anti-canonical) 디바이저 $-K_X$를 갖는 사영 다양체로 정의된다. 파노 지수 $q_Q(X)$는 $-K_X \sim_{\mathbb{Q}} q A_X$를 만족하는 Weil 디바이저 $A_X$에 대한 최대 정수 $q$이다. 이러한 다양체들의 분류는 유계(bounded)되어 있으나, 완전한 분류는 여전히 미해결 상태이다. 본 연구가 다루는 핵심 질문은 지수와 기본 디바이저의 선형 체계의 차원에 관한 어떤 조건이 $X$가 유리함을 보장하는가 하는 것이다. 기존 연구에서는 $q_Q(X) \ge 8$일 때 $X$가 유리함을 확립하였으나, 지수가 2, 3, 5, 7인 경우에는 반례가 존재한다.

방법론
저자는 모리 섬버 공간(Mori fiber spaces) 사이의 유리적 사상(birational maps)을 분석하는 체계적인 방법인 사르키소프 프로그램(Sarkisov program)을 활용한다. 핵심 기법은 비유리적(non-rational) $\mathbb{Q}$-파노 3차원 다양체 $X$로부터 "사르키소프 링크(Sarkisov link)"를 구축하는 것이다:

1. 극한 블로우업(Extremal Blowup): 선형 체계 $M \sim_{\mathbb{Q}} n A_X$ (여기서 $n < q_Q(X)$)가 주어졌을 때, 저자는 쌍(pair) $(X, cM)$의 캐노니컬 센터(canonical center)를 중심으로 하는 극한 블로우업 $f: \tilde{X} \to X$를 수행한다.
2. 로그 최소 모델 프로그램(Log MMP): $\tilde{X}$에 대하여 $K_{\tilde{X}} + c\tilde{M}$에 대한 로그 MMP를 실행한다. 이는 유리적 사상 $\chi$와 축축(contraction) $\bar{f}: \bar{X} \to \hat{X}$를 생성한다.
3. 타겟(Target) 분석: 결과물인 다양체 $\hat{X}$를 분석한다. 만약 $\hat{X}$가 점(point)이라면, $\bar{f}$는 파이버링(fibration, 코닉 번들 또는 델 페조 파이브레이션)이다. 만약 $\hat{X}$가 3차원 다양체라면, 해당 사상은 유리적(birational)이다.
4. 수치적 제약: 저자는 디스크리펀시(discrepancy) 및 풀백(pullback) 공식으로부터 유도된 관계식 $k\hat{q} = q s_k + (q\beta_k - k\alpha)e$를 사용하여 $\hat{X}$의 가능한 불변량들을 제한한다. 여기서 $\hat{q}$는 $\hat{X}$의 지수이고, $s_k$는 선형 체계의 차원과 관련되며, $\alpha, \beta_k$는 디스크리펀시 계수이다.
5. 컴퓨터 탐색 및 분류: 본 논문은 $\mathbb{Q}$-파노 3차원 다양체의 수치적 불변량 분류([B+] 참조)에 크게 의존한다. 저자는 사르키소프 링크가 즉각적으로 유리성을 강제하지 않는 특정 사례들을 식별하기 위해 컴퓨터 탐색을 수행하며, 이후 이러한 특정 수치적 후보들을 디바이저 클래스 군의 토션(torsion) 및 델 페조 곡면의 기하학에 관한 정리들을 사용하여 분석한다.

주요 기여 및 결과
주된 결과는 $q_Q(X) \ge 2$인 $\mathbb{Q}$-파노 3차원 다양체의 유리성에 대한 충분 조건들의 집합이다.

정리 1.2: $q_Q(X) \ge 2$인 $\mathbb{Q}$-파노 3차원 다양체 $X$에 대하여, 다음 중 어느 하나가 성립하면 $X$는 유리하다:

• (i) $p_1(X) \ge 4$;
• (ii) $q_Q(X) \ge 3$ 이고 $p_1(X) \ge 3$;
• (iii) $q_Q(X) \ge 4$ 이고 $p_1(X) \ge 2$;
• (iv) $q_Q(X) \ge 5$, $p_2(X) \ge 2$, 이고 $X$가 특정 예외 유형(Proposition 7.4, case #41422)이 아닐 때;
• (v) $q_Q(X) \ge 6$ 이고 $p_3(X) \ge 2$.

여기서 $p_n(X) = \max \{ h^0(X, \mathcal{O}_X(D)) \mid D \sim_{\mathbb{Q}} n A_X \}$이다.

지수별 구체적 결과:

• 지수 $\ge 5$: 만약 $p_1(X) \ge 2$이면, $X$는 유리하다 (Proposition 6.2). 만약 $q_Q(X) \ge 6$ 이고 $p_2(X) \ge 2$이면, $X$는 유리하다 (Proposition 7.1).
• 지수 4: 만약 $p_1(X) \ge 2$이면, $X$는 유리하다 (Proposition 6.3).
• 지수 3: 만약 $p_1(X) \ge 3$이면, $X$는 유리하다. 만약 $p_1(X) = 2$이고 $X$가 유리하지 않다면, $X$는 유니라셔널(unirational)하며 코닉 번들 구조를 가진다. 본 논문은 비유리적 경우에 대한 네 가지 구체적인 수치적 후보를 식별하였으며(Proposition 6.4), 일부의 존재 여부는 알려져 있지 않고 다른 것들의 유리성은 미해결 문제임을 언급하였다.
• 지수 2: 만약 $p_1(X) \ge 4$이면, $X$는 유리하다. 만약 $p_1(X) \ge 3$이면, $X$는 코닉 번들과 유리적이다. 만약 $p_1(X) \ge 2$이면, $X$는 솔리드(solid)하지 않다 (엄격한 모리 섬버 공간과 유리적이다).

클래스 군의 토션(Torsion in the Class Group):
본 논문은 Weil 디바이저 클래스 군 $\text{Cl}(X)$가 비자명한 토션을 갖는 경우에 대한 상세한 분석을 제공한다. 저자는 큰 지수($q_Q \ge 5$)의 경우, 토션이 특정 몫 구조($X \simeq X'/\mu_N$)를 함의하며, 이들이 종종 유리함을 입증한다. 지수 3과 4의 경우, 본 논문은 $q_W(X) \neq q_Q(X)$인 사례들을 분류하고, 특정 조건($p_1 \ge 2$) 하에서 이들이 또한 하이퍼서피스(hypersurface)의 유리한 몫임을 보여준다.

의의
본 논문은 선형 체계의 차원을 기반으로 유리성이 보장되는 임계치를 크게 낮춤으로써 $\mathbb{Q}$-파노 3차원 다양체의 유리적 기하학에 대한 이해를 진전시킨다. 이는 유리한 다양체와 비유리적 다양체 사이의 경계를 정교화하며, 특히 지수 2, 3, 4에 대해 그러하다. 본 연구는 비유리적 후보가 될 수 있는 특정 "예외적" 수치 유형들을 식별함으로써 향후 분류 노력의 범위를 좁힌다. 본 논문의 방법론은 사르키소프 프로그램과 철저한 수치적 분류를 결합하여 유리성 문제를 해결하는 데 있어 그 효과성을 입증한다. 본 논문은 많은 사례를 해결하면서도, 특정 가문(예: 지수 3의 특정 사례 및 특정 지수 5 사례 #41422)의 유리성은 여전히 미해결 과제로 남아 있음을 명시하며, 이는 일부 가문의 일반적인 멤버들이 갖는 알려진 비유리성([Oka19])과 일치한다.