3ab1e12725874dd4.tex
1: \begin{abstract}
2: Given a gapped boundary of a (3+1)d topological order (TO), one can stack on it a decoupled (2+1)d TO to get another boundary theory. Should one view these two boundaries as ``different''? A natural choice would be no. Different classes of gapped boundaries of (3+1)d TO should be defined modulo the decoupled (2+1)d TOs. But is this enough? 
3: 
4: We examine the possibility of {\it coupling} the boundary of a (3+1)d TO to additional (2+1)d TOs or fractonic systems, which leads to even more possibilities for gapped boundaries. Typically, the bulk point-like excitations, when touching the boundary, become excitations in the added (2+1)d phase, while the string-like excitations in the bulk may end on the boundary but with endpoints dressed by some  other excitations in the (2+1)d phase. For a good definition of ``class'' for gapped boundaries of (3+1)d TO, we choose to quotient out the different dressings as well.
5: 
6: We characterize a {\it class} of gapped boundaries by the string-like excitations that can end on the boundary, whatever their endpoints are. A concrete example is the (3+1)d bosonic toric code. Using group cohomology and category theory, three gapped boundaries have been found previously: rough boundary, smooth boundary and twisted smooth boundary. We can construct many more gapped boundaries beyond these, which all naturally fall into two classes corresponding to whether the $m$-string can or cannot end on the boundary. According to this classification, the previously found three boundaries are grouped as \{rough\}, \{smooth, twisted smooth\}. 
7: For a (3+1)d TO characterized by a finite group $G$, different classes correspond to different normal subgroups of $G$. 
8: We illustrate the physical picture from various perspectives including coupled layer construction, Walker-Wang model and field theory.
9: \end{abstract}
10: