Co-Axial Metrics on the Sphere and Algebraic Numbers

In this paper, we consider the following curvature equation Δ u+ eᵘ=4π((θ₀-1)δ₀+(θ₁-1)δ₁ +∑ⱼ₌₁ⁿ⁺ᵐ(θⱼ'-1)δtⱼ) in\ R², u(x)=-2(1+θ_∞)ln|x|+O(1) as \ |x|→∞, where θ₀, θ₁, θ_∞, and θⱼ' are positive non-integers for 1≤ j≤ n, while θⱼ'≥ 2 are integers for n+1≤ j≤ n+m. Geometrically, a solution u gives rise to a conical metric ds²=12 eᵘ| dx|² of curvature $1$ on the sphere, with conical singularities at $0$, $1$, ∞, and tⱼ, 1≤ j≤ n+m, with angles 2πθ₀, 2πθ₁, 2πθ_∞, and 2πθⱼ' at $0$, $1$, ∞, and tⱼ, respectively. The metric ds² or the solution u is called co-axial, which was introduced by Mondello and Panov, if there is a developing map $h(x)$ of u such that the projective monodromy group is contained in the unit circle. The sufficient and necessary conditions in terms of angles for the existence of such metrics were obtained by Mondello-Panov (2016) and Eremenko (2020). In this paper, we fix the angles and study the locations of the singularities t₁,,tₙ₊ₘ. Let Aⁿ⁺ᵐ be the set of those (t₁,,tₙ₊ₘ)'s such that a co-axial metric exists, among other things we prove that (i) If $m=1$, i.e., there is only one integer θₙ₊₁' among θⱼ', then A is a finite set. Moreover, for the case $n=0$, we obtain a sharp bound of the cardinality of the set A. We apply a result due to Eremenko, Gabrielov, and Tarasov (2016) and the monodromy of hypergeometric equations to obtain such a bound. (ii) If m≥ 2, then A is an algebraic set of dimension ≤ m-1.