[논문 리뷰] Effective faithful tropicalizations associated to linear systems on curves

Shu Kawaguchi, Kazuhiko Yamaki|arXiv (Cornell University)|2016. 12. 04.

Algebraic Geometry and Number Theory참고 문헌 22인용 수 3

한 줄 요약

이 논문은 완전한 비아르키메데스 체 위의 매끄럽고 프로젝티브 곡선 $X$에 대해, $g \geq 2$ 이고, 선다발 $L$의 차수 $\deg(L) \geq 3g-1$ 를 만족할 경우, $X^\mathrm{an}$의 어떤 스켈레톤 $\Gamma$ 에 대해서도, 이는 토폴로지와 정수 구조를 유지하는 토폴로지 프로젝티브 공간으로의 충실한 토폴로지화를 유도함을 증명한다. 이 결과는 고전적 프로젝티브 임베딩의 비아르키메데스 해석을 제공하며, 토폴로지와 정수 구조를 유지한다.

ABSTRACT

For a connected smooth projective curve $X$ of genus $g$, global sections of any line bundle $L$ with $°(L) \geq 2g+ 1$ give an embedding of the curve into projective space. We consider an analogous statement for a Berkovich skeleton in nonarchimedean geometry, in which projective space is replaced by tropical projective space, and an embedding is replaced by a homeomorphism onto its image preserving integral structures (called a faithful tropicalization). Let $K$ be an algebraically closed field which is complete with respect to a non-trivial nonarchimedean value. Suppose that $X$ is defined over $K$ and has genus $g \geq 2$ and that $Γ$ is a skeleton (that is allowed to have ends) of the analytification $X^{\mathrm{an}}$ of $X$ in the sense of Berkovich. We show that if $°(L) \geq 3g-1$, then global sections of $L$ give a faithful tropicalization of $Γ$ into tropical projective space. As an application, when $Y$ is a suitable affine curve, we describe the analytification $Y^{\mathrm{an}}$ as the limit of tropicalizations of an effectively bounded degree.

연구 동기 및 목표

• 곡선에 대해 고전적 프로젝티브 임베딩 정리의 비아르키메데스 해석을 토폴로지 기하학을 통해 수립하기.
• 베르코비치 스켈레톤의 충실한 토폴로지화를 보장하는 최소 선다발 차수를 규명하기.
• 성별 $g \geq 2$ 인 경우, $\deg(L) \geq 3g-1$ 이면 임의의 스켈레톤 $\Gamma$ 에 대해 충실한 토폴로지화가 가능하다는 것을 보여주기.
• 결과를 적용하여, 유계 차수의 맵의 토폴로지화의 극한으로서 아핀 곡선의 해석적화를 기술하기.

제안 방법

• 완전한 비아르키메데스 체 위의 매끄럽고 프로젝티브 곡선 $X$에 대해, 베르코비치 해석적화 $X^{\mathrm{an}}$의 스켈레톤 $\Gamma$ 를 연결하기 위해 베르코비치 해석적화를 사용하기.
• 선다발 $L$의 전역 절단을 통해 $p \mapsto (-\log|s_0(p)| : \cdots : -\log|s_N(p)|)$ 의 형태로 정의된 토폴로지화 사상 $\varphi: X^{\mathrm{an}} \to \mathbb{T}\mathrm{P}^N$ 을 정의하기.
• 이 사상이 $\deg(L) \geq 3g-1$ 일 때, 그 이미지 위로의 위상동형사상이 되며, 정수 구조를 유지함을 증명하기.
• 역극한 이론과 올림프라프 매핑 이론을 적용하여, 토폴로지화 사상이 전사적이고 닫혀 있음을 보이고, 따라서 위상동형임을 증명하기.
• 역극한 구성에서 컴팩트 집합의 유한교차성질을 활용하여, 주어진 토폴로지화 튜플로 매핑되는 점의 존재를 증명하기.
• 토폴로지화 사상의 올림프라프성과 역극한의 부분공간 위상 구조를 활용하여, 위상동형성 성질을 확립하기.

실험 결과

연구 질문

• RQ1 성별 $g$ 에 대해, 임의의 스켈레톤 $\Gamma$ 에 대해 충실한 토폴로지화를 보장하는 선다발 $L$ 의 최소 차수 $d(g)$ 는 무엇인가?
• RQ2 고전적 프로젝티브 임베딩 결과는 토폴로지화를 통해 비아르키메데스 환경으로 일반화될 수 있는가?
• RQ3 성별 $g \geq 2$ 에서 스켈레톤의 충실한 토폴로지화를 위해 $\deg(L) \geq 3g-1$ 이 최적의 경계인가?
• RQ4 아핀 곡선의 해석적화는 유계 차수의 맵의 토폴로지화의 극한으로 기술될 수 있는가?

주요 결과

• 성별 $g \geq 2$ 인 경우, 임의의 스켈레톤 $\Gamma$ 에 대해 $\deg(L) \geq 3g-1$ 를 만족하는 선다발 $L$ 은 $X^{\mathrm{an}}$ 의 충실한 토폴로지화를 유도한다.
• $g = 2$ 에서 $3g-1$ 이 최적임을 보여주는 예시가 존재하며, 이 경우 $\deg(L) = 4$ 일 때 충실한 토폴로지화가 실패한다.
• 성별 $g = 1$ 에서 최적 경계는 $3$, $g = 0$ 에서는 $1$ 이며, 이는 이론적 한계와 일치한다.
• 성별 $g \geq 2$ 일 때, $m \geq 3$ 이면 $|\omega_X^{\otimes m}|$ 의 다중표준 계열이 $\Gamma$ 에 대해 충실한 토폴로지화를 제공한다.
• 매끄러운 아핀 곡선 $Y$ 의 해석적화 $Y^{\mathrm{an}}$ 은 차수 유계 맵의 토폴로지화의 극한과 위상동형이다.
• 임의의 스켈레톤 $\Gamma$ 에 대해, 곡선의 차수에 의해 정의되는 최대 차수 $D$ 의 다항식이 존재하며, 그 토폴로지화가 $\Gamma$ 의 충실한 모델을 제공한다.