Addendum: On generalized canonical bundle formula and boundedness of complements in complex analytic setting

기술적 요약: 복소 해석적 환경에서의 일반화된 정준 번들 공식 및 보충(complements)의 유계성에 관한 부록

문제 제기
본 논문은 복소 해석적 환경 내에서의 일반화된 쌍(generalized pairs) 이론에 존재하는 공백을 다룬다. 구체적으로, 본 논문은 **일반화된 lc-trivial 파이브레이션(lc-trivial fibrations)**에 대한 **일반화된 정준 번들 공식(generalized canonical bundle formula)**을 목표로 한다. 저자의 이전 연구([Has26])에서, 일반화된 쌍 $(X, B+M)$의 닐(nef) 부분 $M$은 $b$-nef/$S$ $\mathbb{Q}$-$b$-Cartier $\mathbb{Q}$-$b$-디바이저들의 유한한 $\mathbb{R}_{>0}$-선형 결합이어야 한다는 제한적인 가정을 전제로 하였다. 본 연구는 $M$이 반드시 이러한 특정 선형 결합 형태가 아닐 수 있는 일반적인 일반화된 서브-페어(sub-pairs)에 대해서도 이 공식을 성립시킴으로써 이 가정을 제거하는 것을 목표로 한다. 이는 인위적인 제약 없이 일반화된 쌍의 구조론과 보충의 유계성(boundedness of complements)을 더 넓은 복소 해석적 맥락으로 확장하는 데 매우 중요하다.

방법론
저자는 대수적 환경과 복소 해석적 환경을 순차적으로 다루는 두 갈래의 접근 방식을 채택한다:

1. 대수적 환경 (정리 1.3):

   • 증명은 명제 2.1을 활용하며, 이는 표준 lc-trivial 파이브레이션(닐 부분이 0인 경우)에 대해 모듈리(moduli) $R$-$b$-디바이저가 특정 디바이저들의 유한한 $\mathbb{R}_{>0}$-선형 결합임을 확립한다. 이 결과는 [FuHa23]의 특수한 사례이거나 [Has26]의 미세한 변형으로 인용된다.
   • 이를 바탕으로 저자는 [Fi20]의 논증을 적용한다. 결정적으로, 이 방법론은 약한 반안정 축약(weak semistable reductions) ([Kar99]), 일반화된 dlt 블로우업(generalized dlt blow-ups), 그리고 $\mathbb{Q}$-factorial generalized dlt 페어에 대한 최소 모델 프로그램(MMP) ([BiZh16])을 활용한다.
   • 핵심적인 기술적 통찰은, 일반화된 쌍의 닐 부분이 $b$-nef/$S$ $\mathbb{Q}$-$b$-Cartier $\mathbb{Q}$-$b$-디바이저들의 유한한 선형 결합으로 표현되지 않더라도 이러한 도구들이 여전히 효과적이라는 점이다.

2. 복소 해석적 환경 (정리 1.2):

   • 증명은 $\pi$에 관한 성질 (P)를 만족하면서 원래의 $W$를 포함하는 Stein compact subset $W' \subset S$를 구성하기 위해 [Fu22]의 보조정리 2.16에 의존한다. 이를 통해 표준적인 해석적 기법들이 적용 가능한 국소 근방으로 문제를 환원할 수 있다.
   • 논증은 대수적 경우를 모사하되, 특정 해석적 도구들을 통합한다: $M=0$인 경우에 대한 정리 1.1(저자의 이전 연구), EH25, 그리고 Fu22의 결과들이다.
   • 주석 2.2는 증명이 [Has26, Section 3]의 전체 메커니즘을 필요로 함을 명시한다. 저자는 혼합 호지 구조(mixed Hodge structures)의 변형은 사용되지 않으며, 대신 일반화된 klt-trivial 파이브레이션에 대해 공식을 먼저 확립한 후 이를 lc 케이스로 확장하는 방식으로 진행된다고 밝힌다.

3. 보충적 구성 (정리 2.3):

   • 복소 해석적 환경에서 정준 $b$-디바이저의 엄밀한 정의를 보장하기 위해, 저자는 Stein compact set $W$ 위의 정규 해석적 다양체 $X$ 상에서 정준 $b$-디바이저 $K$의 전역적 정의를 위한 구성을 제공한다.
   • 이는 $Y \to X$의 해상(resolution)의 사영성(projectivity)과 매우 풍부한(very ample) 디바이저의 존재를 보장하도록 $S$를 축소하는 과정을 포함한다. 코호몰로지와 베이스 체인지(base change) 정리, 그리고 Cartan의 정리 A를 사용하여, 저자는 bimeromorphic 축약 하에서 서로 호환되는 Weil 디바이저를 형성하는 전역 섹션들을 구성함으로써 잘 정의된 $b$-디바이저를 만든다.

주요 기여 및 결과
본 논문은 세 가지 주요 정리를 제시한다:

• 정리 1.2 (주요 결과, 복소 해석적 환경):

  • Stein compact set $W$ 상의 일반화된 lc-trivial 파이브레이션에 대한 닐 부분 $M$에 대한 가정을 제거한다.
  • 파이브레이션과 관련된 모듈리 $R$-$b$-디바이저 $N$이 $b$-nef/$S$ $R$-$b$-Cartier $R$-$b$-divisor임을 확립한다.
  • $(Z, G_Z + N_Z) \to S$가 닐 부분 $N$을 갖는 일반화된 서브-페어가 되어, 소스(source)의 일반화된 lc (또는 klt) 성질을 보존함을 확인한다.
  • 국소성(locality) 성질을 증명한다: 임의의 열린 집합 $\tilde{S} \subset S$에 대하여, 모듈리 디바이저 $\tilde{N}$은 $N$의 제한(restriction)이다.
  • 조건부 진술을 추가한다: 만약 원래의 $M$이 $b$-nef/$S$ $\mathbb{Q}$-$b$-Cartier $\mathbb{Q}$-$b$-디바이저들의 유한한 $\mathbb{R}_{>0}$-선형 결합이라면, $N$은 이 성질을 상속받는다.

• 정리 1.3 (주요 결과, 대수적 환경):

  • 준사영 스킴(quasi-projective scheme) $S$ 상에서의 상응하는 대수적 진술을 제공한다.
  • $N$이 $b$-nef/$S$ $R$-$b$-Cartier $R$-$b$-divisor이며, 결과적으로 $Z$ 상의 페어가 일반화된 lc/klt 성질을 유지함을 단언한다.
  • 저자는 이 결과가 새로운 것이며 [FiSv23, Theorem 2.20]의 일반화 역할을 한다고 명시한다.

• 정리 2.3:

  • 정규 해석적 다양체의 일반화된 lc-trivial 파이브레이션 맥락에서 정준 $b$-디바이저와 모듈리 $R$-$b$-디바이저를 엄밀하게 정의하며, 베이스를 축소한 후 이들의 존재성과 bimeromorphic 사상 하에서의 호환성을 보장한다.

의의 및 주장
본 논문은 일반화된 정준 번들 공식 이론의 필수적인 정교화라고 주장한다. 닐 부분 $M$에 대한 제한적인 가정을 제거함으로써, 이 결과는 복소 해석적 환경에서 공식의 적용 범위를 넓히며, 이는 이 맥락에서의 보충의 유계성 연구에 필수적이다.

저자는 이 증명이 단순한 확장이 아니라 여러 심도 있는 결과들([Has26, Fi20, Kar99, BiZh16] 등)의 상호작용에 의존하고 있음을 강조한다. 이 작업은 닐 부분에 대한 인위적인 제약 없이 일반화된 쌍을 위한 이론적 틀을 공고히 하는 기초적인 단계("부록")로서 제시되며, 이를 통해 복소 해석적 공간에 대한 최소 모델 프로그램의 발전을 뒷받침한다. 본 논문은 새로운 실험적 응용을 제안하기보다는 기존의 이론적 진술을 수정하고 일반화하는 것을 목적으로 한다.