Electromagnetism in nonleptonic weak interactions

We construct a low-energy effective field theory that permits the complete treatment of isospin-breaking effects in nonleptonic weak interactions to next-to-leading order. To this end, we enlarge the chiral Lagrangian describing strong and Delta S=1 weak interactions by including electromagnetic terms with the photon as additional dynamical degree of freedom. The complete and minimal list of local terms at next-to-leading order is given. We perform the one-loop renormalization at the level of the generating functional and specialize to K -> pi pi decays.