# Significance of the hyperfinite $III_1$ factor for axiomatic quantum field theory

+ 17 like - 0 dislike
263 views

Using a form of the Haag-Kastler axioms for quantum field theory (see AQFT on the nLab for more details), it is possible in quite general contexts to prove that all local algebras are isomorphic to the hyperfinite $III_1$ factor or to the tensor product of the $III_1$ factor with the center of the given local algebra.

(A local algebra is the algebra of observables that is associated to an open bounded subset of Minkowski space. The term $III_1$ factor refers to the Murray-von Neumann classification of factors of von Neumann algebras).

Also see this question on math overflow for more details.

So one could say that quantum mechanics has the $I_n$ and $I_{\infty}$ factors as playground, while QFT has the hyperfinite $III_1$ factor as playground.

My questions has two parts:

1) I would like to know about a concrete physical system where it is possible to show that the local algebras are hyperfinite $III_1$ factors, if there is one where this is possible.

2) Is there an interpretation in physical terms of the presence of the hyperfinite $III_1$ factor in QFT?

This post has been migrated from (A51.SE)
retagged Mar 24, 2014

+ 17 like - 0 dislike

Yngvason, J. (2005). The role of type III factors in quantum field theory. Reports on Mathematical Physics, 55(1), 135–147. (arxiv)

The Type III property says something about statistical independence. Let $\mathcal{O}$ be a double cone, and let $\mathfrak{A}(\mathcal{O})$ be the associated algebra of observables. Assuming Haag duality, we have $\mathfrak{A}(\mathcal{O}')'' = \mathfrak{A}(\mathcal{O})$. If $\mathfrak{A}(\mathcal{O})$ is not of Type I, the Hilbert space $\mathcal{H}$ of the system does not decompose as $\mathcal{H} = \mathcal{H}_1 \otimes \mathcal{H}_2$ in such a way that $\mathfrak{A}(\mathcal{O})$ acts on the first tensor factor, and $\mathfrak{A}(\mathcal{O}')$ on the second. This implies that one cannot prepare the system in a certain state when restricted to measurements in $\mathcal{O}$ regardless of the state in the causal complement. It should be noted that if the split property holds, that is there is a Type I factor $\mathfrak{N}$ such that $\mathfrak{A}(\mathcal{O}) \subset \mathfrak{N} \subset \mathfrak{A}(\widehat{\mathcal{O}})$ for some region $\mathcal{O} \subset \widehat{\mathcal{O}}$, a slightly weaker property is available: a state can be prepared in $\mathcal{O}$ irregardless of the state in $\widehat{\mathcal{O}}'$. An illustration of the consequences can be found in the article above.

Another consequence is that the Borchers property B automatically holds: if $P$ is some projection in $\mathfrak{A}(\mathcal{O})$, then there is some isometry $W$ in the same algebra such that $W^*W = I$ and $W W^* = P$. This implies that we can modify the state locally to be an eigenstate of $P$, by doing the modification $\omega(A) \to \omega_W(A) = \omega(W^*AW)$. Note that $\omega_W(P) = 1$ and $\omega_W(A) = \omega(A)$ for $A$ localised in the causal complement of $\mathcal{O}$. Type III$_1$ implies something slightly stronger, see the article cited for more details.

As to the first question, one can prove that the local algebras of free field theories are Type III. This was done by Araki in the 1960's. You can find references in the article mentioned above. In general, the Type III condition follows from natural assumptions on the observable algebras. Non-trivial examples probably have to be found in conformal field theory, but I do not know any references on the top of my head.

This post has been migrated from (A51.SE)
answered Sep 15, 2011 by (550 points)
Ok, I somehow missed that paper, although Yngvason is on my watch list :-)

This post has been migrated from (A51.SE)
Feel free to expand you answer later, even though I will accept it already.

This post has been migrated from (A51.SE)
Yes, I will. Have to read the paper again myself first, I don't recall the details...

This post has been migrated from (A51.SE)
I updated the question, feel free to ask for more details :)

This post has been migrated from (A51.SE)
+ 4 like - 0 dislike

Regarding the first question. As Pieter already said for a conformal net the $III_1$ property holds (if it is not $\mathbb C$). Further $e^{-\beta L_0}$ being trace class for all $\beta>0$ with $L_0$ the generator of the rotations implies the split property, which implies $\mathcal A(I)$ to be the hyperfinite $III_1$-factor.

edit The property $III_1$ and trace class implies split can be found in - D'Antoni,Longo,Radulescu. Conformal Nets, Maximal Temperature and Models from Free Probability [arXiv:math/9810003v1]

This post has been migrated from (A51.SE)
answered Oct 26, 2011 by (300 points)

 Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead. To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL. Please consult the FAQ for as to how to format your post. This is the answer box; if you want to write a comment instead, please use the 'add comment' button. Live preview (may slow down editor)   Preview Your name to display (optional): Email me at this address if my answer is selected or commented on: Privacy: Your email address will only be used for sending these notifications. Anti-spam verification: If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:p$\hbar$ysicsOve$\varnothing$flowThen drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds). To avoid this verification in future, please log in or register.