On the Iitaka conjecture for anticanonical divisors in positive characteristic

1. 연구 문제 (Problem Statement)

• 배경: 이타카 추측은 대수기하학의 최소모델 프로그램 (MMP) 의 핵심 문제로, 피브레이션 $f: X \to Z$에서 전체 다양체 $X$, 일반 섬유 $\Phi$, 기저 $Z$의 코다이라 차원 (Kodaira dimension) 사이의 관계를 다룹니다.
  • 기존 추측 ($C_{n,m}$): $\kappa(X, K_X) \ge \kappa(\Phi, K_\Phi) + \kappa(Z, K_Z)$.
  • 표수 0 (characteristic 0) 에서는 많은 경우 증명되었으나, 양의 표수에서는 반례가 존재합니다.
• 주제: 최근 Chang [Cha23] 이 표수 0 에서 **반표준다발 (anticanonical divisor, $-K_X$)**에 대한 유사한 부등식 ($C^-_{n,m}$) 을 증명했습니다.
  • 목표: 이 부등식 $\kappa(X, -K_X) \le \kappa(\Phi, -K_\Phi) + \kappa(Z, -K_Z)$이 양의 표수에서도 성립하는지 연구합니다.
  • 가정: $X$는 정규 (normal) 사영 다양체, $-K_X$는 유효하며, 안정적 기저 (stable base locus) 가 $Z$를 지배하지 않음.

2. 방법론 (Methodology)

논문은 다음과 같은 수학적 도구와 전략을 사용합니다:

1. 약한 양의 성질 (Weak Positivity) 및 $F$-정칙성:
   • Ejiri 와 Gongyo [EG19] 의 결과를 활용하여 상대적 반표준다발의 약한 양의 성질을 분석합니다.
   • 양의 표수 특유의 Frobenius 사상을 이용한 강한 $F$-정칙성 (Strongly F-regular, SFR) 조건을 섬유에 부과합니다. 이는 양의 표수에서의 특이점 제어를 위해 필수적입니다.
2. Canonical Bundle Formula 의 변형:
   • 표수 0 에서는 Ambro [Amb05] 의 표준다발 공식을 사용하지만, 양의 표수에서는 이것이 일반화되지 않았습니다.
   • 대신 Witte [Wit21] 의 결과를 사용하여, 일반 섬유가 곡선일 때 ($n, n-1$ 경우) 공식을 유도합니다.
3. 이타카 피브레이션 (Iitaka Fibration) 의 축소 전략:
   • 3 차원 ($X$가 threefold) 인 경우, 기저 $Z$의 차원에 따라 $Z$가 곡선인지 아니면 $Z$의 반표준다발에 의해 유도된 피브레이션을 통해 차원을 낮추는 전략을 사용합니다.
   • 표수 $p \ge 5$일 때, $Z$가 표면이면 $-K_Z$에 의한 이타카 피브레이션의 일반 섬유가 매끄러운 타원곡선이 됨을 이용합니다.
4. Tango-Raynaud 곡선과 반례 구성:
   • Kodaira 소멸 정리가 성립하지 않는 양의 표수 ($p=2, 3$) 의 특성을 이용합니다.
   • Tango-Raynaud 곡선 (특수한 미분형식을 가진 곡선) 을 기반으로 한 벡터 다발 확장을 통해 비정규 (non-normal) 섬유를 가진 피브레이션을 구성합니다.

3. 주요 결과 (Key Results)

A. 긍정적 결과 (Positive Results)

논문은 다음과 같은 조건 하에서 부등식 $C^-_{n,m}$이 성립함을 증명합니다.

1. 기저가 곡선인 경우 ($C^-_{n,1}$):

   • Theorem 0.3: $f: X \to Z$가 곡선 $Z$로 가는 피브레이션이고, 일반 섬유 $\Phi$가 정칙 (regular) 이며 쌍 $(\Phi, \Delta_\Phi)$가 강한 $F$-정칙 (SFR) 일 때 부등식이 성립합니다.
   • 여기서 $\Delta$는 $K_X + \Delta$가 $\mathbb{Q}$-Cartier 인 유효한 $\mathbb{Z}_{(p)}$-다발입니다.

2. 3 차원 다양체 ($C^-_{3,m}$):

   • Theorem 0.4: $X$가 3 차원 정규 사영 다양체이고, $Z$가 정규 사영 $\mathbb{Q}$-factorial 다양체이며, 표수 $p \ge 5$일 때 부등식이 성립합니다.
   • 핵심 논리: $Z$가 곡선이면 $C^-_{n,1}$을 적용합니다. $Z$가 표면일 때, $\kappa(Z, -K_Z)$의 값에 따라 분류합니다.
     • $\kappa(Z, -K_Z) = 0, 2$인 경우는 기존 정리로 해결.
     • $\kappa(Z, -K_Z) = 1$인 경우, $Z$의 이타카 피브레이션을 통해 1 차원 기저로 축소하여 $C^-_{3,1}$을 적용합니다. 이때 $p \ge 5$이면 일반 섬유가 매끄러워 특이점 제어가 가능합니다.

B. 반례 (Counterexamples)

가정 조건을 완화할 경우 부등식이 성립하지 않음을 보입니다.

1. 비정규 섬유 (Non-normal fibres) 의 중요성:
   • Theorem 5.4: 표수 $p=2$ 또는 $3$에서, Tango-Raynaud 곡선을 이용하여 구성된 피브레이션 $X^{(6)} \to X^{(5)}$를 다룹니다.
   • 이 피브레이션은 일반 섬유가 **비정규 (non-normal)**이며, $-K_{X^{(6)}}$의 안정적 기저가 $X^{(5)}$를 지배하지 않습니다.
   • 결과: $\kappa(X^{(6)}, -K_{X^{(6)}}) = 0$이지만 $\kappa(X^{(5)}, -K_{X^{(5)}}) = -\infty$입니다. 즉, 부등식이 깨집니다.
2. 의미: 이타카 추측의 반표준다발 버전이 성립하기 위해서는 **일반 섬유의 특이점 조건 (정규성 등)**과 안정적 기저 조건이 필수적임을 보여줍니다.

4. 기술적 기여 및 의의 (Contributions & Significance)

1. 양의 표수에서의 Iitaka 부등식 확장:
   • 표수 0 에서 알려진 $-K_X$에 대한 부등식을 양의 표수로 확장한 최초의 체계적인 연구 중 하나입니다.
   • 특히 3 차원 다양체 ($p \ge 5$) 에 대한 완전한 증명을 제시했습니다.
2. 특이점 제어의 한계와 필요 조건 규명:
   • 양의 표수에서는 표준다발 공식 (Canonical Bundle Formula) 이 제한적이므로, 강한 $F$-정칙성 (SFR) 조건을 통해 섬유를 제어해야 함을 보였습니다.
   • 반례를 통해 섬유가 비정규일 경우 부등식이 실패함을 구체적으로 보여주어, 추측의 가정 조건이 최적 (tight) 임을 입증했습니다.
3. Tango-Raynaud 구성의 재해석:
   • 기존 $C_{n,m}$ (표준다발) 의 반례로 사용되던 Tango-Raynaud 구성을 $C^-_{n,m}$ (반표준다발) 에 적용하여, 표수 2 와 3 에서의 새로운 반례를 발견했습니다.
4. MMP 와의 연결:
   • Corollary 5.7 에서, 특이점 해소 (resolution of singularities) 와 MMP 가 성립한다고 가정하면, klt 다양체 $Y$에 대해서도 반례가 존재할 수 있음을 시사합니다. 이는 양의 표수에서의 MMP 연구에 중요한 함의를 줍니다.

결론

이 논문은 양의 표수 대수기하학에서 반표준다발의 Iitaka 차원 부등식이 일반 섬유가 정칙이고 강한 $F$-정칙인 조건 하에 3 차원 다양체까지 성립함을 증명했습니다. 동시에, 비정규 섬유가 허용될 경우 표수 2 와 3 에서 부등식이 무너짐을 구체적인 반례를 통해 보여주었습니다. 이는 양의 표수에서의 최소모델 프로그램과 피브레이션 이론 연구에 중요한 이정표가 됩니다.