# Gauge Invariance and Symmetry Breaking by Topology and Energy Gap

^{*}

Next Article in Journal

Next Article in Special Issue

Next Article in Special Issue

Previous Article in Journal

Previous Article in Special Issue

Previous Article in Special Issue

Scuola Normale Superiore, 52126 Pisa, Italy

Author to whom correspondence should be addressed.

Academic Editor: Palle E.T. Jorgensen

Received: 16 July 2015 / Revised: 8 October 2015 / Accepted: 12 October 2015 / Published: 22 October 2015

(This article belongs to the Special Issue Mathematical physics)

For the description of observables and states of a quantum system, it may be convenient to use a canonical Weyl algebra of which only a subalgebra A, with a non-trivial center Z, describes observables, the other Weyl operators playing the role of intertwiners between inequivalent representations of A. In particular, this gives rise to a gauge symmetry described by the action of Z. A distinguished case is when the center of the observables arises from the fundamental group of the manifold of the positions of the quantum system. Symmetries that do not commute with the topological invariants represented by elements of Z are then spontaneously broken in each irreducible representation of the observable algebra, compatibly with an energy gap; such a breaking exhibits a mechanism radically different from Goldstone and Higgs mechanisms. This is clearly displayed by the quantum particle on a circle, the Bloch electron and the two body problem.

The mathematical foundations of quantum mechanics rely on the Dirac–von Neumann axioms (for a critical review, see [1,2]), and the equivalence between the Heisenberg formulation in terms of canonical operators and the Schrödinger formulation in terms of wave functions is provided by the Stone–von Neumann theorem, which states the uniqueness of the Schrödinger representation of the canonical algebra under general regularity conditions.

Technically, this result is achieved by introducing the Weyl unitary operators (formally, the exponentials of the canonical variables $q,p$) and the corresponding Weyl algebra, defined by algebraic relations, which encode the canonical commutations relations of Heisenberg canonical variables.

The use of the Weyl algebra is usually motivated by the better behavior and mathematical control of the unitary Weyl operators with respect to the Heisenberg canonical variables, which are necessarily represented by unbounded operators.

It is usually taken for granted that the Dirac–Heisenberg quantization, in terms of the canonical commutation relations of the q’s and p’s, and the Weyl quantization, in terms of the commutation relations of the Weyl operators, are equivalent under the implicit assumption that one is interested only in regular representations of the Weyl algebra, to which the Stone–von Neumann uniqueness theorem applies.

The point is that the Dirac–Heisenberg quantization implicitly assumes that all of the canonical variables describe observables so that the regularity of their exponentials (Weyl operators) is required by their existence as (unbounded) operators in the Hilbert representation space.

The regularity condition at the basis of the Stone–von Neumann theorem is standard in the mathematical analysis and classification of Lie group representations, and, in, the quantum mechanical case, it amounts to considering the strongly (equivalently weakly) -continuous (unitary) representations of the Heisenberg group.

However, for a class of physically-interesting systems, especially in connection with quantum gauge theories, it has become apparent [3,4,5,6] that the Dirac–Heisenberg quantization is not compatible with a gauge-invariant ground state, only the Weyl quantization being allowed.

In these cases, the inequivalence of the two quantization methods arises by the lack of regularity of one-parameter groups generated by Weyl operators, so that the corresponding generators, i.e., the corresponding Heisenberg canonical variables, cannot be defined as (self-adjoint) operators in the Hilbert space of states.

The physical reason at the basis of such a lack of regularity is that the QM description of a class of physical systems involves canonical variables, not all of which correspond to observable quantities; some of them are introduced for the description of the states, namely of the inequivalent representations of the algebra of observables, for which purpose only their exponentials are needed to exist as well-defined operators in the Hilbert space of states, with the role of intertwiners between inequivalent representations.

Thus, the larger algebra $\mathcal{F}$, in which the algebra of observables is embedded, may be characterized as the minimal algebra, such that all of the automorphisms of $\mathcal{A}$ are inner. This means that $\mathcal{F}$ contains the intertwiners between the inequivalent representations of $\mathcal{A}$, i.e., all of the “variables” needed for a complete description of the observables and the states of the given quantum system. Such an embedding provides a natural ${C}^{*}$ norm for $\mathcal{A}$. Clearly, the basis of such a structure, beyond the Stone–von Neumann unique characterization of quantum mechanics, is the existence of inequivalent representations of $\mathcal{A}$. This typically occurs in the case of quantum systems on manifolds with a non-trivial fundamental group.

Thus, what might at first sight look to be an uninteresting singular, if not pathological, case turns out to be crucial for the quantum description of physically-interesting systems.

In general, this lack of regularity may be related to the existence of a gauge group. Typically, one has the Weyl algebra ${\mathcal{A}}_{W}$ generated by the exponentials of the full set of canonical variables needed for the description of the observables and states of the system, but only a subalgebra $\mathcal{A}$ describes observables.

Generically, $\mathcal{A}$ has a non-trivial center $\mathcal{Z}$, which generates transformations having the meaning of gauge symmetries (gauge transformations). Thus, the algebra ${\mathcal{A}}_{W}$ of canonical variables contains both gauge-dependent and gauge-invariant (i.e., observable) variables.

Clearly, the regularity condition must be satisfied by the exponentials of the observable variables, otherwise the representation is not physically acceptable, but there is no physical reason for the regularity condition of the gauge-dependent Weyl operators, playing the role of intertwiners.

As we shall see, the representation of the Weyl algebra by a gauge-invariant ground state in general requires the non-regularity of the gauge-dependent Weyl operators and implies the impossibility of defining the corresponding generators as well-defined operators in the corresponding Hilbert space (non-regular representation of the Heisenberg group or of the Weyl algebra).

Relevant quantum mechanical examples of such a structure are the electron in a periodic potential (Bloch electron), the quantum Hall electron, the particle on a circle, where the gauge transformations are, respectively, the lattice translations, the magnetic translations and the rotations of $2\pi $. In gauge quantum field theories (GQFT), the need of a non-regular Weyl quantization arises in (positive) representations of the field algebra defined by a gauge-invariant vacuum state.

The non-regular Weyl representations for the quantization of systems with a gauge symmetry exhibit the following characteristic structures, which do not have a counterpart in the Dirac–Heisenberg canonical quantization:

- (i)
- a gauge invariance constraint in operator form compatible with canonical Weyl quantization (avoiding the mathematically-unacceptable recourse to non-normalizable states)
- (ii)
- super-selected charges defined by the center of the observable algebra
- (iii)
- gauge-invariant ground states, defining inequivalent representations of the observable algebra, labeled by the spectrum of the super-selected charges (θ sectors)
- (iv)
- the absence of “Goldstone states” associated with the spontaneous breaking of symmetries (canonically) conjugated to the gauge transformations.

Particularly relevant is the case in which the above structure of the algebra of observables for a (finite dimensional) quantum system arises as a consequence of the non-trivial topology of the manifold $\mathcal{M}$ of the particle positions. The mechanism is that the fundamental group of the manifold, which has been shown in [7] to be the only source of topological effects, gives rise to elements of the center of the observable algebra and a corresponding gauge group. This leads to a mechanism of symmetry breaking, which is substantially different from the standard Nambu–Goldstone case (with associated Goldstone bosons) and from the Higgs mechanism (characterized by a dynamics that induces a long-range Coulomb-like delocalization): the symmetry breaking is forced by the topology in any irreducible representation of the observables, with a compatible energy gap related to the spectrum of the first homology group of the manifold (symmetry breaking by topology and energy gap; see Section 5 below).

In our opinion, the realization of such general structures and their clear and simple realization in (finite dimensional) QM mechanical models, fully under control, shed light on the more difficult infinite dimensional GQFT models, discussed within very specific approximations.

The physical relevance of non-regular representations of the Heisenberg group raises the problem of the their classification, i.e., a generalization of the classical Stone–von-Neumann theorem [9,10,11,12], which characterizes the regular ones.

Such a generalization may be obtained by exploiting the simple form of the Gelfand spectrum of the maximal abelian subalgebra ${\mathcal{A}}_{Z}$ of the Weyl algebra generated by the pairs ${U}_{i}(-2\pi /\lambda )$, ${V}_{i}\left(\lambda \right)$, $i=1,...d$ (d the space dimensions), formally corresponding to the exponentials $exp-i(2\pi /\lambda ){q}_{i}$, $expi\lambda \phantom{\rule{0.166667em}{0ex}}{p}_{i}$. Such pairs of operators were introduced by Zak [13] in order to discuss the dynamics of electrons in solids in external fields; the crucial distinctive property (see [14]) of the corresponding ${C}^{*}$-algebra, called the Zak algebra, is that its Gelfand spectrum Σ is given by d copies of the two-dimensional torus $\Sigma ={\left({\mathbf{T}}^{2}\right)}^{d}$.

Then, one may prove [14] that all of the representations of the Weyl algebra that are spectrally multiplicity free as representations of its Zak algebra (a condition that generalizes irreducibility) and are strongly measurable (a condition that replaces regularity in non-separable spaces) are unitarily equivalent to a representation of the Weyl algebra of the same form of the standard Schrödinger representation on ${L}^{2}(\Sigma ,d\mu )$, with $d\mu $ a (positive) translationally-invariant Borel measure, which reduces to the Lebesgue measure iff the regularity condition is satisfied.

The conditions that yield such a classification are satisfied by all of the non-regular representations of physical interest mentioned above; thus, they all have the above form, each with a corresponding Borel measure on ${\left({\mathbf{T}}^{2}\right)}^{d}$.

This represents a radical departure from the standard structure of quantum mechanics, since it requires non-separable Hilbert spaces, very discontinuous expectations of one-parameter groups of unitary operators (vanishing for all non-zero values of the parameters, so that the corresponding generators do not exist), etc. Such features have been regarded as pathological and to be avoided for an acceptable physical interpretation. Actually, they have a very sound mathematical status; there is no problem for the physical interpretation, and they explain the important role of the gauge group and of topology for the evasion of the Goldstone theorem in the case of gauge symmetry breaking.

The role of topology in (flat space) GQFT, especially in quantum chromodynamics (QCD), had been realized a long time ago, but in terms of topological classification of the Euclidean configurations (the instanton solution in QCD) assumed to dominate the functional integral within a semiclassical approximation. Such a classification requires the regularity and continuity of such Euclidean configurations, and it is well known that regular configurations have zero functional measure. Apart from this consistency problem, the above exploitation of topology appears to be strictly bound to very special mechanisms, and the question arises whether there is an underlying general framework, a point not clearly addressed in the literature.

One of the aims of this paper is to emphasize, on the basis of quantum mechanical models recognized to mimic the basic structures of GQFT, that the crucial and basic ingredient is the existence of a nontrivial center of the observables and its topological origin. This clarification, in terms of the topology of the gauge group, provides a general abstraction of the mechanism, similar to that provided by studying the properties of a Lie group rather than those of the vectors of one of its representations (Section 2).

Such a topological origin of the center of the observable algebra arises as a consequence of the topology of the manifold of the QM configurations (Section 3 and examples that are reviewed under this more general perspective).

The main focus of the paper is to study the implications on spontaneous breaking of symmetries not commuting with the topological invariants, which define elements of the center $\mathcal{Z}$ of the observables. The conclusion (Theorem 3) is that such symmetries are broken in any irreducible (or factorial) representation of the observables and that (contrary to the classical Goldstone theorem) the energy spectrum may have a gap given by the spectrum of the topological invariants belonging to $\mathcal{Z}$.

A general case leading to non-regular representations is when:

- (i)
- a quantum system is described by canonical variables, generating a Heisenberg group ${G}_{H}$, but only a subset of them, and consequently, only a subgroup ${G}_{obs}\subset {G}_{H}$, describes observable quantities, the other canonical variables providing the intertwiners for the description of the inequivalent representations of the observable algebra,
- (ii)
- ${G}_{obs}$ is generated by a Heisenberg subgroup and by an Abelian subgroup $\mathcal{G}$, which commutes with ${G}_{obs}$.

Then, $\mathcal{G}$ generates a group of transformations ${\alpha}_{g}$, $g\in \mathcal{G}$, which leave the observables pointwise invariant:
i.e., $\mathcal{G}$ has the meaning of a gauge group.

$${\alpha}_{g}\left(A\right)=A,\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\forall A\in {G}_{obs},\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\forall g\in \mathcal{G}$$

The elements of ${G}_{H}$ generate a ${C}^{*}$-algebra ${\mathcal{F}}_{W}$, called field algebra, and the elements of ${G}_{obs}$ generate a ${C}^{*}$-algebra $\mathcal{A}$ of observables, characterized by gauge invariance, Equation (1). $\mathcal{A}$ has a non-trivial center generated by the elements of $\mathcal{G}$. A representation of ${\mathcal{F}}_{W}$ is physical if ${G}_{obs}$ is regularly represented.

In the irreducible representations of $\mathcal{A}$, $\mathcal{Z}$ is represented by multiples of the identity. The generators of $\mathcal{G}$ have the meaning of super-selected charges and the points θ of the spectrum $\sigma \left(\mathcal{Z}\right)$ of $\mathcal{Z}$ label inequivalent representations $({\mathcal{H}}_{\theta},{\pi}_{\theta})$ of $\mathcal{A}$, called $\mathbf{\theta}$ sectors. The Stone–von Neumann uniqueness theorem does not apply, and this can be traced back to the fact that, contrary to the Weyl ${C}^{*}$-algebra, $\mathcal{A}$ is not simple.

By definition, a gauge-invariant state ω on ${\mathcal{F}}_{W}$ satisfies
and therefore, in the Gelfand-Naimark-Segal (GNS) representation ${\pi}_{\omega}$ of ${\mathcal{F}}_{W}$ defined by ω, the gauge transformations are implemented by unitary operators $U\left(g\right)$ defined by (${\Psi}_{\omega}$ denotes the vector, which represents ω):

$$\omega \left({\alpha}_{g}\left(F\right)\right)=\omega \left(F\right),\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\forall F\in {\mathcal{F}}_{W},$$

$$U\left(g\right){\Psi}_{\omega}={\Psi}_{\omega},\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}U\left(g\right){\pi}_{\omega}\left(F\right){\Psi}_{\omega}={\pi}_{\omega}\left({\alpha}_{g}\left(F\right)\right)\phantom{\rule{0.166667em}{0ex}}{\Psi}_{\omega},\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\forall F\in {\mathcal{F}}_{W}$$

Let $V\left(g\right)$ denote the element of $\mathcal{G}$, which defines ${\alpha}_{g}$:
then ${\pi}_{\omega}\left(V\left(g\right)\right)U{\left(g\right)}^{*}$ commutes with ${\mathcal{F}}_{W}$ and, in each irreducible representation of ${\mathcal{F}}_{W}$, ${\pi}_{\omega}\left(V\left(g\right)\right)\phantom{\rule{0.166667em}{0ex}}U{\left(g\right)}^{*}={e}^{i\theta \left(g\right)}\mathbf{1}$. Hence, ${\Psi}_{\omega}$ is an eigenvector of ${\pi}_{\omega}\left(V\left(g\right)\right)$, with eigenvalue ${e}^{i\theta \left(g\right)}$,

$${\alpha}_{g}\left(F\right)=V\left(g\right)\phantom{\rule{0.166667em}{0ex}}F\phantom{\rule{0.166667em}{0ex}}V{\left(g\right)}^{-1},\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\forall F\in {\mathcal{F}}_{W}$$

$${\pi}_{\omega}\left(V\left(g\right)\right){\Psi}_{\omega}={\pi}_{\omega}\left(V\left(g\right)\right)U{\left(g\right)}^{*}{\Psi}_{\omega}={e}^{i\theta \left(g\right)}{\Psi}_{\omega}$$

Thus, the GNS representation ${\pi}_{\omega}$ of ${\mathcal{F}}_{W}$, equivalently of ${G}_{H}$, defined by a gauge invariant state ω is non-regular,
and the subspaces ${\mathcal{H}}_{\theta}$ carrying disjoint irreducible representations of $\mathcal{A}$ are proper subspaces of the non-separable space ${\mathcal{H}}_{{\pi}_{\omega}}$.

$${\mathcal{H}}_{{\pi}_{\omega}}=\sum _{\theta \in \sigma \left(\mathcal{Z}\right)}\oplus \phantom{\rule{0.166667em}{0ex}}{\mathcal{H}}_{\theta}$$

Summarizing, one has:

Then, the GNS representation of ${\mathcal{F}}_{W}$ defined by a gauge-invariant state is a non-regular representation of ${\mathcal{F}}_{W}$, as well as of the Heisenberg group ${G}_{H}$, and the elements of $\mathcal{G}$ define super-selection rules.

Relevant examples of such a structure are provided by quantum mechanical models, in particular those exhibiting strong analogies with gauge quantum field theories (as discussed below).

The prototype is provided by the non-regular representation [15] of the Weyl algebra ${\mathcal{A}}_{W}\left({\mathbb{R}}^{2}\right)$ generated by the one-parameter unitary groups $U\left(\alpha \right),\phantom{\rule{0.166667em}{0ex}}V\left(\beta \right)$, $\alpha ,\beta \in \mathbb{R}$, with $U\left(\alpha \right)V\left(\beta \right)=V\left(\beta \right)U\left(\alpha \right){e}^{-i\alpha \beta}$, $V\left(\beta \right)$ describing gauge transformations.

$${\omega}_{0}\left(U\left(\alpha \right)\phantom{\rule{0.166667em}{0ex}}V\left(\beta \right)\right)=0,\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}if\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\alpha \ne 0,\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}{\omega}_{0}\left(V\left(\beta \right)\right)={e}^{i\beta \overline{p}},\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\overline{p}\in \mathbb{R}$$

$$V\left(\beta \right){\Psi}_{0}={e}^{i\beta \overline{p}}\phantom{\rule{0.166667em}{0ex}}{\Psi}_{0},\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}(U\left(\alpha \right)\phantom{\rule{0.166667em}{0ex}}{\Psi}_{0},\phantom{\rule{0.166667em}{0ex}}U\left({\alpha}^{\prime}\right)\phantom{\rule{0.166667em}{0ex}}{\Psi}_{0})=0,\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}if\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\alpha \ne {\alpha}^{\prime}$$

The generator of the one-parameter group $U\left(\alpha \right)$ does not exist, but nevertheless, a generic vector of D:
may be represented by a wave function ${\psi}_{A}\left(x\right)={\sum}_{n\in \mathbb{Z}}{a}_{n}\phantom{\rule{0.166667em}{0ex}}{e}^{i{\alpha}_{n}x}$, with the scalar product given by the ergodic mean:

$${\Psi}_{A}=A{\Psi}_{0},\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}A=\sum _{n\in \mathbb{Z}}{a}_{n}U\left({\alpha}_{n}\right),\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\left\{{a}_{n}\right\}\in {l}^{2}$$

$$({\psi}_{A},{\psi}_{A})=\sum _{n\in \mathbb{Z}}{\left|{a}_{n}\right|}^{2}=\underset{L\to \infty}{lim}{\left(2L\right)}^{-1}{\int}_{-L}^{L}dx\phantom{\rule{0.166667em}{0ex}}{\overline{\psi}}_{A}\left(x\right)\phantom{\rule{0.166667em}{0ex}}{\psi}_{A}\left(x\right)$$

The spectrum of $V\left(\beta \right)$ is a pure point spectrum.

$$\begin{array}{cc}\hfill {\omega}_{0}\left(U\left(\alpha \right)V\left(\beta \right)\right)& ={\omega}_{0}\left(V\left(\gamma \right)U\left(\alpha \right)V\left(\beta \right)V{\left(\gamma \right)}^{*}\right)=\hfill \\ & ={\omega}_{0}\left(U\left(\alpha \right)V\left(\gamma \right)V\left(\beta \right)V{\left(\gamma \right)}^{*}\right){e}^{i\alpha \gamma}={\omega}_{0}\left(U\left(\alpha \right)V\left(\beta \right)\right){e}^{i\alpha \gamma}\hfill \end{array}$$

$$V\left(\beta \right){\Psi}_{0}={e}^{i\overline{p}\beta}{\Psi}_{0},\phantom{\rule{4pt}{0ex}}\overline{p}\in \mathbb{R}$$

The quantum description of two interacting particles is given by the Weyl algebra ${\mathcal{A}}_{W}$, corresponding to the two particle canonical variables ${q}_{1},{q}_{2},{p}_{1},{p}_{2}$; however, for the discussion of the bound state spectrum of the two-body problem and, in particular, the lowest energy level, the position of the center of mass is irrelevant.

It is therefore natural to consider as observable ${C}^{*}$-algebra $\mathcal{A}$ the algebra generated by the relative canonical variable $q,p$ and by the center of mass momentum P.

Hence, the translations $v\left(\beta \right)$ of the center of mass have the meaning of gauge transformations. The lowest energy state ${\omega}_{0}$ must satisfy ${\omega}_{0}\left({P}^{2}\right)=0$, so that the corresponding vector ${\Psi}_{0}$ satisfies ${P}^{2}{\Psi}_{0}=0$, i.e., it is gauge invariant $v\left(\beta \right){\Psi}_{0}={\Psi}_{0}$. This condition is incompatible with the canonical commutation relations in the Heisenberg form. It has been suggested to bypass such incompatibility by allowing ${\Psi}_{0}$ to be non-normalizable [16].

In our opinion, such a choice would have catastrophic consequence on the GNS representation defined by such a ground state; by the cyclicity of ${\Psi}_{0}$, all vectors of such a representation would be non-normalizable; all matrix elements (including the ground state expectations of gauge-invariant operators) would be divergent; and one could not extract finite results in a consistent mathematical way.

A canonical quantization is not forbidden, provided it is done in terms of the Weyl algebra, rather than of the Heisenberg algebra, and it is given by Proposition 2.

In our opinion, from a mathematical point of view, the non-regularity of the representation is a much better price to pay, rather than living with non-normalizable state vectors.

The advantages of such a quantization is that the states are described by normalizable vectors of a Hilbert space; the basic quantum mechanical rules are not violated; the observable subalgebra $\mathcal{A}$ is regularly represented in the standard way; the canonical variables that are not gauge invariant are non-regularly represented, only their exponentials being well defined.

Thus, the model suggests a general strategy for quantizing systems with a gauge-invariance constraint.

Another relevant quantum mechanical example is provided by an electron in a periodic bounded measurable potential $W\left(q\right)=W(q+a)$. The periodic structure of the system leads to considering as observable ${C}^{*}$-algebra $\mathcal{A}$ the subalgebra of the Weyl algebra ${\mathcal{F}}_{W}$, generated by the translations $V\left(\beta \right)$ and by the periodic functions of the position $U(2\pi n/a)$, $n\in \mathbb{Z}$.

The center $\mathcal{Z}$ of $\mathcal{A}$ is generated by the translations $V\left(a\right)$, and the irreducible representations of $\mathcal{A}$ are given by the subspaces ${\mathcal{H}}_{\theta}$ (θ sectors), corresponding to the GNS representations of $\mathcal{A}$ defined by the states invariant under the gauge group of translations $V\left(a\right)$.

The operators $U(\alpha /a),\alpha \ne 2\pi n$ do not commute with the center of $\mathcal{A}$ and, therefore, intertwine between the inequivalent representations ${\pi}_{\theta}$ and ${\pi}_{\theta +\alpha}$; the corresponding one-parameter group is non-regularly represented in the representation of ${\mathcal{F}}_{W}$ defined by the gauge-invariant ground state [17].

The structure of an observable algebra $\mathcal{A}$ naturally embedded in a larger Weyl algebra ${\mathcal{F}}_{W}$, with the non-trivial center of $\mathcal{A}$ generating gauge transformations on ${\mathcal{F}}_{W}$, arises for example as a consequence of the non-trivial topology of the manifold $\mathcal{M}$, which describes the configurations of the quantum system.

In fact, the quotient of the fundamental group ${\pi}_{1}(\tilde{\mathcal{M})}$, of the universal covering space $\tilde{\mathcal{M}}$ of the manifold, with its commutator group, i.e., the first homology group ${H}_{1}(\tilde{\mathcal{M})}$ of $\tilde{\mathcal{M}}$, defines topological invariants, which are represented by elements of the center of the observable algebra [7,8].

For simplicity, we consider the case of a quantum particle on a circle, where the observable algebra $\mathcal{A}$ can be taken as the ${C}^{*}$-subalgebra of the standard Weyl (field) algebra ${\mathcal{F}}_{W}$, generated by $U\left(n\right)={e}^{in\phi}$, $n\in \mathbb{Z}$ and $V\left(\beta \right)={e}^{i\beta p}$, $\beta \in \mathbb{R}$; with the canonical commutation relations:

$$U\left(n\right)\phantom{\rule{0.166667em}{0ex}}V\left(\beta \right)={e}^{-in\beta}\phantom{\rule{0.166667em}{0ex}}V\left(\beta \right)\phantom{\rule{0.166667em}{0ex}}U\left(n\right)$$

The rotations of $2\pi $ define elements of the observable algebra $\mathcal{A}$, which may actually be characterized as the subalgebra of ${\mathcal{F}}_{W}$ invariant under the translations ${\gamma}^{n}$ of $2\pi n$, $n\in \mathbb{Z}$, which, therefore, get the meaning of gauge transformations.

The structure fits into the general discussion of Heisenberg group ${G}_{H}$, observable subgroup ${G}_{obs}$ and gauge group $\mathcal{G}$, with corresponding ${C}^{*}$-algebras ${\mathcal{F}}_{W}$, $\mathcal{A}$ and a non-trivial center $\mathcal{Z}$ of $\mathcal{A}$, as discussed above. The non-trivial center of $\mathcal{A}$ may be traced back to the non-trivial fundamental group of the circle: ${\pi}_{1}\left({S}^{1}\right)=\mathbb{Z}$. The representation π of $\mathcal{A}$ is regular if $\pi \left(V\right(\beta \left)\right)$ is a weakly-continuous group of unitary operators.

In each irreducible representation of $\mathcal{A}$, the element $V\left(2\pi \right)$ is a multiple of the identity, say ${e}^{i\theta}$, $\theta \in [0,\phantom{\rule{0.166667em}{0ex}}2\pi )$.

The Hilbert space $\mathcal{H}$ of the unique regular representation ${\pi}_{S}$ of the Weyl algebra ${\mathcal{F}}_{W}$ decomposes as a direct integral:
over the spectrum of ${\pi}_{S}(V\left(2\pi \right)$. There is a unique irreducible representation π of ${\mathcal{F}}_{W}$, whose Hilbert space decomposes as a direct sum of the irreducible representations of the observable algebra $\mathcal{A}$; in such a representation, $V\left(\beta \right)$ is regularly represented, but the algebra generated by $U\left(\alpha \right)$, $\alpha \in \mathbb{R}$ is not. The operators $U\left(\alpha \right)$ intertwine between inequivalent representations of $\mathcal{A}$.

$$\mathcal{H}={\int}_{0}^{2\pi}d\theta \phantom{\rule{0.166667em}{0ex}}{\mathcal{H}}_{\theta}$$

A similar structure is displayed by an electron in a periodic crystal, i.e., subject to a periodic potential. For simplicity, we consider the one-dimensional case. In this case, the Hamiltonian is $H=-{d}^{2}/d{x}^{2}+W\left(x\right)$, with the potential satisfying the periodicity condition $W(x+a)=W\left(x\right)$, for a suitable a. The field algebra ${\mathcal{F}}_{W}$ is generated by the Weyl operators $U\left(\alpha \right),V\left(\beta \right)$, $\alpha ,\beta \in \mathbb{R}$.

As in the case of a particle on a circle, the center of the observable algebra may be viewed as arising from the non-trivial topology of $\mathbb{R}/[0,a]$. In this case, the non-regular representations of ${\mathcal{F}}_{W}$ are defined by the gauge-invariant ground states (θ vacua).

$$H={p}^{2}/2+W\left(x\right)$$

Moreover, such a representation is independent of W, in the class mentioned above, and it is the unique non-regular representation ${\pi}_{0}$ in which the subgroup $V\left(\beta \right)$, $\beta \in \mathbb{R}$ is regularly represented; its generator p has a discrete spectrum.

The Hilbert space $\mathcal{K}$ of ${\pi}_{0}$ consists of the formal sums:
with the scalar product given by the ergodic mean:

$$\psi \left(x\right)=\sum _{n\in \mathbb{Z}}{c}_{n}\phantom{\rule{0.166667em}{0ex}}{e}^{i{\alpha}_{n}x},\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\left\{{c}_{n}\right\}\in {l}^{2}\left(\mathbf{C}\right),\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}x\in \mathbb{R},\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}{\alpha}_{n}\in \mathbb{R}$$

$$(\psi ,\psi )=\sum _{n\in \mathbb{Z}}{\left|{c}_{n}\right|}^{2}=\underset{L\to \infty}{lim}{\left(2L\right)}^{-1}{\int}_{L}^{L}dx\phantom{\rule{0.166667em}{0ex}}\overline{\psi}\left(x\right)\phantom{\rule{0.166667em}{0ex}}\psi \left(x\right)$$

The Weyl operators are represented by:

$$\left({\pi}_{o}\left(U\left(\alpha \right)\right)\psi \right)\left(x\right)={e}^{i\alpha x}\psi \left(x\right),\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\left({\pi}_{0}\left(V\left(\beta \right)\right)\psi \right)\left(x\right)=\psi (x+\beta )$$

The (orthogonal) decomposition of $\mathcal{K}$ over the spectrum of $V\left(a\right)$ is:

$$\mathcal{K}=\underset{\theta \in [0,\phantom{\rule{0.166667em}{0ex}}2\pi )}{\u2a01}\phantom{\rule{0.166667em}{0ex}}{\mathcal{H}}_{\theta},\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}V\left(a\right)\phantom{\rule{0.166667em}{0ex}}{\mathcal{H}}_{\theta}={e}^{i\theta}\phantom{\rule{0.166667em}{0ex}}{\mathcal{H}}_{\theta},\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\theta \in [0,2\pi )$$

The spectrum of p in ${\mathcal{H}}_{\theta}$ is ${\sigma \left(p\right)|}_{{\mathcal{H}}_{\theta}}=\{2\pi n/a+\theta /a,\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}n\in \mathbb{Z}\}$, and the wave functions ${\psi}_{\theta}\in {\mathcal{H}}_{\theta}$ are quasi-periodic of the form:
(Bloch waves). The unique ground state is a vector of ${\mathcal{H}}_{\theta =0}$.

$${\psi}_{\theta}\left(x\right)={e}^{i\theta x/a}\sum {c}_{n}{e}^{i2\pi nx/a}$$

We briefly recall that, given a ${C}^{*}$-algebra $\mathcal{A}$, an algebraic symmetry is an automorphism β of $\mathcal{A}$; given a state ω, the symmetry is unbroken in the corresponding representation space if β is implemented by a unitary operator $T\left(\beta \right)$ there, i.e.,

$${\pi}_{\omega}\left(\beta \left(A\right)\right)=T\left(\beta \right)\phantom{\rule{0.166667em}{0ex}}{\pi}_{\omega}\left(A\right)\phantom{\rule{0.166667em}{0ex}}T{\left(\beta \right)}^{*},\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\forall A\in \mathcal{A}$$

This means that the representation defined by the state ${\omega}_{\beta}$, ${\omega}_{\beta}\left(A\right)\equiv \omega \left(\beta \left(A\right)\right)$ is unitary equivalent to ${\pi}_{\omega}$: ${\pi}_{{\omega}_{\beta}}\left(A\right)=T\left(\beta \right)\phantom{\rule{0.166667em}{0ex}}{\pi}_{\omega}\left(A\right)\phantom{\rule{0.166667em}{0ex}}{T}^{*}\left(\beta \right)$ and that ω and ${\omega}_{\beta}$ are described by vectors of the same Hilbert space.

In this case, β gives rise to a Wigner symmetry in ${\mathcal{H}}_{\omega}$, i.e., all transition amplitudes are invariant. Otherwise, if there is no unitary operator that implements β in ${\mathcal{H}}_{\omega}$, by the Wigner theorem on symmetries, at least one transition amplitude is not invariant, and the symmetry β is said to be broken in ${\mathcal{H}}_{\omega}$.

A one-parameter group ${\beta}^{\lambda}$, $\lambda \in \mathbb{R}$, of symmetries shall be called a continuous symmetry. A symmetry is called internal if it commutes with the one-parameter group ${\alpha}_{t}$, $t\in \mathbb{R}$, of the time translations. In the following, the breaking of an internal symmetry shall be called spontaneous symmetry breaking. An algebraic symmetry is said to be regular if it maps regular representations into regular ones. For a discussion of the meaning and the mechanism of spontaneous symmetry breaking, see [18].

In the case of quantum systems described by the canonical Weyl algebra ${\mathcal{A}}_{W}$, any regular algebraic symmetry of ${\mathcal{A}}_{W}$ is unbroken in any regular irreducible representation, since, by the Stone–von Neumann theorem, all such representations are unitarily equivalent. Thus, the important phenomenon of symmetry breaking, in the strong sense of a loss of symmetry as defined above (which goes much beyond the mere non-invariance of the ground state), cannot appear in the case of Heisenberg quantization, more generally in the case of regular Weyl quantization.

The situation drastically changes in the case of quantum systems whose algebra of observables $\mathcal{A}$ has a non-trivial center. A distinguished case is when one has the structure discussed in Section 2, namely a canonical algebra ${\mathcal{F}}_{W}$ and an observable (gauge-invariant) subalgebra $\mathcal{A}$, with a non-trivial center $\mathcal{Z}\subset \mathcal{A}$.

Clearly, any symmetry β of $\mathcal{A}$, defined by an element of ${\mathcal{F}}_{W}$, is implemented by a unitary operator $T\left(\beta \right)$ in the non-regular representation π of ${\mathcal{F}}_{W}$, defined by a gauge-invariant state ${\omega}_{\theta}$, $\theta \in \sigma \left(\mathcal{Z}\right)$.

However, if β does not commute with the gauge group $\mathcal{G}$, β is broken in each irreducible representation ${\mathcal{H}}_{\theta}$ of the observable subalgebra $\mathcal{A}$, i.e., β fails to define a Wigner symmetry of the gauge invariant states of ${\mathcal{H}}_{\theta}=\overline{\mathcal{A}\phantom{\rule{0.166667em}{0ex}}{\Psi}_{{\omega}_{\theta}}}$, because $T\left(\beta \right)$ does not leave ${\mathcal{H}}_{\theta}$ invariant.

In the regular irreducible representation, ${\pi}_{r}$ of ${\mathcal{F}}_{W}$, the symmetry β is unbroken; however the elements of $\mathcal{Z}$ have a continuous spectrum in ${\mathcal{H}}_{{\pi}_{r}}$, and there is not a gauge-invariant (proper) state vector in ${\mathcal{H}}_{{\pi}_{r}}$.

- (i)
- any algebraic symmetry β of $\mathcal{A}$, defined by an element of ${G}_{H}$ that does not commute with each element of $\mathcal{G}$, is spontaneously broken in each irreducible representation of $\mathcal{A}$ (θ sector);
- (ii)
- in any representation of ${\mathcal{F}}_{W}$ defined by a gauge-invariant state ω, the one-parameter subgroups that do not commute with $\mathcal{G}$ are non-regularly represented, so that the corresponding generators cannot be defined as operators in ${\mathcal{H}}_{\omega}$; only their exponentials exist.

- (i)
- In fact, ${\beta}^{\lambda}\left(\mathcal{Z}\right)\subseteq \mathcal{Z}$, and since $\mathcal{Z}$ is not left pointwise-invariant under ${\beta}^{\lambda}$, there is at least one $V\in \mathcal{Z}$, which may be taken as unitary, such that ${V}_{\lambda}\equiv {\beta}^{\lambda}\left(V\right)\ne V$, and in a given irreducible representation of $\mathcal{A}$, ${V}_{\lambda}$ and V are different multiples of the identity. Then, the symmetry breaking condition is realized.
- (ii)
- Furthermore, if $U\left(\lambda \right)$ denotes the one-parameter unitary group that implements ${\beta}^{\lambda}$, $R(\lambda ,V)\equiv {V}^{-1}\phantom{\rule{0.166667em}{0ex}}U{\left(\lambda \right)}^{-1}\phantom{\rule{0.166667em}{0ex}}V\phantom{\rule{0.166667em}{0ex}}U\left(\lambda \right)\in \mathcal{Z}$ and is a multiple of the identity ${e}^{i\phantom{\rule{0.166667em}{0ex}}\theta (\lambda ,V)}$ in each irreducible representation of $\mathcal{A}$. Hence, $\forall A\in \mathcal{A}$, with $<A>\ne 0$, using $V\phantom{\rule{0.166667em}{0ex}}U\left(\lambda \right)=U\left(\lambda \right)\phantom{\rule{0.166667em}{0ex}}V\phantom{\rule{0.166667em}{0ex}}R(\lambda ,V)$,$$<U\left(\lambda \right)\phantom{\rule{0.166667em}{0ex}}A>=<V\phantom{\rule{0.166667em}{0ex}}U\left(\lambda \right)A\phantom{\rule{0.166667em}{0ex}}{V}^{-1}>=<U\left(\lambda \right)\phantom{\rule{0.166667em}{0ex}}A\phantom{\rule{0.166667em}{0ex}}R(\lambda ,V)>=$$$${e}^{i\theta (\lambda ,V)}<U\left(\lambda \right)\phantom{\rule{0.166667em}{0ex}}A>$$$$<U\left(\lambda \right)\phantom{\rule{0.166667em}{0ex}}A>=\left\{\begin{array}{c}0,\phantom{\rule{4.pt}{0ex}}\text{if}\phantom{\rule{4.pt}{0ex}}\lambda \ne 0,\hfill \\ <A>,\phantom{\rule{4.pt}{0ex}}\text{if}\phantom{\rule{4.pt}{0ex}}\lambda =0,\hfill \end{array}\right.$$

For representations of $\mathcal{A}$ defined by a ground state ${\omega}_{0}$, (more generally, by a state ω invariant under time translations), the non-invariance of ${\omega}_{0}$,
is still compatible with β giving rise to a Wigner symmetry in the GNS representation space ${\mathcal{H}}_{{\omega}_{0}}$. In this case, if β commutes with the dynamics, Equation (13) implies degeneracy of the ground state. This is what happens if Equation (13) holds for β defined by an element of the field algebra ${\mathcal{F}}_{W}$, which commutes also with the gauge group.

$$<A>\equiv {\omega}_{0}\left(A\right)\ne {\omega}_{0}\left(\beta \left(A\right)\right),\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\mathrm{for\; some}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}A\in \mathcal{A}$$

The spontaneous breaking of a continuous symmetry in the quantum theory of infinitely-extended systems is usually accompanied by a strong constraint on the energy spectrum.

In fact, if the symmetry commutes with the dynamics (i.e., if the Hamiltonian is symmetric) and it is generated by a conserved current at all times, the Goldstone theorem predicts the absence of an energy gap with respect to the ground state, in the channels related to the ground state by the broken generators and by the operator that provides the order parameter. For a review and critical discussion of the Goldstone theorem, see [18].

The existence of more than one representation for finite-dimensional quantum systems, corresponding to a non-trivial center of the algebra of observables leading to non-regular representations of canonical Weyl field algebra, opens the possibility of spontaneous symmetry breaking also in the case of quantum systems described by a finite number of canonical variables. In this case, the question arises of the implications on the energy spectrum.

For this purpose, given a ${C}^{*}$-algebra $\mathcal{A}$, a one-parameter group ${\beta}^{\lambda}$, $\lambda \in \mathbb{R}$ of automorphisms of $\mathcal{A}$ commuting with the time translations ${\alpha}_{t}$ and a representation π of $\mathcal{A}$ defined by a ground state ${\omega}_{0}$, we consider:

- (i)
- the infinitesimal variation of a generic element $F=\pi \left(A\right)$, $A\in \mathcal{A}$,$$\delta F=\delta \left(\pi \left(A\right)\right)=\frac{d\phantom{\rule{0.166667em}{0ex}}\pi \left({\beta}^{\lambda}\left(A\right)\right)}{d\lambda}{|}_{\lambda =0}$$
- (ii)
- the generation of the continuous symmetry ${\beta}^{\lambda}$ by elements of the strong closure $\pi {\left(\mathcal{A}\right)}^{\u2033}$ of $\pi \left(\mathcal{A}\right)$, in the sense that there is a sequence ${Q}_{n}={Q}_{n}^{*}\in \pi {\left(\mathcal{A}\right)}^{\u2033}$, $n=1,..$, such that:$$\delta F=i\underset{n\to \infty}{lim}[\phantom{\rule{0.166667em}{0ex}}{Q}_{n},\phantom{\rule{0.166667em}{0ex}}F\phantom{\rule{0.166667em}{0ex}}]$$

If, in the GNS representation defined by ${\omega}_{0}$, there is a sequence ${Q}_{n}$ that generates ${\beta}^{\lambda}$ and converges weakly to a self-adjoint operator Q, then ${\beta}^{\lambda}$ is implementable by the unitary operator ${e}^{i\lambda Q}$, the symmetry is not broken and $<\delta F>\equiv {\omega}_{0}\left(F\right)\ne 0$ implies that ${\omega}_{0}$ is not invariant, i.e., $Q{\Psi}_{0}\ne 0$. Furthermore, if ${\beta}^{\lambda}$ commutes with the time translations ${\alpha}_{t}$, ${\Psi}_{\lambda}\equiv {e}^{i\lambda Q}{\Psi}_{0}$ is a family of degenerate ground states.

However, if there is no sequence ${Q}_{n}\in \pi {\left(\mathcal{A}\right)}^{\u2033}$ that generates ${\beta}^{\lambda}$ and converges weakly to a self-adjoint operator Q, then, if $<\delta F>\ne 0$, the symmetry is broken, and $<\delta F>$ has the meaning of a symmetry breaking order parameter.

Furthermore, by the invariance of the ground state under ${\alpha}_{t}$, one has:
where the commutation ${\beta}^{\lambda}\phantom{\rule{0.166667em}{0ex}}{\alpha}_{t}={\alpha}_{t}\phantom{\rule{0.166667em}{0ex}}{\beta}^{\lambda}$ has been used in the last, but one equality.

$$\underset{n\to \infty}{lim}<[{Q}_{n}\left(t\right),\phantom{\rule{0.166667em}{0ex}}F\phantom{\rule{0.166667em}{0ex}}]>=\underset{n\to \infty}{lim}<[\phantom{\rule{0.166667em}{0ex}}{\alpha}_{t}\left({Q}_{n}\right),\phantom{\rule{0.166667em}{0ex}}F\phantom{\rule{0.166667em}{0ex}}]>=$$

$$=\underset{n\to \infty}{lim}<[\phantom{\rule{0.166667em}{0ex}}{Q}_{n},\phantom{\rule{0.166667em}{0ex}}{\alpha}_{-t}\left(F\right)\phantom{\rule{0.166667em}{0ex}}]>=<\delta \left({\alpha}_{-t}\left(F\right)\right)>=<\delta F>=$$

$$=\underset{n\to \infty}{lim}<[\phantom{\rule{0.166667em}{0ex}}{Q}_{n},\phantom{\rule{0.166667em}{0ex}}F\phantom{\rule{0.166667em}{0ex}}]>$$

It is worthwhile to stress that such a time independence of the Ward identity holds also in the more general case in which the symmetry does not commute with the Hamiltonian, but commutes with the time translations in the ground state expectations of the order parameter F. For example, ${lim}_{n\to \infty}[\phantom{\rule{0.166667em}{0ex}}{Q}_{n}\left(t\right),\phantom{\rule{0.166667em}{0ex}}H\phantom{\rule{0.166667em}{0ex}}]=\delta H\ne 0$, but $<[\phantom{\rule{0.166667em}{0ex}}\delta H,F\phantom{\rule{0.166667em}{0ex}}]>=0$.

This is, e.g., the case in which the Hamiltonian is invariant up to a time derivative, which commutes with F on the ground state (see the example of the quantum particle on a circle discussed below).

In conclusion, by the above arguments, for finite dimensional quantum systems one has the following analog of the Goldstone theorem.

- (i)
- ${\beta}^{\lambda}$, $\lambda \in \mathbb{R}$, is a one-parameter group of automorphisms of the algebra $\mathcal{A}$,
- (ii)
- there is one $F\in \pi \left(\mathcal{A}\right)$, such that,$$<\delta \phantom{\rule{0.166667em}{0ex}}F>\equiv d<{\beta}^{\lambda}{\left(F\right)>/d\lambda |}_{\lambda =0}\ne 0$$
- (iii)
- and:$$<\delta \phantom{\rule{0.166667em}{0ex}}F>=i\underset{n\to \infty}{lim}<[\phantom{\rule{0.166667em}{0ex}}{Q}_{n},\phantom{\rule{0.166667em}{0ex}}F\phantom{\rule{0.166667em}{0ex}}]>=i\underset{n\to \infty}{lim}<[\phantom{\rule{0.166667em}{0ex}}{Q}_{n}\left(t\right),\phantom{\rule{0.166667em}{0ex}}F\phantom{\rule{0.166667em}{0ex}}]>$$

$$\underset{n\to \infty}{lim}{\tilde{J}}_{n}\left(\omega \right)=<\delta F>\delta \left(\omega \right)$$

It is worthwhile to stress that the non-invariance of the ground state expectation of a field F does not guarantee that one can write a corresponding Ward identity, Equation (15), a crucial ingredient for the Goldstone theorem.

The interplay between gauge invariance and the breaking of a continuous symmetry provides a mechanism for evading the conclusions of the Goldstone theorem, i.e., for allowing an energy gap in the presence of symmetry breaking.

This is typically the case in which the gauge group arises as a consequence of a non-trivial topology (symmetry breaking by topology).

The prototypic realization of such a structure is when the manifold of the configurations of the quantum system has a nontrivial fundamental group leading through its topological invariants (corresponding to its first homology group) to elements of the center of the observable algebra.

The role of the topology in triggering symmetry breaking and affecting its consequences has been realized in specific models of GQFT, through a topological classification of Euclidean field configurations. The following theorem provides the general mechanism with no reference to specific (mathematically questionable) ingredients, involving the semiclassical approximation.

Let ${\mathcal{F}}_{W}$ be a canonical (field) algebra, $\mathcal{A}$ the observable subalgebra and $\mathcal{Z}$ the center of $\mathcal{A}$ generating gauge transformations on ${\mathcal{F}}_{W}$; if an automorphism β of $\mathcal{A}$ does not leave $\mathcal{Z}$ pointwise invariant, in particular if the topological invariants that define elements of $\mathcal{Z}$ are not invariant under β, then β is spontaneously broken in each irreducible representation of $\mathcal{A}$. Furthermore, if:

- (i)
- ${\beta}^{\lambda}$ is a one-parameter group of automorphisms of $\mathcal{A}$ defined by elements of ${\mathcal{F}}_{W}$,
- (ii)
- in the irreducible representation ${\pi}_{\theta}$ of $\mathcal{A}$ defined by a gauge invariant ground state ${\omega}_{\theta}$ (θ vacuum), $\theta \in \sigma \left(\mathcal{Z}\right)$, there is a non-symmetric order parameter:$${\omega}_{\theta}({\beta}^{\lambda}\left(A\right))\ne {\omega}_{\theta}\left(A\right),\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}A\in \mathcal{A}$$
- (iii)
- ${\beta}^{\lambda}$ commutes with the time translations in the ground state expectations of the order parameter A, i.e.,$${\omega}_{\theta}({\beta}^{\lambda}\left({\alpha}_{t}\left(A\right)\right))={\omega}_{\theta}({\beta}^{\lambda}\left(A\right))$$
- (iv)
- and ${\beta}^{\lambda}$ does not leave $\mathcal{Z}$ pointwise invariant,

$$\delta A=i\phantom{\rule{0.166667em}{0ex}}[\phantom{\rule{0.166667em}{0ex}}Q,\phantom{\rule{0.166667em}{0ex}}A\phantom{\rule{0.166667em}{0ex}}],\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}{\pi}_{\theta}\left(\delta A\right)=i\phantom{\rule{0.166667em}{0ex}}[{\pi}_{\theta}\left(Q\phantom{\rule{0.166667em}{0ex}}A\right)-{\pi}_{\theta}\left(A\phantom{\rule{0.166667em}{0ex}}Q\right)]\phantom{\rule{4pt}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\forall A\in \mathcal{A}$$

If ${\beta}^{\lambda}$ does not leave $\mathcal{Z}$ pointwise invariant, there is at least one unitary $V\in \mathcal{Z}$, such that:

$$i[\phantom{\rule{0.166667em}{0ex}}Q,\phantom{\rule{0.166667em}{0ex}}V\phantom{\rule{0.166667em}{0ex}}]=\delta V\ne 0$$

Now, since $[V,\phantom{\rule{0.166667em}{0ex}}[\phantom{\rule{0.166667em}{0ex}}Q,\phantom{\rule{0.166667em}{0ex}}A\phantom{\rule{0.166667em}{0ex}}\left]\phantom{\rule{0.166667em}{0ex}}\right]=0$, one has:
i.e., $[\phantom{\rule{0.166667em}{0ex}}Q,\phantom{\rule{0.166667em}{0ex}}V\phantom{\rule{0.166667em}{0ex}}]\in \mathcal{Z}$.

$$\left[\right[\phantom{\rule{0.166667em}{0ex}}Q,\phantom{\rule{0.166667em}{0ex}}V\phantom{\rule{0.166667em}{0ex}}],\phantom{\rule{0.166667em}{0ex}}A\phantom{\rule{0.166667em}{0ex}}]=-\left[\right[\phantom{\rule{0.166667em}{0ex}}A,\phantom{\rule{0.166667em}{0ex}}Q\phantom{\rule{0.166667em}{0ex}}],\phantom{\rule{0.166667em}{0ex}}V\phantom{\rule{0.166667em}{0ex}}]-\left[\phantom{\rule{0.166667em}{0ex}}\right[\phantom{\rule{0.166667em}{0ex}}V,\phantom{\rule{0.166667em}{0ex}}A\phantom{\rule{0.166667em}{0ex}}],\phantom{\rule{0.166667em}{0ex}}Q\phantom{\rule{0.166667em}{0ex}}]=0$$

Therefore, by the gauge invariance of ${\omega}_{\theta}$, one has:

$${\omega}_{\theta}\left(Q\phantom{\rule{0.166667em}{0ex}}A\right)={\omega}_{\theta}\left(V\phantom{\rule{0.166667em}{0ex}}Q\phantom{\rule{0.166667em}{0ex}}A\phantom{\rule{0.166667em}{0ex}}{V}^{-1}\right)={\omega}_{\theta}(Q\phantom{\rule{0.166667em}{0ex}}V\phantom{\rule{0.166667em}{0ex}}A\phantom{\rule{0.166667em}{0ex}}{V}^{-1}+[\phantom{\rule{0.166667em}{0ex}}Q,\phantom{\rule{0.166667em}{0ex}}V\phantom{\rule{0.166667em}{0ex}}]A{V}^{-1})=$$

$$={\omega}_{\theta}\left(Q\phantom{\rule{0.166667em}{0ex}}A\right)+{\omega}_{\theta}\left([\phantom{\rule{0.166667em}{0ex}}Q,\phantom{\rule{0.166667em}{0ex}}V\phantom{\rule{0.166667em}{0ex}}]\phantom{\rule{0.166667em}{0ex}}{V}^{-1}\right)\phantom{\rule{0.166667em}{0ex}}{\omega}_{\theta}\left(A\right)$$

Thus, the expectations ${\omega}_{\theta}\left(Q\phantom{\rule{0.166667em}{0ex}}A\right)$ cannot be defined, and one cannot write the symmetry breaking Ward identities, which are crucial for the conclusion of the Goldstone theorem. An energy gap is therefore compatible with the spontaneous breaking of ${\beta}^{\lambda}$ in irreducible representations of the observable algebra $\mathcal{A}$. ☐

In the irreducible regular representation ${\pi}_{r}$ of the field algebra ${\mathcal{F}}_{W}$, ${\beta}^{\lambda}$ is implemented by a (weakly continuous) group of unitary operators $T\left(\lambda \right)$; all of the matrix elements are invariant, but there is no gauge-invariant state (proper) vector invariant under time translations. The symmetry gets broken by the direct integral decomposition of ${\mathcal{H}}_{{\pi}_{r}}$ over the spectrum of $\mathcal{Z}$, but one cannot write a symmetry breaking Ward identity for the expectation on the gauge-invariant ground state.

On the other side, in the representation of ${\mathcal{F}}_{W}$ defined by a gauge-invariant ground state ${\omega}_{\theta}$, the one-parameter group $T\left(\lambda \right)$ is not regularly represented. Therefore, its generator cannot be defined as an operator in ${\mathcal{H}}_{{\omega}_{\theta}}$ and ${\omega}_{\theta}\left(\delta F\right)\ne 0$ cannot be written in terms of a commutator. In conclusion, the symmetry breaking Ward identity cannot be written in terms of expectations on θ states.

This is well displayed by the following examples.

As discussed above, the observable algebra $\mathcal{A}$ is a subalgebra of canonical Weyl (field) algebra ${\mathcal{F}}_{W}$ and has a non-trivial center generated by the translations ${\gamma}^{n}$ corresponding to the non-trivial fundamental group of the circle. The one-parameter group of automorphisms of $\mathcal{A}$:
is realized by the adjoint action of $U\left(\lambda \right)\in {\mathcal{F}}_{W}$:

$${\beta}^{\lambda}\left(U\left(n\right)\right)=U\left(n\right),\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}{\beta}^{\lambda}\left(V\left(\beta \right)\right)={e}^{-i\phantom{\rule{0.166667em}{0ex}}\lambda \phantom{\rule{0.166667em}{0ex}}\beta}\phantom{\rule{0.166667em}{0ex}}V(\beta +\lambda )$$

$${\beta}^{\lambda}\left(U\left(n\right)\phantom{\rule{0.166667em}{0ex}}V\left(\beta \right)\right)=U\left(\lambda \right)\phantom{\rule{0.166667em}{0ex}}U\left(n\right)\phantom{\rule{0.166667em}{0ex}}V\left(\beta \right)\phantom{\rule{0.166667em}{0ex}}U(-\lambda )$$

Actually, ${\mathcal{F}}_{W}$ is the minimal extension of $\mathcal{A}$, such that the automorphisms ${\beta}^{\lambda}$ are inner and ${\mathcal{F}}_{W}$ includes the operators, which intertwine between inequivalent representations of $\mathcal{A}$. This justifies the use of the (canonical) field algebra ${\mathcal{F}}_{W}$ for a canonical description of both the observables and all the states of the quantum system.

In the representation ${\pi}_{\theta}$ of $\mathcal{A}$, there is a non-symmetric order parameter:
and ${\beta}^{\lambda}$ commutes with the time translations ${e}^{i\phantom{\rule{0.166667em}{0ex}}Ht}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}H={p}^{2}/2m$ in expectations of the order parameter: ${\omega}_{\theta}({\beta}^{\lambda}\phantom{\rule{0.166667em}{0ex}}{\alpha}_{t}\left(V\left(\beta \right)\right))={\omega}_{\theta}({\alpha}_{t}{\beta}^{\lambda}\left(V\left(\beta \right)\right)).$

$${\omega}_{\theta}({\beta}^{\lambda}\left(V\left(\beta \right)\right))={e}^{-i\phantom{\rule{0.166667em}{0ex}}\lambda \phantom{\rule{0.166667em}{0ex}}\beta}\phantom{\rule{0.166667em}{0ex}}{\omega}_{\theta}\left(V\left(\beta \right)\right),\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}{\omega}_{\theta}\left(V\left(\beta \right)\right)={e}^{i\phantom{\rule{0.166667em}{0ex}}\theta \phantom{\rule{0.166667em}{0ex}}\beta /2\pi}$$

Furthermore, ${\beta}^{\lambda}$ does not leave the center of $\mathcal{A}$ pointwise invariant. Theorem 3 applies, and an energy gap is allowed; in fact, in the representation ${\pi}_{\theta}$ of $\mathcal{A}$, the spectrum of the Hamiltonian is discrete, given by:
and displays an energy gap above the ground state energy ${(\theta /2\pi )}^{2}/2m$, compatibly with the spontaneous symmetry breaking of ${\beta}^{\lambda}$. It is worthwhile to note that the energy gap is provided by the spectrum of the center, i.e., by the (discrete) spectrum of the fundamental group.

$${\sigma}^{\theta}\left(H\right)=\frac{{(n+\theta /2\pi )}^{2}}{2m},\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}n\in \mathbb{Z}$$

For simplicity, we consider the one-dimensional case. The field algebra ${\mathcal{F}}_{W}$ is the canonical Weyl algebra, and the observable subalgebra is characterized by its pointwise invariance under the gauge transformations defined by the adjoint action of the center of $\mathcal{A}$, which arises from the non-trivial topology of $\mathbb{R}/[0,\phantom{\rule{0.166667em}{0ex}}a]$. The automorphisms ${\beta}^{\lambda}$ defined by the Weyl operators $U\left(\lambda \right)$, do not leave the center pointwise invariant. In the representation ${\pi}_{\theta}$, defined by the gauge-invariant states ${\omega}_{\theta}$, there is a symmetry breaking order parameter ${\omega}_{\theta}\left(V\left(\beta \right)\right)$.

Furthermore, ${\beta}^{\lambda}$ commutes with $T\left(\tau \right)\equiv {e}^{-i\tau \phantom{\rule{0.166667em}{0ex}}{p}^{2}/2m}$ on expectations of the order parameter:
since the states ${\omega}_{\theta}$ are invariant under the one-parameter group $T\left(\tau \right)$. Thus, if ${\beta}^{\lambda}$ would be generated by q in the representation ${\pi}_{\theta}$, one could apply the Goldstone theorem and conclude that the spectrum of ${p}^{2}$ does not have a gap above the ground state value. However, Theorem 3 applies, and in fact, the spectrum of ${p}^{2}$ has a gap given by the spectrum of the fundamental group of $\mathbb{R}/[0,\phantom{\rule{0.166667em}{0ex}}a]$.

$${\omega}_{\theta}({\beta}^{\lambda}(T\left(\tau \right)\phantom{\rule{0.166667em}{0ex}}V\left(\beta \right)\phantom{\rule{0.166667em}{0ex}}T{\left(\tau \right)}^{-1}))={\omega}_{\theta}({\beta}^{\lambda}\left(V\left(\beta \right)\right))=$$

$$={\omega}_{\theta}((T\left(\tau \right)\phantom{\rule{0.166667em}{0ex}}{\beta}^{\lambda}\left(V\left(\beta \right)\right)\phantom{\rule{0.166667em}{0ex}}T{\left(\tau \right)}^{-1})$$

Both authors equally gave significant contribution to this paper and the final form of this paper is approved by both.

The authors declare no conflict of interest.

- Strocchi, F. An Introduction to the Mathematical Structure of Quantum Mechanics, 2nd ed.; World Scientific: Singapore, Singapore, 2010. [Google Scholar]
- Strocchi, F. The Physical Principles of Quantum Mechanics. A Critical Review. Eur. Phys. J. Plus
**2012**, 127, 12. [Google Scholar] [CrossRef] - Acerbi, F.; Morchio, G.; Strocchi, F. Infrared Singular Fields and Nonregular Representations of Canonical Commutation Relation Algebras. J. Math. Phys.
**1993**, 34, 899–914. [Google Scholar] [CrossRef] - Acerbi, F.; Morchio, G.; Strocchi, F. Algebraic Fermion Bosonization. Lett. Math. Phys.
**1992**, 26, 13–22. [Google Scholar] [CrossRef] - Acerbi, F.; Morchio, G.; Strocchi, F. Theta Vacua, Charge Confinement and Charged Sectors from Nonregular Representations of CCR Algebras. Lett. Math. Phys.
**1993**, 27, 1–11. [Google Scholar] [CrossRef] - Strocchi, F. Gauge Invariance and Weyl-Polymer Quantization; Springer: Heidelberg, Germany, in press.
- Morchio, G.; Strocchi, F. Quantum Mechanics on Manifolds and Topological Effects. Lett. Math. Phys.
**2007**, 82, 219–236. [Google Scholar] [CrossRef] - Morchio, G.; Strocchi, F.; Dipartimento di Fisica, Università di Pisa, Pisa, Italy and Scuola Normale Superiore, Pisa, Italy. Unpublished work. 2015.
- Stone, M.H. Linear Transformations in Hilbert Space. Proc. Natl. Acad. of Sci. USA
**1930**, 16, 172–175. [Google Scholar] [CrossRef] - Von Neumann, J. Die Eindeutigkeit der Schrödingerschen Operatoren. Math. Ann.
**1931**, 104, 570–578. [Google Scholar] [CrossRef] - Mackey, G. A Theorem of Stone and von Neumann. Duke Math. J.
**1949**, 16, 313–326. [Google Scholar] [CrossRef] - Rieffel, M.A. On the Uniqueness of the Heisenberg Commutation Relations. Duke Math. J.
**1972**, 39, 745–752. [Google Scholar] [CrossRef] - Zak, J. Dynamics of Electrons in Solids in Esternal Fields. Phys. Rev.
**1968**, 168, 686–695. [Google Scholar] [CrossRef] - Cavallaro, S.; Morchio, G.; Strocchi, F. A Generalization of the Stone-von Neumann Theorem to Nonregular Representations of the CCR-Algebra. Lett. Math. Phys.
**1999**, 47, 307–320. [Google Scholar] [CrossRef] - Baume, R.; Manuceau, J.; Pellet, A.; Siruge, M. Translation Invariant States in Quantum Mechanics. Commun. Math. Phys.
**1974**, 38, 29–45. [Google Scholar] [CrossRef] - Jackiw, R. Topological Investigations of Quantized Gauge Theories. In Current Algebra and Anomalies; Treiman, S.B., Jackiw, R., Zumino, B., Witten, E., Eds.; World Scientific: Singapore, Singapore, 1985. [Google Scholar]
- Löffelholz, J.; Morchio, G.; Strocchi, F. Spectral Stochastic Processes Arising in Quantum mechanical Models with a Non-L
^{2}Ground State. Lett. Math. Phys.**1995**, 35, 251–262. [Google Scholar] [CrossRef] - Strocchi, F. Chapter 15. In Symmetry Breaking, 2nd ed.; Springer: Heidelberg, Germany, 2008. [Google Scholar]

© 2015 by the authors; licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution license (http://creativecommons.org/licenses/by/4.0/).