[논문 리뷰] On divisors computing MLD's and LCT's

Harold Blum|arXiv (Cornell University)|2016. 05. 31.

Algebraic Geometry and Number Theory참고 문헌 20인용 수 7

한 줄 요약

이 논문은 매끄러운 표면에서, 어떤 점에서 최소 로그 불일치를 계산하는 모든 근사자가 로그 캐논리컬 임계값을 계산함을 증명한다. 증명은 근사자에 관련된 순차적 이상 이상의 이상 로그 캐논리컬 임계값을 분석함으로써 이루어지며, 이러한 근사자가 mld를 계산할 경우 반드시 lct를 계산해야 하며, 이는 단순한 가치와 유한 생성성의 성질을 활용한다.

ABSTRACT

We show that if a divisor centered over a point on a smooth surface computes a minimal log discrepancy, then the divisor also computes a log canonical threshold. To prove the result, we study the asymptotic log canonical threshold of the graded sequence of ideals associated to a divisor over a variety. We systematically study this invariant and also prove a result describing which divisors compute asymptotic log canonical thresholds.

연구 동기 및 목표

• 다양체 위의 어떤 근사자가 로그 캐논리컬 임계값(lct)과 최소 로그 불일치(mld)를 계산하는지 규명하는 것, 특히 특이점의 맥락에서.
• mld를 계산하는 근사자가 반드시 lct를 계산하는지 여부를 조사하는 것. 이는 블로팅 기하학에서 lct를 계산하는 근사자가 유한 생성된다는 사실이 알려져 있음에도 불구하고 여전히 열려 있는 문제이다.
• 근사자에 관련된 순차적 이상의 이상 로그 캐논리컬 임계값에 대한 이해를 확장하는 것.
• 특히 매끄러운 표면과 du Val 특이점의 경우에서, 어떤 근사자가 이상 로그 캐논리컬 임계값을 계산하는지 식별하는 기준을 제공하는 것.
• 매끄러운 표면에서 mld를 계산하는 근사자가 반드시 lct를 계산하는지 여부를 확인하여, 이러한 불변량들 사이의 한 방향 함의관계를 확립하는 것.

제안 방법

• 다양체 $X$ 위의 근사자 $E$에 관련된 순차적 이상의 이상 로그 캐논리컬 임계값(alct)을 정의한다. 여기서 $\mathfrak{a}_m^E = f_*\mathcal{O}_Y(-mE)$ 이며, $f: Y \to X$ 는 비분열 사상이다.
• [JM12]의 기준을 사용하여, 근사자 $E$가 $\operatorname{lct}(\mathfrak{b})$를 계산하는 것은 $\operatorname{lct}(\mathfrak{a}_\bullet^E) = k_E + 1$ 인 것과 동치이며, 여기서 $k_E$ 는 상대 캐논리컬 디바리에 $E$ 의 계수이다.
• 특히 표면에서 연속적인 점 블로우업의 경우에 대해, 블로우업의 교차 이론을 통해 $\mathfrak{a}_\bullet^E$ 의 구조를 분석한다.
• Proposition 5.3을 적용하여, 다양한 근사자에 따라 로그 불일치를 비교함으로써, $a_E(X,\mathfrak{b}^\lambda) > a_{E'}(X,\mathfrak{b}^\lambda)$ 이면 $E$ 는 mld를 계산할 수 없다는 것을 보인다.
• 이상 순차적 이상 $\mathfrak{a}_\bullet^E$ 가 유한 생성임은, 관련된 예외적 근사자들을 수축하는 사상 $Y \to X_E$ 가 존재하는 것과 동치이며, 이는 유한 생성성과 로그 해상도의 존재성 간의 연결을 제공한다.
• 지역 좌표에서 단순한 가치의 알려진 결과를 활용하여, 매끄러운 표면에서 mld를 계산하는 근사자가 단순한 가치임을 보이고, 따라서 lct를 계산한다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 매끄러운 표면에서 최소 로그 불일치를 계산하는 모든 근사자가 로그 캐논리컬 임계값도 계산하는가?
• RQ2 어떤 조건이 근사자가 관련된 순차적 이상의 이상 로그 캐논리컬 임계값을 계산하는지 보장하는가?
• RQ3 이상 순차적 이상 $\mathfrak{a}_\bullet^E$ 의 유한 생성성은 $E$ 가 lct 또는 mld 를 계산하는 데 어떤 영향을 미치는가?
• RQ4 매끄러운 표면에서의 결과를 du Val 특이점과 같은 특이 다양체로 확장할 수 있는가?
• RQ5 mld를 계산하지만 lct를 계산하지 않는 근사자가 존재하는가? 만약 그렇다면, 이러한 근사자가 어떤 조건에서 나타나는가?

주요 결과

• 매끄러운 표면에서, 점 $x$ 위의 모든 근사자 $E$ 가 $\operatorname{mld}_x(X,\mathfrak{a}^\lambda)$ 를 계산하면, 반드시 $\operatorname{lct}(\mathfrak{a})$ 도 계산한다. 이는 mld 계산에서 lct 계산으로의 한 방향 함의관계를 확립한다.
• 이상 로그 캐논리컬 임계값 $\operatorname{lct}(\mathfrak{a}_\bullet^E)$ 는 $k_E + 1$ 과 같을 때이고, 오직 그 때에만 $E$ 가 어떤 이상 $\mathfrak{b}$ 에 대해 로그 캐논리컬 임계값을 계산한다.
• 매끄러운 표면에서 연속적인 블로우업의 경우, $r > 3$ 인 $E_r$ 는 mld도 lct도 계산하지 않지만, $E_3$ 는 계산한다. 이는 중간 단계의 근사자가 mld 계산을 방해할 수 있음을 시사한다.
• $\mathbb{A}^n$ 의 경우, 원점에서의 블로우업의 예외적 근사자 $E$ 는 $\operatorname{lct}(\mathfrak{a}_\bullet^E) = n = k_E + 1$ 를 만족하며, 이는 $E$ 가 어떤 lct 도 계산한다는 것을 확인한다.
• $\mathbb{P}^3 \subset \text{Bl}_0\mathbb{A}^4$ 에서 곡선 블로우업을 통해 구성된 비유한 생성인 $\mathfrak{a}_\bullet^E$ 에 대해 $\operatorname{lct}(\mathfrak{a}_\bullet^E) < k_E + 1$ 이므로, $E$ 는 어떤 lct나 mld 도 계산하지 않는다.
• du Val 특이점, 예를 들어 $E_7$ 의 경우, 일부 예외적 근사자가 $\operatorname{mld}_x(X,\mathcal{O}_X)$ 를 계산하지만 어떤 $\operatorname{lct}(\mathfrak{b})$ 도 계산하지 않으며, 이는 결과가 $\mathfrak{b} = \mathcal{O}_X$ 의 경우로 확장되지 않음을 보여준다.