[논문 리뷰] Equidistribution of Weierstrass points on curves over non-Archimedean fields

Omid Amini|arXiv (Cornell University)|2014. 12. 02.

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

한 줄 요약

이 논문은 비아르키메데스 체 위의 곡선에서 위어스트라스 점에 대한 멀트포드와 니만의 등분포 정리의 비아르키메데스 해석을 수립한다. 베르코비치 해석기하학과 극한 선형 계열을 이용하여, 양성도를 가진 선다발의 고차 텐서곱의 위어스트라스 점에 기반한 이산 측도가 곡선의 해석기하학 위의 캐논리컬 적응가능 측도(장-아라켈로프 측도)로 약수수렴함을 증명한다.

ABSTRACT

We prove equidistribution of Weierstrass points on Berkovich curves. Let $X$ be a smooth proper curve of positive genus over a complete algebraically closed non-Archimedean field $K$ of equal characteristic zero with a non-trivial valuation. Let $L$ be a line bundle of positive degree on $X$. The Weierstrass points of powers of $L$ are equidistributed according to the Zhang-Arakelov measure on the analytification $X^{an}$. This provides a non-Archimedean analogue of a theorem of Mumford and Neeman. Along the way we provide a description of the reduction of Weierstrass points, answering a question of Eisenbud and Harris.

연구 동기 및 목표

• 비아르키메데스 체 위의 곡선에서 위어스트라스 점에 대한 멀트포드-니만의 등분포 정리의 비아르키메데스 해석을 수립하기 위해.
• 스테이블 모델의 특수 섬유에 대한 위어스트라스 점의 환원을 기술하여 아이젠부르크와 헤리스가 제기한 질문에 답하기 위해.
• 베르코비치 해석기하학의 최소 스켈레톤 위의 정규화된 위어스트라스 점 측도가 캐논리컬 적응가능 측도로 약수수렴함을 증명하기 위해.
• 특정 성분에 환원되는 위어스트라스 점의 비율이 그 성분의 종수에 대한 비율로 수렴함을 보여주기 위해.
• 특성 0에서 극한 선형 계열을 통한 메트릭 그래프 위의 위어스트라스 다항식의 환원을 완전히 기술하기 위해.

제안 방법

• 최소 스켈레톤 $\Gamma$ 위의 캐논리컬 적응가능 측도 $\mu_{\mathrm{ad}}$ 를 포함하는 베르코비치 해석기하학 $X^{\operatorname{an}}$ 와 그 스켈레톤을 이용한다.
• 포함사상 $\iota: \Gamma \hookrightarrow X^{\operatorname{an}}$ 를 통한 $\mu_{\mathrm{ad}}$ 의 후퇴를 고려하여 등분포 문제를 스켈레톤 $\Gamma$ 로 환원한다.
• 아이젠부르크-헤리스로부터 확장된 극한 선형 계열의 프레임워크를 적용하여 $\Gamma$ 위의 위어스트라스 다항식의 환원을 기술한다.
• 이산 조화 함수와 그 라플라시안을 이용하여 텐서곱에 따른 위어스트라스 점의 점근적 행동을 분석한다.
• 측도를 해석기하학에서 스켈레톤으로 이전하기 위해 재접합 사상 $\tau: X^{\operatorname{an}} \twoheadrightarrow \Gamma$ 를 사용한다.
• 콤���트성 추론과 변형의 기울기 추정을 적용하여 정규화된 이산 측도 $\mu_n = \frac{1}{\deg(W_n)}\delta_{W_n}$ 가 $\mu_{\mathrm{ad}}$ 로 약수수렴함을 증명한다.

실험 결과

연구 질문

• RQ1 비아르키메데스 체 위의 곡선에서 위어스트라스 점의 등분포가 캐논리컬 적응가능 측도로 약수수렴하는 의미에서 성립하는가?
• RQ2 정규 스테이블 모델의 특수 섬유의 성분으로 환원될 때 위어스트라스 점은 어떻게 행동하는가?
• RQ3 스테이블 분열에서 위어스트라스 다항식의 환원을 극한 선형 계열을 통해 완전히 기술할 수 있는가?
• RQ4 특정 비가역 성분으로 환원되는 위어스트라스 점의 점근적 비율은 무엇인가?
• RQ5 최소 스켈레톤 위의 캐논리컬 적응가능 측도는 곡선의 기하학과 그 선다발과 어떻게 관련이 있는가?

주요 결과

• 선다발 $L^{igotimes n}$ 의 위어스트라스 점 집합 위의 정규화된 이산 측도 $\frac{1}{\deg(\mathcal{W}_n)}\delta_{\mathcal{W}_n}$ 는 $X^{\operatorname{an}}$ 위의 캐논리컬 적응가능 측도 $\mu_{\mathrm{ad}}$ 로 약수수렴한다.
• 극한 선형 계열을 통한 스켈레톤 $\Gamma$ 위의 위어스트라스 다항식 $\mathcal{W}_n$ 의 환원이 완전히 기술되었으며, 이는 아이젠부르크와 헤리스의 질문에 대한 완전한 답변를 제공한다.
• 정규 스테이블 모델의 특수 섬유의 성분 $\mathfrak{C}_0$ 가 종수 $g_0$ 를 가질 경우, $n \to \infty$ 일 때 위어스트라스 점이 $\mathfrak{C}_0$ 로 환원되는 비율은 $g_0/g$ 로 수렴한다.
• 스켈레톤의 점 $x_0$ 에서의 접선 방향에 대한 최소 기울기 합 $s^\nu_{n,0}$ 의 극한이 다리인 간선의 경우 0이 되며, 그렇지 않은 경우 유한함을 보였다.
• 에지 $e$ 에서 적절한 정규화 하에 함수 $F_n(x) - F_n(y)$ 의 점근적 행동이 메트릭 그래프에서의 간선 길이 $\rho_e$ 로 수렴함을 보였다.
• 함수 $F_n$ 과 관련된 라플라시안의 총 변동량이 유계이면, 간선 $e$ 는 다리여야 하며, 이에 해당하는 등분포 공식의 항은 0이 된다.