[논문 리뷰] Algebraic Surfaces Holomorphically Dominable by C2

Stephen S. Y. Lu, Gregery T. Buzzard|arXiv (Cornell University)|2000. 05. 23.

Geometry and complex manifolds인용 수 9

한 줄 요약

이 논문은 코다이라 차수와 기본군 불변량을 사용하여 ℂ²에 의해 지배되는 대수적 표면을 분류한다. 코다이라 차수가 2 미만인 표면(일부 K3 표면 제외)에 대해, 지배 가능성은 ℂ의 조르기-밀도인 헬로모르픽 상의 존재와 동치임을 보여준다. 핵심 결과는 이러한 표면들이 유한 점 집합의 작은 이웃을 제거한 후에도 여전히 지배 가능하다는 것으로, 비타원형이거나 비쿠머 K3 표면을 제외한 경우에만 예외가 존재한다.

ABSTRACT

An n-dimensional complex manifold M is said to be (holomorphically) dominable by $\CC^n$ if there is a map $F:\CC^n a M$ which is holomorphic such that the Jacobian determinant $\det(DF)$ is not identically zero. Such a map F is called a dominating map. In this paper, we attempt to classify algebraic surfaces X which are dominable by $\CC^2$ using a combination of techniques from algebraic topology, complex geometry and analysis. One of the key tools in the study of algebraic surfaces is the notion of Kodaira dimension (defined in section 2). By Kodaira's pioneering work and its extensions, an algebraic surface which is dominable by $\CC^2$ must have Kodaira dimension less than two. Using the Kodaira dimension and the fundamental group of X, we succeed in classifying algebraic surfaces which are dominable by $\CC^2$ except for certain cases in which X is an algebraic surface of Kodaira dimension zero and the case when X is rational without any logarithmic 1-form. More specifically, in the case when X is compact (namely projective), we need to exclude only the case when X is birationally equivalent to a K3 surface (a simply connected compact complex surface which admits a globally non-vanishing holomorphic 2-form) that is neither elliptic nor Kummer (see sections 3 and 4 for the definition of these types of surfaces).

연구 동기 및 목표

• ℂ²에 의해 지배되는 대수적 표면을 복소기하학과 대수적 위상수학을 사용하여 분류하는 것.
• 표면이 ℂ²에서의 지배적인 헬로모르픽 사상이 존재하는 정확한 조건을 규명하는 것.
• 유한 점 집합의 작은 이웃을 제거한 후에도 지배 가능성의 유지 여부를 조사하는 것.
• 코다이라 차수와 기본군이 지배 가능성 결정에 미치는 역할를 명확히 하는 것.
• 비예외적인 경우에 지배 가능성과 ℂ의 조르기-밀도인 헬로모르픽 상 존재 간의 동치성 문제를 해결하는 것.

제안 방법

• 표면의 범주를 제한하기 위해 코다이라 차수를 주요 불변량으로 사용한다.
• 헬로모르픽 사상과 야코비안의 영이 아닌 조건 등을 포함한 복소기하학 및 분석 기법을 적용한다.
• 아라카elian의 정리를 활용하여 특정 도메인에서 로그 항을 근사하는 정수함수를 구성한다.
• 정수 격자의 상을 변형하고 주어진 이웃 V를 피하기 위해 ℂ² 위에 동형사상 F₁과 F₂를 구성한다.
• 야코비안 기준을 사용하여 F = F₁⁻¹F₂⁻¹Φ의 합성 사상이 이웃의 보다 작은 이웃의 외부로 헬로모르픽이고 단사임을 보장한다.
• 브로디의 보조정리와 K3 표면의 모듈리 공간 내 조밀성 결과를 활용하여 모든 K3 표면으로의 추측적 확장에 기여한다.

실험 결과

연구 질문

• RQ1 코다이라 차수가 2 미만인 대수적 표면 중 ℂ²에 의해 지배되는 것은 무엇인가?
• RQ2 ℂ²에 의한 지배 가능성은 이러한 표면에서 ℂ의 조르기-밀도인 헬로모르픽 상 존재와 동치인가?
• RQ3 표면에서 유한 점 집합의 작은 이웃을 제거한 후에도 지배 가능성은 유지되는가?
• RQ4 기본군과 코다이라 차수가 함께 지배 가능성에 어떻게 영향을 미치는가?
• RQ5 성질 C(ℂ의 헬로모르픽 상의 대수적 탈퇴성)의 실패와 지배 가능성 간의 동치성에 예외가 있는가?

주요 결과

• 코다이라 차수가 2 미만인 프로젝티브 표면에 대해, ℂ²에 의한 지배 가능성은 성질 C의 실패, 즉 ℂ의 조르기-밀도인 헬로모르픽 상 존재와 동치이다.
• 이 동치성의 예외는 타원형 또는 쿠머 K3 표면과 비자명하게 동형인 표면로, 추가 조건이 충족되지 않으면 ℂ²에 의해 지배되지 않는다.
• 유한 점 집합의 작은 이웃을 제거한 후에도 ℂ²에 의한 지배 가능성은 유지되며, 이는 이러한 이웃을 피하는 헬로모르픽 임bedding의 명시적 구성에 의해 보여진다.
• K3 표면과 비자명하게 동형이 아닌 코다이라 차수 0 표면에 대해서는 ℂ²에 의한 지배 가능성 조건 없이 항상 성립한다.
• 비-K3 케이스에서, 정리 1.2의 기본군 조건—짝수 차수 ≤ 4인 아벨 군의 유한 확장—은 지배 가능한 표면를 특징짓는다.
• 결론 6.5는 복소 토러스 또는 쿠머 K3 표면의 비메르모르픽 모델에서 작은 이웃을 제거한 경우에도 여전히 ℂ²에 의한 지배 가능성 유지됨을 확인한다.