Class Invariants for Quartic CM Fields
One can define class invariants for a quartic primitive CM field as special values of certain Siegel (or Hilbert) modular functions at CM points corresponding to . Such constructions were given by de Shalit-Goren and Lauter. We provide explicit bounds on the primes appearing in the denominators of these algebraic numbers. This allows us, in particular, to construct -units in certain abelian extensions of a reflex field of , where is effectively determined by , and to bound the primes appearing...