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.

January 13, 2007

The First Part of the Story of Quantizing by Pushing to a Point…

Posted by Urs Schreiber

…in which the author entertains himself by computing the space of states of a charged particle by pushing its parallel transport forward to a point. Just for fun.


(1)X X

be a space and let

(2)V X \array{ V \\ \downarrow \\ X }

be vector bundle over XX with connection

(3). \nabla \,.

Equivalently this means # that we have a locally smoothly trivializable functor

(4)tra (V,):P 1(X)Vect \mathrm{tra}_{(V,\nabla)} : P_1(X) \to \mathrm{Vect}

that sends paths in XX to the parallel transport along them obtained from the connection \nabla.

Quantizing the single particle charged under this bundle with connection consists of a kinematical and of a dynamical aspect:

In this first part of the story we amuse ourselves by just doing the trivial kinematics – but in a nice way.

So, let’s forget the connection immediatey by just looking at constant paths in XX. I’ll write

(5)tra V:Disc(X)Vect \mathrm{tra}_V : \mathrm{Disc}(X) \to \mathrm{Vect}

for the above functor restricted to constant paths, ie. to the discrete category over XX. It does nothing but sending each point in XX to the vector space sitting over it – but smoothly so.

We can play the same game on the base space

(6){pt} \{\mathrm{pt}\}

that consists of nothing but a single point.

A trivial rank one vector bundle over a point is a functor

(7)I pt:Disc({pt})Vect I_{\mathrm{pt}} : \mathrm{Disc}(\{\mathrm{pt}\}) \to \mathrm{Vect}

that does nothing but sending the single point to the complex numbers:

(8)I pt:x. I_{\mathrm{pt}} : x \mapsto \mathbb{C} \,.

I admit that I am presupposing a certain tolerance for fancy-looking trivialities here. But enduring these will pay off eventually.

Using the uniqe functor from XX to the point

(9)p:Disc(X)Disc({pt}) p : \mathrm{Disc}(X) \to \mathrm{Disc}(\{\mathrm{pt}\})

we can pull back the trivial vector bundle over the point to XX. The result

(10)I X:=p *I pt:Disc(X)pDisc({pt})I ptVect I_X := p^* I_{\mathrm{pt}} : \mathrm{Disc}(X) \stackrel{p}{\to} \mathrm{Disc}(\{\mathrm{pt}\}) \stackrel{I_{\mathrm{pt}}}{\to} \mathrm{Vect}

is the trivial rank one bundle on XX. This functor simply sends each point of xx the typical fiber \mathbb{C}:

(11)I X:x. I_X : x \mapsto \mathbb{C} \,.

In as far as any of this is interesting at all, it is for the following simple fact:

a morphism of functors:

(12)e:I Xtra V e : I_X \to \mathrm{tra}_V

is precisely a section of the vector bundle VV: ee is nothing but an assignment

(13)e:x(e x:tpV x) e : x \mapsto (e_x : \mathbb{C} \tp V_x)

of a linear map from \mathbb{C} to the fiber V xV_x for each point xx. That’s nothing but a choice of vector in each fiber.

So, the space of all such functor morphisms

(14)Γ(V)=Hom(I x,tra V) \Gamma(V) = \mathrm{Hom}(I_x, \mathrm{tra}_V)

from the trivial one into the one defining our vector bundle is nothing but the space of sections of VV.

Since Γ(V)\Gamma(V) is a vector space, and since vector bundles over the point are nothing but vector spaces, I want to think of Γ(V)\Gamma(V) as a vector bundle over the point. So I regard it as a functor

(15)q(tra V):=ptΓ(V). q(\mathrm{tra}_V) := \mathrm{pt} \mapsto \Gamma(V) \,.

On top of all these trivialities, I’ll finally allow mysef to think of Γ(V)\Gamma(V) as morphisms from the trivial line bundle on the point into this guy:

(16)Γ(V)Hom(I pt,q(tra V)). \Gamma(V) \simeq \mathrm{Hom}(I_{\mathrm{pt}}, q(\mathrm{tra}_V)) \,.

The upshot is that, taken together, we get the isomorphism

(17)Hom(p *I pt,tra V)Hom(I pt,q(tra V)). \mathrm{Hom}(p^* I_{\mathrm{pt}}, \mathrm{tra}_V) \simeq \mathrm{Hom}(I_{\mathrm{pt}}, q(\mathrm{tra}_V)) \,.

If you like, you can convince yourself that this isomorphism of Hom-spaces in indeed natural in both arguments. But this means that pulling back functors from points to XX

(18)[Disc({pt}),Vect]p *[Disc(X),Vect] [\mathrm{Disc}(\{\mathrm{pt}\}),\mathrm{Vect}] \stackrel{p^*}{\to} [\mathrm{Disc}(X),\mathrm{Vect}]

is the adjoint of taking sections

(19)[Disc({pt}),Vect]q()[Disc(X),Vect]. [\mathrm{Disc}(\{\mathrm{pt}\}),\mathrm{Vect}] \stackrel{q(\cdot)}{\leftarrow} [\mathrm{Disc}(X),\mathrm{Vect}] \,.

This, in turn, says that forming the space of sections of tra V\mathrm{tra}_V is the result of pushing tra V\mathrm{tra}_V forward to a point.

Of course that’s neither new nor very deep. But part of a nice story that still needs to be told.

Posted at January 13, 2007 7:16 PM UTC

TrackBack URL for this Entry:

0 Comments & 10 Trackbacks

Read the post D-Branes from Tin Cans, III: Homs of Homs
Weblog: The n-Category Café
Excerpt: Sections of sections, their pairing and n-disk correlators.
Tracked: January 19, 2007 9:08 AM
Read the post The Globular Extended QFT of the Charged n-Particle: Definition
Weblog: The n-Category Café
Excerpt: Turning a classical parallel transport functor on target space into a quantum propagation functor on parameter space.
Tracked: January 24, 2007 8:05 PM
Read the post Globular Extended QFT of the Charged n-Particle: String on BG
Weblog: The n-Category Café
Excerpt: The string on the classifying space of a strict 2-group.
Tracked: January 26, 2007 2:49 PM
Read the post QFT of Charged n-particle: Chan-Paton Bundles
Weblog: The n-Category Café
Excerpt: Chan-Paton bundles from the pull-push quantization of the open 2-particle.
Tracked: February 7, 2007 9:55 PM
Read the post QFT of Charged n-Particle: Dynamics
Weblog: The n-Category Café
Excerpt: Definition of the dynamics of the charged quantum particle by pull-push along correspondences of path spaces.
Tracked: February 12, 2007 6:39 PM
Read the post QFT of Charged n-Particle: Algebra of Observables
Weblog: The n-Category Café
Excerpt: The algebra of observables as certain endomorphisms of the n-category of sections.
Tracked: February 28, 2007 2:31 AM
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:36 PM
Read the post The n-Café Quantum Conjecture
Weblog: The n-Category Café
Excerpt: Why it seems that quantum mechanics ought to be the de-refinement of a refined theory which lives in one categorical degree higher than usual.
Tracked: June 8, 2007 6:23 PM
Read the post The Concept of a Space of States, and the Space of States of the Charged n-Particle
Weblog: The n-Category Café
Excerpt: On the notion of topos-theoretic quantum state objects, the proposed definition by Isham and Doering and a proposal for a simplified modification for the class of theories given by charged n-particle sigma-models.
Tracked: January 9, 2008 10:26 PM
Read the post What has happened so far
Weblog: The n-Category Café
Excerpt: A review of one of the main topics discussed at the Cafe: Sigma-models as the pull-push quantization of nonabelian differential cocycles.
Tracked: March 27, 2008 4:46 PM

Post a New Comment