복소해석공간에서 로그정준쌍의 최소모델 프로그램

초록

본 논문은 복소해석공간 사이의 사영 사상 위에서 로그정준(lc) 쌍에 대한 최소모델 프로그램(MMP)을 전개한다. 기존의 klt 쌍에 대한 결과를 일반화하고, Fujino의 설정을 바탕으로 Stein 공간과 Stein 콤팩트 집합을 이용해 MMP의 존재와 종료를 증명한다. 주요 정리로는 (K+Δ+A)-MMP의 존재, (K+Δ)-MMP의 종료, 그리고 (K+Δ)-MMP에서 무한 단계가 발생하더라도 스케일링 파라미터가 0으로 수렴하고 로그 풍부성이 무한히 나타나는 것을 보인다.

상세 분석

논문은 복소해석 공간이라는 비대수적 환경에서 최소모델 프로그램을 수행하기 위한 기본 구조를 먼저 정립한다. 핵심 가정인 (P) 조건—X가 정상 복소다양체, Y가 Stein 공간, W가 Stein 콤팩트 집합, 그리고 W와 임의의 해석적 부분집합 Z의 교차가 유한 개의 연결 성분만을 갖는다는 조건—을 통해 알파벳적 Noetherian 성질을 대체한다. 이 조건은 Stein 근방을 축소하면서도 Picard 수가 유한하게 유지되도록 보장한다.

첫 번째 주요 결과(Theorem 1.1)는 (X,B+A)가 lc이고 A가 π-ample인 경우, dlt 블로업을 취한 뒤 (K+Γ)-MMP를 수행하면, 적절히 Y를 축소한 뒤 최종 단계에서 로그 최소모델 혹은 Mori 섬유공간을 얻는다는 것이다. 여기서 Γ= B+f^*A이며, 추가적인 π∘f-ample divisor H를 도입해 (K+Γ+H)가 W 위에서 nef가 되도록 조정한다. 이 과정은 기존의 klt 경우와 달리 R-계수 경계(divisor)를 다루어야 하므로, 스케일링 기법과 특수 종료(special termination) 이론을 정교하게 결합한다.

두 번째 정리(Theorem 1.2)는 A가 R-Cartier이며 K_X+B+A가 Y-선형 동등(∼_R, Y)인 상황을 다룬다. 여기서는 H를 π-ample으로 잡고 (X,B+H)가 lc이며 K_X+B+H가 W 위에서 nef가 되도록 만든다. 이후 (K_X+B)-MMP를 H를 스케일링하면서 진행하면, 역시 Y를 적절히 축소한 뒤 로그 최소모델 혹은 Mori 섬유공간을 얻는다. 이 정리는 klt 경우에도 Lai의 방법을 직접 적용할 수 없으며, 대신 EH24에서 제시한 등차원 감소(equi‑dimensional reduction)를 복소해석적 맥락에서 활용한다.

핵심 기술 정리(Theorem 1.3)는 (K_X+Δ+A) 가 W 위에서 nef인 경우, (K_X+Δ)-MMP를 A를 스케일링하면서 진행할 때 무한 단계가 발생하더라도 두 가지 중요한 성질을 만족한다. 첫째, λ_i = inf{ μ≥0 | K_{X_i}+Δ_i+μA_i nef over W } 가 i→∞ 에서 0으로 수렴한다. 둘째, 무한히 많은 단계에서 (X_i,Δ_i) 가 로그 풍부(log abundant)함을 보인다. 이를 위해 저자는 섹션 4에서 비대수적 환경에 맞는 Nakayama–Zariski 분해와 비소거 차수(asymptotic vanishing order)를 구축하고, 섹션 3에서 복소해석적 MMP의 기본 도구(negativity lemma, special termination, lifting)들을 확장한다. 또한, 로그 풍부성에 필요한 대수적 결과—예를 들어, 수치 차원이 0인 lc 쌍에 대한 풍부성 정리(G13)와 HH20의 lc 쌍에 대한 축소 정리—를 적절히 인용한다.

논문 전반에 걸쳐 복소해석적 Stein 근방을 이용해 구조적 제어를 수행하고, 이를 통해 Picard 수의 유한성, 베이스 변동성, 그리고 MMP 단계의 정밀한 스케일링을 가능하게 만든다. 특히, (P) 조건이 보장하는 “가상 Noetherian” 성질은 기존 대수기하학적 증명들을 복소해석적 상황에 그대로 옮겨올 수 있게 하는 핵심적인 교량 역할을 한다. 결과적으로, 이 연구는 복소해석공간 위에서 lc 쌍에 대한 최소모델 프로그램을 완전하게 구축함으로써, 복소해석적 최소모델 이론의 범위를 크게 확장한다.