On the effective generation of direct images of pluricanonical bundles in mixed characteristic

기술적 요약: 혼합 특성에서 다중 canonical 번들의 직접 이미지의 유효한 전역 생성에 관하여

문제 제기
본 논문은 혼합 특성에서 다중 canonical 번들의 직접 이미지에 대한 유효한 전역 생성 결과를 확립하는 문제를 다룬다. 구체적으로, 두 가지 주요 결과의 혼합 특성 유사체를 모색한다:

1. 특성 0: Popa 와 Schnell 의 정리 [PS14] 로, $\mathbb{C}$ 위의 비특이 사영 다양체 사이의 전사 사상 $f: X \to Y$에 대하여, 직접 이미지 $f_* \omega_X^{\otimes m} \otimes L^{\otimes l}$가 $l \geq m(\dim Y + 1)$일 때 전역 생성됨을 증명한다. 여기서 $L$은 $Y$ 위의 ample 선다발이다.
2. 양수 특성: Ejiri 의 정리 [Eji24] 로, $m$이 충분히 크고 canonical divisor 가 상대적으로 ample 일 때 유사한 결과를 확립한다. 이는 특성 0 의 상한이 추가 가정 (예: Moret-Bailly 의 반례로 인한) 없이 양수 특성에서는 실패함을 지적한다.

혼합 특성에서의 핵심적인 어려움은 직접적인 Frobenius 사상의 부재와 특이점의 복잡성에 있으며, 이는 가환 대수와 test ideal 이론의 기법을 적응시킬 것을 요구한다.

방법론
저자는 최근 Hacon, Lamarche, Schwede [HLS24] 와 Bhatt 등 [BMP+23] 이 개발한 $+$-test ideal과 절대 적분 폐포에 기반한 프레임워크를 활용한다. 방법론은 다음과 같다:

1. 상대적 $+$-안정 직접 이미지: 논문은 $+$-test ideal $\tau_+(\mathcal{O}_X, \Delta)$의 정의를 상대적 설정으로 일반화한다. 이는 $f_*(\omega_X \otimes M)$의 부분층 $B^0 f_*(\tau_+(\omega_X, \Delta) \otimes M) \subset f_*(\omega_X \otimes M)$을 정의하며, 이를 $+$-안정 직접 이미지라 부른다. 이는 양수 특성에서 사용되는 Frobenius-안정 직접 이미지 $S^0$의 혼합 특성 유사체 역할을 한다.
2. 소거 정리: 증명들은 절대 적분 폐포 $X^+$에서의 코호몰로지에 대한 Bhatt 의 소거 정리 [BMP+23] 에 크게 의존한다. 이는 특성 0 에서의 Kodaira 소거 정리와 양수 특성에서의 Serre 소거 정리의 역할을 대체한다.
3. 곱적분 트릭: 약한 양성 결과를 확립하기 위해 저자는 Viehweg 의 곱적분 트릭을 활용하여 곱적분 $X^{(l)} = X \times_Y \cdots \times_Y X$를 구성하고, 이러한 구성 하에서 다중 canonical 번들의 거동을 분석한다.
4. 특이점 조건: 결과는 소스 다양체 $X$의 특이점에 대한 특정 조건을 부과한다. 혼합 특성에서 이러한 조건은 잔류 특성 $p$의 점에 대해서는 BCM-정규성(Big Cohen-Macaulay regularity)을, 잔류 특성 0 의 점에 대해서는 Kawamata Log Terminal (KLT) 조건을 포함한다.

주요 기여 및 결과

• 정리 A (주요 정리): 이는 혼합 특성에서 다중 canonical 번들의 직접 이미지에 대한 유효한 전역 생성 정리를 제공하는 주요 결과이다.

  • 설정: $f: X \to Y$를 혼합 특성 $(0, p)$을 가진 완전 DVR $(R, \mathfrak{m}_R)$ 위의 정적 평탄 사영 스킴 사이의 전사 사상으로 둔다. $\Delta$를 $K_X + \Delta$가 $\mathbb{Q}$-Cartier 가 되도록 하는 유효한 $\mathbb{Q}$-divisor 로 둔다.
  • 가정: 제한 $(K_X + \Delta)|_U$는 $f|_U$에 대해 ample 이며, 쌍은 열린 집합 $U \subset X$ 위에서 특정 특이점 조건 (특성 $p$에서는 BCM-정규성, 특성 0 에서는 KLT) 을 만족한다.
  • 결론: $K_X + \Delta$의 지수의 충분히 큰 배수 $m$에 대하여, 그리고 $l \geq m(n+1)$ (여기서 $n = \dim Y_{\mathfrak{m}_R}$) 일 때, 층 $f_* \mathcal{O}_X(m(K_X + \Delta)) \otimes L^{\otimes l}$은 $V = f(U)$ 위에서 전역 생성된다.
  • 의의: 이는 Popa-Schnell 과 Ejiri 의 결과를 혼합 특성 설정으로 통합하고 확장한다.

• 정리 C (핵심 보조정리): $+$-안정 직접 이미지 $B^0 f_*(\tau_+(\omega_X, B) \otimes M)$에 대한 전역 생성 정리이다. 이 결과는 [HLS24, Theorem B] 를 상대적 설정으로 일반화하며 정리 A 를 이끄는 기술적 엔진이다. 만약 $-B$가 열린 집합 위에서 semiample 이고 big 이라면, 꼬인 $+$-안정 직접 이미지는 전역 생성됨을 명시한다.

• 정리 B (약한 양성): 응용으로서, 논문은 상대적 canonical 층에 대한 약한 양성 명제를 확립한다. 매끄러움 가정과 경미한 특이점 조건 하에서, $K_{X/Y} + \Delta$가 $U$ 위에서 약하게 양수임을 보인다. 이는 Viehweg 의 약한 양성 정리의 혼합 특성 유사체이다.

• 전역 생성에 관한 따름정리:

  • 논문은 $f_* \mathcal{O}_X(m(K_{X/Y} + \Delta)) \otimes \omega_Y \otimes L^{\otimes (n+1)}$가 전역 생성됨을 유도하며, 이는 특성 0 의 Fujino 의 정리와 양수 특성의 Ejiri 의 정리와 유사하다.
  • $m=1$일 때 $f_* \omega_X \otimes L^{\otimes l}$이 전역 생성되는 조건을 제공한다. 이는 $X$의 특이점이 특정 조건 (예: 유한 분할자 특이점 또는 BCM-정규성) 을 만족하는 경우에 달려 있다.

• 반 canonical divisor 의 양성: 논문은 혼합 특성에서 반 canonical divisor 의 양성의 매끄러운 강하가 성립함을 증명한다 (Proposition 6.8). 구체적으로, $-K_X - f^*N$이 nef (또는 ample) 이면, $-K_Y - N$ 또한 nef (또는 ample) 이다.

의의 및 주장
본 논문은 혼합 특성에서 다중 canonical 번들의 직접 이미지에 대한 최초의 유효한 전역 생성 결과를 제공하여, 특성 0 과 양수 특성 이론 사이의 간극을 메운다고 주장한다.

• $+$-test ideal 과 절대 적분 폐포의 기구가 상대적 설정과 혼합 특성 산술을 처리하기에 충분히 견고함을 보여준다.
• 결과는 완전히 새로운 현상이기보다는 Popa, Schnell, Ejiri, Fujino 의 확립된 정리들의 혼합 특성 유사체로 제시되며, 특이점에 대한 조건 (BCM-정규성) 은 혼합 특성 맥락에 특유하다.
• 저자는 약한 양성 결과 (정리 B) 가 직접 이미지 층 자체의 완전한 약한 양성보다는 약하지만, 꼬인 직접 이미지의 전역 생성 증명과 반 canonical 양성의 강하를 포함한 많은 응용에 충분하다고 지적한다.

본 논문은 혼합 특성에서 일반적인 Fujita 자유성 추측을 해결한다고 주장하지는 않지만, 다중 canonical 번들의 직접 이미지의 특정 사례에 초점을 맞추며, 특성 0 에서 이용 가능한 소거 정리의 부재를 극복하기 위해 가환 대수의 최근 발전 (특히 Bhatt, Ma, Schwede 등의 작업) 에 의존한다.