nLab
DHR superselection theory

Contents

Idea

The DHR superselection theory is about superselection sectors in the Haag-Kastler approach to AQFT. As such, it has to state one or more conditions on representations of the given Haag-Kastler net that specify the representations of the quasi-local algebra that are deemed physically admissible.

It is named after Sergio Doplicher, Rudolf Haag and John Roberts.

In the following we consider the theory starting with a Haag-Kastler vacuum representation on Minkowski spacetime.

The DHR condition says that all expectation values (of all observables) should approach the vacuum expectation values, uniformly, when the region of measurement is moved away from the origin. This is one possible abstraction of the situation in a high energy particle collider, where the registered events are localized both in time and in space.

The DHR condition excludes long range forces like electromagnetism from consideration, because, by Stokes' theorem, the electric charge in a finite region can be measured by the flux of the field strength through a sphere of arbitrary large radius. The DHR analysis is of interest nevertheless, because it has reached a certain maturity and is therefore an excellent object to study: see for example the Doplicher-Roberts reconstruction theorem.

Abstract

After the definition of admissible representations we collect some notions that will enable us to state a description of all admissible representations using intrinsic properties of the quasi-local algebra. The central concept that we define is that of a transportable endomorphism, these form the objects of a category, the DHR category.

Definition

We start with a Haag-Kastler vacuum representation that we assume to be irreducible and Haag dual.

Let ฯ€ 0\pi_0 be the vacuum representation from now on, KK denote double cones and ๐’ฅ 0\mathcal{J}_0 be the causal index set of double cones, just as ๐’ช\mathcal{O} are bounded open sets and ๐’ฅ\mathcal{J} the causal index set of bounded open sets.

Recall that the C-star algebra

๐’œ:=clo โ€–โ‹…โ€–(โ‹ƒ ๐’ชโˆˆ๐’ฅโ„ณ(๐’ช)) \mathcal{A} := clo_{\| \cdot \|} \bigl( \bigcup_{\mathcal{O}\in\mathcal{J}}\mathcal{M}(\mathcal{O}) \bigr)

is called the quasi-local algebra of the given net. We will in the same way associate a C-star algebra to every open region ๐’ช 0\mathcal{O}_0 via

๐’œ(๐’ช 0):=clo โ€–โ‹…โ€–(โ‹ƒ ๐’ช 0โŠ‡๐’ชโˆˆ๐’ฅโ„ณ(๐’ช)) \mathcal{A}(\mathcal{O}_0) := clo_{\| \cdot \|} \bigl( \bigcup_{\mathcal{O}_0 \supseteq \mathcal{O}\in\mathcal{J}}\mathcal{M}(\mathcal{O}) \bigr)
Definition

A representation ฯ€\pi of the local algebra ๐’œ\mathcal{A} is called (DHR) admissible if ฯ€|๐’œ(๐’ฆ โŠฅ)\pi | \mathcal{A}(\mathcal{K}^{\perp}) is unitarily equivalent to ฯ€ 0|๐’œ(๐’ฆ โŠฅ)\pi_0 | \mathcal{A}(\mathcal{K}^{\perp}) for all Kโˆˆ๐’ฅ 0K \in \mathcal{J}_0, that is, for all double cones KK.

Note that the equivalence of the representations is required for the causal complement of all double cones, not a special one, so that the characterization that โ€œthe representations can not be distinguished at space-like infinityโ€ is misleading.

Definition

Recall that a mapping

ฯ:๐’œโ†’๐’œ \rho: \mathcal{A} \to \mathcal{A}

is called a unital endomorphism if ฯ\rho is linear, multiplicative (ฯ(AB)=ฯ(A)ฯ(B)\rho(AB) = \rho(A) \rho(B)) and ฯ(๐Ÿ™)=1\rho(\mathbb{1})=1.

We will drop โ€œunitarilyโ€ from now on.

Remark

For any representation ฯ€\pi and endomorphism ฯ\rho the composition ฯ€โˆ˜ฯ\pi \circ \rho is another representation.

Conversely, under the assumption of Haag duality every DHR admissible representation ฯ\rho comes from an endomorphism this way. For let Aโˆˆ๐’œ(K)A \in \mathcal{A}(K) and Bโˆˆ๐’œ(K pert)B \in \mathcal{A}(K^\pert) be any two causally unrelated localized obserbales. Then for ฯ:๐’œโ†’โ„ฌ(โ„‹)\rho : \mathcal{A} \to \mathcal{B}(\mathcal{H}) a DHR representation, we have on the one hand

ฯ(AB)=ฯ(A)ฯ€ 0(B) \rho(A B) = \rho(A) \pi_0(B)

and on the other, due to the causal structure

ฯ(AB)=ฯ(BA)=ฯ€ 0(B)ฯ(A). \rho(A B) = \rho(B A) = \pi_0(B) \rho(A) \,.

This says that ฯ(A)โˆˆฯ€ 0(๐’œ(Kโ€ฒ))โ€ฒ\rho(A) \in \pi_0(\mathcal{A}(K'))' and hence by Haag duality โ‹ฏโˆˆฯ€ 0(๐’œ(K))โ€ณ\cdots \in \pi_0(\mathcal{A}(K))''. Under the assumption that the local net of observables takes values in von Neumann algebras this in turn in โ‹ฏ=ฯ€ 0(๐’œ(K))\cdots = \pi_0(\mathcal{A}(K)) and so ฯ\rho indeed factors as an endomrphism of ๐’œ\mathcal{A} followed by the vaccum representation.

For this reason one can hope to gain some insights into the representations by studying the endomorphisms, while the set of endomorphisms has certainly more structure than that of representations: For example, endomorphisms may have inverses, and endomorphisms form a monoid by composition.

First we define โ€œunitarily equivalentโ€ and โ€œintertwinerโ€ analog to the definition for representations of C-star algebras:

Definition

Two endomorphisms ฯ 1,ฯ 2\rho_1, \rho_2 are unitarily equivalent if there is a unitary operator Uโˆˆ๐’œU \in \mathcal{A} such that ฯ 1=ad(U)ฯ 2=Uฯ 2U โˆ’1\rho_1 = ad(U) \rho_2 = U \rho_2 U^{-1}. The endomorphisms ad(U)ad(U) with Uโˆˆ๐’œU \in \mathcal{A} are called inner automorphisms (of ๐’œ\mathcal{A}). An element Rโˆˆ๐’œR \in \mathcal{A} such that Rฯ 1=ฯ 2RR \rho_1 = \rho_2 R, not necessarily unitary, is called an intertwiner or intertwining operator.

The DHR selection criterion selects representations that โ€œlook like the vaccumโ€ on the causal complement of elements of our index set (in this case the double cones). The analog for endomorphims is this:

Definition

An endomorphim ฯ\rho is localized or localizable if there is a bounded open set ๐’ชโˆˆ๐’ฅ\mathcal{O} \in \mathcal{J} such that ฯ\rho is the identity on the algebra of the causal complement ๐’œ(๐’ช โŠฅ)\mathcal{A}(\mathcal{O}^{\perp}). Such an endomorphism is localized in ๐’ช\mathcal{O}.

We have to restrict the notion of โ€œunitarily equivalentโ€ to a โ€œlocalizedโ€ version accordingly:

Definition

An element Aโˆˆ๐’œA \in \mathcal{A} is a local operator if there is a double cone K such that Aโˆˆโ„ณ(K)A \in \mathcal{M}(K). In particular, a local unitary operator UU is a local unitary, and two endomorphisms are locally unitarily equivalent if there is a unitary as in the definition of unitarily equivalent that is a local operator.

For an endomorphism ฯ\rho let ฯ^\hat \rho be the equivalence class with respect to locally unitarily equivalence. Then we can define:

Definition

A localized endomorphism is transportable if for every bounded open set ๐’ชโˆˆ๐’ฅ\mathcal{O} \in \mathcal{J} there is a ฯ 0โˆˆฯ^\rho_0 \in \hat \rho that is localized in ๐’ช\mathcal{O}.

Transportable endomorphisms naturally form the objects of a category, the DHR category.

Properties

General

Theorem

transportable endomorphisms are compatible with the net structure

Let ฯ\rho be a transportable endomorphism that is localized in the double cone K 0K_0, then for all double cones KโŠƒK 0K \supset K_0, ฯ\rho maps โ„ณ(K)\mathcal{M}(K) to itself.

Theorem

intrinsic characterization of admissible representations

A representation ฯ€\pi of ๐’œ\mathcal{A} is admissible iff there is a transportable endomorphism ฯ\rho such that ฯ€\pi is unitarily equivalent to ฯ€ 0โˆ˜ฯ\pi_0 \circ \rho.

Reference: This is theorem 2.1.3 in the book by Baumgรคrtel.

Theorem

stability of admissible representations

(i) finite direct sums of admissible representations are admissible.

(ii) subrepresentations of admissible representations are admissible.

For transportable endomorphisms we get even more:

Theorem

products The product, i.e. the concatenation, of transportable endomorphisms is a transportable endomorphism.

Theorem

product of causally disjoint localized endomorphisms is commutative

Let ฯ 1,ฯ 2\rho_1, \rho_2 be transportable endomorphisms localized in K 1,K 2K_1, K_2 respectivley with K 1โŠฅK 2K_1 \perp K_2, then ฯ 1ฯ 2=ฯ 2ฯ 1\rho_1 \rho_2 = \rho_2 \rho_1.

Note that the product of equivalenc classes is well defined, and ฯ^ 1ฯ^ 2=ฯ 1ฯ 2^\hat \rho_1 \hat \rho_2 = \widehat{\rho_1\rho_2}. Therefore the theorem above implies that the product of equivalence classes is commutative.

In terms of local net cohomology

The DHR superselection theory has a reformulation in terms of cohomology of local nets of observables. For the moment, see there for more.

References

see AQFT ff.

Of particular relevance (besides the original work of Doplicher and Roberts) are

  • Hellmut Baumgรคrtel: Operator algebraic Methods in Quantum Field Theory. A series of lectures. Akademie Verlag 1995 (ZMATH entry)

  • Hans Halvorson, Michael Mรผger, Algebraic Quantum Field Theory (arXiv:math-ph/0602036)

Revised on September 6, 2013 21:00:17 by Urs Schreiber (88.128.80.6)