[논문 리뷰] Simple birational extensions of the polynomial ring $\C^{[3]}$

Sh. Kaliman, Vénéreau외 1명|ArXiv.org|2001. 04. 20.

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

한 줄 요약

이 논문은 4차원에서의 Abhyankar-Sathaye 임bedding 문제를 조사하며, p = f(x,y)u + g(x,y,z) 형태의 다항식으로 정의된 ℂ³의 ℂ⁴로의 임베딩에 초점을 맞춘다. 순환성 및 기타 기하 조건 하에서, 이러한 p가 ℂ[x,y,z,u]에서의 변수임을 증명하며, 이는 Sathaye의 결과를 ℂ³에서 ℂ⁴로 일반화하고, 이러한 초표면이 ℂ³ 또는 이국적 ℂ³들과 동형임을 판별하는 기준을 제공한다.

ABSTRACT

The Abhyankar-Sathaye Problem asks whether any biregular embedding of affine spaces $A^m_k o A^n_k$ can be rectified, that is, is equivalent to a linear embedding up to an automorphism of the target space. Here we study this problem for the embeddings $C^3 o C^4$ whose image $X$ is given in $C^4$ by an equation $p=f(x,y)u+g(x,y,z)=0$, where $f\in C[x,y],$ $f eq 0$ and $g\in C[x,y,z]$. Under certain additional assumptions we show that, indeed, the polynomial $p$ is a variable of the polynomial ring $C[x,y,z,u]$ (i.e., a coordinate of a polynomial automorphism of $C^4$). This is an analog of a theorem due to Sathaye which concerns the case of embeddings $C^2 o C^3$. Besides, we generalize a theorem of Miyanishi giving, for a polynomial $p$ as above, a criterion for as when $X$ is isomorphic to $C^3$.

연구 동기 및 목표

• p = f(x,y)u + g(x,y,z)로 정의된 ℂ⁴ 내의 초표면 X = p⁻¹(0)이 ℂ³과 동형일 조건을 규명하는 것.
• p가 다항식환 ℂ[x,y,z,u]에서 좌표(변수)인지, 즉 ℂ⁴의 다항식 자기동형사상으로 확장 가능한지를 조사하여 4차원에서의 Abhyankar-Sathaye 임베딩 문제를 다루는 것.
• 유일인수분해역할을 하는 다항식환의 애자일 변형과 실린드릭 분할자들을 통해 ℂ³ 내의 순환 면의 Sathaye 결과를 3차원 다양체로 일반화하는 것.
• 수식 π: C → Γ에서 C는 변형의 중심이며, C의 사영을 통해 순환성과 ℂ³로의 동형성에 대한 기준을 제공하는 것.
• 형사 ρ = (x,p): ℂ⁴ → ℂ²가 모든 섬유가 ℂ²와 동형이 되는 자명한 가닥을 이룰 수 있는 기하적 및 대수적 조건을 탐색하는 것.

제안 방법

• 유일인수분해역할을 하는 다항식환(UFD)의 애자일 변형, 특히 실린드릭 분할자에 沿한 단순 변형을 사용한다.
• 순환 다양체 이론을 적용하고, Makar-Limanov 및 Derksen 불변량의 행동을 분석하여 자동사상의 비자명성을 탐지한다.
• 다항식환 내에서 잔여 x-변수와 x-변수의 개념을 활용하여 p = f(x,y)u + g(x,y,z)의 구조를 분석한다.
• 문제를 D(f) ∩ D(g) = C 및 Γ = f⁻¹(0) ⊂ ℂ²로 정의된 사영 π: C → Γ로 환원하며, 영점에 유도된 사상의 성질을 분석한다.
• y에 대한 차수에 대한 귀납법을 적용하여, 조건 (41)을 만족하는 f는 f = Φ(x, a(x)y + zQ(x,z)) 형태여야 하며, 이는 p가 x-변수임을 암시한다.
• Quillen-Suslin 정리와 Dolgachev-Weissfeiler 추측을 활용하여, 가닥의 국소적 자명성과 잠재적 정규화 가능성에 대해 논의한다.

실험 결과

연구 질문

• RQ1 p = f(x,y)u + g(x,y,z)로 정의된 ℂ⁴ 내의 초표면 X = p⁻¹(0)이 순환적일 조건은 무엇인가, 즉 호모로지의 관점에서 수축 가능할 조건은?
• RQ2 이러한 초표면 X가 ℂ³과 동형일 때는 언제이며, ℝ⁶와 미분동형이지만 ℂ³와 동형이 아닌 이국적 ℂ³일 때는 언제인가?
• RQ3 p = f(x,y)u + g(x,y,z)가 ℂ[x,y,z,u]에서의 변수인가, 즉 ℂ⁴의 다항식 자기동형사상으로 확장 가능한가?
• RQ4 X ≅ ℂ³일 경우, 형사 ρ = (x,p): ℂ⁴ → ℂ²가 모든 섬유가 ℂ²와 동형이 되는 자명한 가닥을 이룬다.
• RQ5 p가 잔여 x-변수일 경우, 특히 f와 g가 조건 (40)을 만족할 때, 이것이 x-변수임을 의미할 수 있는가?

주요 결과

• p = f(x,y)u + g(x,y,z)로 정의된 ℂ⁴ 내의 초표면 X = p⁻¹(0)이 순환적이라면, ℝ⁶와 미분동형이다.
• X가 ℂ³과 동형인 경우, 모든 섬유 X_λ = p⁻¹(λ)는 ℂ³와 동형이며, 형사 ρ = (x,p): ℂ⁴ → ℂ²의 모든 섬유는 ℂ²와 동형이다.
• p = f(x,y)u + g(x,y,z)가 잔여 x-변수이면, f와 g가 [15]의 함수적 조건 (40)을 만족할 경우, ℂ[x,y,z,u] 내에서 x-변수이다.
• 증명은 조건 (41) 하에서 f는 반드시 f = Φ(x, a(x)y + zQ(x,z)) 형태여야 하며, 이는 p가 x-변수임을 암시한다.
• C = {f = g = 0} 및 Γ = f⁻¹(0) ⊂ ℂ²일 때, 사영 π: C → Γ를 기반으로 한 순환성과 ℂ³로의 동형성에 대한 기준을 제공한다.
• 많은 경우에서 p가 ℂ⁴ 내의 변수임을 확인하고, 가닥 ρ가 국소적으로 자명함을 보였지만, 일반적인 경우는 여전히 열려있다.