Global Structure in the Presence of a Topological Defect

<jats:title>Abstract</jats:title>
<jats:p>
We investigate the global structure of topological defects which wrap a submanifold
<jats:inline-formula>
<jats:alternatives>
<jats:tex-math>$$F\subset M$$</jats:tex-math>
<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML">
<mml:mrow>
<mml:mi>F</mml:mi>
<mml:mo>⊂</mml:mo>
<mml:mi>M</mml:mi>
</mml:mrow>
</mml:math>
</jats:alternatives>
</jats:inline-formula>
in a quantum field theory defined on a closed manifold
<jats:italic>M</jats:italic>
. The Pontryagin–Thom construction oversees the interplay between the global structure of
<jats:italic>F</jats:italic>
and the global structure of
<jats:italic>M</jats:italic>
. We will employ this construction in two distinct mathematical frameworks with physical applications. The first framework is the concept of a characteristic structure, consisting of the data of pairs of manifolds (
<jats:italic>M</jats:italic>
, 
<jats:italic>F</jats:italic>
) where
<jats:italic>F</jats:italic>
is Poincaré dual to some characteristic class. This concept is discussed in the mathematics literature and shown here to have meaningful physical interpretations related to defects. In our examples, we will mainly focus on the case where
<jats:italic>M</jats:italic>
is 4-dimensional and
<jats:italic>F</jats:italic>
has codimension 2. The second framework uses obstruction theory and the fact that spontaneously broken finite symmetries leave behind domain walls, to determine the conditions on which dimensions a higher-form finite symmetry can spontaneously break. We explicitly study the cases of higher-form
<jats:inline-formula>
<jats:alternatives>
<jats:tex-math>$$\mathbb {Z}/2$$</jats:tex-math>
<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML">
<mml:mrow>
<mml:mi>Z</mml:mi>
<mml:mo>/</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:math>
</jats:alternatives>
</jats:inline-formula>
symmetry, but the method can be generalized to other groups.
</jats:p>