Types of quantum field thories
FQFT and cohomology
A (pre-)quantum field theory with defects is, roughly a field theory that assigns data not just to plain manifolds/cobordisms, but to spaces that may carry certain singularities and/or colorings. At the locus of such a singularity the bulk field theory may then undergo transitions.
Such defects are known by many names. In codimension 1 they are often called domain walls. If they are boundaries they are often called branes, the corresponding domain walls are then sometimes called bi-branes. Examples of Dimension-1 defects are Wilson lines and cosmic strings (at least in gauge theory) and dimension-0 defects are often called monopoles.
a TQFT with defects. A general formalization is in (Lurie, section 4.3), ee at Cobordism theorem – For cobordisms with singuarities (boundaries/branes and defects/domain walls). See also (Davydov-Runkel-Kong).
Such a morphism carries data as follows:
for each label in of codimension 0 there is an ordinary bulk field theory;
for each label in of codimension 1 data on how to “connect” the two TQFTs on both sides
So one may think of the codimension colors as defects where the TQFT that one is looking at changes its nature.
In particular, when the QFT on one side of the defect is trivial, then the defect behaves like a boundary condition for the remaining QFT. Since at least for QFT such boundary conditions are also called branes, defects are also called bi-branes.
The statement of the cobordism theorem with singularities (Lurie, theorem 4.3.11) is essentially the following:
Given a symmetric monoidal (∞,n)-category , then for every choice of pasting diagram of k-morphisms for all , there is a type of manifolds with singularity , such that is the free symmetric monoidal -category on this data, hence such that TFTs with defects are equivalently given by realizing such a pasting diagram in , where each of the given k-morphism appears as the value of a codimension -defect. (See also Lurie, remark 4.3.14).
An old notion of defects in field theory – well preceeding the above general notion in the context of FQFT – is that of topological defects in the vacuum structure of gauge theories that exhibit spontaneous symmetry breaking (such as a Higgs mechanism).
A comprehensive review in in (Vilenkin-Shellard 94. Steps towards conceptually systematizing these broken-symmetry defects and their interaction are made in Preskill-Vilenkin 92. We now discuss this may be translated to and formalized in the general FQFT definition above along the lines of (Fiorenza-Valentino, FSS).
Let be a Lie group, to be thought of as the (local or global) gauge group of some gauge theory. Let a subgroup, to be thought of as the subgroup of global symmetries preserved by some vacuum configuration (which “spontaneously breaks” the symmetry from to , the archetypical example is the Higgs mechanism).
Then the space of such vacuum configurations is the coset space . So given a manifold (spacetime), vacuum configuratons are given by functions . Hence is the “moduli space of vacua” or “vacuum space” in this context.
The functions are to be smooth functions in the bulk of spacetime. If they are allowed to be non-smooth or even non-continuous along given strata of , then these are called defects in the sense of broken gauge symmetry.
In particular (with counting adapted to )
if is not smooth but becomes smooth on , where is a codimension-2 submanifold, then is calld a cosmic string-defect of the vacuum configurations;
if is not smooth but becomes smooth on , where is a codimension-3 submanifold, then is calld a monopole-defect of the vacuum configurations.
hm, need to fine-tune the technical conditions here, to make the following statement come out right
domain walls can appear when is non-trivial;
cosmic strings can appear when is non-trivial;
monopoles can appear when is non-trivial.
Next consider a sequence of subgroups
Then we say that vacuum defects at energy of codimension- which wind around an element are metastable if they become unstabe at energy , hence if their image in is trivial.
So if we add to the singular cobordism category the -morphism which is the -dimenional unit cube with an open -ball removed, then the boundary field data for metastable codimension -defects is
we have a homotopy fiber sequence
This induces a long exact sequence of homotopy groups
So for every metastable defect of codimension given by there is an element in of one codimension higher. One says (Preskill-Vilenkin 92) that the codimenion -defect may end on that codimension -defect.
In order to formalize this we introduce, following the cobordism theorem with singularities, cells in which label spontaneous-symmetriy-breaking defects as well as their defects-of-defects which exhibit their decay by higher codimension defects.
Consider a span of the form
Comparing this to the span that comes from the “cap” in the theory at energy level , which is just
shows that the former models a -disk which is not filled with spacetime, but nevertheless closes the disk. This is the defect given as a removal of a piece of spacetime.
Comparing again to the span that comes from the “cap” in the theory at energy level , which is just
shows that the former models a -disk whose center point carries a singularity: the fields at the bounding take values in the moduli space of the ambient theory , but then at the tip of the “cap” there is a “field insertion” of a field with values in . Hence this labels a defect of codimension .
To construct such a decay-process span that captures the above story from Preskill-Vilenkin 92, consider the following diagram:
This may be read as follows:
on the far left is the space of fields of the ambient theory at energy scale around the defect;
the bottom left map is the “fluctuation” map that sends these fields to fields at the higher energy scale ;
the bottom right map exhibt the possible “decays”: a lift through this map takes a field configuration that winds around a -ball and contracts it through that -ball, hence going forth and back through the bottom two maps corresponds to carrying a defect over the energy barrier from to and there having it decay away.
these decaying configurations are therefore given by the homotopy fiber product of the bottom two functions, which is , as indicated. But this space is really given by field configurations at energy scale that wind around a -ball, as shown at the very top.
Hence the top part of this diagram is a span that exhibits a defect-of-defects which tells just the story that (Preskill-Vilenkin 92) is telling: a codimension- defect of the low energy theory decays at higher energy, and the decay is witnessed by the appearance of a codimension -defect of the high energy theory.
|singularity||field theory with singularities|
|boundary condition/brane||boundary field theory|
|domain wall/bi-brane||QFT with defects|
A general formulation via an (∞,n)-category of cobordisms with defects is in section 4.3 of
Further general aspects are discussed in
Details in dimension 2 and 3 are discussed in
Examples in physics of interaction of defects of various dimension is discussed in
Defects in 2-dimensional conformal field theory have a long history in real-world application, for instance
Kramers-Wannier duality from conformal defects
Frölich, Fuchs, Runkel, Schweigert, Duality and defects in rational conformal field theory (arXiv)
Defects in 2-dimension TFT have been studied a lot in the context of genus-0 TFT, where they are described using the language of planar algebras.
Defects in Chern-Simons theory and related systems are discussed in
Anton Kapustin, Natalia Saulina, Surface operators in 3d TFT and 2d Rational CFT in Hisham Sati, Urs Schreiber (eds.) Mathematical Foundations of Quantum Field and Perturbative String Theory AMS, 2011
The following references discuss the traditional notion of topological defects in the vacuum structure of gauge theory with spontaneous symmetry breaking such as domain walls, cosmic strings and monopoles.
Discussion of “topological defects in gauge theory” in higher codimension is in
Defects field theory motivated from solid state physics is discussed in