[논문 리뷰] Tropicalizing abelian covers of algebraic curves

Paul Alexander Helminck|arXiv (Cornell University)|2017. 03. 08.

Algebraic Geometry and Number Theory참고 문헌 16인용 수 9

한 줄 요약

이 논문은 프로젝티브 직선의 아벨 쌍대 덮개의 토폴로지화를 통해 이산적으로 값이 부여된 체 위의 대수적 곡선의 버키호비치 스키마를 계산하는 알고리즘적 방법을 개발한다. 갈루아 폐쇄와 안정 모델을 이용하여 덮개와 비틀림 데이터를 통해 스키마를 재구성함으로써, 종수 3 곡선에 대한 구축 가능한 해법을 제공하고, 타원 곡선의 잠재적 양호한 환원 조건에 대한 새로운 증명을 제시한다.

ABSTRACT

In this thesis, we study the Berkovich skeleton of an algebraic curve over a discretely valued field $K$. We do this using coverings $C ightarrow{\mathbb{P}^{1}}$ of the projective line. To study these coverings, we take the Galois closure of the corresponding injection of function fields $K(\mathbb{P}^{1}) ightarrow{K(C)}$, giving a Galois morphism $\overline{C} ightarrow{\mathbb{P}^{1}}$. A theorem by Liu and Lorenzini tells us how to associate to this morphism a Galois morphism of semistable models $\mathcal{C} ightarrow{\mathcal{D}}$. That is, we make the branch locus disjoint in the special fiber of $\mathcal{D}$ and remove any vertical ramification on the components of $\mathcal{D}_{s}$. This morphism $\mathcal{C} ightarrow{\mathcal{D}}$ then gives rise to a morphism of intersection graphs $Σ(\mathcal{C}) ightarrow{Σ(\mathcal{D})}$. Our goal is to reconstruct $Σ(\mathcal{C})$ from $Σ(\mathcal{D})$ and we will do this by giving a set of covering and twisting data. These then give algorithms for finding the Berkovich skeleton of a curve $C$ whenever that curve has a morphism $\overline{C} ightarrow{\mathbb{P}^{1}}$ with a solvable Galois group. In particular, this gives an algorithm for finding the Berkovich skeleton of any genus three curve. These coverings also give a new proof of a classical result on the semistable reduction type of an elliptic curve, saying that an elliptic curve has potential good reduction if and only if the valuation of the $j$-invariant is positive.

연구 동기 및 목표

• 이산적으로 값이 부여된 체 위의 대수적 곡선의 버키호비치 스키마를 명시적으로 계산하는 것.
• 갈루아 덮개와 안정 모델을 이용한 스키마 재구성에 대한 체계적인 방법을 개발하는 것.
• 특히 종수 3 곡선에 대해, P¹ 위에서의 해석적 갈루아 군 덮개를 갖는 곡선에 대한 알고리즘적 해법을 제공하는 것.
• 타원 곡선이 잠재적 양호한 환원을 갖는다는 고전적 결과에 대한 새로운 증명을 제시하는 것 — 즉, j-불변량의 값이 양수일 때이다.

제안 방법

• 곡선 C → P¹ 의 갈루아 폐쇄를 통해 갈루아 사상 C̄ → P¹ 을 얻는다.
• 리우와 라로지니의 정리를 이용하여 특수 피어에서 분지점을 분리하는 안정 모델 C → D 를 구성한다.
• 모델의 사상이 그에 대응하는 교차 그래프 Σ(C) → Σ(D) 로 매핑된다.
• 분해군과 위상군에서 유도된 덮개와 비틀림 데이터를 이용하여 Σ(D) 로부터 Σ(C) 를 재구성한다.
• 이식 이론과 이산 체적 링에서의 정규화를 통해, 아벨 쌍대 덮개의 분기 행동을 분석함으로써, 분기 행동을 분석한다.
• 순환, S₃, 그리고 해석적 갈루아 군 덮개에 대한 명시적 알고리즘을 개발하며, 이는 토폴로지 슈퍼에일리프틱 곡선을 포함한다.

실험 결과

연구 질문

• RQ1 갈루아 군이 가군일 경우, P¹ 위의 갈루아 덮개로부터 버키호비치 스키마를 어떻게 재구성할 수 있는가?
• RQ2 아벨 쌍대 덮개의 몫으로부터 스키마를 재구성하기 위해 필요한 필수 및 충분한 덮개와 비틀림 데이터는 무엇인가?
• RQ3 안정 모델의 특수 피어에서의 분기 행동이 버키호비치 스키마의 구조에 어떻게 영향을 미치는가?
• RQ4 아벨 쌍대 덮개의 토폴로지화가 타원 곡선의 잠재적 양호한 환원 조건에 대한 새로운 증명을 제공할 수 있는가?
• RQ5 j-불변량의 값과 타원 곡선의 안정 모델 환원 유형 사이의 정확한 관계는 덮개 데이터를 통해 어떻게 드러나는가?

주요 결과

• 종수 3 곡선의 버키호비치 스키마를 계산하기 위한 알고리즘이 제시되었으며, 이는 P¹ 로의 차수 3 사상에 기반한다.
• 이 방법은 타원 곡선이 j-불변량의 값이 양수일 때에만 잠재적 양호한 환원을 갖는다는 사실에 대한 새로운 증명을 제공한다.
• S₃-덮개의 경우, 위상군의 연속성과 2차 부분체를 이용하여 명시적 덮개 데이터를 유도함으로써, 알고리즘 기반의 스키마 재구성 가능성이 확보된다.
• 논문은 특수 피어의 점에서의 위상군이 토폴로지 스키마의 간선 무게와 정점 구조를 결정함을 규명한다.
• 초타원 및 슈퍼에일리프틱 곡선의 경우, 판별식과 계수의 값에 기반한 스키마에 대한 명시적 공식이 도출된다.
• 세 가지 경우( v(p) 가 짝수, 홀수, 그리고 3v(p)=2v(q) )를 분석함으로써 분기 행동이 완전히 분류되며, 정규화와 소수 분해를 통한 갈루아 폐쇄의 구조가 결정된다.