nLab DHR superselection theory

Contents

Context

AQFT

algebraic quantum field theory (perturbative, on curved spacetimes, homotopical)

Introduction

Concepts

field theory:

Lagrangian field theory

quantization

quantum mechanical system, quantum probability

free field quantization

gauge theories

interacting field quantization

renormalization

Theorems

States and observables

Operator algebra

Local QFT

Perturbative QFT

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 KK 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 1K 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

Discussion in the context of holographic entanglement entropy:

  • Horacio Casini, Marina Huerta, Javier M. Magan, Diego Pontello, Entanglement entropy and superselection sectors I. Global symmetries (arXiv:1905.10487)

Last revised on May 28, 2019 at 13:04:16. See the history of this page for a list of all contributions to it.