[논문 리뷰] A refinement of Izumi's Theorem

Sébastien Boucksom, Charles Favre외 1명|arXiv (Cornell University)|2012. 09. 18.

Algebraic Geometry and Number Theory참고 문헌 33인용 수 16

한 줄 요약

이 논문은 이즈미 정리의 보완을 통해 다양체의 한 점에 중심을 둔 모노미얼 볼륨에 대해 비율 $ v(f)/\operatorname{ord}_0(f) $ 의 균일한 리프시츠 연속성을 도입함으로써, 토로이드 기하학과 네프 배수의 양성에 기반하여 정리한다. 주요 결과는 볼륨과 그 부피가 볼륨을 정의하는 가중치 매개변수에 대해 리프시츠 연속임을 보이며, 이는 이중 복합체의 기하학에 따라 명시적인 상한을 가진다.

ABSTRACT

We improve Izumi's inequality, which states that any divisorial valuation v centered at a closed point 0 on an algebraic variety Y is controlled by the order of vanishing at 0. More precisely, as v ranges through valuations that are monomial with respect to coordinates in a fixed birational model X dominating Y, we show that for any regular function f on Y at 0, the function v--> v(f)/\\ord_0(f) is uniformly Lipschitz continuous as a function of the weight defining v. As a consequence, the volume of v is also a Lipschitz continuous function. Our proof uses toroidal techniques as well as positivity properties of the images of suitable nef divisors under birational morphisms.

연구 동기 및 목표

• 점에서의 근사 볼륨과 순서의 비교성을 정량화하여 이즈미 정리를 강화한다.
• 고정된 비라션 모델 내에서 모노미얼 볼륨에 대해 $ v \mapsto v(f)/\operatorname{ord}_0(f) $ 의 균일한 리프시츠 연속성을 확립한다.
• 볼륨이 볼륨을 정의하는 가중치 매개변수에 대해 리프시츠 연속임을 보인다.
• 이중 복합체에서의 뉴턴 다면체와 교차 이론을 통해 리프시츠 상수를 기하학적 불변량과 연결한다.

제안 방법

• 간단한 정규교차 분할자 $ \Delta(X,Z) $ 의 이중 복합체를 통해 쿼시모노미얼 볼륨의 공간을 모델링하기 위해 토로이드 기하학을 사용한다.
• 각 $ \Delta $ 의 면에서 볼륨 함수 $ v \mapsto v(f) $ 의 볼록성과 리프시츠 연속성을 연구하기 위해 볼록 해석학을 적용한다.
• 비라션 사상에 의한 네프 배수의 이미지의 양성 성질을 활용하여 리프시츠 상수의 상한을 구한다.
• 코헨의 구조 정리를 사용하여 국소 좌표에서 함수를 멱급수로 표현함으로써 뉴턴 다면체 $ \operatorname{Nw}(f,J) $ 를 정의한다.
• 문제를 리프시츠 상수가 $ \varphi = \log|f| $ 의 로그 함수의 성질을 통해 뉴턴 다면체의 극단점의 노름을 추정하는 것으로 환원한다.
• 정리 B 의 증명에서 교차 수 $ (L_d \cdot M^{n-|J|-1} \cdot E_J) $ 를 사용하여 리프시츠 상수의 상한을 유도한다.

실험 결과

연구 질문

• RQ1 이즈미 부등식의 상수를 모노미얼 볼륨의 가중치 매개변수에 따라 일관되게 유지할 수 있는가?
• RQ2 볼륨을 정의하는 가중치 매개변수에 대해 비율 $ v(f)/\operatorname{ord}_0(f) $ 는 리프시츠 연속적인가?
• RQ3 볼륨 함수의 리프시츠 상수는 환경 다양체와 분할 구성의 기하학적 불변량과 어떻게 관련되는가?
• RQ4 볼륨이 가중치 매개변수에 대해 연속적으로 변할 수 있는가?

주요 결과

• 이중 복합체 $ \Delta $ 에서 함수 $ v \mapsto v(f) $ 는 볼록함수이며, 상수 $ A \cdot \operatorname{ord}_0(f) $ 이하의 리프시츠 연속성을 가지며, 여기서 $ A $ 는 모델 $ X $ 와 $ \Delta $ 의 메트릭에만 의존한다.
• 모노미얼 볼륨을 정의하는 가중치 매개변수에 대해 비율 $ v(f)/\operatorname{ord}_0(f) $ 는 균일하게 리프시츠 연속적이며, 이는 $ f $ 와 무관한 상한을 가진다.
• 볼륨은 볼륨을 정의하는 가중치 벡터에 대해 리프시츠 연속적인 함수이며, 리프시츠 상수는 최대 교차 수 $ (L_1 \cdot M^{n-|J|-1} \cdot E_J) $ 의 배수로 유계이다.
• 뉴턴 다면체 $ \operatorname{Nw}(f,J) $ 의 극단점의 노름은 최대 $ AC \cdot \operatorname{ord}_0(f) $ 이며, 여기서 $ C $ 는 노름에 따라 결정되는 기하학적 상수이고 $ A $ 는 정리 A 의 리프시츠 상수이다.
• 증명은 볼륨 함수 $ v \mapsto v(f) $ 의 리프시츠 상수가 이중 복합체의 기하학과 비라션 사상에 의한 초평면 섹션의 품질에 의해 제어됨을 보여준다.