Types of quantum field thories
For a configuration space and
The “breaking” refers to the fact that the group no longer acts. It is called “spontaneous” because one imagines that by a physical process the theory “finds” one of its solutions. This comes from the class of examples where a statistical system is first considered at high temperature and then cooled down. At some point it will “spontaneously” freeze in one allowed configuration. A standard example is a ferromagnet?: at high temperature its magnetization? vanishes, while at very low termperature it spontaneously finds a direction of magnetization, thus “breaking” rotational symmetry.
One calls the subgroup that fixes the given configuration the unbroken symmetry group .
In the context of the quantum field theory arising by quantization of this action functional one considers the given classical solution as a background about which to consider perturbations of the remaining effective quantum field theory.
The fields in this effective QFT are then small excitations around the given . Since the original symmetry group still acts on the full fields , the remaining symmetry group of the effective field theory is , whose elements send
Since in the effective theory around the vacuum state where all the have no excitations (or rather: are in their ground state) corresponds to itself one says in this context that a quantum theory exhibits spontaneouly broken symmetry if its vacuum state is not invariant under the pertinent symmetries .
We indicate the formalization of the concept in the axiomatics of cohesion.
So this is something defined on phase space . If that also descends to the homotopy quotient (this is hard to draw here, but should be clear) then that makes the wavefunction also -equivariant. If not, then the wavefunction “breaks” the -symmetry.
Now if on top of this we have that the given is a “ground state”, then if it does not descend to the homotopy quotient we say “the -symmetry is spontaneously broken”.
To axiomatize what “ground state” means: introduce another -action on which is a Hamiltonian action, i.e. with respect to which the prequantum bundle is required to be equivariant. Then ask to (be polarized and) be a minimal eigenstate of the respective Hamiltonian. That makes it a “ground state”.
A standard example which is both very simple but at the same time of central importance in one of the main applications in the standard model of particle physics – the electroweak symmetry breaking via the Higgs mechanism – is this:
Let be the configuration space of real scalar fields and take the action functional to be
for some . This is manifestly invariant under the canonical action of the orthogonal group on .
This action functional has a class of critical points given by constant maps . These extremize the action functional precisely if the extremize the potential energy
If both and are positive, then there is only one such critical point, given by . Therefore in this case the unique constant solution does not break the symmetry, in that for all .
However, if is negative and positve, then the solutions are all those with
The set of all these is closed under the action of – this group takes one of these solutions into another – but none of these solutions is fixed by this action.
One says in this case that any such solution is a solution that spontaneously breaks the symmetry of the theory.
The theory of gravity on a given topological manifold has as configurations pseudo-Riemannian metrics on and its action functional – the Einstein-Hilbert action or one of its variants – is invariant under the action of the diffeomorphism group on .
The corresponding Euler-Lagrange equations are Einstein's equations . A given solution breaks the symmetry given by a diffeomorphism unless is an isometry. This means that the unbroken symmetries connected to the identiy correspond precisely to the Killing vector fields on .
Spontaneous symmetry breaking in gravity plays a central role for instance in the context of the Kaluza-Klein mechanism. For instance for the effective field theory of gravity around a solution of the form is 4-dimensional gravity coupled to electromagnetism (and a dilaton field): the components of the field of gravity along the circle transmute into the electromagnetic field. The ansatz breaks all the symmetries that would mix the remaining 4-dimensional gravitational excitations with these new electromagnetic excitations.
This is discussed in a bit of detail for instance in (Strominger, lecture 1).
The above discussion has a direct analog in theories of higher supergravity. By the same logic, one finds that the effective quantum field theory around classical solutions that are Kaluza-Klein reductions of the form exhibts as global symmetries all those diffeomorphisms that are not spontaneously broken by this solution.
In this case, though, there are also supersymmetry analogs of the plain diffeomorphism action. Such a local supersymmetry remains unbroken in the given solution if it comes from a Killing spinor field.
Therefore KK-reductions to 4-dimensional Minkowski space in supergravity that admit precisely four Killing spinors of the form give rise to effective field theories with exactly one remaining global supersymmetry. See also at supersymmetry breaking.
For more see supersymmetry and Calabi-Yau manifolds.
This is discussed in a bit of detail for instance in (Strominger, lecture 2).
Pierre Deligne, Pavel Etingof, Dan Freed, L. Jeffrey, David Kazhdan, John Morgan, D.R. Morrison and Edward Witten, eds. , Quantum Fields and Strings, A course for mathematicians, 2 vols. Amer. Math. Soc. Providence 1999. (web version)
Discussion of spontaneous supersymmetry breaking is in
Yael Shadmi, Supersymmetry breaking (arXiv:hep-th/0601076)
points out that for symmetric systems with a symmetric ground state, already a tiny perturbation mixing the ground state with the first excited stated causes spontaneous symmetry breaking in the suitable limit, and suggests that this already resolves the measurement problem in quantum mechanics.