[논문 리뷰] Algebraic models of the Euclidean plane

Jérémy Blanc, Adrien Dubouloz|arXiv (Cornell University)|2017. 08. 27.

Algebraic Geometry and Number Theory인용 수 1

한 줄 요약

이 논문은 매끄러운 실대수적 표면들 간의 비라티오널 디피오모피즘에 대해 구분할 수 있는 새로운 비라티오널 불변량인 실대수적 로그 코다이라 차원을 도입한다. 유리 실대수적 표면들로 이루어진 무한한 가닥을 구성함으로써, 유리 homology 가 자명하고 실부분이 R²에 디피오모르릭인 표면들을 제시함으로써, 유클리드 평면의 비라티오널 디피오모르릭이 아닌 모델이 무한히 존재함을 증명한다 — 이는 컴acts 경우와는 반대로, 코다이라 차원 0, 1, 2에 대한 '가짜 실평면'에 관한 핵심 질문에 답한다.

ABSTRACT

We introduce a new invariant, the real (logarithmic)-Kodaira dimension, that allows to distinguish smooth real algebraic surfaces up to birational diffeomorphism. As an application, we construct infinite families of smooth rational real algebraic surfaces with trivial homology groups, whose real loci are diffeomorphic to $\mathbb{R}^2$, but which are pairwise not birationally diffeomorphic. There are thus infinitely many non-trivial models of the euclidean plane, contrary to the compact case.

연구 동기 및 목표

• 유클리드 평면 R²의 비라티오널 디피오모르릭이 아닌 실대수적 모델이 무한히 존재하는지 여부를 밝히는 데 목적이 있다.
• 비라티오널 디피오모르피즘에 대해 불변인 실대수적 로그 코다이라 차원을 정의하고 이를 입증하는 데 목적이 있다. 이는 고전적 코다이라 차원이 갖지 못하는 성질이다.
• 모든 코다이라 차원 κ = 0, 1, 2에 대해, 자명한 유리 homology와 실부분이 R²에 디피오모르릭인 유리 실대수적 표면의 명시적 가닥을 구성하는 데 목적이 있다.
• κ = 1 및 2인 경우, 이러한 모델이 위상적으로 수축 가능한 복소화를 가질 수 있음을 보여, 최소성의 개념을 강화하는 데 목적이 있다.
• 일반형 가짜 실평면의 비자명한 실형을 분류하여, 복소화가 이sovolumetric이지만 실형이 이sovolumetric이지 않은 경우에도 실형의 비동형성이 유지됨을 보여주는 데 목적이 있다.

제안 방법

• 매끄러운 실대수적 표면 S에 대해, S가 SNC 경계를 갖는 매끄러운 프로젝티브 완비화를 갖는 경우, 그 캐논리컬 디바이저를 기반으로 실대수적 로그 코다이라 차원 κR(S)를 정의한다.
• 실비라티오널 사상의 행동을 분석함으로써, 고전적 코다이라 차원과 달리 κR(S)가 비라티오널 디피오모르피즘에 대해 불변임을 증명한다.
• 실점에서의 반복 실블로우업을 통해 표면 Si = Vi \ (Γi ∪ Tp0(Γi) ∪ ⋃ Ej)를 구성함으로써, 경계 곡선 Γi와 그 탄젠트 선들의 총 전이를 제어할 수 있도록 한다.
• 총 전이에서 필요한 계수 관계를 확보하기 위해 조건 4b − a = ±1을 사용함으로써, 캐논리컬 디바이저 및 따라서 코다이라 차원을 제어할 수 있다.
• 복소화가 이sovolumetric임을 보이기 위해, [x:y:z] ↦ [x+iy:x−iy:z/2] 형태의 프로젝티브 변환 θ를 활용한다. 이는 S1과 S2의 복소화가 이sovolumetric임을 보여주지만, 실형은 이sovolumetric이지 않음을 시사한다.
• 기존의 Q-acyclic 표면 및 수축 가능한 복소화에 관한 결과를 활용하여, 구성된 표면들이 자명한 유리 homology를 갖는 가짜 실평면임을 확인한다.

실험 결과

연구 질문

• RQ1 유리이고 자명한 유리 homology를 갖는 실대수적 표면 S가 존재하는가? 이때 S(R) ≅ R² 이지만 S는 A²_R에 비라티오널 디피오모르픽이 아니며, 이러한 표면이 무한히 존재하는가?
• RQ2 실대수적 로그 코다이라 차원은 복소수 위에서 비라티오널 동치이지만 실수 위에서 비라티오널 동치가 아닌 실대수적 표면들을 구분할 수 있는가?
• RQ3 코다이라 차원 1 또는 2를 갖는 가짜 실평면 중 위상적으로 수축 가능한 복소화를 갖는 것이 존재하는가?
• RQ4 일반형 가짜 실평면의 실형은 비라티오널 디피오모르피즘 하에서 어떻게 행동하는가? 특히 복소화가 이sovolumetric일 경우 어떻게 되는가?
• RQ5 실대수적 코다이라 차원은 고전적 방법과 유사하게 계산될 수 있는가? 자연적인 기하 조건 하에서 고전적 값으로 복구되는가?

주요 결과

• 실대수적 로그 코다이라 차원 κR(S)는 비라티오널 디피오모르피즘에 대해 불변이며, 이는 이러한 동치 관계에 따라 실대수적 표면들을 구분하는 데 새로운 도구를 제공한다.
• 모든 κ ∈ {0,1,2}에 대해, 자명한 유리 homology ˜Hi(SC;Q)와 S(R) ≅ R²를 갖는 매끄러운 유리 실대수적 표면 S의 무한한 가닥이 존재하며, 이들은 상호간에 비라티오널 디피오모르픽이 아니다.
• κ = 1 및 2인 경우, 구성된 표면들은 복소화 SC가 위상적으로 수축 가능하도록 선택할 수 있으며, 이는 강력한 최소성 조건을 만족한다.
• 코다이라 차원 0인 가짜 실평면 S1은 κR(S1) = −∞이며 A²_R에 비라티오널 디피오모르픽이지만, 코다이라 차원 2인 S2는 κR(S2) = 2이며 A²_R에 비라티오널 디피오모르픽이 아니다.
• S1과 S2의 복소화는 변환 θ에 의해 이sovolumetric이지만, 그들의 실형은 이sovolumetric이 아니며, 이는 복소화가 동치이더라도 실형이 초월적일 수 있음을 보여준다.
• 계수 조건 4b − a = ±1을 갖는 반복 실블로우업을 통해 표면를 구성함으로써, 캐논리컬 디바이저 및 따라서 실대수적 코다이라 차원을 정밀하게 제어할 수 있다.