Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

July 25, 2011

Bohr Toposes

Posted by Urs Schreiber

To every quantum mechanical system is associated its Bohr topos : a ringed topos which plays the role of the quantum phase space . The idea of this construction is that it naturally captures the geometric and logical aspects of quantum physics in terms of higher geometry/topos theory.

Below the fold I try to give an exposition of the facts that motivate the construction, the construction itself, and an indication of the resulting notion of presheaves of Bohr toposes associated with every quantum field theory. For more details and further links see the nnLab entry Bohr topos .

See also the previous entry A Topos for Algebraic Quantum Theory .

The formalization of the notion quantum mechanical system with its states and observables is the following.

  • The system as such is encoded by a C-star algebra AA;

  • a self-adjoint operator aAa \in A is thought of as being an observable of the system: a kind of observation that one can make about it;

  • a \mathbb{C}-linear map ρ:A\rho : A \to \mathbb{C} (which is “positive” and “normalized”) is thought of as being a state that the system can be in – a physical configuration (or rather: a probability distribution of such);

  • the pairing (a,ρ)ρ(a)(a, \rho) \mapsto \rho(a) \in \mathbb{C} is thought of as being the value of the observable aa made on the system in state ρ\rho: for instance the total energy of the system as measured in some chosen unit;

  • a one-parameter group of automorphisms Aut(A)\mathbb{R} \to Aut(A) (inner automorphisms for “localized” systems) is thought of as as being an evolution of the system, for instance in time or more generally in spacetime.

(Often in the literature quantum mechanical systems are instead dually conceived of in terms of Hilbert spaces of pure states. The relation between these two descriptions is established by the GNS-construction which allows to pass from one to the other.)

Notice that these axioms are naturally thought of as exhibiting the C *C^\ast-algebra AA as a formal dual of the would-be quantum phase space of the physical system – not quite an ordinary topological space (which by Gelfand duality it would be if AA were commutative) but still a kind of generalized space. Traditionally it is common to regard this as a space in noncommutative geometry. Notice that if we do so – hence if we regard the object SpecAC *Alg opSpec A \in C^\ast Alg^{op} that is the incarnation of AC *AlgA \in C^\ast Alg in the opposite category – then the definition of observable above reduces to the evident notion of real-valued functions on quantum phase space: such as function is a morphism SpecASpec A \to \mathbb{R} in C *Alg opC^\ast Alg^{op}, which dually is a C *C^\ast-algebra homomorphism C() 0AC(\mathbb{R})_0 \to A. That such correspond to self-adjoint operators of AA is the statement of functional calculus for C *C^\ast-algebras.

More subtle is the interpretation of the axiom for states. Historically this had been been subject to some discussion: by the spectral theorem two different observables a 1,a 2Aa_1, a_2 \in A have a compatible set of observable values if and only if these elements commute with each other in AA. Generally, a set {a i} i\{a_i\}_i of observables has a jointly consistent set of observable values if and only if the sub-C *C^\ast-algebra {a i} iA\langle \{a_i\}_i\rangle \subset A generated by them is commutative. Therefore for the phenomenological interpretation of the axioms it seems to make no sense to demand that a state ρ:A\rho : A \to \mathbb{C} be linear on non-commuting observables: if a 1a_1 and a 2a_2 do not commute, it is not a-priori clear that it makes sense to require that ρ(a 1+a 2)=ρ(a 1)+ρ(a 2)\rho(a_1 + a_2) = \rho(a_1) + \rho(a_2). This might experimentally fail, and hold only for commuting a 1,a 2a_1, a_2.

Therefore the notion of quasi-state was introduced: a quasi-state on AA is defined to be a (positive and normalized) function ρ:A\rho : A \to \mathbb{C} which is required to be \mathbb{C}-linear only on all commutative subalgebras of AA. Operationally, quasi-states should be the genuine states.

One would therefore tend to think that the terminology has been chosen in an unfortunate way. While maybe true, it turns out – nontrivially – that in a major class of cases of interest the distinction does not matter: namely Gleason’s theorem states that for HH a separable complex Hilbert space with dimH>2dim H \gt 2 and A=B(H)A = B(H) the C *C^\ast-algebra of bounded operators on H\H, all quasi-states on AA are automatically states: a function that is linear on all commutative subalgebras is automatically also linear on all of AA.

While this means that the distinction between states and quasi-states disappears in a major case of interest, it does not disappear in all cases of interest. In particular, other foundational theorems about quantum mechanics concern the collection of commutative subalgebras, too.

Notably, one may wonder about the evident strengthening of the notion of quasi-states to that of a map ρ:A\rho : A \to \mathbb{C} which is not just linear but also an algebra homomorphism on each commuting subalgebra. Notice that, by Gelfand duality , every commutative C *C^\ast-algebra CC is the algebra of continuous functions on some topological space sp(C)sp(C). Under this duality a state on CC is a probability distribution on sp(C)sp(C), while an algebra homomorphism CC \to \mathbb{C} is a point of X CX_C. Therefore a quasi-state which is commutative-subalgebra-wise even an algebra homomorphism may be thought of as encoding a collection of precise numerical values (as opposed to just expectation values) of all possible observables. Such a hypothetical quasi-state is sometimes called a collection of hidden variables of the quantum mechanical system: it’s existence would mean that despite the apparent probabilistic nature of quantum mechanics, there are “hidden” non-probabilistic states. But there are not. This is the statement of the Kochen-Specker theorem: under precisely the assumptions that make Gleason’s theorem work, there is no quasi-state which is commutative-subalgebra-wise an algebra homomorphism.

In summary, this means:

Foundational context.The foundational characteristics of quantum physics are encoded in notions of functions on the algebra of observables AA which are homomorphisms only commutative-subalgebra-wise .

Since therfore the notion of commutative-subalgebra-wise homomorphism is at the heart of quantum physics, it seems worthwhile to consider natural formalizations of this notion. There is indeed a very natural and general abstract one: whenever any notion of function is defined only locally it is natural to consider the sheaf of such functions over all possible local patches.

The historically motivating example, and possibly still the most widely familiar one, is that of holomorphic functions on a complex manifold: there are in general very few holomorphic functions defined over all of a complex manifold, but plenty of them defined over any small enough subset. And it is of fundamental interest to consider the collections of holomorphic functions over each such subset, and how these restrict to each other under restriction of subsets. This collection of local data is a sheaf of functions on the complex manifold.

There is an evident analog setup of this situation that applies in the present case of interst, that of functions defined on commutative subalgebras:

for AA any C-star algebra, write 𝒞(A)\mathcal{C}(A) for the set of all its commutative C *C^\ast-subalgebras. This is naturally a poset under inclusion of subalgebras. A (co)presheaf of this set is a functor 𝒞(A)Set\mathcal{C}(A) \to Set. Any such functor we may think of as a collection of commutative-subalgebra-wise data on AA, consistent with restriction of subalgebras. The collection of all such functors – which we write [𝒞(A),Set][\mathcal{C}(A), Set] – is a category called a presheaf topos.

Inside this topos, all the above discussion of foundations of quantum mechanics finds a natural simple equivalent reformulation:

first of all, the non-commutative C *C^\ast-algebra AA naturally induces a commutative C-star algebra object A̲\underline{A} internalization|internal to [𝒞(A),Set][\mathcal{C}(A), Set]: namely the copresheaf defined by the tautological assignment

A̲:(C𝒞(A))C. \underline{A} : (C \in \mathcal{C}(A)) \mapsto C \,.

In words this means nothing but that the collection of all commutative subalgebras of AA may naturally be regarded as a single commutative C *C^\ast-algebra internal to the topos [𝒞(A),Set][\mathcal{C}(A), Set].

Elsewhere we shall discuss that in a precise sense this commutative internal A̲\underline{A} captures precisely all the kinematical information encoded in the quantum mechanical system of AA – everything related to states and observables but not information about (time) evolution. So everything we have discussed so far.

The pair of these two ingredients

Bohr(A):=([𝒞(A),Set],A̲) Bohr(A) := ([\mathcal{C}(A), Set], \underline{A})

constitutes what is called a ringed topos – a special case of the notion of a locally ringed topos. This notion is a fundamental notion for generalized spaces in higher geometry. The most advanced general theory of higher geometry is based on modelling spaces as ringed toposes.

We shall call this ringed topos the Bohr topos of AA.

This terminology is meant to indicate that one may think of this construction as formalizing faithfully and usefully a heuristic that has been emphasized by Nils Bohr – one of the founding fathers of quantum mechanics – and is known as the doctrine of classical concepts in quantum mechanics. This states that nonclassical/noncommutative as the logic/geometry of quantum mechanics may be, it is to be probed and detected by classical/commutative logic/geometry.

Namely in terms of the Bohr topos we have the following equivalent reformulations of the foundational facts about quantum physics discussed above, now internally in Bohr(A)Bohr(A).

Consistent quantum mechanical states. A quasi-state on AA is precisely an ordinary classical state on A̲\underline{A}, internal to Bohr(A)Bohr(A).

In particular (Gleason’s theorem): if A=B(H)A = B(H) for dimH>2dim H \gt 2 then a quantum state on the external AA is precisely a classical state on the internal A̲\underline{A}.

and

Non-existence of hidden quantum variables. The Gelfand spectrum sp(A̲)sp(\underline{A}) of A̲\underline{A} internal to the Bohr topos has no global point. (Kochen-Specker).

These two statements might be taken as suggesting that a quantum mechanical system AA is naturally regarded in terms of its Bohr topos Bohr(A)Bohr(A) – somewhat more naturally than as a C *C^\ast-algebra AA. (The second, in a slightly different setup, was emphasized in (Isham-Hamilton-Butterfield98), which inspired all of the following discussion, the first in (Spitters)). In fact, thinking of ringed toposes as generalized spaces in higher geometry, it suggestes that the Bohr topos Bohr(A)Bohr(A) itself is the quantum phase space of the quantum mechnanical system in question.

To which extent this perspective is genuinely useful is maybe still to be established. Discussion along the above lines may suggest that this perspective is indeed useful, but what is probably still missing is a statement about quantum physics that can be formulated and proven in terms of Bohr toposes, while being hardly conceivable or at least more unnatural without. It is probably currently not clear if such statements have been found.

One potential such statement has been suggested in (Nuiten11) after discussion with Spitters:

in the formalization of quantum field theory by the Haag-Kastler axioms – called AQFT – every quantum field theory is entirely encoded in terms of its local net of observables over spacetime XX. This is a copresheaf of C-star algebras

A:Op(X)C *Alg A : Op(X) \to C^\ast Alg

which assigns to every open subset UXU \subset X of spacetime the quantum subsystem A UA_U of quantum fields supported in that region. By the above, we may consider for each of these quantum systems their associated quantum phase spaces given by the correspondong Bohr toposes Bohr(A U)Bohr(A_U). This yields a presheaf

Bohr(A):Op(X) opC com *TopSpaceC com *Topos Bohr(A) : Op(X)^{op} \to C^\ast_{com} TopSpace \hookrightarrow C^\ast_{com}Topos

of ringed toposes whose internal ring object has the structure of a commutative C *C^\ast-algebra. With the copresheaf thus turned into a presheaf it is natural to ask under which conditions this is a sheaf: under which conditions this presheaf satisfies descent.

In (Nuiten11) the following is observed: if AA satisfies what is called the split property (a strong form of the time slice axiom) then the Bohr-presheaf of quantum phase spaces satisfies spatial descent by local geometric morphisms precisely of the original copresheaf of observables A:Op(X)C *AlgA : Op(X) \to C^\ast Alg is indeed local – spatially and causally. So this means that a natural property of quantum physics – spatial and causal locality – corresponds from the perspective of Bohr toposes to a natural property of presheaves of quantum phase spaces: descent.

One can perhaps view this as further suggestive evidence that indeed quantum physics is naturally regarded from the point of view of the Bohr topos. But for seeing where this perspective is headed, it seems that more insights along these lines would be useful.

Posted at July 25, 2011 12:48 AM UTC

TrackBack URL for this Entry:   http://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/2419

0 Comments & 0 Trackbacks

Post a New Comment