On the canonical degree of a Gorenstein minimal threefold of general type

기술 요약: 일반 타입 괴테로딘 최소 3차 다양체의 정준 차수에 대하여

문제 정의
본 논문은 일반 타입 다양체의 명시적 유리 기하학(explicit birational geometry)에 관한 근본적인 질문, 즉 정준 사상(canonical map)의 차수의 유계성(boundedness) 문제를 다룬다. 구체적으로, 정준 사상 $\phi_X$가 일반적으로 유한(generically finite)인 괴테로딘 최소 3차 다양체 $X$를 조사한다. $d_X$가 보편적으로 유계되어 있다는 사실은 이미 알려져 있으나(Hacon에 의해 확립되었고 Du와 Gao에 의해 정교화됨), 곡면의 경우과 유사하게, 기하학적 생성수(geometric genus) $p_g(X)$가 증가함에 따라 이 상한값이 감소할 것이라는 자연스러운 기대가 존재한다.

Meng Chen이 처음 제기한 구체적인 문제는 $d_X$가 보편적으로 상한을 갖는지 여부이다. 이전 연구인 Jin-Xing Cai [Cai08]는 $p_g(X) > 105411$인 조건 하에서 $d_X \leq 72$임을 증명함으로써 이에 대한 긍정적인 답변을 제공하였다. 본 논문은 이 상한을 확립하기 위해 필요한 $p_g(X)$의 임계값을 유의미하게 낮추고 극단적인 사례들을 규명하는 것을 목표로 한다.

방법론
저자들은 미야오카-야우 부등식(Miyaoka-Yau inequality), 알베르스 사상(Albanese fibration)의 성질, 그리고 평가 사상(evaluation maps)의 이미지 층(image sheaf)에 관한 기법들을 결합하여 사용한다.

1. 미야오카-야우 부등식: 추정의 핵심은 일반 타입 최소 다양체에 대한 $\mathbb{Q}$-미야오카-야우 부등식에 기초한다. 괴테로딘 최소 3차 다양체 $X$에 대하여, 이는 $K_X^3 \leq 64\chi(\omega_X)$라는 부등식을 도출한다. 정준 사상의 차수 $d$가 $d \cdot \deg(\Sigma) \leq K_X^3$를 만족하므로(여기서 $\Sigma$는 정준 사상의 상), 저자들은 다음과 같은 예비 상한을 도출한다:
   $$d \leq \frac{64\chi(\omega_X)}{p_g(X) - 3}$$

2. 알베르스 사상의 분석: 증명은 알베르스 사상 $a: X \to \text{Alb}(X)$의 일반 파이버(general fiber) $F$의 성질을 중심으로 구조화된다. 저자들은 알베르스 사상의 슈타인 인수분해(Stein factorization)를 활용하여, $Y$가 불라(genus) $b = q(X)$인 곡선일 때의 피브레이션 $f: X \to Y$를 분석한다.

3. $p_g(F)$ 및 $q(X)$에 따른 사례 분석:

   • 저자들은 먼저 $p_g(X) > 243$이면, 일반 알베르스 파이버 $F$가 정규 곡면(즉, $q(F)=0$)이 아닌 한 $d \leq 64$임을 확립한다. 이는 $\chi(\omega_X) \leq p_g(X)$와 예비 상한을 사용하여 유도된다.
   • 파이버 $F$가 정규 곡면인 경우, 저자들은 부등식 $\chi(\omega_X) \leq p_g(X)(1 + 1/p_g(F))$를 사용하여 $\chi(\omega_X)$에 대한 상한을 정교화한다.
   • 증명은 파이버의 기하학적 생성수 $p_g(F)$와 기저 곡선의 불라 $b$에 따라 다음과 같이 나뉜다:
     • 사례 1 ($p_g(F) \geq 9$): 직접적인 추정을 통해 $d < 72$임을 보인다.
     • 사례 2 ($p_g(F) \leq 8$ 및 $b \leq 7$): $\chi(\omega_X) \leq p_g(X) + 6$을 사용하여, $d < 67$임을 보인다.
     • 사례 3 ($p_g(F) \leq 8$ 및 $b \geq 8$): 가장 기술적인 사례이다. 저자들은 기저 곡선 $Y$ 위에서 벡터 번들 $f_*\omega_X$의 평가 사상을 분석한다. 이들은 이미지 층의 계수(rank)에 관한 Xiao의 정리(Theorem 2.1 [Xia86])를 활용한다. 만약 계수가 $p_g(F)$보다 작으면 $d < 67$이 성립한다. 만약 계수가 $p_g(F)$와 같다면, 제한 사상(restriction map) $H^0(K_X) \to H^0(K_F)$는 전사(surjective)이다. 이 시나리오에서 $X$의 정준 사도의 차수는 $d = \deg(\phi_F) \cdot \deg(\delta)$로 분해되는데, 여기서 $\delta$는 기저 위에서 유도된 사상이다. $\deg(\phi_F) \leq 36$임을 제한하고(Beauville [Bea79] 및 Li-Yau [LY21 인용), $Y$ 상의 디바이저에 대한 리만-로흐 논법을 통해 $\deg(\delta) \leq 2$임을 증명함으로써, 저자들은 $d \leq 72$를 확립한다.

주요 기여 및 결과
주요 결과는 정리 1.2이다:

• $X$가 일반 타입의 정준 사상이 일반적으로 유한한 괴테로딘 최소 3차 다양체이고 $p_g(X) > 243$이면, 정준 사도의 차수 $d$는 $d \leq 72$를 만족한다.
• 이는 이 결과에 필요한 $p_g(X)$의 하한을 Cai [Cai08]의 $105411$에서$243$으로 대폭 낮춘 것이다.

또한, 본 논문은 등호가 성립하는 경우를 정확히 규명한다:

• 만약 $d = 72$이면, 알베르스 사상의 일반 파이버 $F$는 $p_g(F) = 3, q(F) = 0, K_F^2 = 36$인 불라(genus)를 가진 매끄러운 최소 일반 타입 곡면이어야 한다. 또한, 이 곡면 $F$의 정준 사도의 차수는 36이어야 한다.

따름정리 1.4는 즉각적으로 도출된다: 만약 정준 차수 $d > 64$이면, 일반 알베르스 파이버는 반드시 정규 곡면(불라가 0인 곡면)이어야 한다.

의의
본 논문은 $d \leq 72$를 강제하기 위해 필요한 기하학적 생성수의 임계값을 획기적으로 낮춤으로써, 3차 다양체의 정준 차수에 대한 이해를 크게 정교화했다고 주장한다. 이는 3차 다양체의 정준 사도의 거동을 알베르스 파이버의 기하학적 성질과 직접 연결하며, 특히 극단적인 차수는 특정한 유형의 곡면(최대 정준 차도를 가진 곡면)을 파이버로 가질 때만 발생함을 밝혀낸다.

저자들은 또한 상한의 엄밀함(sharpness)을 보여주기 위해 예제 3.3을 제공한다. 여기서 $p_g(S)=3, q(S)=0, K_S^2=36$이고 정준 차도가 36인 곡면 $S$와 쌍곡선(hyperelliptic curve) $C$의 곱 3차 다양체 $X = S \times C$를 구성한다. 이 구성은 정준 차도가 정확히 72인 $p_g(X) = 3b$를 가진 3차 다양체를 생성하여, 해당 상한이 도달 가능함을 확인시켜 준다.

이 연구는 Hacon, Du, Gao, Cai의 기초적인 선행 연구들에 의존하며 이를 확장하는 동시에, 주어진 생성수 제약 하에서 3차원 케이스를 해결하기 위해 곡면 연구(Beauville, Xiao)의 특정 기법들을 활용한다.