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.

February 28, 2007

QFT of Charged n-Particle: Algebra of Observables

Posted by Urs Schreiber

What is the “algebra of observables”, really?

Another puzzle piece in my quest for understanding the arrow-theory of quantum mechanics, and in particular of the quantum mechanics of nn-dimensional objects coupled to nn-bundles with connection.

After meditating a little about how the functorial conception of quantum field theory according to Segal relates to the “AQFT” approach of Doplicher, Haag, Kastler, Roberts like the “Schrödinger picture” relates to the “Heisenberg picture”, it is time to come to terms with the true nature of the algebra of observables of the charged nn-particle.

The nn-particle of shape par \mathrm{par} with configuration space conf \mathrm{conf} has a space of states given by the generalized elements ψHom(1 *,tra *) \psi \in \mathrm{Hom}(1_*,\mathrm{tra}_*) of the nn-bundle with connection tra *:conf[par,phas] \mathrm{tra}_* : \mathrm{conf} \to [\mathrm{par},\mathrm{phas}] it couples to.

(examples: the point particle, the string)

As described in the “Rosetta Stone”-section (1.2), there are three monoids naturally acting on this space of states:

1) Endomorphisms of the trivial bundle 1 *1_* may be precomposed with a state (1 *ψtra *)(1 *f1 *ψtra *). (1_* \stackrel{\psi}{\to} \mathrm{tra}_*) \mapsto (1_* \stackrel{f}{\to} 1_* \stackrel{\psi}{\to} \mathrm{tra}_*) \,. This corresponds to acting with a position operator or multiplication operator (multiplication by a function on configuration space) on the state.

2) Automorphisms of the gauge bundle tra *\mathrm{tra}_* may be postcomposed with a state (1 *ψtra *)(1 *ψtra*gtra *). (1_* \stackrel{\psi}{\to} \mathrm{tra}_*) \mapsto (1_* \stackrel{\psi}{\to} \mathrm{tra}* \stackrel{g}{\to} \mathrm{tra}_*) \,. This corresponds to acting with a local gauge transformation on a state.

3) Flows on configuration space may be composed with a state.

The standard example is the electromagnetically charged 1-particle on target space tar=P 1( n)\mathrm{tar} = P_1(\mathbb{R}^n) coupled to the line bundle tra *1dVect \mathrm{tra}_* \to 1d\mathrm{Vect}_\mathbb{C}.

In this case, the space of states, sect\mathrm{sect}, is that of sections of the given line bundle. The above position operators are given by mutiplying with functions C( n)C(\mathbb{R}^n). The translation operators are given by 1-parameter groups of diffeomorphisms on sections. Their differential yields the action of the covariant derivative \nabla on sections, known as the (covariant) momentum operator.

For trivial line bundle this gives the familiar Weyl algebra, the algebra of observables of the free 1-particle on n\mathbb{R}^n.

What is so very special about this? Why does nature care?

Stare at the three different actions on the space of states above for a while… precomposition of 2-morphisms, postcomposition, and whiskering.

Question: What kind of transformation is that?

Answer: A (pseudo)natural transformation!

The above three operations are unified in the following tin can equation:

This tin can encodes: a diffeomorphism (the left vertical morphism), the covariant translation along it (the 2-cell adjacent to it), a gauge transformation (the 2-cell on top of that), and multiplication by a function on configuration space (the 2-cell on the right) – all different components of one natural operation on sections.

These are the components of a map of the space of sections sectOsect, \mathrm{sect} \stackrel{O}{\to} \mathrm{sect} \,, (where I regard sect\mathrm{sect} as an nn-category with two objects) which is connected to the identity Id sect sect O. \array{ & \nearrow \searrow^{\mathrm{Id}} \\ \mathrm{sect} &\Downarrow& \mathrm{sect} \\ & \searrow \nearrow_{O} } \,.

We are apparently lead to

Definition: The monoid of observables of the charged nn-particle is the submonoid of endomorphisms of the space of sections that is connected to the identity.

This neatly generalizes the way that flows along vector fields are endomorphisms of configuration space connected to the identity.

It seems that we are entitled to coin a slogan:

The algebra of observables acts on the space of states like, and generalizing how, the monoid of arrow fields acts on configuration space.

By the natural nature of everything in sight, this action automatically contains translation operators (momentum) as well as multiplication operators (position) and local gauge transformations.

If you look closely, you see that this is more flexible concerning the presence of invertibles in configuration space, thereby alleviating the issue Bruce pointed out. This may be relevant for directed configuration spaces like those discussed here.

The above figures are taken from The Charged Quantum nn-Particle: Kinematics and Dynamics

Posted at February 28, 2007 1:00 AM UTC

TrackBack URL for this Entry:

1 Comment & 9 Trackbacks

Re: QFT of Charged n-Particle: Algebra of Observables

By private email I was asked concerning the use of “position observable” versus “position operator”, for instance with respect to the above terminology posobs=End(1 *)\mathrm{posobs} = \mathrm{End}(1_*).

The standard convention, at least in the AQFT literature

(By the way, a good source is Hans Halvorson, Michael Mueger: math-ph/0602036 , the appendix of which I talked about here)

is to take the “algebra of observables” (i.e. the algebra their axioms assigns to a given subset of parameter space) to be the algebra generated by the Weyl algebra.

Given a classical phase space, we get the corresponding Weyl Algebra (see for instance p. 34 of the above) by using the symplectic form as an abelian group cocycle.

For instance, for the single 1-particle on target space the real line tar=P 1()\mathrm{tar} = P_1(\mathbb{R}) this gives the algebra containing the exponential “position operators” W(λ,0)=e iλx W(\lambda,0) = e^{i \lambda x} and the exponential “momentum operators” W(0,ρ)=e iρp W(0,\rho) = e^{i \rho p} with product W(0,ρ)W(λ,0)W(0,ρ)=W(λ+ρ,0). W(0,\rho)W(\lambda,0)W(0,-\rho) = W(\lambda + \rho,0) \,.

This we may try to represent on a Hilbert space, and Stone-vonNeumann tells us that there is only one non-pathologic irrep, namely the standard one on square integrable sections L 2() L^2(\mathbb{R}) where xx acts by multiplication f(x)xf(x)f(x) \mapsto x f(x) and pp by differentiation fiff \mapsto -i f'.

The “algebra of observables” is then usually taken to be the algebra generated by this.

Either generated as a C *C^*-algebra, or as a vonNeumann-algebra, which would be the double commutant of the above, i.e. the collection of all operators on L 2()L^2(\mathbb{R}) which commute with all operators which commute with the Weyl algebra operators.

Since the canonical rep is an irrep, this means that we’d consider all bounded operators on L 2()L^2(\mathbb{R}) to be the “observables”.

Among them are the operators that arise as arbitrary universally measurable functions of the operator xx (compare Alain Connes’s recent remark on that, over at the NCG blog). These I would call the “position observables”.

In my “arrow theoretic” treatment above, I did not even get as far as considering such worldly issues as Hilbert space structures and boundedness. In that respect my use of the term “position observable” would perhaps make some people feel itchy, and they’d rather see me say “position operator” or whatever.

But of course my point was another one. I was trying to understand why it is that we consider our “observables” to be those generated from some Weyl algebra of a classical phase space, postpoining any discussion of technical details of implementation.

So, I am at the point: I know, abstractly, what an “charged nn-particle” is. Why and what should I consider as a “phase space” in the first place. Why and what would be a notion of “algbra of observables” associated with that.

Posted by: urs on February 28, 2007 1:04 PM | Permalink | Reply to this
Read the post QFT of Charged n-Particle: Gauge Theory Kinematics
Weblog: The n-Category Café
Excerpt: A review of Fleischhack's discussion of a Weyl algebra on spaces of generalized connections.
Tracked: March 1, 2007 1:24 PM
Read the post QFT of Charged n-Particle: Disk Path Integral for String in trivial KR Field
Weblog: The n-Category Café
Excerpt: The arrow-theoretic perspective on the path integral for the disk diagram of the open string.
Tracked: March 5, 2007 10:17 PM
Read the post QFT of Charged n-Particle: Sheaves of Observables
Weblog: The n-Category Café
Excerpt: On the concepts of sheaves and nets of algebras of observables in quantum field theory.
Tracked: March 6, 2007 11:43 PM
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:29 AM
Read the post What is a Lie derivative, really?
Weblog: The n-Category Café
Excerpt: On the arrow-theory behind Lie derivatives.
Tracked: May 31, 2007 11:29 AM
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:31 PM
Read the post QFT of Charged n-Particle: Extended Worldvolumes
Weblog: The n-Category Café
Excerpt: Passing from locally to globally refined extended QFTs by means of the adjointness property of the Gray tensor product of the n-particle with the timeline.
Tracked: August 2, 2007 7:47 PM
Read the post Arrow-Theoretic Differential Theory IV: Cotangents
Weblog: The n-Category Café
Excerpt: Cotangents and morphisms of Lie n-algebroids from arrow-theoretic differential theory.
Tracked: September 3, 2007 4:30 PM
Read the post Local Nets from 2-Transport
Weblog: The n-Category Café
Excerpt: How to obtain a local net of observables from an extended functorial QFT.
Tracked: December 9, 2007 6:04 PM

Post a New Comment