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 22, 2007

Physical Systems as Topoi, Part II

Posted by Urs Schreiber

The continuation of my transcript of Andreas Döring’s talk.

Spectral Presheaves

For fixed Hilbert space HH, let V(H)V(H) be the category whose

- objects are abelian subalgebras of bounded operators B(H)B(H) on HH

- morphisms are inclusions of abelian subalgebras.

This is the “context category”.

We will prominently consider the spectral presheav on V(H)V(H). This is the presheaf Σ:V(H) opSet \Sigma : V(H)^\mathrm{op} \to \mathrm{Set} which assigns to each abelian subalgebra VV(H)V \in V(H) its Gelfand spectrum Σ(V), \Sigma(V) \,, i.e. the set of all algebra homomorphisms from VV to the complex numbers, and to each inclusion i VV:VV i_{V' V} : V' \stackrel{\subset}{\to} V the obvious restriction of the spectrum Σ(i VV):Σ(V)Σ(V) \Sigma(i_{V' V}) : \Sigma(V) \to \Sigma(V') ωω| V. \omega \mapsto \omega|_{V'} \,.

This spectral presheaf here is the quantum analogue of the classical phase space PP.

This now allows to reformulate the Kochen-Specker theorem as saying that

Σ\Sigma has no global sections.

This, in turn, is equivalent to saying that

There is no morphism 1Σ1 \to \Sigma

of presheaves, where 11 is the terminal object in the category of presheaves over V(H)V(H), i.e. the functor which assigns to each abelian subalgebra the singleton set.

This says that the quantum phase space Σ\Sigma has no classical points.

[This reformulation of Kochen Specker is apparently due to Isham and Butterfield, if I understood correctly.]


Ordinary quantum logic

In 1936 Birkhoff and vonNeumann thought of formulating the “logic of quantum systems” in terms of the lattice L(H) L(H) of closed subspaces of the given Hilbert space HH.

This has severe interpretational problems in that for dim(G)>1\mathrm{dim}(G) \gt 1 this logic is non-distributive, which means that in general the proposition

(eggs for breakfast) and (bacon or ham for breakfast)

is no longer equal to

(eggs and bacon for breakfast) or (bacon and ham for breakfast)

[You’ll recognize that this is where New Scientist got its headline from.]

In formulas

E(BH)(AB)(EH). E \wedge (B \vee H) \neq (A \wedge B) \vee (E \wedge H) \,.

Since then, there have been many further developments in quantum logic – but none of them useful for physics.

[That’s indeed what he said. I am wondering if he is aware that it would be good to work out more explicitly why and how their approach is useful for physics.]

Also, a deductive system for quantum logic is missing.


Topos of presheaves

We now want to make use of the fact that the category of presheaves over V(H)V(H) Set V(H) op \mathrm{Set}^{V(H)^{\mathrm{op}}} is a topos with an internal logic.

A topos is a category which behaves in many ways like the category of sets: it has all finite limits and colimits and it is cartesian closed. Moreover, most importantly, is has a subobject classifier.

[If indeed you don’t know yet what a topos is, the best thing to do is to quickly have a look at John Baez’s Topos Theory in a Nutshell.]

A subobject classifier is a special object Ω \Omega in the topos. In the topos of sets (the category of sets), this is the 2-element set {0,1}\{0,1\} or {false,true}\{\mathrm{false},\mathrm{true}\}. Morphisms from any other set to this 2-element set are in bijection with subsets of the former.

Generally, a subobject classfier is an object Ω\Omega in the topos together with a monic morphism true:1Ω \mathrm{true} : 1 \hookrightarrow \Omega from the terminal object 1 into it, such that for every monic m:SX m : S \hookrightarrow X there is a unique ϕ:XΩ \phi : X \to \Omega such that S 1 m true X ϕ Ω \array{ S &\to& 1 \\ \downarrow^{m} && \downarrow^{\mathrm{true}} \\ X &\stackrel{\phi}{\to}& \Omega } commutes.


Topos logic

The subobject classifier induces an internal logic which is of intuitionistic type.

[Next there is a small logical gap in my transcript. I have the suspicion that Andreas Döring forgot to say something he planned to say. In parts this was clarified in the question session afterwards. Namely:

First of all, in any topos we define the category Sub(A) \mathrm{Sub}(A) of any object AA of the topos as Sub(A):=matrmHom(A,Ω). \mathrm{Sub}(A) := \matrm{Hom}(A,\Omega) \,. The subobject Ω\Omega in the topos of presheaves over V(H)V(H) is the presheaf of sieves over V(H)V(H). ]

Theorem: The collection Sub(Σ) \mathrm{Sub}(\Sigma) of subobjects of the spectral presheaf is a Heyting algebra.

A Heyting algebra is a distributive lattice in which the law of the excluded middle need not hold. Rather we have E¬E1 E \vee \not E \leq 1 and ¬¬EE, \not \not E \geq E \,,


Projections and propositions

Spectral theory shows that to every proposition AΔA \in \Delta, where AA is represented by some self-adjoint operator AB(H)A \in B(H), there is a projector E[AΔ]P(H). E[A \in \Delta] \in P(H) \,. This is the part of ordinary quantum logic which we keep.

In order to relate a projector P=E[AΔ]P(H) P = E[A \in \Delta] \in P(H) to all “contexts” VV(H)V \in V(H) [commutative subalgebras, recall], we form the “Daseineization” δ(P) VP(V). \delta(P)_V \in P(V) \,.

This defines a subset of the Gelfand spectrum Σ(V)\Sigma(V) by δ(P) V{ωΣ(V)|ω(δ(P) V)=1}. \delta(P)_V \mapsto \{ \omega \in \Sigma(V) | \omega(\delta(P)_V) = 1 \} \,.

[Oops, I am being thrown out of this building. Rumour has it that the Max-Planck institute in Leipzig is the only such institute where one cannot stay overnight and work. Well, I should get some sleep anyway. I’ll continue this here later.]

Posted at July 22, 2007 9:04 PM UTC

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

0 Comments & 3 Trackbacks

Read the post Physical Systems as Topoi, Part III
Weblog: The n-Category Café
Excerpt: The third part of the talk.
Tracked: July 23, 2007 8:34 PM
Read the post The Principle of General Tovariance
Weblog: The n-Category Café
Excerpt: Landsmann proposes that physical laws should be formulated such that they may be internalized into any topos.
Tracked: December 5, 2007 7:10 PM
Read the post A Topos for Algebraic Quantum Theory
Weblog: The n-Category Café
Excerpt: A summary of some key points of Chris Heunen's and Bas Spitter's article.
Tracked: December 7, 2007 10:04 AM

Post a New Comment