Periodic holomorphic descent through the exponential map

ID: periodic-holomorphic-descent-through-the-exponential-map

If a holomorphic function of is periodic with period one, then is independent of the choice of a local logarithm: two choices differ by , hence their arguments differ by an integer. Consequently it defines a holomorphic function on the image of the original domain under , provided that domain is invariant under integer shifts. Local logarithms prove holomorphy across an arbitrary global branch cut. Singularities on an integer lattice all map to .

New to topics? Read the docs here!