[논문 리뷰] Rational points of elliptic surfaces and Zariski $N$-ples for cubic-line, cubic-conic-line arrangements

Shinzo Bannai, Hiro‐o Tokunaga외 1명|arXiv (Cornell University)|2017. 10. 07.

Algebraic Geometry and Number Theory참고 문헌 11인용 수 4

한 줄 요약

이 논문은 유리 타원 표면 위의 유리 점과 분할 섹션의 산술을 이용하여, 비틀림 접선이 없는 삼차-선 및 삼차-포물선-선 배열에 대해 알려진 바 없는 최초의 자르스키 트리플릿 및 4중항을 구성한다. 곡선을 따라 분지하는 갈루아 피복을 분석하고, 이분선과 접촉 포물선을 활용함으로써, 동일한 조합론적 성질을 가지나 위상적으로 비호모머피크한 7차 배열의 명시적 예를 제시한다. 이는 6차 이하 및 비틀림 접선을 포함한 이전의 자르스키 쌍 구성에서 오랫동안 존재하던 빈도를 메우는 바이다.

ABSTRACT

In this paper, we continue the study of the relation between rational points of rational elliptic surfaces and plane curves. As an application, we give first examples of Zariski pairs of cubic-line arrangements that do not involve inflectional tangent lines.

연구 동기 및 목표

• 비틀림 접선이 없는 7차 평면 곡선 배열에 대해 새로운 자르스키 $N$-중항을 구성함으로써, 이전에 알려진 비틀림 접선을 포함한 예제를 넘어서는 것을 목적으로 한다.
• 특히 유리 타원 표면 위의 산술 기법—유리 점과 분할 섹션—을 개발하고 적용하여, 동일한 조합론적 성질을 가지나 위상적으로 다른 유형을 가진 기하 구조를 생성하는 것을 목적으로 한다.
• 타원 필라션에서 유리 점으로부터 유도되는 접촉 포물선과 이분선의 명시적 대수적 구성법을 제공함으로써, 저차수의 비비틀림 설정에서 자르스키 $N$-중항을 실현할 수 있도록 하는 것을 목적으로 한다.
• 비틀림 접선의 부재가 자르스키 쌍이나 $N$-중항의 존재를 막지 않음을 입증함으로써, 대수기하학에서 알려진 예제의 범위를 넓히는 것을 목적으로 한다.

제안 방법

• 저자는 타원 $\mathcal{E}$ 위의 매끄러운 점 $z_o$ 의 전이상에 대한 두 번의 블로우업을 거친 후, $\mathcal{Q} = \mathcal{L}_o + \mathcal{E}$ 에 따라 분지하는 $\mathbb{P}^2$ 의 이중 피복으로 구성된 유리 타원 표면 $\varphi_{\mathcal{Q},z_o}: S_{\mathcal{Q},z_o} \to \mathbb{P}^1$ 를 사용한다.
• 유리 타원 표면의 일반 섹션 $E_{\mathcal{Q},z_o}(\mathbb{C}(t))$ 의 유리 점을 이용하여, 모델-베일 군과 $D_4^*$-구성의 기하적 방법을 통해 이분선과 접촉 포물선을 구성한다.
• 계수들이 매개변수 $b_j$ 에 따라 달라지는 선형 함수 $r(t)$ 와 유리 점 $P_j$ 를 사용하여, 접촉 포물선 $\mathcal{C}_j$ 의 명시적 식을 유도한다. 이는 $\mathcal{Q}$ 와 짝수의 교차 중복도를 가지는 포물선으로, 정상적인 접촉을 보장한다.
• 매끄러운 포물선 $\mathcal{C}$ 가 $\mathcal{B}$ 와 접촉 포물선임을 보장하기 위해, 모든 교차 중복도 $I_x(\mathcal{C},\mathcal{B})$ 가 짝수여야 하고, $\mathcal{B}$ 가 점 $x$ 에서 매끄럽게 이루어져야 한다는 조건을 활용한다.
• 동일한 조합론적 성질을 가지나 위상적으로 비호모머피크한 구조를 구분하기 위해, 곡선 $\mathcal{B}^i$ 를 따라 분지하는 갈루아 피복을 위상적 불변량으로 사용한다.
• 유리 점과 관련된 포물선을 다양하게 변화시킴으로써, 체계적으로 다수의 구성 $\mathcal{B}^1, \mathcal{B}^2, \dots$ 를 생성하며, 이는 $N=3$ 과 $N=4$ 에 대한 자르스키 $N$-중항을 이끈다.

실험 결과

연구 질문

• RQ1 삼차-선 및 삼차-포물선-선 배열에 대해, 삼차 곡선의 비틀림 접선이 포함되지 않은 경우 자르스키 $N$-중항을 구성할 수 있는가?
• RQ2 비틀림 접선이 제거된 경우에도, 동일한 조합론적 유형을 가지나 $\mathbb{P}^2$ 내에서 위상적으로 비호모머피크인 임베딩을 가진 7차 곡선 배열이 존재하는가?
• RQ3 유리 타원 표면 위의 유리 점의 산술을 체계적으로 활용하여, 위상적으로 다른 곡선 배열을 생성하는 접촉 포물선과 이분선을 생성할 수 있는가?
• RQ4 이러한 접촉 포물선에 대해 명시적이고 대수적인 식을 유도하고, 모델-베일 군의 구조를 이용하여 접촉성과 교차 성질을 검증할 수 있는가?
• RQ5 비틀림 접선에 의존하지 않고 자르스키 $N$-중항을 생성하기 위해 필요한 최소 차수와 기하학적 복잡도는 얼마인가?

주요 결과

• 저자는 비틀림 접선이 없는, 노드를 가진 삼차 곡선 $\mathcal{E}$, 교차하는 직선 $\mathcal{L}_o$, 그리고 세 개 또는 네 개의 접촉 포물선으로 구성된 7차 곡선의 자르스키 트리플릿 $ (\mathcal{B}^1, \mathcal{B}^2, \mathcal{B}^3) $ 을 구성한다.
• 노드를 가진 삼차 곡선 $\mathcal{E}$, 교차하는 직선 $\mathcal{L}_o$, 그리고 네 개의 접촉 포물선으로 구성된 자르스키 4-중항 $ (\mathcal{B}^1, \mathcal{B}^2, \mathcal{B}^3, \mathcal{B}^4) $ 이 구성되며, 동일한 조합론적 성질을 가지나 위상적으로 비호모머피크한 성질을 가진다.
• 모델-베일 군의 타원 표면 위의 유리 점과 관련된 다섯 개의 접촉 포물선 $\mathcal{C}_1, \dots, \mathcal{C}_5$ 에 대해 명시적 식이 유도되었으며, 계수들은 매개변수 $b_j$ 에 따라 달라진다.
• 매개변수 $b_1, \dots, b_5$ 가 일반적으로 선택된 경우, $\mathcal{B}^1, \mathcal{B}^2, \mathcal{B}^3$ 은 자르스키 트리플릿을 이루며, $\mathcal{B}^1, \mathcal{B}^2, \mathcal{B}^3, \mathcal{B}^4$ 는 갈루아 피복 불변량을 통해 확인된 바 자르스키 4-중항을 이룬다.
• 이 구성은 비틀림 접선을 완전히 회피하며, 삼차-선 및 삼차-포물선-선 배열에 대해 문헌상 최초의 예시이다.
• 이전의 비틀림 접선에 의존하는 접근 방식을 성공적으로 일반화하였으며, 비틀림 대칭성이 없는 상황에서도 타원 표면의 분할 섹션 산술이 위상적으로 다른 배열을 생성할 수 있음을 입증하였다.