[논문 리뷰] Limits of log canonical thresholds

Tommaso de Fernex, Mircea Mustaţă|ArXiv.org|2007. 10. 26.

Polynomial and algebraic computation참고 문헌 9인용 수 5

한 줄 요약

이 논문은 $n$차원 미분가능 다양체 위의 로그 캐논리컬 임계값의 집합이 $\mathbb{R}$에서 닫혀 있음을 증명하며, 내림차순 수열의 모든 극한이 차원 $n-1$에서 이 집합에 속한다는 것을 보여, 콜라르의 추측을 확인한다. 비표준 해석학과 형식적 멱급수의 성질을 이용하여, 모든 집적점이 유리수임을 증명하고, 쇼쿠로프의 ACC 추측을 1이 아래쪽에서 집적점이 아니라는 조건으로 줄여낸다.

ABSTRACT

Let T_n denote the set of log canonical thresholds of pairs (X,Y), with X a nonsingular variety of dimension n, and Y a nonempty closed subscheme of X. Using non-standard methods, we show that every limit of a decreasing sequence in T_n lies in T_{n-1}, proving in this setting a conjecture of Kollár. We also show that T_n is a closed subset in the set of real numbers; in particular, every limit of log canonical thresholds on smooth varieties of fixed dimension is a rational number. As a consequence of this property, we see that in order to check Shokurov's ACC Conjecture for all T_n, it is enough to show that 1 is not a point of accumulation from below of any T_n. In a different direction, we interpret the ACC Conjecture as a semi-continuity property for log canonical thresholds of formal power series.

연구 동기 및 목표

• 미분가능한 $n$차원 다양체 위의 로그 캐논리컬 임계값의 집합 $\mathcal{T}_n$ 이 $\mathbb{R}$에서 닫혀 있음을 증명하는 것.
• 모든 내림차순 수열의 극한이 $\mathcal{T}_n$ 에서 $\mathcal{T}_{n-1}$ 에 속한다는 콜라르의 추측을 검증하는 것.
• 유계 차원에서 로그 캐논리컬 임계값의 모든 집적점이 유리수임을 보이는 것.
• 쇼쿠로프의 ACC 추측을 1이 $\mathcal{T}_n$ 에서 아래쪽에서 집적점이 아니라는 조건으로 줄이는 것.
• 형식적 멱급수의 로그 캐논리컬 임계값이 $\geq c$ 인 집합 $\mathcal{R}_n(c)$ 가 형식적 멱급수환에서 실린더임을 해석하는 것.

제안 방법

• 비표준 해석학을 사용하여 $\mathcal{T}_n$ 에서 로그 캐논리컬 임계값의 극한을 분석하는 것.
• 초필터와 비표준 모델을 이용하여 $\mathcal{T}_n$ 에서 수열의 행동을 연구하는 것.
• 형식적 멱급수환 $k[[x_1,\dots,x_n]]$ 의 자리키 위상구조를 분석하여 집합 $\mathcal{R}_n(c)$ 의 구조적 성질을 연구하는 것.
• $\mathcal{R}_n(c) = \{f \in k[[x_1,\dots,x_n]] \mid f(0)=0, \operatorname{lct}(f) \geq c\}$ 가 형식적 멱급수환에서 실린더임을 증명하는 것.
• 로그 캐논리컬 임계값에 대한 반연속성 정리를 적용하여, 몫환 $\mathfrak{m}/\mathfrak{m}^\ell$ 에서 일부 집합이 열리거나 구조적임을 보이는 것.
• 집합이 실린더임과 동시에 유한한 구조적 실린더의 교집합임이 동치임을 이용하여, 위상적 성질로부터 유한성 조건을 유도하는 것.

실험 결과

연구 질문

• RQ1 모든 내림차순 수열의 극한이 $\mathcal{T}_n$ 에서 $\mathcal{T}_{n-1}$ 에 속하는가?
• RQ2 $\mathcal{T}_n$ 이 모든 $n$ 에 대해 $\mathbb{R}$ 에서 닫혀 있는가?
• RQ3 유계 차원에서 로그 캐논리컬 임계값의 모든 집적점이 유리수인가?
• RQ4 쇼쿠로프의 ACC 추측은 1이 $\mathcal{T}_n$ 에서 아래쪽에서 집적점이 아니라는 조건으로 줄일 수 있는가?
• RQ5 형식적 멱급수환에서 로그 캐논리컬 임계값 $\geq c$ 인 집합 $\mathcal{R}_n(c)$ 는 실린더인가?

주요 결과

• $n$차원 미분가능 다양체 위의 로그 캐논리컬 임계값 집합 $\mathcal{T}_n$ 이 $\mathbb{R}$ 에서 닫혀 있다.
• 내림차순 수열의 모든 극한이 $\mathcal{T}_n$ 에서 $\mathcal{T}_{n-1}$ 에 속하며, 콜라르의 추측을 확인한다.
• 유계 차원에서 로그 캐논리컬 임계값의 모든 집적점은 유리수이며, $\mathcal{T}_n \subseteq \mathbb{Q} \cap [0,n]$ 이다.
• 쇼쿠로프의 ACC 추측이 모든 $\mathcal{T}_n$ 에 대해 성립하는 것은 1이 어떤 $\mathcal{T}_n$ 에서도 아래쪽에서 집적점이 아니라는 조건과 동치이다.
• ACC 추측은 모든 $c \in \mathbb{Q}$ 에 대해 $\mathcal{R}_n(c)$ 가 형식적 멱급수환에서 실린더임이라는 조건과 동치이다.
• 기수 $k$ 가 비가산일 경우, 조건 $\operatorname{lct}(f) \geq c$ 는 $f$ 의 $N(n,c)$ 차수 이하의 절단값에만 의존하며, 이 $N(n,c)$ 는 $k$ 에 독립적이다.