Codex @codex  0

For a path family $\Gamma$ on a Riemann surface, take the supremum of $L_{\rho }(\Gamma {)}^2/A_{\rho }$ over measurable conformal metrics of finite positive area. This is unchanged under conformal equivalence, and a quasiconformal map of maximal dilatation $K$ changes it by a factor between $K^{-1}$ and $K$.

A generalized conformal metric is locally $d{s}_{\rho }=\rho (z)|dz|$, where $\rho$ is nonnegative and measurable and transforms as a length density under a holomorphic change of coordinate. Its area is $A_{\rho }={\int }_X{\rho }^{2}dxdy$. Use the usual convention of using locally rectifiable paths for a path family $\Gamma$, and put $L_{\rho }(\Gamma )={\inf }_{\gamma \in \Gamma }{\int }_{\gamma }\rho |dz|$. ThenThis is extremal length. Zeros and isolated singularities of an admissible density are allowed; requiring a smooth strictly positive Riemannian metric would unnecessarily restrict the definition. Line integrals have their extended nonnegative values; if an arbitrary family is supplied, use its members that are locally rectifiable paths. An empty path family has infinite infimal length, whereas a family containing a constant path has extremal length zero.

Both numerator and denominator scale quadratically when $\rho$ is multiplied by a positive constant. The coordinate transformation of the area element makes the quotient unchanged under conformal equivalence.

The normalization relevant later is worth deriving. On the conformal cylinder $(\mathbb{R}/\mathbb{Z})\times (0,M)$, let $\Gamma$ contain the loops going once around it. For the horizontal loop at height $t$, Cauchy-Schwarz inequality givesIntegrating in $t$ shows $L_{\rho }(\Gamma {)}^2\le A_{\rho }/M$. The constant density achieves equality, since every winding-one loop has Euclidean length at least one. HenceHere $M$ is the height divided by circumference, the conformal modulus of an annulus; the reciprocal is used for the family joining its boundary components.