[논문 리뷰] Log canonical thresholds on smooth varieties: the Ascending Chain Condition

Lawrence Ein, Mircea Mustaţă|ArXiv.org|2008. 11. 26.

Algebraic Geometry and Number Theory참고 문헌 11인용 수 3

한 줄 요약

이 논문은 특성 0인 대수적으로 닫힌 체 위의 매끄러운 다양체에서 로그 최대한 임계값의 쇼쿠로프의 상승 체인 조건(ACC) 추측을 증명한다. 로그 해소 기법과 원점에 중심을 가진 디바이저로의 환원을 통해 이루어지며, 핵심 결과로는 $n$차원 매끄러운 다양체에서 로그 최대한 임계값의 집합이 ACC를 만족한다는 것을 보이며, 특히 에탈 맵을 통한 매끄러운 설정으로의 환원을 통해 몰입 특이점이 있는 다양체로의 확장을 이룬다.

ABSTRACT

Building on results of Kollár, we prove Shokurov's ACC Conjecture for log canonical thresholds on smooth varieties, and more generally, on varieties with quotient singularities.

연구 동기 및 목표

• 차원 $n$인 매끄러운 다양체에서 쇼쿠로프의 ACC 추측을 로그 최대한 임계값에 대해 증명하기.
• 에탈 사상에 의한 매끄러운 설정으로의 환원을 통해 몰입 특이점이 있는 다양체로 ACC 결과를 확장하기.
• 이론의 일반적 경우를 위한 기초 단계를 마련하기. 이는 비라시오널 기하학에서 플립의 정지 추측과 연결되어 있다.
• 매끄러운 $n$-fold에서 로그 최대한 임계값의 집합이 무한히 증가하는 엄밀한 증가 수열을 포함하지 않는다는 것을 증명하기.

제안 방법

• 모든 $f \in \frak{m}$에 대해 쌍 $(R, f \times \frak{m})$의 로그 해소를 사용하여 $\operatorname{lct}_0(f)$를 $\min_i \frac{k_i + 1}{a_i}$로 표현하기. 여기서 $R = k[[x_1,\dots,x_n]]$이다.
• 다음과 같이 $q = \min_{i \in I} \left\{ \frac{1}{b_i} \left( \frac{k_i + 1}{c} - a_i \right) \right\}$을 정의하기. 여기서 $c = \operatorname{lct}_0(f)$이며, $I$는 원점에 중심을 가진 디바이저를 인덱싱한다.
• 모든 $\operatorname{lct}_0(f \cdot \frak{m}^q) = \operatorname{lct}_0(f)$임을 보이며, 이 임계값이 원점에 중심을 가진 디바이저 $E_j$에 의해 계산된다는 것을 보여야 한다.
• 임계값이 원점에 중심을 가진 디바이저에 의해 계산되는 로그 해소의 존재를 이용하여 일반적인 경우를 특수한 경우로 환원하기.
• 만약 임계값이 원점에 중심을 가진 디바이저에 의해 계산된다면, 그 수열이 무한히 증가할 수 없다는 콜라르의 결과를 적용하기.
• 에탈 사상에 의한 환원을 통해 몰입 특이점의 경우를 매끄러운 다양체로 환원하고, 에탈 사상에서의 1차원 불변성에 의해 로그 최대한 임계값이 유지됨을 이용하기.

실험 결과

연구 질문

• RQ1 차원 $n$인 매끄러운 다양체에서 로그 최대한 임계값의 집합은 상승 체인 조건을 만족하는가?
• RQ2 로그 최대한 임계값에 대한 ACC 추측은 매끄러운 다양체에서 몰입 특이점이 있는 다양체로 확장될 수 있는가?
• RQ3 특이점이 있는 다양체에서 로그 최대한 임계값의 계산을 매끄러운 경우로 환원하는 통일된 방법이 존재하는가?
• RQ4 초기에는 그러한 디바이저에 의해 최소값이 달성되지 않더라도, 로그 해소에서 원점에 중심을 가진 디바이저에 의해 임계값을 계산할 수 있는가?
• RQ5 형식적 멱급수 설정은 로그 최대한 임계값의 극한점 분석에서 어떤 역할을 하는가?

주요 결과

• 매끄러운 $n$차원 다양체에서 로그 최대한 임계값의 집합인 $\mathcal{T}_n$은 상승 체인 조건을 만족한다. 즉, 무한히 증가하는 엄밀한 증가 수열이 존재하지 않는다.
• 모든 $f \in \frak{m} \subset k[[x_1,\dots,x_n]]$에 대해, $\operatorname{lct}_0(f^r)$가 원점에 중심을 가진 디바이저에 의해 계산되는 $r > 0$이 존재한다.
• 적절한 $q > 0$에 대해, 최대한 임계값이 최대 아이디얼 $\frak{m}$의 거듭제곱과 곱해진 경우에도 유지되며, $\operatorname{lct}_0(f \cdot \frak{m}^q) = \operatorname{lct}_0(f)$임을 보였다.
• 이 결과는 아이디얼로까지 확장되며, 매끄러운 $X$의 차원 $n$에 대해 $\operatorname{lct}_p(X, \mathfrak{a})$는 $n \cdot \mathcal{T}_n$에 속하며, 이는 ACC를 만족한다.
• 몰입 특이점이 있는 다양체의 경우, $\operatorname{lct}_p(X, \mathfrak{a}) = \operatorname{lct}_q(U, \mathfrak{b})$를 만족하는 매끄러운 $U$와 아이디얼 $\mathfrak{b}$가 존재하므로, ACC 성질이 이 경우로도 그대로 이행된다.
• 보조정리 3.6은 몰입 특이점이 있는 $n$차원 다양체에서 로그 최대한 임계값의 집합이 ACC를 만족한다는 것을 확인한다.