English

Complete harmonic metrics and subharmonic functions on the unit disc

Differential Geometry 2025-08-19 v1 Complex Variables

Abstract

Let XX be a Riemann surface, KXXK_X \rightarrow X the canonical bundle, and TXXT_X\rightarrow X the dual bundle of the canonical bundle. For each integer r2r \geq 2, each qH0(KXr)q \in H^0(K_X^r), and each choice of the square root KX1/2K_X^{1/2} of the canonical bundle, we obtain a Higgs bundle (Kr,Φ(q))(\mathbb{K}_r,\Phi(q)), which is called a cyclic Higgs bundle. A diagonal harmonic metric h=(h1,,hr)h = (h_1, \dots, h_r) on a cyclic Higgs bundle yields r1r-1-Hermitian metrics H1,,Hr1H_1, \dots, H_{r-1} on TXT_X, while h1h_1, hrh_r, and qq yield a degenerate Hermitian metric HrH_r on TXT_X. A diagonal harmonic metric is said to be complete if the K\"ahler metrics induced by H1,,Hr1H_1,\dots, H_{r-1} are all complete. Li-Mochizuki established a theorem stating that on any Riemann surface XX and any qq that is non-zero unless XX is hyperbolic, there exists a unique complete harmonic metric hh on (Kr,Φ(q))(\mathbb{K}_r,\Phi(q)) with a fixed determinant. The holomorphic section qq induces a subharmonic weight function ϕq=1rlogq2\phi_q=\frac{1}{r}\log|q|^2 on KXK_X, and a diagonal harmonic metric depends solely on this weight function ϕq\phi_q. In this paper, we extend the uniqueness part of the theorem of Li-Mochizuki to any subharmonic weight function φ\varphi whose exponential is C2C^2 outside a compact subset KXK \subseteq X. We also show that on the unit disc, a complete Hermitian metric associated with φ\varphi always exists. Furthermore, on the unit disc, when φ\varphi can be monotonically approximated by a family of weight functions (φϵ)0<ϵ<1(\varphi_\epsilon)_{0 < \epsilon < 1}, where each φϵ\varphi_\epsilon is smooth and defined on a disc Dϵ={zCz<1ϵ}\mathbb{D}_\epsilon= \{z \in \mathbb{C} \mid |z| < 1 - \epsilon\}, we show that the corresponding family of complete metrics (hϵ)0<ϵ<1(h_\epsilon)_{0 < \epsilon < 1} converges monotonically to a complete metric hh associated with φ\varphi as ϵ0\epsilon\searrow 0.

Keywords

Cite

@article{arxiv.2508.12848,
  title  = {Complete harmonic metrics and subharmonic functions on the unit disc},
  author = {Natsuo Miyatake},
  journal= {arXiv preprint arXiv:2508.12848},
  year   = {2025}
}

Comments

24pages

R2 v1 2026-07-01T04:54:40.703Z