[논문 리뷰] Polynomials with general C^2-fibers are variables. I

Shulim Kaliman|ArXiv.org|1999. 12. 07.

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

한 줄 요약

이 논문은 $H_3$가 자명하고 단위원이 자명하며, 일반적인 섬유가 $\mathbb{C}^2$인 곡선 위로 사상하는 조건을 만족하는 매끄러운 아핀 3차원 다양체 $X'$이 $X' \setminus Z$에 비등질적 특이점이 없을 경우 $\mathbb{C}^3$와 동형임을 증명한다. 따라서 $\mathbb{C}^3$에서 일반적인 $\mathbb{C}^2$-섬유를 가지는 다항함수는 변수임을 보여주며, 이는 2차원에서의 Gutwirth 결과를 3차원으로 확장한다.

ABSTRACT

Suppose that X' is a smooth affine algebraic variety of dimension 3 with H_3(X')=0 which is a UFD and whose invertible functions are constants. Suppose that Z is a Zariski open subset of X which has a morphism p : Z -> U into a curve U such that all fibers of p are isomorphic to C^2. We prove that X' is isomorphic to C^3 iff none of irreducible components of X'-Z has non-isolated singularities. Furthermore, if X' is C^3 then p extends to a polynomial on C^3 which is linear in a suitable coordinate system. As a consequence we obtain the fact formulated in the title of the paper.

연구 동기 및 목표

• 일반적인 $\mathbb{C}$-섬유를 가지는 다항함수들이 2차원에서 변수임을 분류하는 Gutwirth의 정리에 대한 3차원 해석을 수립하기 위해.
• 특수한 경우의 $\mathbb{C}^3$의 임bedding 추측을 해결하기 위해, 즉 기약 다항함수의 $\mathbb{C}^2$-섬유가 변수임을 제안하는 바이다.
• 위상수학적 및 대수적 불변량을 사용하여, $\mathbb{C}^2$- цили더드 구조를 가진 아핀 3차원 다양체가 $\mathbb{C}^3$와 동형이 되는 조건을 특성화하기 위해.
• Makar-Limanov 불변량이 표준적인 $\mathbb{C}^3$와 이국적인 $\mathbb{C}^3$의 기하학적 구조를 어떻게 구분하는지 명확히 하기 위해.

제안 방법

• 특이점이 비등질적인 경우, $\mathbb{C}^2$-цели드르의 보완부분에 대한 Makar-Limanov 불변량을 사용하여 아핀 3차원 다양체의 비자명성을 탐지하기 위해.
• 지역적으로 멱영인 미분연산자(LNDs) 이론과 그 확장 기법을 총합 $X'$에 적용하기 위해, 특히 $d$-필터링과 관련된 구조를 사용하기 위해.
• $X'$가 단위원이 자명하고 $e(X')=1$이며 UFD임을 이용하여, 적절한 조건 하에서 $X'$가 $\mathbb{C}^3$와 동형임을 유도하기 위해.
• Miyanishi의 정리의 강화된 형태를 $\mathbb{C}^2$-цели드르에 적용하여, $p: Z \to U$의 사상이 $X'$ 위의 정칙 함수로 확장됨을 보장하기 위해.
• $A' = \mathcal{O}(X')$의 구조와 $\mathbb{C}[x,y,z,1/f(x)]$로의 임베딩을 이용하여, 미분연산자와 그 핵의 행동을 분석하기 위해.
• 만약 $X'$가 매끄럽고 $H_3(X')=0$이면, $X' \setminus Z$에 비등질적 특이점이 없을 경우 $X' \cong \mathbb{C}^3$임을 증명할 수 있고, 그 반대의 경우 비표준적인 기하학적 구조를 가지며 비자명한 ML-불변량을 가짐을 증명하기 위해.

실험 결과

연구 질문

• RQ1 일반적인 $\mathbb{C}^2$-섬유를 가지는 매끄러운 아핀 3차원 다양체 $X'$가 $\mathbb{C}^3$와 동형이 되는 조건은 무엇인가?
• RQ2 일반적인 $\mathbb{C}^2$-섬유를 가지는 $Z \subset X'$의 조르기 열린 부분집합에서의 사상 $p: Z \to U$가 $X'$ 위의 정칙 함수로 확장될 수 있는가?
• RQ3 Makar-Limanov 불변량이 $\mathbb{R}^6$ 위의 표준적인 $\mathbb{C}^3$와 이국적인 대수기하학적 구조를 어떻게 식별하는가?
• RQ4 일반적인 $\mathbb{C}^2$-섬유를 가지는 다항함수들이 변수임을 보여주는 Gutwirth의 3차원 정리가 온화한 위상수학적 및 대수적 조건 하에서 확립될 수 있는가?
• RQ5 $X' \setminus Z$의 특이점은 $X'$의 동형 타입과 그 자동사상군의 구조에 어떤 영향을 미치는가?

주요 결과

• 만약 $X'$가 매끄러운 아핀 3차원 다양체이고 $H_3(X')=0$, 단위원이 자명하며, $X'$의 조르기 열린 부분집합 $Z$가 곡선 $U$ 위의 $\mathbb{C}^2$-цели드르이면, $X' \cong \mathbb{C}^3$이 되기 위한 필요충분조건은 $X' \setminus Z$의 모든 기약 성분이 최대한의 등질적 특이점을 가진다는 것이다.
• $\mathbb{C}^2$-섬유를 가지는 사상 $p: Z \to U$는 $X'$ 위의 정칙 함수로 확장되며, 이 함수는 $\mathbb{C}^3$의 적절한 다항함수 좌표계에서 변수이다.
• $X' \setminus Z$에 비등질적 특이점을 가지는 성분이 포함되어 있으면, $X'$는 $\mathbb{C}^3$와 동형이 아니지만 $\mathbb{R}^6$와 미분동형인 이국적인 대수기하학적 구조이며, 비자명한 Makar-Limanov 불변량을 가진다.
• 이러한 이국적 $X'$의 Makar-Limanov 불변량은 비자명하며, 특히 $\mathrm{ML}(A') = \mathbb{C}[x]|_{X'}$임을 보여주며, 이는 $x$가 모든 정칙 $\mathbb{C}_+$-작용에 대해 고정됨을 의미한다.
• 결과적으로, $\mathbb{C}^3$ 위의 모든 다항함수 중 일반적인 섬유가 $\mathbb{C}^2$와 동형이면 변수임을 확인하였으며, 이는 Gutwirth의 2차원 결과를 3차원으로 확장한 것이다.
• 증명은 국소적으로 멱영인 미분연산자를 부분환에서 전체 정칙 함수환으로 확장하는 데 기반하며, $d$-필터링과 관련된 구조를 사용하여 미분연산자의 핵을 분석한다.