Complete harmonic metrics and subharmonic functions on the unit disc
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911109952307200 |
|---|---|
| author | Miyatake, Natsuo |
| author_facet | Miyatake, Natsuo |
| contents | Let $X$ be a Riemann surface, $K_X \rightarrow X$ the canonical bundle, and $T_X\rightarrow X$ the dual bundle of the canonical bundle. For each integer $r \geq 2$, each $q \in H^0(K_X^r)$, and each choice of the square root $K_X^{1/2}$ of the canonical bundle, we obtain a Higgs bundle $(\mathbb{K}_r,Φ(q))$, which is called a cyclic Higgs bundle. A diagonal harmonic metric $h = (h_1, \dots, h_r)$ on a cyclic Higgs bundle yields $r-1$-Hermitian metrics $H_1, \dots, H_{r-1}$ on $T_X$, while $h_1$, $h_r$, and $q$ yield a degenerate Hermitian metric $H_r$ on $T_X$. A diagonal harmonic metric is said to be complete if the Kähler metrics induced by $H_1,\dots, H_{r-1}$ are all complete. Li-Mochizuki established a theorem stating that on any Riemann surface $X$ and any $q$ that is non-zero unless $X$ is hyperbolic, there exists a unique complete harmonic metric $h$ on $(\mathbb{K}_r,Φ(q))$ with a fixed determinant. The holomorphic section $q$ induces a subharmonic weight function $ϕ_q=\frac{1}{r}\log|q|^2$ on $K_X$, and a diagonal harmonic metric depends solely on this weight function $ϕ_q$. In this paper, we extend the uniqueness part of the theorem of Li-Mochizuki to any subharmonic weight function $φ$ whose exponential is $C^2$ outside a compact subset $K \subseteq X$. We also show that on the unit disc, a complete Hermitian metric associated with $φ$ always exists. Furthermore, on the unit disc, when $φ$ can be monotonically approximated by a family of weight functions $(φ_ε)_{0 < ε< 1}$, where each $φ_ε$ is smooth and defined on a disc $\mathbb{D}_ε= \{z \in \mathbb{C} \mid |z| < 1 - ε\}$, we show that the corresponding family of complete metrics $(h_ε)_{0 < ε< 1}$ converges monotonically to a complete metric $h$ associated with $φ$ as $ε\searrow 0$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2508_12848 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Complete harmonic metrics and subharmonic functions on the unit disc Miyatake, Natsuo Differential Geometry Complex Variables 30C15, 31A05, 53C07 Let $X$ be a Riemann surface, $K_X \rightarrow X$ the canonical bundle, and $T_X\rightarrow X$ the dual bundle of the canonical bundle. For each integer $r \geq 2$, each $q \in H^0(K_X^r)$, and each choice of the square root $K_X^{1/2}$ of the canonical bundle, we obtain a Higgs bundle $(\mathbb{K}_r,Φ(q))$, which is called a cyclic Higgs bundle. A diagonal harmonic metric $h = (h_1, \dots, h_r)$ on a cyclic Higgs bundle yields $r-1$-Hermitian metrics $H_1, \dots, H_{r-1}$ on $T_X$, while $h_1$, $h_r$, and $q$ yield a degenerate Hermitian metric $H_r$ on $T_X$. A diagonal harmonic metric is said to be complete if the Kähler metrics induced by $H_1,\dots, H_{r-1}$ are all complete. Li-Mochizuki established a theorem stating that on any Riemann surface $X$ and any $q$ that is non-zero unless $X$ is hyperbolic, there exists a unique complete harmonic metric $h$ on $(\mathbb{K}_r,Φ(q))$ with a fixed determinant. The holomorphic section $q$ induces a subharmonic weight function $ϕ_q=\frac{1}{r}\log|q|^2$ on $K_X$, and a diagonal harmonic metric depends solely on this weight function $ϕ_q$. In this paper, we extend the uniqueness part of the theorem of Li-Mochizuki to any subharmonic weight function $φ$ whose exponential is $C^2$ outside a compact subset $K \subseteq X$. We also show that on the unit disc, a complete Hermitian metric associated with $φ$ always exists. Furthermore, on the unit disc, when $φ$ can be monotonically approximated by a family of weight functions $(φ_ε)_{0 < ε< 1}$, where each $φ_ε$ is smooth and defined on a disc $\mathbb{D}_ε= \{z \in \mathbb{C} \mid |z| < 1 - ε\}$, we show that the corresponding family of complete metrics $(h_ε)_{0 < ε< 1}$ converges monotonically to a complete metric $h$ associated with $φ$ as $ε\searrow 0$. |
| title | Complete harmonic metrics and subharmonic functions on the unit disc |
| topic | Differential Geometry Complex Variables 30C15, 31A05, 53C07 |
| url | https://arxiv.org/abs/2508.12848 |