Effective Lagrangians for quantum many-body systems