Exactly solvable models for U(1) symmetry-enriched topological phases

We propose a general construction of commuting projector lattice models for 2D and 3D topological phases enriched by U(1) symmetry, with finite-dimensional Hilbert space per site. The construction starts from a commuting projector model of the topological phase and decorates U(1) charges to the state space in a consistent manner. We show that all 2D U(1) symmetry-enriched topological phases, which allow gapped boundaries without breaking the symmetry, can be realized through our construction. We also construct a large class of 3D topological phases with U(1) symmetry fractionalized on particles or loop excitations.