# Forces as One-Forms and Magnetism

Well, some time ago I've asked here if we should consider representing forces by one-forms. Indeed the idea as, we work with a manifold $M$ and we represent a force by some one-form $F \in \Omega^1(M)$. It sounded really natural, because if $v \in TM$ then $F(v)$ would be the work done on moving a particle located at $\pi(v)$ along the direction $v_p$ where $\pi : TM \to M$ is the projection $\pi(p,v_p) = p$.

That's pretty fine, however magnetic forces do no work. So in this framework every magnetic force would be zero automatically, since $F(v)=0$ for all $v \in TM$. This suggests that thinking of "force as the one-form that given a vector gives back the work done on changing the momentum of a particle on that direction" seems pretty limited.

Is this right? Magnetic forces really doesn't fit this representation of forces? How can we deal with this if we want yet to consider force as a one-form?

• I don't have enough knowledge to write a proper answer, but I suspect you might want to look into Clifford algebras. They allow you to generalise the cross product in a way that you will probably find satisfying, and they can be used to express electromagnetism, as seen in this document, for example (which I haven't read). – Nathaniel Apr 28 '13 at 2:04
• velocity-dependent forces cannot be represented as 1-forms on $M$, but rather as 1-forms on $TM$ (the differential of the Lagrangian) or, factoring out a force of inertia, as sections of the pullback of $T^*M$ over $TM\to M$ – Christoph Apr 28 '13 at 8:44

Great question!

I would say that "force is a one-form" is a statement that has some truth to it, but it's somewhat context-dependent.

In any context where you have a metric, you can freely convert back and forth between vectors and one-forms, and the distinction between them becomes uninteresting. Examples of such contexts include relativistic spacetime and Newtonian 3-space.

If you don't have a metric, you can't do that. One example of this is four-dimensional Galilean spacetime, which doesn't admit a (nondegenerate) metric. Another example is when you're using generalized coordinates, as in the figure below. The angles $\phi$ and $\theta$ are generalized coordinates specifying the state of the arm and barbell. There is no metric defined on the $(\phi,\theta)$ space. As a function of these coordinates, you can define a potential energy $U$ for the system, which depends on the masses of its three parts (upper arm, lower arm, and barbell). The gradient of $U$ is a 1-form, and it represents the gravitational force on the system. Another, similar example is that if we take the equation $W=Fd$ for mechanical work, clearly if $F$ is a scalar and $d$ is a vector, $F$ must be a 1-form.

So we have some contexts where there is no motivation for insisting that force is a 1-form, and other examples where there is very strong motivation. Note how your example of a magnetic force fails to fit into mold of the latter types of contexts. It's not derivable from the gradient of a potential (because it's velocity-dependent), and it doesn't do work on a free particle in the absence of other forces. On the other hand, it does fit nicely into the category of situations where the distinction between a vector and a 1-form is irrelevant. Electromagnetism is a purely relativistic theory with no useful, uniquely defined Galilean limit, so it doesn't make sense to talk about magnetic forces except in the context where there is a metric on 4-dimensional spacetime.

Perhaps some insight into this problem can be gleaned from relativity. In relativity, the EM field is represented by a two-form (i.e. with 6 components). When this two-form is fed a current to act upon, this yields a force--or rather, four-force, so you get power as well as force.

What does this mean? Well, you can feed the four-force any timelike unit vector and get the power as seen by observer that have that timelike unit vector as their four-velocity.

Of course, that's all well and good, but we're no closer to figuring out how to define the magnetic field one-form in vanilla 3d space.

Nathaniel talks about clifford (or geometric) algebra, and perhaps that can give an insight. In GA, we don't have this obsession with talking about one-forms and $k$-forms in general as mappings--I honestly feel like this idea as it comes from differential geometry is little short of a disease, for it always means you have to think about what vectors these mappings act on to make sense. GA lets you dodge that question entirely (as it will let you do here!) because such objects are defined simply in terms of their algebraic properties.

I like that viewpoint a lot better because to me, force is force. You can do lots of things with force, and it's just weird to single out work and displacements as being part of the definition of force itself.

(Edited to remove a section. Even if a particle follows an arbitrary trajectory, it won't matter as the magnetic force will still be perpendicular to velocity, so I was wrong on that point.)

I think the point is that the force of an EM Field acting on a particle is not just defined by the forms itself but more by the Lorzenz Force $F= q(E +i_v B)$ Where $E$ is a one form, $B$ a two form where we insert the tangential vector of the particles curve with the inner derivative. Here you can see that the magnetic part is not contributing to the work integral since we have to insert the tangential vector again, which gives Zero.