[논문 리뷰] Strong $(\delta,n)$-Complements for Semi-Stable Morphisms

Stefano Filipazzi, Joaqu ́ın Moraga|arXiv (Cornell University)|2019. 08. 20.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 6

한 줄 요약

이 논문은 패러미터화된 Fano 유형의 일반화된 $\epsilon$-로그 캐논리컬 쌍에 대해 전역 강한 $(\delta,n)$-보완의 유계성을 확립하고, 반안정 사상에 대해 국소 유계성에 대한 부분 결과를 증명한다. 최소 모델 프로그램과 일반화된 조정 공식 기법을 활용하여 일반화된 쌍에 대한 효과적 캐논리컬 번들의 공식과 조정 공식을 도출하며, 강한 보완의 존재가 모리 피브리게이션 기저의 특이성에 대한 McKernan의 추측을 함의한다는 것을 보여준다.

ABSTRACT

We prove the boundedness of global strong $(\delta,n)$-complements for generalized $\epsilon$-log canonical pairs of Fano-type. We also prove some partial results towards boundedness of local strong $(\delta,n)$-complements for semi-stable morphisms. As applications, we prove an effective generalized canonical bundle formula for generalized klt pairs and an effective generalized adjunction formula for exceptional generalized log canonical centers. Moreover, we prove that the existence of strong $(\delta,n)$-complements implies a conjecture due to McKernan concerning the singularities of the base of a Mori fiber space.

연구 동기 및 목표

• 패러미터화된 Fano 유형의 일반화된 $\epsilon$-로그 캐논리컬 쌍에 대해 전역 강한 $(\delta,n)$-보완의 유계성을 증명하는 것.
• 반안정 사상에 대해 국소 강한 $(\delta,n)$-보완의 유계성에 대한 부분 결과를 확립하는 것.
• 제어된 계수를 가진 일반화된 쌍에 대해 효과적 일반화된 캐논리컬 번들 및 조정 공식을 도출하는 것.
• 강한 $(\delta,n)$-보완의 존재가 모리 피브리게이션 기저의 특이성에 대한 McKernan의 추측을 함의한다는 것을 보여주는 것.

제안 방법

• Birkar의 $(0,n)$-보완과 Fano 다양체에 대한 유계성 작업 기법을 일반화된 쌍 설정으로 적응시키는 것.
• 스케일링을 동반한 최소 모델 프로그램과 상대적 감소 기저 위치를 사용하여 개방 부분집합 위의 Fano 유형 모델을 구성하는 것.
• 일반화된 캐논리컬 번들 공식을 적용하여 기저와 예외적 로그 캐논리컬 중심 위에 일반화된 쌍을 유도하는 것.
• 반안정 사상 이론을 활용하여 특이성을 제어하고 국소 설정에서의 유계성을 보장하는 것.
• 계수 집합의 내림차순 조건과 카르티에 지수 제어를 활용하여 효과적 유계성을 확보하는 것.
• 기저 변화 보존을 통해 알려진 Fano 다양체의 유계성 및 효과적 조정에 대한 결과로 문제를 환원하는 것.

실험 결과

연구 질문

• RQ1 패러미터화된 Fano 유형의 일반화된 $\epsilon$-로그 캐논리컬 쌍에 대해 전역 강한 $(\delta,n)$-보완이 유계워야 하는가?
• RQ2 반안정 사상에 대해 국소 강한 $(\delta,n)$-보완의 유계성이 성립하는 조건은 무엇인가?
• RQ3 일반화된 캐논리컬 번들 공식은 일관된 유계 계수와 모듈리 부분을 가진 채로 효과적으로 만들 수 있는가?
• RQ4 예외적 일반화된 로그 캐논리컬 중심으로의 일반화된 조정은 제어된 계수로 효과적으로 만들 수 있는가?
• RQ5 강한 $(\delta,n)$-보완의 존재가 모리 피브리게이션 기저의 특이성에 대한 McKernan의 추측을 함의하는가?

주요 결과

• 정리 1.3은 특성 0의 대수적으로 닫힌 체 위에서 패러미터화된 Fano 유형의 일반화된 $\epsilon$-로그 캐논리컬 쌍에 대해 전역 강한 $(\delta,n)$-보완의 유계성을 확립하며, $M'$ 가 자명하거나 $\Lambda$ 가 유한할 경우 $\delta = \epsilon$ 이다.
• 정리 1.4는 $\Lambda$ 가 유한하고 $M'$ 가 자명하며 $mK_Z$ 가 카르티에일 때, 반안정 사상에 대해 국소 강한 $(\delta,n)$-보완의 부분 유계성을 증명하며, $\delta > 0$ 는 $m$ 과 설정에 따라 의존한다.
• 정리 1.5는 효과적 일반화된 캐논리컬 번들 공식을 제공한다: $f: X \to Z$ 에 대해 $K_X + B + M \sim_{\mathbb{Q},Z} 0$ 이면, $K_X + B + M \sim_{\mathbb{Q}} f^*(K_Z + B_Z + M_Z)$ 를 만족하는 일반화된 쌍 $(Z, B_Z + M_Z)$ 가 존재하며, $\operatorname{coeff}(B_Z) \subset \Omega$ 이고 $qM'_Z$ 는 어떤 $q$ 에 대해 카르티에이며, 이 $q$ 는 오직 $d$, $p$, 및 $\Lambda$ 에 따라 결정된다.
• 보조정리 1.7은 예외적 일반화된 로그 캐논리컬 중심으로의 효과적 일반화된 조정 공식을 제공한다: 중심 $W \subset X$ 에 대해 $(K_X + B + M)|_W \sim_{\mathbb{Q}} K_W + B_W + M_W$ 를 만족하는 일반화된 쌍 $(W, B_W + M_W)$ 가 존재하며, $\operatorname{coeff}(B_W) \subset \Omega$ 이고 $qM'_W$ 는 어떤 $q$ 에 대해 카르티에이며, 이 $q$ 는 오직 $d$, $p$, 및 $\Lambda$ 에 따라 결정된다.
• 정리 1.10은 추측 1.1이 모리 피브리게이션 기저의 특이성에 대한 McKernan의 추측을 함의한다는 것을 보이며, $K_X$ 의 카르티에 지수가 유계일 때 추가 가정 하에 추측을 증명한다.
• 논문은 기저 변화 이후 모듈리 부분 $qM'_Z$ 가 카르티에 임을 확인하며, 기저에 유도된 일반화된 쌍이 분수적 축적점이 있는 계수에 대해 내림차순 조건을 만족한다는 것을 보여준다.