nLab
Position, Velocity, and Acceleration

Idea

Consider three paths that begin at x 0x_0 and end at x 2τx_{2\tau} 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)P^2(\mathbb{D}^2) with

  • Objects {x 0,x τ,x 2τ}\{x_0,x_\tau,x_{2\tau}\}
  • Morphisms {x 0v 0x τ,x τv τx 2τ,x 0vx 2τ}\{x_0\stackrel{v_0}{\to}x_{\tau},x_\tau\stackrel{v_\tau}{\to}x_{2\tau},x_0\stackrel{v}{\to}x_{2\tau}\}
  • 2-Morphism {v 0Fv τ}\{v_0\stackrel{F}{\Rightarrow}v_\tau\}

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 GG be a Lie group – and let’s concentrate here on G=G=\mathbb{R} to get closest to the Newtonian example regarded as a 1-object groupoid B\mathbf{B}\mathbb{R}.

Functors from B\mathbf{B}\mathbb{R} to itself and natural transformations between these arrange themselves into the smooth 2-groupoid BE()\mathbf{BE}(\mathbb{R}).

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)P^2(\mathbb{R}^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 AA on 2\mathbb{R}^2.

The way the equivalence works is precisely the Newtonian example:

Regarding the value of the functor FF on a path γ\gamma in 2\mathbb{R}^2 as a trajectory in \mathbb{R}, AA 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)\gamma:t\mapsto (t,0) in 2\mathbb{R}^2 and write A=A tdtA=A_t dt, then A t=vA_t=v is precisely the velocity of the trajectory.

And the value of the 2-functor FF on 2-morphisms then, i.e. its value in natural transformations of functors on B\mathbf{B}\mathbb{R}, is indeed given by the (“exterior”) acceleration dAdA.

This example, incidentally, when we pass from \mathbb{R} 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 GG, regarded as a one-object groupoid (hence a category), which I write as BG\mathbf{B}G;
  • all functors go from BG\mathbf{B}G to itself;
  • and the natural transformations in question are the natural transformations between these functors.

And we want to assume that GG 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 GG. So, in the spirit of making everything as clear as possible, let me assume a situation where these vanish. For instance assume G=E 8G=E_8 (i.e. the compact real form of E 8E_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)P^2(X) whose

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

Assume this 2-functor tratra assigns

  1. to each point the fiber of a GG-principal bundle PP over XX, which we can locally identify with GG and hence with the category BG\mathbf{B}G
    BG category fiber Px\array{ BG \\ category \\ fiber \\ P x }
  2. to each path γ:xy\gamma:x\to y a functor from the fiber over xx to the fiber over yy.
Theorem

Such smooth assignments of functors to paths are in bijection with connections \nabla on the GG-principal bundle: upon identifying the fibers with BG\mathbf{B}G the functor is given by an automorphism of GG hence, by assumption, by an element of GG, and this element is the parallel transport Pexp( γ)P\exp(\int_\gamma \nabla).

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 }
  1. to each surface Σ:γγ:xy\Sigma:\gamma\to\gamma':x\to y a natural transformation of functors tra(γ)tra(γ)tra(\gamma)\to tra(\gamma'). Since BG\mathbf{B}G has a single object, such natural transformations are given by elements of GG once we identify the fibers with BG\mathbf{B}G.
Theorem

This element of GG is the group element P exp( ΣF )P_\nabla\exp(\int_\Sigma F_\nabla)

where F F_\nabla is the curvature 2-form of \nabla and P exp()P_\nabla\exp(\int \cdots) denotes the surface ordered exponential integral of a 2-form with respect to \nabla (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 XX\to endomorphisms of GG) \simeq (1-forms)

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

if you think of XX as 1-dimensional, then the 1-form on XX with values in Lie(G)Lie(G) is nothing but the gadget which reads in a bit of “coordinate time” for a trajectory on GG 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=X=\mathbb{R} 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\dot{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)