[논문 리뷰] Degeneration of Riemann theta functions and of the Zhang-Kawazumi invariant with applications to a uniform Bogomolov conjecture

Robert Wilms|arXiv (Cornell University)|2021. 01. 11.

Algebraic Geometry and Number Theory참고 문헌 28인용 수 4

한 줄 요약

이 논문은 극점이 있는 단위 원판 위의 주로 극성된 아벨 다양체의 가 Families 에서 리emann-스바르츠 함수와 Zhang–Kawazumi 불변량의 분해 행동을 규명하며, 이 불변량 $\varphi(M_t)$ 가 $-\varphi(\Gamma)\log|t|$ 로 분해됨을 보여준다. 여기서 $\Gamma$ 는 관련된 메트릭화된 감소 그래프이다. 이는 수체 위의 잼비안 다양체의 타우토로지컬 사이클에 대한 네론–테이트 높이의 본질적 최소값에 대해 균일한 양의 하한을 이끌어낸다.

ABSTRACT

In this paper we study the degeneration behavior of the norm of the Riemann $θ$-function in a family of principally polarized abelian varieties over the punctured complex unit disc in terms of the associated polarized real torus. As an application, we obtain the degeneration behavior of the Zhang--Kawazumi invariant $φ(M_t)$ of a family of Riemann surfaces $M_t$ in terms of Zhang's invariant $φ(Γ)$ of the associated metrized reduction graph $Γ$. This allows us to deduce a uniform lower bound for the essential minimum of the Néron-Tate height on the tautological cycles of any Jacobian variety over a number field.

연구 동기 및 목표

• 주로 극성된 아벨 다양체의 가에서 리만-스바르츠 함수의 노름의 점차적 행동을 이해하기 위해.
• 관련된 메트릭화된 감소 그래프 $\Gamma$ 의 토폴로지 불변량 $\varphi(\Gamma)$ 와 연관된 Zhang–Kawazumi 불변량 $\varphi(M_t)$ 의 분해 행동을 연결하기 위해.
• 수체 위의 잼비안 다양체의 타우토로지컬 사이클에 대한 네론–테이트 높이의 본질적 최소값에 대한 균일한 하한을 유도하기 위해.
• 특히 균일한 보고몰로프 추측의 맥락에서, 토폴로지적 및 아라켈로프 이론적 불변량을 수론 기하학으로 확장하기 위해.
• 불변량 $I(A,\Theta)$ 의 정확한 점차적 공식을 토폴로지 모멘텀 $I(\Sigma_f)$ 와 $|t|$ 의 로그 항으로 기술하기 위해.

제안 방법

• 주로 극성된 아벨 다양체의 가 $\mathscr{A}_t \to \Delta^*$ 에서 리만-스바르츠 함수 $\|\theta\|^2$ 의 $L^2$-노름의 분해를 분석한다.
• 이를 관련된 극성된 실토루스 $\Sigma_f$ 에서의 토폴로지 리만-스바르츠 함수 $\|\Psi\|$ 와 연결한다.
• 도메인이 $t$ 에 따라 변하는 것을 피하기 위해 고정된 기본 영역 $[0,1)^{2g}$ 와 Haar 측도를 사용한다.
• 점차적 행동을 유도하기 위해 공식 $I(A,\Theta) = \log \int_A \|\theta\|^2 \frac{\nu^g}{g!} - \int_A \log\|\theta\|^2 \frac{\nu^g}{g!}$ 을 적용한다.
• 점차적 공식을 $I(A,\Theta)$ 와 $\varphi$, $\delta$, $I$ 간의 알려진 관계를 결합하여 $\varphi(M_t)$ 의 분해 행동을 도출한다.
• 네론–테이트 높이에 대한 애드레틱 메트릭을 이용한 선다발의 유계성과 산술 노이터 공식을 적용하여 균일한 하한을 확립한다.

실험 결과

연구 질문

• RQ1 주로 극성된 아벨 다양체의 가에서 리만-스바르츠 함수의 노름은 어떻게 분해되는가?
• RQ2 가의 분해가 진행됨에 따라 Zhang–Kawazumi 불변량 $\varphi(M_t)$ 의 점차적 행동은 어떠한가?
• RQ3 분해 행동은 관련된 메트릭화된 감소 그래프 $\Gamma$ 의 토폴로지 불변량 $\varphi(\Gamma)$ 로 표현될 수 있는가?
• RQ4 이 분해 행동은 잼비안 다양체의 타우토로지컬 사이클에 대한 네론–테이트 높이의 본질적 최소값에 대해 균일한 하한을 이끌어내는가?
• RQ5 분해 극한에서 불변량 $I(A,\Theta)$, $\delta$, $\varphi$ 는 어떻게 상호작용하며, 그 수론적 의미는 무엇인가?

주요 결과

• 불변량 $I(\mathscr{A}_t)$ 는 $I(\mathscr{A}_t) \sim -I(\Sigma_f)\log|t| - \frac{\dim\Sigma_f}{2}\log(-\log|t|)$ 를 만족하며, 이는 토폴로지 모멘텀을 통해 그 분해 행동을 묘사한다.
• Zhang–Kawazumi 불변량은 $\varphi(M_t) \sim -\varphi(\Gamma)\log|t|$ 로 분해되며, 여기서 $\Gamma$ 는 분해하는 가의 메트릭화된 감소 그래프이다.
• 이 점차적 공식은 de Jong 의 이전 결과를 일반화하며, $\varphi$ 의 아르히메데스 성향에 대한 토폴로지적 설명을 제공한다.
• 타우토로지컬 사이클에 대한 네론–테이트 높이의 본질적 최소값에 대해 균일한 하한이 확립된다: $h'_{\mathcal{L}}(Z_{m,\alpha}) \geq \frac{(g-1)^3}{24(47g^4 + 42g^3 + 18g^2 + g)} \max(12h_{\mathrm{Fal}}(X) + c_1(g), c_2(g))$.
• 이 하한은 사이클 매개변수 $m$ 과 $\alpha$ 의 선택과 무관하며, 모든 수체에서 균일하게 성립한다.
• 결과는 잼비안에서 타우토로지컬 사이클에 대한 보고몰로프 추측의 균일한 형태를 확인하며, 이는 이전 결과를 고차원 사이클으로 확장한다.