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.

March 31, 2007

Some Notes on Local QFT

Posted by Urs Schreiber

I have just returned from visiting my brother in Berlin. On the train I did some reading and thinking related to fittting algebraic quantum field theory into the general picture™. Here are a couple of random notes.

By the way, we went to the zoo, but Knut was not available. Probably preparing with his manager for the time after his cuteness career. Turns out, though, that there are, for instance, little warthog puppies. Not quite as cute, but lots of fun…

A useful and interesting text is

K.-H. Rehren
On Local Boundary CFT and Non-Local CFT on the Boundary
math-ph/0412049,

in particular its section 4, which goes beyond the discussion in

Longo, Rehren
Local fields in boundary conformal QFT
math-ph/0405067

that this review is based on.

Before talking about that section 4, I should mention this:

Canonical time evolution (“evolution of modular origin”)

The appendix contains, as a review, at least part of the answer to the kind of question we were discussing in the comment section of QFT of Charged nn-Particle: Canonical 1-Particle, concerning the relation of Alain Connes’ so-called “canonical time evolution” with the standard notion of time evolution in quantum field theory.

Let AA be the von Neumann algebra of observables in some local QFT associated to a wedge region, acting on a Hilbert space HH, and let Ω\Omega be the cyclic and separating vacuum state in HH.

Connes’ automorphism σ:AA\sigma : A \to A defined by Ω,abΩ=Ω,σ(b)aΩ \langle \Omega , a b\Omega \rangle = \langle \Omega , \sigma(b) a \Omega \rangle is induced by conjugation with some ΔB(H). \Delta \in B(H) \,. This operator also appears in the polar splitting of the closure of the operator S:aΩa *Ω S : a \Omega \mapsto a^* \Omega as S¯=JΔ 1/2. \bar S = J \Delta^{1/2} \,.

In the given case, whereA=A(W)A = A(W) is the algebra of observables associated to a spacelike wedge AA of Minkwoski space by a local QFT, JJ is a CPT operator and Δ\Delta generates the unitary group of Lorentz boosts that preserve the wedge region WW Δ A(W),Ω it=U(Λ W(2πt)). \Delta^{i t}_{A(W),\Omega} = U(\Lambda_W(-2 \pi t)) \,.

I still need to better understand this, and how it comes about. But that’s a start.


Open string algebras

From the AQFT point of view, the Frobenius algebras internal to modular tensor categories, that characterize (rational) 2-dimensional conformal field theory #, arise as Q-systems of DHR endomorphisms of algebras of observables.

I’ll say something about Q-systems below. Here is what K.-H. Rehren says about open strings in section 4 of the above paper.

Given a 2-dimensional worldsheet with boundary, we may associate to every interval II of the boundary an algebra B(I)B(I) of observables obtained by restricting the local conformal net of observables in the bulk suitably. This net on the real line will contain a chiral sub-set ι:A(I)B(I). \iota : A(I) \stackrel{\subset}{\to} B(I) \,.

Under suitable conditions B(I)B(I) is a von Neumann algebra factor and A(I)A(I) a subfactor.

Specifying subfactors of vN factors is something of more profound importance than it may seem on first sight. Probably everything there is to know about this, in the AQFT context, is mentioned in

Longo, Rehren,
Nets of subfactors.

Inclusions of vN subfactors are closely related to adjunctions. Think of everything living in the bicategory of von Neumann bimodules, with every morphism of algebras inducing a bimodule structure on the codomain algebra. Think of compositioon of morphisms as composition of bimodules, but , at the same time, as far as morphisms of bimodules are concerned, in the present applications, think of all these bimodules as mere left modules, by right-composing them suitably with left-modules, along the lines indicated in Amplimorphisms.

A morphism ρ:AB\rho : A \to B is said, in the present context, to have a conjugate ρ¯:BA\bar \rho : B \to A if there are morphisms Idρρ¯\mathrm{Id} \to \rho \circ \bar \rho and Idρ¯ρ\mathrm{Id} \to \bar \rho \circ \rho that have a right inverse.

Notice that this condition on inverses would imply, if we were to furthermore impose the obvious zig-zag identities on these morphisms (as we will below), thus turning them into an ambidextrous adjunction, the structure of a special ambidextrous adjunction.

A morphism σ:AA\sigma : A \to A is called a DHR endomorphism if it is localized and transportable, in the sense described in Amplimorphisms and Quantum Symmetry, I.

Now, consider all morphisms a:A(I)B(I) a : A(I) \to B(I) which are subobjects of one of the form ισ\iota \circ \sigma, with ι\iota the above inclusion and σ\sigma a DHR endomorphism.

Then, K.-H. Rehren says, such aa model boundary conditions of the theory, and (slightly paraphrased by myself), that strings stretching from an aa to a bb-boundary are described by the bimodule associated with the morphism a¯b:A(I)B(I)A(I), \bar a \circ b : A(I) \to B(I) \to A(I) \,, where b¯\bar b is a (the) conjugate of bb, in the above sense.


Q-Systems

In the world of AQFT and von Neumann subfactor theory, the name for special symmetric Frobenius algebras of DHR representations is “Q-system”.

Here is how a Q-system is defined in

Y. Kawahigashi, R. Longo
Classification of Local Conformal Nets. Case c<1c \lt 1
math-ph/0201015.

Again AA is a Frobenius algebra and ρ:AA\rho : A \to A a (DHR) endomorphism. This becomes a Q-system by specifying morphisms V:Id Aρ V : \mathrm{Id}_A \to \rho and W:ρρρ W : \rho \to \rho \circ \rho that act on the corresponding bimodules by multiplying with corresponding operators V,WAB(H), V,W \in A \subset B(H) \,, which I denote by the same letters, such that V *W=ρ(V *)W V^* W = \rho(V^*) W and ρ(W)W=W 2. \rho(W) W = W^2 \,.

The second condition is nothing but the coassociativity constraint on a coproduct structure on ρ\rho, while the first one is the corresponding counit condition. Using the existence of adjoints in B(H)B(H), we also get an associtive unital product on ρ\rho this way.

In fact, also the Frobenius property follows automatically by using the existence of adjoint operators, and hence Q-systems are Frobenius algebra structures on DHR representations ρ:AA\rho : A \to A – even special symmetric *-Frobenius algebras, as described in

D.E. Evans and P.R. Pinto,
Subfactor realisation of modular invariants
Commun. Math. Phys. 237 (2003) 309
math.OA/0309174.

A very brief review of this is also given in Ingor Runkel’s Algebra in Braided Tensor Categories and Conformal Field Theory.

It seems to me that K.-H. Rehren’s description of aa-bb-string states above would provide the subfactor realization of the special ambidextrous adjunctions that correspond to these special Frobenius algebras. But I can’t remember having seen this discussed in the literature.


So much for now.

Posted at March 31, 2007 5:23 PM UTC

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

0 Comments & 1 Trackback

Read the post Oberwolfach CFT, Arrival Night
Weblog: The n-Category Café
Excerpt: Some musings on the relation of AQFT to functorial QFT.
Tracked: April 2, 2007 11:27 AM

Post a New Comment