The spherical-distance formula for the rational-map energy functional

Let Ratk\operatorname{Rat}_k be the space of rational self-maps of CP1\mathbb{CP}^1 of degree kk, represented by f(z)=p(z)/q(z)f(z)=p(z)/q(z) with roots pip_i of pp and roots qjq_j of qq. Let ρ(pi,qj)\rho(p_i,q_j) denote the spherical distance between the corresponding points of CP1\mathbb{CP}^1. The functional A(f)\mathcal{A}(f) is defined by

A(f)=logsupzC(z2+1)k(p(z)2+q(z)2)infzC(z2+1)k(p(z)2+q(z)2).\mathcal{A}(f)=\log\frac{\sup_{z\in\mathbb{C}}\left(|z|^2+1\right)^{-k}\left(|p(z)|^2+|q(z)|^2\right)}{\inf_{z\in\mathbb{C}}\left(|z|^2+1\right)^{-k}\left(|p(z)|^2+|q(z)|^2\right)}.

Spherical-distance formula. The functional A(f)\mathcal{A}(f) agrees, up to scale or something...?, with

logmaxijρ(piqj)minijρ(piqj).\log\frac{\max_{i\neq j}\rho(p_i-q_j)}{\min_{i\neq j}\rho(p_i-q_j)}.

Here the indices range over the roots appearing in the representation of ff. This is presented as a proposed identification of the energy functional with a root-separation expression; the statement is informal and its precise normalization and even the notation ρ(piqj)\rho(p_i-q_j) require clarification.

Sources & referencesView supporting material

Primary source

Ollie Thakar, “The moduli space of multi-monopoles on a Riemann surface”, arXiv:2505.13166 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.