Norm-equivariant metrized divisors on Berkovich spaces

Yinchong Song

2024-09-25

Abstract:Yuan and Zhang introduced adelic divisors over a quasi-projective varieties. They showed that such divisors will induce norm-equivariant metrized divisors on corresponding Berkovich space. We will show that all norm-equivariant metrized divisors can be obtained this way, and then give some application on the analytic aspect of Yuan--Zhang's adelic divisors.

Algebraic Geometry,Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is: **Can all norm - equivariant metrized divisors be obtained through the adelic divisor construction introduced by Yuan and Zhang?**

Specifically, the core objectives of the paper are to prove the following two points:
1. **Global case**: For the adelic divisor group $\hat{\text{Div}}(U/k)$ defined on the quasi - projective étale scheme $U$, there exists a canonical mapping to the norm - equivariant metrized divisor group $\hat{\text{Div}}(U^{\text{an}})_{\text{eqv}}$ on the Berkovich space, and this mapping is bijective.
- Theorem 1.1 is stated as: Let $k = \mathbb{Z}$ or a field, and $U$ be a quasi - projective étale scheme, then the canonical mapping
$$
\hat{\text{Div}}(U/k)\to\hat{\text{Div}}(U^{\text{an}})_{\text{eqv}}
$$
is bijective.

2. **Local case**: For the adelic divisor group $\hat{\text{Div}}(U/\mathcal{O}_K)$ defined on the local ring, there also exists a canonical mapping to the norm - equivariant metrized divisor group on the Berkovich space, and this mapping is also bijective.
- Theorem 1.2 is stated as: Let $K$ be a complete non - Archimedean field or the real/complex field with the standard absolute value, and $U$ be a quasi - projective variety, then the canonical mapping
$$
\hat{\text{Div}}(U/\mathcal{O}_K)\to\hat{\text{Div}}(U^{\text{an}})_{\text{eqv}}
$$
is bijective.

### Methods for Solving the Problem
The paper solves the above problems through the following steps:
1. **Study of the Properties of Berkovich Spaces**: First, study the topological structure of Berkovich spaces, especially the compactness and Hausdorff properties of the interior part $U^\beth$ and the boundary part $\tilde{U}^b$. These results provide the basis for the subsequent proofs.
- Theorem 2.5 shows that both $U^\beth$ and $\tilde{U}^b$ are compact Hausdorff spaces.

2. **Proof of the Main Theorems**: By analyzing the relationship between adelic divisors and continuous functions, prove the bijectivity between the adelic divisor group and the norm - equivariant metrized divisor group.
- The key lies in connecting adelic divisors with Green functions and using the properties of Green functions to construct appropriate topological spaces.

3. **Applications**: Finally, discuss the applications of the main theorems, including the comparison theorem on toric varieties, the global Monge - Ampère measure of integrable adelic line bundles, etc.

### Formula Summary
- The definition of norm - equivariant metrized divisors involves the Green function $g_D(x)$ satisfying:
$$
g_D(x)+\log|f(x)|\quad\text{extends continuously on }|D|^{\text{an}}.
$$
- The definition of the boundary norm is:
$$
\|\bar{D}\|_{\bar{Z}}=\inf\{\varepsilon\in\mathbb{Q}_{>0}:-\varepsilon\bar{Z}\leq\bar{D}\leq\varepsilon\bar{Z}\}.
$$

Through these theoretical tools, the paper successfully proves the correspondence between adelic divisors and norm - equivariant metrized divisors.