One can define class invariants for a quartic primitive CM field K as special
values of certain Siegel (or Hilbert) modular functions at CM points
corresponding to K. We provide explicit bounds on the primes appearing in the
denominators of these algebraic numbers. This allows us, in particular, to
construct S-units in certain abelian extensions of K, where S is effectively
determined by K. It also yields class polynomials for primitive quartic CM
fields whose coefficients are S-integers.Comment: 14 page