[논문 리뷰] The skeleton of the Jacobian, the Jacobian of the skeleton, and lifting meromorphic functions from tropical to algebraic curves

Matthew J. Baker, Joseph Rabinoff|arXiv (Cornell University)|2013. 08. 18.

Advanced Differential Equations and Dynamical Systems인용 수 6

한 줄 요약

이 논문은 비아르키메데스 기하학적 대수곡선의 잼비안의 스켈레톤과 그에 대응하는 유토피컬 그래프(스켈레톤)의 잼비안 사이의 표준적 동형사상이 존재함을 증명하며, 스켈레톤 상의 Λ-유리 주요수(divisor)가 곡선 상의 주요수의 재진위(retraction)로 정확히 나타남을 보여준다. 주요 결과는 이러한 주요수를 올리기 위해 최대 g개의 추가된 영점과 g개의 추가된 극점을 더해야 한다는 것을 증명하여, 토로피컬 리프팅에 대한 추측을 해결하고, 곡선을 P³로 충실한 토로피컬 임bedding으로 표현하는 데 기여한다.

ABSTRACT

Let K be an algebraically closed field which is complete with respect to a nontrivial, non-Archimedean valuation and let \\Lambda be its value group. Given a smooth, proper, connected K-curve X and a skeleton \\Gamma of the Berkovich analytification X^\\an, there are two natural real tori which one can consider: the tropical Jacobian Jac(\\Gamma) and the skeleton of the Berkovich analytification Jac(X)^\\an. We show that the skeleton of the Jacobian is canonically isomorphic to the Jacobian of the skeleton as principally polarized tropical abelian varieties. In addition, we show that the tropicalization of a classical Abel-Jacobi map is a tropical Abel-Jacobi map. As a consequence of these results, we deduce that \\Lambda-rational principal divisors on \\Gamma, in the sense of tropical geometry, are exactly the retractions of principal divisors on X. We actually prove a more precise result which says that, although zeros and poles of divisors can cancel under the retraction map, in order to lift a \\Lambda-rational principal divisor on \\Gamma to a principal divisor on X it is never necessary to add more than g extra zeros and g extra poles. Our results imply that a continuous function F:\\Gamma -> R is the restriction to \\Gamma of -log|f| for some nonzero meromorphic function f on X if and only if F is a \\Lambda-rational tropical meromorphic function, and we use this fact to prove that there is a rational map f : X --> P^3 whose tropicalization, when restricted to \\Gamma, is an isometry onto its image.

연구 동기 및 목표

• 비아르키메데스 기하학적 곡선의 잼비안 스켈레톤과 그 스켈레톤의 잼비안 사이의 표준적 동형사상을 주로 극성된 토로피컬 아벨 다양체로서 수립하는 것.
• 고전적 애벨-지아코비 사상의 토로피컬화가 토로피컬 애벨-지아코비 사상임을 보여주는 것.
• Λ-유리 토로피컬 유리형 함수를 곡선 상의 유리형 함수 f에 대한 −log|f|의 제한으로 특성화하는 것.
• 스켈레톤 상의 Λ-유리 주요수는 곡선 X 상의 주요수의 재진위로 정확히 나타나며, 리프팅 시 최대 g개의 추가 영점과 극점을 요구함을 증명하는 것.
• 스켈레톤 상에서 등거리사상으로 제한되는, f:X⇢P³로의 유리 함수 사상이 존재함을 보여주는 것.

제안 방법

• Berkovich 해석적 확장과 변형 재진위 τ:X^an→Γ를 사용하여 곡선 X 상의 대수적 주요수와 유토피컬 그래프 Γ 상의 토로피컬 주요수를 연결한다.
• 비아르키메데스 해석을 적용하여, Γ에 제한된 −log|f|가 τ*(div(f))와 같은 주요수를 가진 Λ-유리 토로피컬 유리형 함수임을 보여준다.
• 중심좌표 분할과 개선된 그래프 G'' 상의 비대칭 토로피컬 함수 F₁, F₂, F₃를 사용하여 R³로의 등거리 임베딩을 구성한다.
• 정수 기울기와 Λ-유리 값으로 이루어진 조각적 애파인 함수를 사용하여 토로피컬 유리형 함수와 그 주요수를 정의한다.
• 토로피컬 기하학의 균형 조건을 활용하여 준균형 임베딩의 존재를 보장한다.
• 일관된 기울기와 비대칭 행동을 가진 명시적 함수 F₁, F₂, F₃를 구성하여 토로피컬화 사상의 단사성과 등거리성 증명

실험 결과

연구 질문

• RQ1 비아르키메데스 기하학적 곡선의 잼비안 스켈레톤은 주로 극성된 토로피컬 아벨 다양체로서 스켈레톤의 잼비안과 표준적으로 동형인가?
• RQ2 스켈레톤 상의 모든 Λ-유리 주요수는 곡선 상의 주요수로 리프팅 가능한가? 만약 그렇다면, 추가로 몇 개의 영점과 극점이 필요한가?
• RQ3 연속 함수 F:Γ→R이 곡선 X 상의 유리형 함수 f에 대해 −log|f|의 제한인가의 여부는 F가 Λ-유리 토로피컬 유리형 함수일 때에만 성립하는가?
• RQ4 f:X⇢P³로의 유리 함수 사상이 존재하여, 그 토로피컬화가 스켈레톤 Γ 상에서 등거리사상으로 제한되는가?
• RQ5 그러한 사상은 토로피컬 기하학의 관점에서 스켈레톤을 충실하게 표현할 수 있는가?

주요 결과

• 비아르키메데스 곡선 X의 잼비안 Jac(X)^an 스켈레톤은 주로 극성된 토로피컬 아벨 다양체로서 스켈레톤의 잼비안 Jac(Γ)와 표준적으로 동형이다.
• 고전적 애벨-지아코비 사상의 토로피컬화는 토로피컬 애벨-지아코비 사상이며, 대수기하학과 토로피컬 기하학 사이의 다리를 놓는다.
• 스켈레톤 상의 Λ-유리 주요수는 곡선 X 상의 주요수의 재진위로 정확히 나타난다.
• 스켈레톤 Γ 상의 Λ-유리 주요수를 곡선 X 상의 주요수로 리프팅하기 위해서는 최대 g개의 추가 영점과 g개의 추가 극점만 추가하면 된다.
• 연속 함수 F:Γ→R이 곡선 X 상의 유리형 함수 f에 대해 −log|f|의 제한인가의 여부는 F가 Λ-유리 토로피컬 유리형 함수일 때에만 성립한다.
• 스켈레톤 Γ 상에서 제한된 경우, 그 이미지로의 등거리사상으로 제한되는 유리 함수 사상 f:X⇢P³가 존재한다.