[논문 리뷰] ACC for minimal log discrepancies of terminal threefolds

Jingjun Han, Jihao Liu외 1명|arXiv (Cornell University)|2022. 02. 10.

Analytic Number Theory Research인용 수 5

한 줄 요약

이 논문은 계수 집합에만 의존하는 $\delta > 0$ 에 대해, 종량성 3차원 다양체에서 최소 로그차이수(mlds)에 대한 ACC 추측을 증명한다. mld를 계산하는 중심들의 균일한 유계성과 $\epsilon \geq 1$ 인 $(\epsilon,n)$-보완이 존재함을 증명하며, 종량성 특이점의 분류와 보완의 유계성 이론을 사용하여 3차원에서의 비라티오널 기하학의 핵심 추측을 해결한다.

ABSTRACT

We prove that the ACC conjecture for minimal log discrepancies holds for threefolds in $[1-δ,+\infty)$, where $δ>0$ only depends on the coefficient set. We also study Reid's general elephant for pairs, and show Shokurov's conjecture on the existence of $(ε,n)$-complements for threefolds for any $ε\geq 1$. As a key important step, we prove the uniform boundedness of divisors computing minimal log discrepancies for terminal threefolds. We show the ACC for threefold canonical thresholds, and that the set of accumulation points of threefold canonical thresholds is equal to $\{0\}\cup\{\frac{1}{n}\}_{n\in\mathbb Z_{\ge 2}}$ as well.

연구 동기 및 목표

• 종량성 3차원 쌍에서 범위 $[1 - \delta, \infty)$ 내에서 최소 로그차이수(mlds)에 대한 ACC 추측을 증명하는 것.
• 종량성 3차원에서 mld를 계산하는 중심 $E$에 대해 $a(E, X, 0)$ 의 균일한 유계성을 확립하는 것.
• 3차원에서 $\epsilon \geq 1$ 일 때 쇼쿠로프의 $(\epsilon,n)$-보완 존재 추측을 확인하는 것.
• 3차원 캐논리컬 임계값의 집적점 집합을 $\{0\} \cup \{\frac{1}{n}\}_{n \in \mathbb{Z}_{\geq 2}}$ 로 특성화하는 것.
• 이전의 mld 유계성 결과를 DCC 계수 집합과 종량성 특이점의 더 넓은 설정으로 확장하고 일반화하는 것.

제안 방법

• 종량성 3차원 특이점의 분류를 활용하여 mld를 계산하는 중심과 그들의 불일치를 분석한다.
• Bir19, HLS19, Sho20 등의 결과를 포함한 보완의 유계성 이론을 적용하여 캐논리컬 임계값의 행동을 제어한다.
• 가중치가 부여된 블로잉업과 레이드의 바스킷 기법을 사용하여 국소적 점근에서의 특이점과 불일치를 연구한다.
• 특이 Riemann-Roch 공식과 표면적 수축을 활용하여 서로 다른 비라티오널 모델 간의 불일치를 연결한다.
• 국소화를 통해 문제를 토릭 케이스로 감소시키고, 카라테오도리의 정리를 적용하여 $a(E, X, 0)$ 를 차원 $d$ 로 유계화한다.
• 캐논리컬 유리 다면체 이론과 약한 균일 유계성 이론을 적용하여 캐논리컬 임계값에 대한 ACC 를 확립한다.

실험 결과

연구 질문

• RQ1 계수 집합에만 의존하는 어떤 $\delta > 0$ 에 대해, 종량성 3차원에서 범위 $[1 - \delta, \infty)$ 내에서 최소 로그차이수(mlds)에 대한 ACC 추측이 성립하는가?
• RQ2 종량성 3차원 점근에서 mld $\geq 1$ 인 경우, mld를 계산하는 중심 $E$ 에 대해 $a(E, X, 0)$ 가 균일하게 유계화되는가?
• RQ3 3차원 캐논리컬 임계값의 집적점 집합이 정확히 $\{0\} \cup \{\frac{1}{n}\}_{n \in \mathbb{Z}_{\geq 2}}$ 와 일치하는가?
• RQ4 $\epsilon \geq 1$ 일 때 3차원 쌍에 대해 $(\epsilon,n)$-보완이 존재하는가?
• RQ5 토닉 lc 쌍에 대해 mld를 계산하는 중심 $E$ 에 대해 $a(E, X, 0)$ 는 균일하게 유계화되는가? 그리고 이는 mld에 대한 ACC 를 암시하는가?

주요 결과

• 계수 집합 $\Gamma$ 에만 의존하는 $\delta > 0$ 에 대해, 종량성 3차원에서 범위 $[1 - \delta, \infty)$ 내에서 mld에 대한 ACC 추측이 성립한다.
• 계수 집합 $\Gamma$ 에만 의존하는 균일한 상한 $l$ 이 존재하여, mld $\geq 1$ 인 종량성 3차원 점근에서 mld를 계산하는 중심 $E$ 에 대해 $a(E, X, 0)$ 가 유계화된다.
• 3차원 캐논리컬 임계값의 집적점 집합은 정확히 $\{0\} \cup \{\frac{1}{n}\}_{n \in \mathbb{Z}_{\geq 2}}$ 이다.
• 3차원에서 $\epsilon \geq 1$ 일 때 쇼쿠로프의 $(\epsilon,n)$-보완 존재 추측이 성립한다.
• 토닉 lc 쌍에 대해, 임의의 mld를 계산하는 중심 $E$ 에 대해 $a(E, X, 0)$ 는 차원 $d$ 로 유계화되며, 이는 토닉 케이스에서 추측 7.2 를 확인한다.
• 증명은 토닉 $\mathbb{Q}$-코hen스타인 lc 쌍의 차원 $d$ 에 대해 균일한 상한 $a(E, X, 0) \leq d$ 를 확립하며, 등호는 특수한 구성에서만 가능하다.