1: \begin{abstract}

2: We derive a bulk-boundary correspondence for three-dimensional (3D) symmetry-protected topological (SPT) phases with unitary symmetries. The correspondence consists of three

3: equations that relate bulk properties of these phases to properties of their gapped, symmetry-preserving surfaces. 

4: Both the bulk and surface data appearing in our correspondence are defined via a procedure in which we gauge the symmetries of the system of 

5: interest and then study the braiding statistics of excitations of the resulting gauge theory. The bulk data is defined 

6: in terms of the statistics of bulk excitations, while the surface data is defined in terms of the statistics of surface 

7: excitations. An appealing property of this data is that it is plausibly complete in the sense that the bulk data uniquely distinguishes each 3D SPT phase, 

8: while the surface data uniquely distinguishes each gapped, symmetric surface.

9: Our correspondence applies to any 3D bosonic SPT phase with finite Abelian unitary symmetry group. It applies to any surface that 

10: (1) supports only Abelian anyons and (2) has the property that the anyons are not permuted by the symmetries.

11: \end{abstract}

12: