[논문 리뷰] A simply connected numerical Godeaux surface with ample canonical class

Igor Dolgachev, C. Werner|ArXiv.org|1997. 04. 25.

Algebraic Geometry and Number Theory참고 문헌 6인용 수 27

한 줄 요약

이 논문은 $\sigma$-불변의 5차 표면을 사용하여, 네 개의 단순 타원형 특이점을 가진 $\times\times\times\mathbb{P}^3$ 속의 표면을 구성함으로써, 캐논ical 클래스가 충분한 최초의 알려진 단순 연결 수치적 고데오 표면을 구축한다. 특이점을 해결하고 이중 평면 모델을 분석함으로써, 저자들은 표면이 $(-2)$-곡선을 포함하지 않음을 증명하여, 단순 연결성과 캐논ical 클래스의 충분성의 확인을 이룬다.

ABSTRACT

We prove that a recent construction of a numerical Godeaux surface due to P. Craighero and R. Gattazzo is simply connected, and show how to realize their construction as a double plane. By proving that the surface contains no (-2)-curves, we obtain that this is the first example of a simply connected surface with vanishing geometric genus and ample canonical class.

연구 동기 및 목표

• 충분한 캐논ical 클래스를 가진 새로운 단순 연결 수치적 고데오 표면의 예를 구축하는 것.
• 표면에 $(-2)$-곡선이 존재하지 않음을 보여줌으로써 크레이거로-가타초 표면이 단순 연결임을 증명하는 것.
• 표면을 특정한 특이점을 가진 10차 곡선을 분지로 하는 이중 평면 모델로의 밀링을 제공하는 것.
• 기존의 예들, 즉 바르로 표면들과 토퍼션 기본군이 있는 고전적 고데오 표면들과의 차이를 밝혀내는 것.
• 이 표면이 바르로 표면들과 변형 동치인지, 아니면 새로운 단순 연결 수치적 고데오 표면의 새로운 가닥에 속하는지 조사하는 것.

제안 방법

• 4차 순서의 프로젝티브 자기동형사상 $\sigma$를 갖는 $\mathbb{P}^3$ 속의 5차 표면을 구성하여, 고정점이 사전에 지정된 조건을 만족하도록 한다.
• 특정 형태의 5차 동차 다항식 $F_5$를 사용하여, 매개변수들이 $u^3 + u^2 - 1 = 0$ 를 만족하도록 하여, 네 개의 좌표점에서 $z^2 + x^3 + y^6 = 0$ 형식의 특이점을 확보한다.
• 최소 해소 $\pi: V \to S$를 통해 특이점을 해결함으로써, $p_g = 0$, $K_V^2 = 1$ 인 일반 표면의 최소 표면 $V$를 얻는다.
• $\sigma^2$-불변 선 $r$ 에 대응하는 매끄러운 유리곡선 $R = \pi^{-1}(r)$ 를 식별하고, $R^2 = -3$, $K_V \cdot R = 1$ 이 되도록 한다.
• $\sigma^2$ 의 다섯 개의 고정점 $Q_0, \dots, Q_4$ 를 $V$ 상에서 블로우업하여 $V'$ 를 얻고, 이를 통해 $F = V' / \sigma^2$ 의 몫을 구성함으로써 이중 평면 모델을 만든다.
• $|3K_V - R|$ 의 선형 계를 분석하여 네 개의 분리된 $(-2)$-곡선을 식별하고, Picard 군과 토퍼션 분석을 통한 모순을 이용하여 그 존재를 배제한다.

실험 결과

연구 질문

• RQ1 충분한 캐논ical 클래스를 가진 단순 연결 수치적 고데오 표면을 명시적으로 구성할 수 있는가?
• RQ2 표면에 $(-2)$-곡선이 존재하지 않는다는 것은 기본군이 자명하다는 것을 의미하는가?
• RQ3 표면의 이중 평면 모델이 5개의 $(3,3)$-특이점과 하나의 일반 4중점이 있는 10차의 기약 곡선을 분지로 가지는가?
• RQ4 크레이거로-가타초 표면은 바르로 표면들과 변형 동치인가?
• RQ5 이 표면은 특정한 분지 루프를 가진 유리 표면 위의 이중 코팅으로 실현될 수 있는가?

주요 결과

• 구축된 표면는 $(-2)$-곡선이 존재하지 않기 때문에 단순 연결임을 확인하였으며, 바르로 표면들과는 달리 이들 곡선이 존재하지 않음에 비해 다르다.
• 캐논ical 클래스 $K_V$ 는 충분함을 확인하였으며, 이는 이중 캐논ical 계에서 고정 부분이 없고, $V$ 가 최소임을 통해 확인된다.
• 표면는 5개의 $(3,3)$-특이점과 하나의 일반 4중점이 있는 10차의 기약 곡선을 분지로 가지는 이중 평면 모델을 가짐을 확인하였다.
• 표면의 기본군은 자명하며, $\mathbb{Z}/2\mathbb{Z}, \mathbb{Z}/3\mathbb{Z}, \mathbb{Z}/4\mathbb{Z}, \mathbb{Z}/5\mathbb{Z}$ 의 기본군을 가진 고전적 고데오 표면들과의 차이를 보인다.
• 바르로 표면들과는 이질적임을 확인하였으며, 바르로 표면들은 네 개의 $(-2)$-곡선을 포함하지만, 이 구성에서는 이러한 곡선이 존재하지 않기 때문이다.
• Picard 군과 토퍼션 구조에서의 모순을 통해 네 개의 분리된 $(-2)$-곡선의 존재를 배제함으로써, 표면의 단순 연결성을 확인하였다.