Weighted graphs and complex Gaussian free fields

We prove a combinatorial lemma about the distribution of directed currents in a complex “loop soup” and use it to give a new proof of the isomorphism relating loop measures and complex Gaussian fields.