Massive U(1)s and heterotic five-branes on K3

We systematically consider heterotic SO(32) and E8×E8 compactifications on K3 with Abelian and non-Abelian backgrounds as well as an arbitrary number of five-branes. The masses of the U(1) factors depend on the first Chern classes of the bundles and some combinatorial factors specifying the embedding in SO(32) or E8. The form of the generalised Green-Schwarz counter-terms in six dimensions constrains the possible heterotic five-brane actions. Some supersymmetric examples on K3 realisations as toric complete intersection spaces with up to three explicit two-forms are given.