[논문 리뷰] A New Family of Surfaces with K^2=7 and p_g=0

Yifan Chen|arXiv (Cornell University)|2012. 10. 17.

Geometric and Algebraic Topology참고 문헌 11인용 수 3

한 줄 요약

이 논문은 $K^2 = 7$ 이고 $p_g = 0$ 인 일반형 최소 표면의 새로운 가족을 구성한다. 이 표면들은 차수 1의 약한 델 페zzo 표면 위의 $(\mathbb{Z}/2\mathbb{Z})^2$-표면 쌍염으로서, 표면의 표준 분할수는 앰플리피케이션을 가지며, 이중표준 사상은 구성된 이중역행이 아니며, 블로흐의 추측을 만족한다. 이는 알려진 이누에 표면들과의 차이를 보인다.

ABSTRACT

We construct a new family of minimal smooth surfaces of general type with K^2=7 and p_g= 0. We show that for a surface in this family, its canonical divisor is ample and its bicanonical morphism is birational. We prove that these surfaces satisfy Bloch's conjecture.

연구 동기 및 목표

• 차수 1의 약한 델 페zzo 표면 위의 $(\mathbb{Z}/2\mathbb{Z})^2$-표면 쌍염을 통해 $K^2 = 7$ 이고 $p_g = 0$ 인 최소 표면의 새로운 가족을 구성함으로써, 이러한 표면의 분류에서 빈도를 메우는 것.
• 기존의 이누에 표면들과의 차이를 확립함: 이들 표면은 이중표준 사상이 이중역행으로 구성되어 있으며, 이중역행은 포함된 이중역행을 포함한다.
• 모순을 이용하고 [K27II]의 결과를 활용하여, 새로운 표면의 이중표준 사상이 비유일적임을 증명하는 것.
• 최근의 [BlochInoue] 결과를 활용하여, 표면이 블로흐의 추측을 만족함을 확인하는 것. 즉, $H^2(S, \mathcal{O}_S) = 0$ 이면 영차수 사이클의 초등군이 자명함.
• 역행에 의한 몫의 새로운 수치적 가능성 실현: 코다이라 차원이 $-\infty$, $0$, $1$ 인 경우

제안 방법

• 8개의 점, 특히 $p_0, p_1, p_2, p_3$ 와 그 무한히 가까운 점들을 포함하여 $\mathbb{P}^2$ 를 블로우업함으로써 차수 1의 약한 델 페zzo 표면을 구성함. 일반적인 여덟 번째 점 $p$ 는 특정 곡선을 피함.
• 약한 델 페zzo 표면 위에서 세 개의 유효환 $D_1, D_2, D_3$ 를 정의함. 이들은 이중이중표면 쌍염을 구성하는 데 사용됨.
• 4개의 노드를 가진 입체곡면의 최소 해석 위에서 이중이중표면 쌍염의 정규화 절차를 적용하여, 새로운 유효환 클래스 $\tilde{D}_1, \tilde{D}_2, \bar{D}_3$ 를 얻음.
• 정규화된 유효환을 사용하여 이중이중표면 쌍염 $\tilde{\pi}: \widetilde{S} \to \widetilde{Y}$ 를 구성함. 이 쌍염은 유한하고 평탄함을 보장함.
• 분류 결과 [K27II] 를 활용하여, 결과 표면 $S$ 의 이중표준 사상이 비유일적임을 모순에 기반하여 증명함.
• [BlochInoue] 의 결과를 활용하여, 표면 $S$ 가 블로흐의 추측을 만족함을 확인함. 즉, $H^2(S, \mathcal{O}_S) = 0$ 이면 영차수 사이클의 초등군이 자명함.

실험 결과

연구 질문

• RQ1 차수 1의 약한 델 페zzo 표면 위의 $(\mathbb{Z}/2\mathbb{Z})^2$-표면 쌍염을 통해 $K^2 = 7$ 이고 $p_g = 0$ 인 최소 표면의 새로운 가족을 구성할 수 있는가?
• RQ2 이러한 표면의 이중표준 사상은 여전히 비유일적인가, 아니면 이누에 표면들처럼 이중역행으로 구성된 이중표준 사상인가?
• RQ3 표면의 $(\mathbb{Z}/2\mathbb{Z})^2$ 의 세 역행에 의한 몫의 코다이라 차원은 각각 얼마인가?
• RQ4 이러한 표면들은 그 불변량과 기하학적 성질을 고려할 때 블로흐의 추측을 만족하는가?
• RQ5 차수 1의 약한 델 페zzo 표면 위의 $(\mathbb{Z}/2\mathbb{Z})^2$-표면 쌍염을 통해, 이누에 표면들과 동치가 아닌 새로운 예를 얻을 수 있는가?

주요 결과

• 구성된 표면들은 $K^2 = 7$ 이고 $p_g = 0$ 인 최소 표면의 새로운 가족을 이룬다. 이는 이누에 표면들과 구별된다.
• 이 가족의 각 표면의 표준 분할수는 앰플리피케이션을 가지며, 이는 표면이 일반형임을 보장하고, 비자명한 비유일적 자기동형사상이 존재하지 않음을 의미한다.
• 이중표준 사상은 비유일적이다. 이는 이누에 표면들과의 대조를 이룬다. 이누에 표면들에서는 이중표준 사상의 차수는 2이며, 이중역행으로 구성되어 있다.
• 표면의 세 역행에 의한 몫은 각각 코다이라 차원 $-\infty$, $0$, $1$ 을 가지며, 이는 [bidoubleplane] 및 [Lee] 에서 제시된 새로운 수치적 가능성들을 실현한다.
• 표면들은 [BlochInoue] 의 결과를 적용하여, 블로흐의 추측을 만족한다. 즉, $H^2(S, \mathcal{O}_S) = 0$ 이면 영차수 사이클의 초등군이 자명하다.
• 차수 1의 약한 델 페zzo 표면 위의 $(\mathbb{Z}/2\mathbb{Z})^2$-표면 쌍염을 통해 구성된 가족은, 비유일적 이중표준 사상과 몫 불변량을 통해 이누에 표면들과 동치가 아니며, 이는 이 가족이 이누에 표면들과 다르게 구성됨을 보여준다.