Extremal length lower bound from a closed one-form
ID: extremal-length-lower-bound-from-a-closed-one-form
Let be a real closed differential form on a Riemann surface, of finite positive conformal energy . If its period on a loop homotopy class is , then . Indeed the conformal metric has area and each loop in the class has length at least . Energy is independent of the auxiliary smooth conformal metric used to compute the pointwise norm: the inverse scaling of the squared norm cancels the area scaling.
New to topics? Read the docs here!