From large cardinals we show the consistency of normal, fine, κ-complete λ-dense ideals on
{{\cal P}_\kappa }\left( \lambda \right) for successor κ. We explore the interplay between dense ideals, cardinal arithmetic, and squares, answering some open questions of Foreman.