[논문 리뷰] Analytic Compactifications of C^2 part I - curvettes at infinity

Pinaki Mondal|arXiv (Cornell University)|2011. 10. 31.

Advanced Differential Equations and Dynamical Systems참고 문헌 14인용 수 6

한 줄 요약

이 논문은 무한대에서의 커브렛(curvettes) — 즉 무한대 곡선과 횡단하는 곡선의 분지 — 를 분석하여 ℂ²의 정상 해석적 컴팩티피케이션을 연구한다. 이는 무한대에서의 극소적 이산 복소수 평가가 어떤 컴팩티피케이션에 대응하는지에 대한 완전한 특성화를 제공하며, 그러한 컴팩티피케이션이 존재하기 위한 필요충분조건이 Favre와 Jonsson(2004)의 정의에 따라 평가가 양의 기울기를 지닌다는 것을 보여준다. 이 작업은 이전의 특이점과 무한대에서의 곡선 구성에 관한 결과를 일반화하고 개선하며, 다항형 자기동형사상과 ℙ²가 정칙 컴팩티피케이션으로서 유일함을 보여주는 고전 정리에 대한 새로운 증명을 제시한다.

ABSTRACT

We study normal analytic compactifications of C^2 and describe their singularities and configuration of curves at infinity, in particular improving and generalizing results of (Brenton, Math. Ann. 206:303--310, 1973). As a by product we give new proofs of Jung's theorem on polynomial automorphisms of C^2 and Remmert and Van de Ven's result that CP^2 is the only smooth analytic compactification of C^2 for which the curve at infinity is irreducible. We also give a complete answer to the question of existence of compactifications of C^2 with prescribed divisorial valuations at infinity. In particular, we show that a valuation on C(x,y) centered at infinity determines a compactification of C^2 iff it is "positively skewed" in the sense of (Favre and Jonsson, Ann. Sci. Ecole Norm. Sup. 40(2):309--349, 2007).

연구 동기 및 목표

• ℂ²의 정상 해석적 컴팩티피케이션을 연구하고, 그 특이점과 무한대에서의 곡선 구성 구조를 기술한다.
• Breteille(1973)의 무한대에서의 곡선과 그 특이점에 대한 구조에 관한 결과를 일반화하고 개선한다.
• Jung의 정리 — 즉 ℂ²의 다항형 자기동형사상에 관한 것과 — 및 Remmert–Van de Ven의 결과 — 즉 무한대에서 기약 곡선을 가진 정칙 컴팩티피케이션으로서 ℙ²가 유일하다는 것 — 에 대한 새로운 증명을 제공한다.
• 무한대에서 주어진 극소적 평가에 대해 컴팩티피케이션의 존재 문제에 대한 완전한 해답을 제시한다.

제안 방법

• 무한대에서의 커브렛 — 즉 무한대 곡선과 횡단하는 곡선의 분지 — 을 ℙ²로의 비메르모르픽 사상 하에서의 매개변수화를 통해 분석한다.
• 특이점의 해소에 대한 이중 그래프를 사용하여 무한대에서의 곡선 구성과 그 특이점을 연구한다.
• Grauert의 기준과 Cramer의 법칙을 적용하여 평가 자료에서 유도된 행렬의 교차 형식과 행렬식을 연결한다.
• 극소적 평가의 핵심 다항식과 일반적 핵심 형식을 사용하여 기울기(스키우네스)를 계산하고, 평가가 컴팩티피케이션을 정의하는지 여부를 판단한다.
• 일반적인 내림차순 Puiseux 급수의 형식적 Puiseux 쌍을 사용하여 일반적 핵심 형식의 평가를 계산하고, 이를 통해 기울기를 산출한다.
• 특히 Favre와 Jonsson(2004)의 정의에 따르면 무한대에 중심을 두는 이산 평가 이론, 특히 기울기 개념을 적용하여 타당한 컴팩티피케이션을 특성화한다.

실험 결과

연구 질문

• RQ1 무한대에 중심을 두는 ℂ(x,y) 위의 극소적 이산 평가 중 어떤 것이 ℂ²의 정상 해석적 컴팩티피케이션을 결정하는가?
• RQ2 정상 해석적 컴팩티피케이션에서의 무한대 곡선의 가능한 구성과 특이점은 무엇인가?
• RQ3 컴팩티피케이션의 특이점과 무한대에서의 곡선 특이점은 일반적인 무한대 커브렛의 특이점 해소와 어떻게 관련되어 있는가?
• RQ4 무한대에서 주어진 곡선 구성이 존재하는 데 필요한 조건은 무엇인가?
• RQ5 평가의 기울기와 그 평가가 무한대 곡선에서의 소멸 차수로 작용하는 컴팩티피케이션의 존재성 사이에는 어떤 관계가 있는가?

주요 결과

• 주어진 극소적 이산 평가 ν가 무한대에 중심을 두고 있을 때, ℂ²의 정상 해석적 컴팩티피케이션이 존재하기 위한 필요충분조건은 ν가 양의 기울기를 지닌다는 것이다. 즉, α(ν) > 0 이며, 여기서 α(ν)는 ν의 기울기이다.
• ℂ²의 컴팩티피케이션 X̄의 특이점 수는 무한대 곡선의 기약 성분 수 k의 최대 2k개 이하이다. 최소 컴팩티피케이션의 경우 이 상한은 k+1로 강화된다.
• 최소 컴팩티피케이션은 유일한 특이점 P를 가지며, 모든 곡선이 오직 P에서만 만난다. 또한 모든 성분에서 P를 제외한 부분은 ℂ와 동형이다.
• 무한대 곡선의 각 기약 성분은 최대 하나의 특이점을 가지며, 비교교차 특이점(비교교차가 아닌 특이점)이 존재할 경우 전체 곡선 구성은 수축 가능하며, 이 경우 컴팩티피케이션은 최소가 아니다.
• 무한대에 중심을 두는 극소적 평가 ν의 기울기 α(ν)는 α(ν) = -ν(gₙu(x,y,ξ))/p² 로 주어지며, 여기서 gₙu는 일반적 핵심 형식이고 p는 y에 대한 차수이다.
• 기본적인 내림차순 Puiseux 급수의 형식적 Puiseux 쌍 (qᵢ, pᵢ)으로부터 α(ν)의 기울기를 명시적으로 계산할 수 있으며, 이는 pᵢ의 곱과 qᵢ/pᵢ의 유리 조합을 포함하는 공식을 유도한다.