On the density of modular points in universal deformation spaces

Based on comparison theorems for Hecke algebras and universal deformation rings with strong restrictions at the critical prime l, as provided by the results of Wiles, Taylor, Diamond, et al., we prove under rather general conditions that the corresponding universal deformation spaces with no restrictions at l can be identified with certain Hecke algebras of l-acid modular forms as conjectured by Gouvea, thus generalizing previous work of Gouvea and Mazur. Along the way, we show that the universal deformation spaces we consider are complete intersections, flat over Z(l) of relative dimension three, in which the modular points form a Zariski dense subset. Furthermore the fibers above Q(l) of these spaces are generically smooth.