[논문 리뷰] Valuation spaces and multiplier ideals on singular varieties

Sébastien Boucksom, Tommaso de Fernex외 2명|arXiv (Cornell University)|2013. 06. 30.

Algebraic Geometry and Number Theory참고 문헌 17인용 수 10

한 줄 요약

이 논문은 정규 복소 대수기하 구조체에서의 승수 이상의 값매김 특성화를 매끄럽지 않은 경우로 일반화한다. 이를 위해 로그 할당 함수를 모든 실수 값매김으로 확장하고, 수치적 ${\mathbb{Q}}$-Gorenstein 다양체의 개념을 도입한다. 주요 기여는 이러한 다양체에서 항상 성립하는 승수 이상의 값매김 기준이며, 수치적 ${\mathbb{Q}}$-Gorenstein 조건을 만족할 경우 이를 단순화된 형태로 표현할 수 있다. 또한 유리 특이점 조건 하에서 ${\mathbb{Q}}$-Cartier와 일치하는 새로운 수치적 Cartier 계수의 정의를 제시한다.

ABSTRACT

We generalize to all normal complex algebraic varieties the valuative characterization of multiplier ideals due to Boucksom-Favre-Jonsson in the smooth case. To that end, we extend the log discrepancy function to the space of all real valuations, and prove that it satisfies an adequate properness property, building upon previous work by Jonsson-Musta\\c{t}\\u{a}. We next give an alternative definition of the concept of numerically Cartier divisors previously introduced by the first three authors, and prove that numerically Q-Cartier divisors coincide with Q-Cartier divisors for rational singularities. These ideas naturally lead to the notion of numerically Q-Gorenstein varieties, for which our valuative characterization of multiplier ideals takes a particularly simple form.

연구 동기 및 목표

• 이전에 매끄러운 다양체에서만 알려진 승수 이상의 값매김 특성화를, 모든 정규 복소 대수기하 구조체로 확장하는 것.
• 모든 실수 값매김 공간에서 로그 할당 함수를 정의하고, 적절성과 연속성 성질을 보장하는 것.
• 수치적 ${\mathbb{Q}}$-Cartier 계수의 개념을 도입하고 분석하며, 유리 특이점 조건 하에서 ${\mathbb{Q}}$-Cartier와의 동치성을 보이는 것.
• 수치적 $\mathbb{Q}$-Gorenstein 다양체를 정의하고, 이 경우에 대해 승수 이상의 값매김 기준을 단순화된 형태로 확립하는 것.

제안 방법

• 값매김 공간 이론과 정규화된 값매김 공간을 이용해 로그 할당 함수 $A_X(\nu)$ 를 모든 실수 값매김 $\nu$ 로 확장한다.
• Jonsson-Mustaćća의 작업을 바탕으로, 확장된 로그 할당 함수가 적절성 성질을 만족함을 증명한다.
• 수치적 등가류를 $\mathrm{Num}^1(X)$ 내에서 이용해 새로운 수치적 ${\mathbb{Q}}$-Cartier 계수의 정의를 제시하고, $X$ 가 유리 특이점을 가질 경우 ${\mathbb{Q}}$-Cartier와 일치함을 보인다.
• 해소 $\mu: X' \to X$ 에서 $\mu$-수치적으로 등가인 $\mathbb{Q}$-계수 $K^{\rm num}_{X'/X}$ 가 존재함으로써 수치적 $\mathbb{Q}$-Gorenstein 조건을 정의하고, $A_X(\operatorname{ord}_E) = 1 + \operatorname{ord}_E(K^{\rm num}_{X'/X})$ 를 증명한다.
• 정규화 부분다양체 $N$ 의 양호한 해소 $\pi$ 의 이중 복합체 $\Delta_\pi^N$ 를 이용해 $A_X$ 가 면에서 애매하게 선형임을 보이고, $A_{X'}$ 의 인상의 상한과 일치함을 보인다.
• 값매김 기준을 적용하여, $\mu^{-1}\mathfrak{a} \cdot \mathcal{O}_{X'} = \mathcal{O}_{X'}(-D)$ 인 로그 해소 $\mu$ 에 대해 공식 $\mathcal{J}(X,\mathfrak{a}^c) = \mu_* \mathcal{O}_{X'}(\lceil K^{\rm num}_{X'/X} - cD \rceil)$ 을 유도한다.

실험 결과

연구 질문

• RQ1 기존에 매끄러운 경우에서만 알려진 승수 이상의 값매김 특성화를 특이 정규 다양체로 확장할 수 있는가?
• RQ2 특이 다양체에서의 로그 할당 함수를 비록 비가환적 값매김에서의 비가환적 값매김으로 의미 있게 확장할 수 있는가?
• RQ3 특이 설정에서 ${\mathbb{Q}}$-Cartier 계수의 올바른 일반화는 무엇이며, 수치적 등가와의 관계는 어떻게 되는가?
• RQ4 수치적 ${\mathbb{Q}}$-Cartier 계수가 ${\mathbb{Q}}$-Cartier와 일치하는 조건은 무엇인가?
• RQ5 수치적 ${\mathbb{Q}}$-Gorenstein 조건을 만족하는 다양체에서 승수 이상의 값매김 기준은 어떻게 단순화되는가?

주요 결과

• 모든 실수 값매김 $\nu$ 에 대해 로그 할당 함수 $A_X(\nu)$ 가 확장되고, 적절성 조건을 만족함으로써 전역적 값매김 접근이 가능해진다.
• 수치적 ${\mathbb{Q}}$-Cartier 계수는 $\mathrm{Num}^1(X)$ 내의 수치적 등가류를 통해 정의되며, 유리 특이점을 가진 경우 ${\mathbb{Q}}$-Cartier와 일치한다.
• 실수 값매김 공간은 잘 정의된 로그 할당 함수를 지니며, 이는 적절성과 연속성 성질을 만족하여 매끄러운 경우를 일반화한다.
• 수치적 ${\mathbb{Q}}$-Gorenstein 다양체에서는 승수 이상 $\mathcal{J}(X,\mathfrak{a}^c)$ 가 로그 해소 $\mu: X' \to X$ 에 대해 공식 $\mu_* \mathcal{O}_{X'}(\lceil K^{\rm num}_{X'/X} - cD \rceil)$ 으로 표현될 수 있다.
• 어떤 양호한 해소 $\pi$ 에 대해 정규화 부분다양체 $N$ 의 이중 복합체 $\Delta_\pi^N$ 의 면에서 함수 $A_X$ 는 애매하게 선형이며, $\mathrm{Val}_X^N$ 상에서 $A_X = \sup_\pi A_X \circ r_\pi^N$ 를 만족함으로써 전역적 상한의 구조를 확립한다.
• 다양체가 로그 단순 특이점을 가진다. $\Longleftrightarrow$ $\mathrm{DivVal}_X$ 상에서 $A_X > 0$ 이며, 이는 정확히 $\mathcal{J}(X,\mathcal{O}_X) = \mathcal{O}_X$ 일 때 성립한다.