[논문 리뷰] Pencils and Infinite Dihedral covers of P^2

Enrique Artal Bartolo, Cogolludo, Jose Ignacio외 1명|arXiv (Cornell University)|2004. 11. 23.

Mathematics and Applications인용 수 4

한 줄 요약

이 논문은 프로젝티브 평면의 유한 이면체 쌍대 덮개가 곡선 $C = 2C_1 + nC_2$ 에서 분지하는 것과 무한 이면체 덮개, 그리고 $C_1 \cup C_2$ 를 포함하는 곡선의 붐보 사이의 깊은 연결 고리를 확립한다. 만약 그러한 $D_{2n}$-덮개가 무한히 많은 홀수 $n$ 에 대해 존재한다면, 이는 모든 $n$ 에 대해 존재하게 되며, 이는 정수 계수의 동차 다항식 $G_1, G_2$ 에 대해 $F_2 = G_1^2 - G_2^2 F_1$ 를 만족할 때 정확히 성립한다. 이는 $C_1 \cup C_2$ 의 보완의 기본군에서 무한 이면체군 $
\mathbb{Z}_2 * \mathbb{Z}_2$ 로의 전사 사상이 존재함을 의미한다. 이는 위상수학,代수기하학, 및 갈루아 덮개를 연결한다.

ABSTRACT

In this work we study the connection between the existence of finite dihedral covers of the projective plane ramified along an algebraic curve C, infinite dihedral covers, and pencils of curves containing C.

연구 동기 및 목표

• 정의된 곡선 $2C_1 + nC_2$ 에서 분지하는 프로젝티브 평면 $
  \mathbb{P}^2$ 의 유한 이면체 덮개 $D_{2n}$ 가 존재하는 조건을 조사하는 것.
• 이러한 유한 이면체 덮개의 존재성과 $C_1 \cup C_2$ 를 포함하는 곡선의 붐보 존재성 간의 관계를 규명하는 것.
• 이러한 덮개와 무한 이면체 덮개의 존재성 간의 연결 고리를, 특히 보완의 기본군을 통해 수립하는 것.
• 특히 $n$ 이 홀수 정수로 변할 때, 이러한 덮개의 존재성을 보장하는 필수 및 충분한 대수적 조건(정의 다항식에 기반)을 도출하는 것.

제안 방법

• 갈루아 이론과 체 확장의 활용: $D_{2n}$-덮개는 갈루아 군이 $D_{2n}$ 인 $
  \mathbb{C}(X)/\mathbb{C}(Y)$ 의 체 확장에 대응하며, 여기서 $Y = \mathbb{P}^2$ 이다.
• $C_1$ 에서 분지하는 이중 덮개 $
  \delta: Z \to \mathbb{P}^2$ 를 분석하고, 이 덮개 아래에서 $C_2$ 의 역상이 $C_2^+ \cup C_2^-$ 로 분리됨을 연구한다.
• 위상수학적 및 대수적 조건의 적용: $C_2^+ - C_2^-$ 가 피카르 군에서 $n$ 으로 나누어떨어지는 것이 $D_{2n}$-덮개의 존재에 필수적이다.
• $\mathbb{P}^2 \setminus (C_1 \cup C_2)$ 의 기본군과 그로부터 유도된 $
  \mathbb{Z}_2 * \mathbb{Z}_2$ 로의 전사 사상, 이는 붐보의 존재성에서 유도된다.
• 정의 다항식 $G_1, G_2$ 를 사용하여 붐보를 구성하고, $F_2 = G_1^2 - G_2^2 F_1$ 를 만족함으로써 필요한 덮개의 존재를 보장한다.
• 자리스키 및 다른 이들의 곡선 보완의 기본군과 순환군의 자유곱으로의 전사 사상에 관한 결과를 활용한다.

실험 결과

연구 질문

• RQ1 무한히 많은 홀수 $n$ 에 대해 $D_{2n}$-덮개가 $\mathbb{P}^2$ 에서 $2C_1 + nC_2$ 에서 분지하는 조건은 무엇인가?
• RQ2 이러한 유한 이면체 덮개의 존재성은 $C_1$ 과 $C_2$ 를 포함하는 붐보의 존재성과 어떻게 관련되어 있는가?
• RQ3 $C_1$ 과 $C_2$ 의 정의 다항식 $F_1, F_2$ 에 대해, 모든 $n$ 에 대해 $D_{2n}$-덮개의 존재를 보장하는 정확한 대수적 조건은 무엇인가?
• RQ4 $\mathbb{P}^2 \setminus (C_1 \cup C_2)$ 의 기본군은 어떻게 무한 이면체군 $
  \mathbb{Z}_2 * \mathbb{Z}_2$ 와 관련되어 있는가?
• RQ5 $C_2^+ - C_2^-$ 의 자기교차수는 $D_{2n}$-덮개의 존재성 결정에 어떤 역할을 하는가?

주요 결과

• 만약 $D_{2n}$-덮개가 $2C_1 + nC_2$ 에서 분지하는 것이 무한히 많은 홀수 $n$ 에 대해 존재한다면, 이는 모든 $n \in \mathbb{N}$ 에 대해 존재하게 되며, 이는 강력한 유한성 조건을 확립한다.
• $C_1$ 과 $C_2$ 의 정의 다항식 $F_1, F_2$ 는 어떤 동차 다항식 $G_1, G_2$ 에 대해 $F_2 = G_1^2 - G_2^2 F_1$ 를 만족해야 하며, 이는 이러한 덮개의 존재에 대해 필수적이고 충분한 조건이다.
• 이러한 덮개의 존재는 $\pi_1(\mathbb{P}^2 \setminus (C_1 \cup C_2))$ 가 무한 이면체군 $
  \mathbb{Z}_2 * \mathbb{Z}_2$ 로의 전사 사상이 존재함을 의미한다. 이는 추론 2에 명시되어 있다.
• $C_2^+ - C_2^-$ 가 자기 자신과 짝수 교차수를 가지는 조건(즉, $\nu \neq 0$)은, $n^2 \nmid \nu$ 인 경우 하나의 덮개 존재만으로도 전체 가족의 존재를 보장한다.
• $C_1 \cup C_2$ 의 보완의 기본군은 $
  \mathbb{F}_{1;(2,2,n_3,\dots,n_r)}$ 로 전사되며, 따라서 $
  \mathbb{Z}_2 * \mathbb{Z}_2$ 로도 전사된다. 이는 붐보의 구조 때문이므로.
• 특수한 경우, 예를 들어 삼촉점 4차곡선이나 다수의 점을 가진 유리적 배열에서는 기본군이 $
  \mathbb{Z}_2 * \mathbb{Z}_2$ 또는 $
  \mathbb{Z}_n * \mathbb{Z}_n$ 로 전사되며, 이는 일반 결과를 확인한다.