Fujiki Class $\mathcal C$ Varieties and a Kähler Criterion

기술 요약: 후지키 클래스 C 다양체와 켈러 기준

문제 제기
쌍사상(bimeromorphism)에 의한 컴팩트 켈러 다양체의 분류는 해석기하학의 중심적인 문제이다. 최소 모델 프로그램(MMP)은 사영 다양체에 대해서는 (특히 [BCHM10]을 통해) 상당 부분 해결하였으나, 이를 더 넓은 범주인 컴팩트 켈러 다양체로 확장하는 것은 여전히 중대한 도전 과제로 남아 있다. 주요 장애물은 MMP의 핵심 연산인 플립(flip)과 잉여 차원 축소(divisorial contraction)가 켈러 조건을 보존하도록 보장하는 것이다. 이러한 보존이 이루어지지 않는다면, 프로그램은 컴팩트 켈러 공간이라는 범주 내에서 진행될 수 없다. 나아가, 후지키 클래스 C(모든 컴팩트 켈러 다양체와 그 쌍사상 이미지를 포함함)에 속하는 다양체가 그 자체로 켈러인지 결정하기 위한 효과적인 기준이 필요하다.

방법론
저자들은 일반화된 쌍 $(X, B + \beta)$ (여기서 $\beta$는 b-nef b-(1,1)-current임)의 프레임워크를 채택한다. 이 프레임워크는 초월적(transcendental) 문제들을 MMP 내에서 다룰 수 있게 해준다. 방법론은 다음과 같은 몇 가지 기술적 기둥에 의존한다:

1. 국소-전역 논증(Local-to-Global Arguments): 증명은 종종 상대적으로 컴팩트한 슈타인(Stein) 개집합 위에서 성립하는 결과(예: [Fuj22]와 같은 표준적인 사영 MMP 결과)를 먼저 확립한 후, 후지키 클래스 C 및 유리 특이점(rational singularities)의 성질을 사용하여 이러한 구성을 전역적으로 확장하는 방식으로 진행된다.
2. 일반화된 MMP 도구: 논문은 일반화된 klt 쌍에 대한 콘 정리(Cone Theorem)와 축소 정리(Contraction Theorem), 그리고 로그 정형 모델(log canonical models)의 존재성을 활용한다.
3. 양의 성질과 코호몰로지: 저자들은 봇-체른(Bott–Chern) 코호몰로지 $H^{1,1}_{BC}(X)$와 일반화된 모리 콘(Mori cone) $NA(X)$를 광범위하게 다룬다. 또한, 비-켈러 궤적(non-Kähler locus)을 nef 및 big 클래스에 대해 자명한 곡선의 존재성과 연결 짓는 켈러성(Kählerness)에 관한 클라이만 기준(Kleiman's criterion)을 적응시킨다.
4. 해상 및 수정 기법: 작은 $\mathbb{Q}$-팩토리얼화(small $\mathbb{Q}$-factorialization)와 dlt(divisorial log terminal) 수정의 구축이 핵심이다. 이는 로그 해상(log resolution) 위에서 상대적 MMP를 실행하고 불변량(discrepancy)을 정밀하게 제어함으로써 달성된다.

주요 기여 및 결과

• 켈러 조건의 보존 (정리 1.2):
  본 논문은 $B+\beta_X$가 big인 강한 $\mathbb{Q}$-factorial compact Kähler generalized klt 쌍 $(X, B+\beta)$에 대하여, $f: X \to Y$가 극단적 레이(extremal ray)와 관련된 플립 또는 잉여 차원 축소일 때, 타겟 $Y$ 역시 켈러임을 증명한다.

  • 메커니즘: 증명은 $X$ 상의 지지되는 nef and big 클래스 $\alpha$가 $Y$ 상의 클래스 $\alpha_Y$로 내려온다는 것을 확립한다. 켈러 기준(정리 4.3)을 적용하여, 저자들은 만약 $\alpha_Y$가 켈러가 아니라면 그 null locus가 $\alpha_Y$-자명한 유리 곡선들에 의해 덮일 것임을 보여준다. 그러나 축소 성질과 극단적 레이의 구조는 그러한 곡선들이 켈러 조건을 위반하는 방식으로 존재할 수 없도록 방지하며, 이를 통해 $Y$가 켈러임을 증명한다. 이 결과는 켈러 범주 내에서 MMP를 지속하는 데 필수적이다.

• 후지키 클래스 C를 위한 켈러 기준 (정리 1.3 및 따름정리 1.4):
  저자들은 (일반화된 klt 특이점을 가진) 후지키 클래스 C에 속하는 다양체 $X$가 켈러가 되기 위한 기준을 제공한다.

  • 결과: 만약 $X$가 켈러가 아니라면, (1) $X$는 $-[C] \in NA(X)$를 만족하는 유리 곡선 $C$를 포함하거나, (2) 작은 $\mathbb{Q}$-factorial 켈러 수정 $\mu: X_{qf} \to X$가 존재한다.
  • 따름정리: 강한 $\mathbb{Q}$-factorial compact class C 다양체에 대하여, $X$가 켈러일 필요충분조건은 $NA(X)$가 임의의 유리 곡선 $C$에 대해 $-[C]$ 형태의 클래스를 포함하지 않는 것이다. 이는 [VP21]의 사영 다양성에 대한 결과를 일반화한 것이다.

• 수정의 존재성 (정리 1.5 및 1.6):

  • 작은 $\mathbb{Q}$-팩토리얼화: 본 논문은 임의의 compact generalized klt 쌍에 대하여, $X'$가 정규(normal)이고 강한 $\mathbb{Q}$-factorial인 작은 사영 쌍사상 사상 $\nu: X' \to X$의 존재성을 증명한다. 이는 기존의 국소적 결과를 전역적 설정으로 확장한 것이다.
  • 전역적 dlt 수정: 저자들은 $X_m$이 강한 $\mathbb{Q}$-factorial이고 쌍이 dlt이며, 모든 예외적 잉여(exceptional divisor)가 불변량 $\le -1$을 갖는 생략 가능한(birational) 사영 사상 $f_m: X_m \to X$의 존재성을 확립한다. 이는 이전에 슈타인(Stein) 또는 상대적으로 컴팩트한 환경에서 알려졌던 결과들을 전역화한 것이다.

• 상대적 최소 모델 프로그램 (명제 1.7 및 1.8):
  본 논문은 모이죄송(Moishezon) 축소 사상에 대한 상대적 MMP에 관한 결과를 확립하며, 특정 조건(예: $B+\beta_X$가 modified big인 경우) 하에서 상대적 MMP가 좋은 최소 모델(good minimal model) 또는 모리 파이버 공간(Mori fiber space)으로 종료됨을 보여준다.

의의 및 주장
본 논문은 켈러 최소 모델 프로그램의 결정적인 기술적 난관인 플립과 잉여 차원 축소 시 켈러 조건의 보존 문제를 해결했다고 주장한다. 이는 MMP가 컴팩트 켈러 공간 범주 내에서 완전히 실행될 수 있음을 보장하며, 이는 컴팩트 켈러 다양성에 대한 좋은 최소 모델 또는 모리 파이버 공간의 존재성에 관한 더 넓은 추측 1.1을 증명하기 위한 전제 조건이다.

저자들은 자신들의 논증이 최근 확립된 초월적 베이스 포인트 프리 정리(forthcoming work [HX26]에 등장함)에 의존하지 않는다고 명시적으로 밝히고 있으나, [HX26]이 본 논문의 결과에 의존하고 있다는 점을 언급한다. 이 연구는 사영적인 경우와 유사하게, bimeromorphism에 의한 컴팩트 켈러 다양체의 완전한 분류를 향한 필수적인 단계로 제시된다. 작은 $\mathbb{Q}$-factorialization 및 dlt 수정에 관한 결과들은 해석적 범주에서의 특이점 연구에 있어 독립적인 관심사로도 간주된다.