[논문 리뷰] How to determine the sign of a valuation on C[x,y]?

Pinaki Mondal|arXiv (Cornell University)|2013. 01. 14.

Advanced Differential Equations and Dynamical Systems참고 문헌 5인용 수 9

한 줄 요약

이 논문은 ℂ[x,y]에서 무한대에 중심을 두는 계수의 이산 비율이 ℂ[x,y]∖ℂ에서 음수 또는 비음수인지 판별할 수 있는 완전한 기준을 제시한다. 기하적 방법을 사용하여 ℂ²의 컴팩티피케이션에서 곡선의 锥과 일반화된 [FJ07] 결과를 활용함으로써, 비율의 부호가 비율의 마지막 핵심 형식에서의 값의 부호에 의해 완전히 결정됨을 보여준다. 핵심 결과는 핵심 형식과 값의 모노이드를 기반으로 한 효과적인 알고리즘적 특성화이다.

ABSTRACT

Given a divisorial discrete valuation 'centered at infinity' on C[x,y], we show that its sign on C[x,y] (i.e. whether it is negative or non-positive on non-constant polynomials) is completely determined by the sign of its value on the 'last key form' (key forms being the avatar of 'key polynomials' of valuations (introduced by [Maclane, 1936]) in 'global coordinates'). The proof involves computations related to the cone of curves on certain compactifications of C^2 and gives a characterization of the divisorial valuations centered at infinity whose 'skewness' can be interpreted in terms of the 'slope' of an extremal ray of these cones, yielding a generalization of a result of [Favre-Jonsson, 2007]. A by-product of these arguments is a characterization of valuations which 'determine' normal compactifications of C^2 with one irreducible curve at infinity in terms of an associated 'semigroup of values'.

연구 동기 및 목표

• 무한대에 중심을 두는 ℂ[x,y]에서의 계수 이산 비율이 ℂ[x,y]∖ℂ에서 음수 또는 비음수인지 판별하는 문제를 해결하는 것.
• 국소적 계산이 아닌 전역 불변량을 사용하여 이러한 비율의 부호에 대한 효과적인 기준을 제공하는 것.
• ℂ²의 정규 컴팩티피케이션에서 무한대에 하나의 기약 곡선이 존재하는 것을 결정하는 계수 비율을 그 값의 모노이드로 특성화하는 것.
• 지난 [FJ07]의 결과를 일반화하기 위해, 비율의 기울기와 ℂ²의 컴팩티피케이션에서 곡선의 锥의 극단적 반사의 기울기 사이의 관계를 규명하는 것.

제안 방법

• MacLane 이론의 핵심 다항식의 전역적 대체물인 핵심 형식을 중심 계산 도구로 사용하여 ℂ[x,y]에서 비율의 행동을 분석한다.
• Mon13에서 제시된 대수적 수축 기준을 적용하며, 이는 핵심 형식에 의존하여 컴팩티피케이션에서 곡선의 수축 가능성을 결정한다.
• 도함수 δ에 의해 생성된 ℂ²의 프로젝티브 컴팩티피케이션 X̄에서 곡선의 锥과 네프 곡선의 锥을 분석하며, 특히 R^δ의 구조를 통해 분석한다.
• 핵심 형식의 마지막 형식의 δ-값의 기하적 해석에 의존하여 δ가 ℂ[x,y]에서 음수 또는 비음수인지 결정하며, 이는 곡선의 교차 형식과 같은 대수적 성질과 기하 불변량을 연결한다.
• Grauert의 기준을 사용하여 곡선이 수축 가능한지 판단하며, 이는 δ(g_{n+1}) > 0와 동치이며, 이는 대수적 컴팩티피케이션의 존재와 관련된다.
• δ의 값의 모노이드와 대수적 vs 해석적 컴팩티피케이션의 존재 사이의 연결 고리를 설정하며, 값의 모노이드만으로는 이들을 구분할 수 없음을 보여준다.

실험 결과

연구 질문

• RQ1 무한대에 중심을 두는 ℂ[x,y]에서의 계수 이산 비율이 ℂ[x,y]∖ℂ에서 음수 또는 비음수인지 효과적으로 판별할 수 있는 방법은 무엇인가?
• RQ2 ℂ²의 컴팩티피케이션에서 곡선의 锥에 대한 비율의 부호의 기하적 의미는 무엇인가?
• RQ3 ℂ[x,y]에서의 준도함수 δ의 값의 모노이드는 ℂ²의 대수적 컴팩티피케이션과 해석적 컴팩티피케이션을 구분할 수 있는가?
• RQ4 δ의 마지막 핵심 형식의 값은 δ가 ℂ[x,y]에서의 부호를 어떻게 결정하는가?
• RQ5 무한대에 중심을 두는 계수 준도함수 δ가 ℂ[x,y]에서 언제 대수적 컴팩티피케이션을 유도하는가?

주요 결과

• ℂ[x,y]에서의 계수 이산 비율 ν의 부호는 ν가 마지막 핵심 형식 g_{n+1}에서 취하는 값의 부호에 의해 완전히 결정된다: ν는 ℂ[x,y]∖ℂ에서 비음수일 필요충분조건은 ν(g_{n+1}) ≤ 0이다.
• ℂ[x,y]에서의 계수 준도함수 δ는 ℂ[x,y]∖ℂ에서 음수일 필요충분조건은 δ(g_{n+1}) > 0 이거나, δ(g_{n+1}) = 0 이고 어떤 이전의 핵심 형식 g_k 가 다항식이 아닐 때이다.
• ℂ[x,y]의 비상수 원소 f에 대해 δ(f)/deg(f)의 하한은 δ(g_{n+1}) ≥ 0 이면 δ(g_{n+1}) / d_δ 와 같고, δ(g_{n+1}) < 0 이면 α(δ) 보다 엄밀히 크다.
• δ에 의해 결정되는 ℂ²의 컴팩티피케이션은 마지막 핵심 형식 g_{n+1}가 다항식이면 대수적이고, 그렇지 않으면 해석적일 뿐이다.
• 값의 모노이드 N_δ = N_δ′ 이지만 δ는 대수적 컴팩티피케이션을 결정하고 δ′는 그렇지 않은 서로 다른 준도함수 δ와 δ′ 가 존재하므로, 값의 모노이드만으로는 대수적 컴팩티피케이션과 해석적 컴팩티피케이션을 구분할 수 없다.
• X̄의 곡선의 锥에서 극단적 반사의 기울기는 δ(g_{n+1})와 직접적으로 관련되어 있으며, 이는 [FJ07]의 결과를 전역 설정으로 일반화한다.