# Contents

## Idea

For $\mathrm{Conf}$ a configuration space and

$S:\mathrm{Conf}\to ℝ$S : Conf \to \mathbb{R}

an action functional that is invariant under a group $G$ of symmetries acting on $\mathrm{Conf}$, in that

$\forall g\in G,\varphi \in \mathrm{Conf}:\phantom{\rule{thinmathspace}{0ex}}\phantom{\rule{thinmathspace}{0ex}}\phantom{\rule{thinmathspace}{0ex}}S\left(g\left(\varphi \right)\right)=S\left(\varphi \right)$\forall g \in G, \phi \in Conf : \,\,\, S(g(\phi)) = S(\phi)

a solution ${\varphi }_{0}$ to the Euler-Lagrange equations of motion is said to exhibit spontaneously broken symmetry if it is not a fixed-point of that group action: if there is $g\in G$ such that $g\left({\varphi }_{0}\right)\ne {\varphi }_{0}$.

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 ${G}_{{\varphi }_{0}}\subset G$ that fixes the given configuration ${\varphi }_{0}$ 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 ${\varphi }_{0}$ 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 $\delta \varphi$ around the given ${\varphi }_{0}$. Since the original symmetry group still acts on the full fields ${\varphi }_{0}+\delta \varphi$, the remaining symmetry group of the effective field theory is ${G}_{{\varphi }_{0}}$, whose elements $g$ send

$g:\left({\varphi }_{0}+\delta \varphi \right)↦g\left({\varphi }_{0}\right)+g\left(\delta \varphi \right)={\varphi }_{0}+g\delta \varphi \phantom{\rule{thinmathspace}{0ex}}.$g : (\phi_0 + \delta \phi) \mapsto g(\phi_0) + g(\delta \phi) = \phi_0 + g \delta \phi \,.

Since in the effective theory around ${\varphi }_{0}$ the vacuum state where all the $\delta \varphi$ have no excitations (or rather: are in their ground state) corresponds to ${\varphi }_{0}$ 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 .

## Examples

### Scalars in mexican hat potential

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 Higgs effect? – is this:

Let $\mathrm{Conf}={C}^{\infty }\left(X=\left[0,1{\right]}^{d},{ℝ}^{N}\right)$ be the configuration space of $N$ real scalar fields and take the action functional to be

$S:\varphi ↦{\int }_{X}\left(-\frac{1}{2}\mid \nabla \varphi {\mid }^{2}-\frac{h}{2}\mid \varphi {\mid }^{2}-\frac{g}{4}\mid \varphi {\mid }^{4}\right)d{\mu }_{X}$S : \phi \mapsto \int_X \left( -\frac{1}{2}\vert \nabla \phi \vert^2 - \frac{h}{2} \vert\phi\vert^2 - \frac{g}{4} \vert\phi\vert^4 \right) d\mu_X

for some $h,g\in ℝ$. This is manifestly invariant under the canonical action of the orthogonal group $G=O\left(N\right)$ on $\mathrm{Conf}$.

This action functional has a class of critical points given by constant maps $\varphi :X\to {ℝ}^{n}:\varphi \left(x\right)=\Phi$. These extremize the action functional precisely if the $\Phi$ extremize the potential energy

$\frac{h}{2}\mid \varphi {\mid }^{2}+\frac{g}{4}\mid \varphi {\mid }^{4}\phantom{\rule{thinmathspace}{0ex}}.$\frac{h}{2} \vert\phi\vert^2 + \frac{g}{4} \vert\phi\vert^4 \,.

If both $g$ and $h$ are positive, then there is only one such critical point, given by $\Phi =0$. Therefore in this case the unique constant solution does not break the symmetry, in that $g\left(\Phi =0\right)=\left(\Phi =0\right)$ for all $g\in O\left(N\right)$.

However, if $h$ is negative and $g$ positve, then the solutions are all those $\Phi$ with

$\mid \Phi {\mid }^{2}=-\frac{h}{g}>0\phantom{\rule{thinmathspace}{0ex}}.$\vert \Phi \vert^2 = - \frac{h}{g} \gt 0 \,.

The set of all these is closed under the action of $G=O\left(N\right)$ – 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 $\varphi :x↦\Phi$ is a solution that spontaneously breaks the symmetry of the theory.

### In gravity

The theory of gravity on a given topological manifold $X$ has as configurations pseudo-Riemannian metrics on $X$ and its action functional – the Einstein-Hilbert action or one of its variants – is invariant under the action of the diffeomorphism group on $X$.

The corresponding Euler-Lagrange equations are Einstein's equations . A given solution $\left(X,g\right)$ breaks the symmetry given by a diffeomorphism $f:X\to X$ unless $f$ is an isometry. This means that the unbroken symmetries connected to the identiy correspond precisely to the Killing vector fields on $\left(X,g\right)$.

#### Kaluza-Klein reductions

Spontaneous symmetry breaking in gravity plays a central role for instance in the context of the Kaluza-Klein mechanism. For instance for $\mathrm{dim}X=5$ the effective field theory of gravity around a solution of the form $\left(X={X}_{4}×{S}^{1},{g}_{4}\otimes {g}_{1}\right)$ 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).

#### Super Kaluza-Klein reductions

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 $\left({X}^{4}×{Y}^{d},\left({g}_{4}\otimes {g}_{d}\right)\right)$ 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 $\left({\psi }_{4}=\mathrm{const}\otimes {\psi }_{d}=\mathrm{covariantly}\mathrm{const}\right)$ give rise to effective field theories with exactly one remaining global supersymmetry.

For more see supersymmetry and Calabi-Yau manifolds.

This is discussed in a bit of detail for instance in (Strominger, lecture 2).

## References

In

sponaneously broken global gauge group symmetry is discssuion in vol I, section 19, and spontaneously broken local gauge group symmetry in vol I, section 21.4.

Textbook discussion of broken symmetry in gravity and supergravity in the context of the Kaluza-Klein mechanism is in

Discussion of supersymmetry breaking is in

Revised on May 2, 2013 16:41:05 by Urs Schreiber (76.125.224.116)