[논문 리뷰] On the computation of singular plane curves and quartic surfaces

Carlos Rito|arXiv (Cornell University)|2009. 06. 18.

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

한 줄 요약

이 논문은 비보통 특이점을 갖는 평면 대수곡선을 계산하고 특정 특이점을 갖는 선형계를 매개화하기 위한 두 개의 Magma 함수인 LinSys와 ParSch를 제시한다. 이 도구들을 활용하여 총 Milnor 수가 19이고 Aₙ 특이점이 없는 ℂℙ³ 내 정규 4차 K3 표면 9종을 명시적으로 구성한다. 이는 이러한 표면의 분류에서 발생한 빈도를 메우는 것이다.

ABSTRACT

Two Magma functions are given: one computes linear systems of plane curves with non-ordinary singularities and the other computes a scheme which parametrizes given degree plane curves with given singularities. These functions provide an efficient tool to construct explicit equations of singular plane algebraic curves. By computing singular branch curves, we obtain equations of normal quartic surfaces in $\mathbb C\mathbb P^3$ having the following combinations of rational double points: $\mathsf D_5\mathsf E_7\mathsf E_7,$ $\mathsf D_7\mathsf D_6\mathsf D_6,$ $\mathsf E_6\mathsf D_8\mathsf D_5,$ $\mathsf E_6\mathsf D_{13},$ $\mathsf E_6\mathsf E_6\mathsf D_7,$ $\mathsf E_6\mathsf E_8\mathsf D_5,$ $\mathsf E_7\mathsf D_6\mathsf D_6,$ $\mathsf E_7\mathsf D_{12},$ $\mathsf E_7\mathsf E_6\mathsf D_6.$ These are all possible cases with total Milnor number 19 which have no point of type $\mathsf A_n.$

연구 동기 및 목표

• 기존 시스템이 보통 특이점만 다루는 데 비해 비보통 특이점을 갖는 평면代수곡선을 구성하기 위한 계산 도구를 개발하는 것.
• 유리형 이중점이 특이점인 정규 4차 표면의 방정식을 계산하는 구축 가능한 방법을 제공하는 것.
• 총 Milnor 수가 19이고 Aₙ 특이점이 없는 비Aₙ 유리형 이중점의 9가지 구성 구조를 명시적으로 실현하는 것. 이는 이전에 추상적으로만 알려져 있었던 것이다.
• 특정 특이점, 무한히 가까운 점, 그리고 접선 방향을 포함한 선형계를 계산하기 위한 Magma 내 효율적인 알고리즘을 구현하는 것.
• 기존의 비구성적 분류를 넘어서, 특정 9개의 K3 표면 구성에 대해 명시적인 방정식을 구성함으로써 방법을 시연하는 것.

제안 방법

• 비보통 특이점을 특정 조건으로 갖는 평면 곡선의 선형계를 계산하기 위해 LinSys 함수를 도입한다. 복잡한 특이점을 다루기 위해 반복적인 블로우업과 블로우다운을 사용한다.
• 특정 점, 무한히 가까운 점, 접선 방향을 포함한 주어진 특이점을 갖는 곡선을 매개화하는 스킴을 계산하기 위해 ParSch 함수를 활용한다.
• 4차 표면에 이중점이 있을 경우, 이는 특이 평면 곡선을 브랜치로 하는 ℂℙ² 위의 이중 쌍대 덮개임을 이용한 기하적 구성 방법을 사용한다. 이는 표면과 곡선 계산을 연결한다.
• Magma 내에서 이러한 함수들을 구현하며, 블로우업 및 블로우다운 과정에서 좌표 변환을 정확히 다루기 위해 신중한 처리를 한다.
• 함수들을 적용하여 이중 덮개의 브랜치 루프(특이 평면 곡선)를 계산한 후, 이중 덮개 구성 방법을 통해 표면 방정식으로 올린다.
• 차원 제약 조건을 검토하고, 스킴 매개화를 통해 특이점들이 특수한 위치에 있거나 존재하지 않는지를 감지함으로써 결과를 검증한다.

실험 결과

연구 질문

• RQ1 총 Milnor 수가 19이고 Aₙ 특이점이 없는 정규 4차 K3 표면 ℂℙ³에서 어떤 유리형 이중점 구성이 가능할 수 있는가?
• RQ2 이러한 특이점을 갖는 4차 표면의 명시적 방정식을 계산하는 알고리즘적이고 구축 가능한 방법을 개발할 수 있는가?
• RQ3 Magma와 같은 계산 대수기하 시스템은 어떻게 비보통 특이점을 갖는 평면 곡선의 선형계를 다룰 수 있도록 확장될 수 있는가?
• RQ4 특정 특이점, 무한히 가까운 점, 접선 방향을 포함한 곡선을 매개화하는 스킴의 구조는 어떠한가?
• RQ5 이 방법은 Aₙ 특이점을 포함한 다른 K3 표면 구성으로 일반화될 수 있는가?

주요 결과

• 논문은 총 Milnor 수가 19이고 Aₙ 특이점이 없는 ℂℙ³ 내 정규 4차 K3 표면 9종에 대해 명시적인 방정식을 구성한다: D₅E₇E₇, D₇D₆D₆, E₆D₈D₅, E₆D₁₃, E₆E₆D₇, E₆E₈D₅, E₇D₆D₆, E₇D₁₂, E₇E₆D₆.
• 이 9가지 구성은 총 Milnor 수가 19이고 Aₙ 특이점이 없는 경우에만 존재하며, 이러한 표면의 보다 정교한 분류를 확인한다.
• Magma 함수인 LinSys와 ParSch는 비보통 특이점, 무한히 가까운 점, 그리고 지정된 접선 방향을 포함한 곡선을 성공적으로 계산한다.
• 이 방법은 특이 평면 곡선에서의 이중 덮개 구성 방법을 통해 브랜치 루프를 이용하여 4차 표면의 방정식을 구성할 수 있게 한다.
• 이 접근법은 일반적이며, A₁₇A₁A₁ 등의 다른 구성에도 적용될 수 있다. 다만 이 작업에서는 모든 경우가 계산된 것은 아니다.
• 이 구현은 이전의 비구성적 방법(예: Urabe의 방법)의 한계를 극복하여, 이전에는 알려져 있지 않았던 명시적 방정식을 제공한다.