nLab
Position, Velocity, and Acceleration

Idea

Consider three paths that begin at x 0 and end at x 2τ enclosing the spacetime region depicted below

x 2τ v τ v τ + x τ F v 0 F + x τ + v 0 v 0 + x 0 \array{ {} & {} & {} & x_{2\tau} & {} & {} & {} \\ {} & {} & {} & \bullet & {} & {} & {} \\ {} & {} & {}^{v^-_{\tau}}\nearrow & {} & \nwarrow^{v_{\tau}^+} & {} & {} \\ x^-_{\tau} & \bullet & \stackrel{F^-}{\Uparrow} & \stackrel{v_0}{\uparr} & \stackrel{F^+}{\Uparrow} & \bullet & x^+_{\tau} \\ {} & {} & {}_{v_0^-}\nwarrow & {} & \nearrow_{v_0^+} & {} & {} \\ {} & {} & {} & \bullet & {} & {} & {} \\ {} & {} & {} & x_0 & {} & {} & {} }

Staring at the above picture, we want to understand the analogy:

category functor naturaltransformation fiber connection curvature position velocity acceleration\array{ category & functor & natural transformation \\ fiber & connection & curvature \\ position & velocity & acceleration }

For those who better understand the mathematics of the first line, this analogy is likely to help motivate the physics as we go down the ladder. For those who better understand the physics of the bottom line, it is hoped that this analogy will help to motivate the mathematics as we move up the ladder.

Formulation

First, due to the symmetry of the diagram above, we can consider the simplified region

x τ v 0 F v τ x 0 v x 2τ\array{ {} & {} & {} & x_{\tau} & {} & {} & {} \\ {} & {} & {} & \bullet & {} & {} & {} \\ {} & {} & {}^{v_0}\nearrow & {}_F\Rightarrow & \searrow^{v_{\tau}} & {} & {} \\ x_0 & \bullet & {} & \stackrel{v}{\longrightarrow} & {} & \bullet & x_{2\tau} }

This diagram represents a very simple strict 2-category we will denote by P 2(𝔻 2) with

  • Objects {x 0,x τ,x 2τ}
  • Morphisms {x 0v 0x τ,x τv τx 2τ,x 0vx 2τ}
  • 2-Morphism {v 0Fv τ}

Discussion

John said (from n-Cafe):

Todd wrote:

Position, velocity, acceleration; Newton?

YES!!!

Each one is clearly obtained from the previous one in a systematic way, and Newton invented this way — differentiation!

But, he needed differentiation not for first derivatives, but for second derivatives. His grand discovery was this: the laws of motion become clear not when we try to explain an object’s position, nor when we try to explain its velocity, but only when we try to explain its acceleration!

So, just as Eilenberg and Mac Lane needed categories to define functors, and needed functors to define natural transformations, so they could make precise sense of cohomology theories being ‘naturally isomorphic’ …

… Newton needed position to define velocity, and velocity to define acceleration, so he could make precise sense of

F=ma.F=ma.

There’s even a nice analogy between these two trios. An category is a place for an object to sit. A functor is a way of changing an object. A natural transformation changes a way of changing an object.

I haven’t quite figured out how to exploit this analogy. It’s interesting to note that an n-category internal to Vect is automatically a chain complex and is thus related to second derivatives by the formula

d 2=0.d^2=0.

But somehow I should get natural transformations (chain homotopies) into the game.

Anyway, it might be a sign of genius for somebody to study a trio of concepts, each systematically derived from the previous one, where the third one is the charm.


Urs said (from n-Cafe):

Let G be a Lie group – and let’s concentrate here on G= to get closest to the Newtonian example regarded as a 1-object groupoid B.

Functors from B to itself and natural transformations between these arrange themselves into the smooth 2-groupoid BE().

To find the infinitesimal version of this triple gadget (object = position, morphism = functor, 2-morphism = natural transformation) we proceed the way one differentiates any Lie group: we map smooth 1- and 2-parameter paths into this:

So let P 2( 2) be the strict 2-groupoid of smooth paths in the plane and consider smooth 2-functors

F:P 2( 2)BE().F:P^2(\mathbb{R}^2)\to\mathbf{BE}(\mathbb{R}).

These 2-functors are in bijection with 1-forms A on 2.

The way the equivalence works is precisely the Newtonian example:

Regarding the value of the functor F on a path γ in 2 as a trajectory in , A gives the velocity of this trajectory with respect to “parameter time”. For instance if you think of the standard speed parameterized path γ:t(t,0) in 2 and write A=A tdt, then A t=v is precisely the velocity of the trajectory.

And the value of the 2-functor F on 2-morphisms then, i.e. its value in natural transformations of functors on B, is indeed given by the (“exterior”) acceleration dA.

This example, incidentally, when we pass from to more general groups and include linear representations, then also subsumes the first Trimblean triple as a “special case” of “category-functor-natural transformation”.


Urs then said (from n-Cafe):

Okay, let me try to find a setup in which this becomes very obvious.

First of all, the more obvious part of the analogy is

category functor naturaltransformation fiber connection curvature\array{ category & functor & natural transformation \\ fiber & connection & curvature }

so let me start with that.

Here a simple situation is that where

  • each fiber looks like a group G, regarded as a one-object groupoid (hence a category), which I write as BG;
  • all functors go from BG to itself;
  • and the natural transformations in question are the natural transformations between these functors.

And we want to assume that G is a Lie group, so that we can proceed with the analogy which clearly presupposes a smooth setup.

In this case, the main subtlety in making sense of the above analogy comes from the existence of outer automorphisms on G. So, in the spirit of making everything as clear as possible, let me assume a situation where these vanish. For instance assume G=E 8 (i.e. the compact real form of E 8).

Then (I am saying this to be self contained for the record and for other readers) the relation between the two lines in the above analogy is established by the notioin of smooth 2-functors

tra:P 2(X)Cattra:P^2(X)\to Cat

from the 2-groupoid P 2(X) whose

  • objects are points in a manifold X;
  • morphisms are classes of smooth paths in X;
  • 2-morphisms are classes of smooth surfaces in X.

Assume this 2-functor tra assigns

  1. to each point the fiber of a G-principal bundle P over X, which we can locally identify with G and hence with the category BG

    BG category fiber Px\array{ BG \\ category \\ fiber \\ P x }
  2. to each path γ:xy a functor from the fiber over x to the fiber over y.

    Theorem

    Such smooth assignments of functors to paths are in bijection with connections on the G-principal bundle: upon identifying the fibers with BG the functor is given by an automorphism of G hence, by assumption, by an element of G, and this element is the parallel transport Pexp( γ).

    BG BGtra(γ)BG category functor fiber connection P x \array{ \mathbf{B}G & BG\stackrel{tra(\gamma)}{\to} \mathbf{B}G \\ category & functor \\ fiber & connection \\ P_x & \nabla }
  3. to each surface Σ:γγ:xy a natural transformation of functors tra(γ)tra(γ). Since BG has a single object, such natural transformations are given by elements of G once we identify the fibers with BG.

    Theorem

    This element of G is the group element P exp( ΣF ) where F is the curvature 2-form of and P exp() denotes the surface ordered exponential integral of a 2-form with respect to (as appearing in the non-abelian Stokes theorem).

BG BGtra(γ)BG tra(γ)!tra(γ) category functor naturaltransformation fiber connection curvature P x F \array{ \mathbf{B}G & \mathbf{B}G\stackrel{tra(\gamma)}{\to}\mathbf{B}G & tra(\gamma)\stackrel{\exists !}{\Rightarrow}tra(\gamma') \\ category & functor & natural transformation \\ fiber & connection & curvature \\ P_x & \nabla & F_\nabla }

So that’s how this works. Before going into the further analogy

category functor naturaltransformation fiber connection curvature position velocity acceleration\array{ category & functor & natural transformation \\ fiber & connection & curvature \\ position & velocity & acceleration }

let’s massage the above kind of observation into a form that we are all happy with.


Urs then said (from n-Cafe):

Hi John,

So maybe we can focus on the next stage […]

Okay. In my comment which started this discussion I essentially pointed out that:

the bijection/equivalence

(smooth 1-functors from paths in X endomorphisms of G) (1-forms)

is – manifestly the way one proves it – controlled by the concept of velocity:

if you think of X as 1-dimensional, then the 1-form on X with values in Lie(G) is nothing but the gadget which reads in a bit of “coordinate time” for a trajectory on G and spits out the velocity tangent vector of that trajectory with respect that coordinate time.

This is really what “parallel transport” of 1-forms means: find the trajectory such that its velocity is at every point prescribed by the given 1-form.

Think in the case X= of the functor as describing a particle which propagates on a group manifold. The fact that the functor is smooth says that we have a smooth trajectory. The fact that it is functorial means that this trajectory is obtained by integrating a velocity 1-form.

Now, in my comment which started this discussion I next said that on 2-cells our parallel transport computes the “exterior acceleration”: given a 1-parameter family of trajectories, the 2-form that controls the value of a smooth 2-functor on it is the exterior differential of the “velocity 1-form”.

At first it is admittedly a bit of a stretch as far as the Newtonmian concept of acceleration goes to call this curvature 2-form the “acceleration” here, though it does consist of second derivatives of the original trajectories.

But then notice the Newton-force law for charged relativitic particles: the Lorentz-force law. it says that the acceleration bivector v˙v of the relativistic particle equals the (electric component of) the curvature 2-form. So we have

fiber innerdegreesoffreedomatgivenposition connection actionfunctionalintermsofvelocity curvature forcelawintermsofacceleration.\array{ fiber & inner degrees of freedom at given position \\ connection & action functional in terms of velocity \\ curvature & force law in terms of acceleration. }

There must be better ways to say this. But maybe this helps to indicate what I am thinking of.

References

category: drafts

Revised on February 9, 2009 15:49:55 by Eric Forgy (65.163.59.49)