functorial quantum field theory
Reshetikhin?Turaev model? / Chern-Simons theory
FQFT and cohomology
physics, mathematical physics, philosophy of physics
theory (physics), model (physics)
experiment, measurement, computable physics
Axiomatizations
Tools
Structural phenomena
Types of quantum field thories
The relativistic particle in physics is a model for the dynamics of a single particle that is propagating in a spacetime subject to forces such as gravity and (if it is charged) the electromagnetic field.
The generalization to supergeometry is the superparticle.
The relativistic particle is described by the sigma-model whose
target space is a spacetime $(X,g)$,
where the pseudo-Riemannian metric $g$ – or rather the Levi-Civita connection $\nabla$ that it induces on the tangent bundle $T X$ – encodes the background field of gravity acting on the particle;
worldvolume is the real line $\Sigma = \mathbb{R}$ or the circle $\Sigma = S^1$, the worldline;
background gauge field is connection $\nabla$ on a circle group-principal bundle over $X$, encoding a field of electromagnetism acting by Lorentz force on the particle;
configuration space is the quotient
of the space (naturally a diffeological space) of smooth functions $\Sigma \to X$ (“trajectories”);
the exponentiated action functional is for given parameters $m \in \mathbb{R}$ (the particle’s mass) and $q \in \mathbb{R}$ (the particle’s charge)
where the first terms is the integral of the volume form of the pullback of the background metric, and where the second term is the holonomy of the circle bundle with connection around $\gamma$. In the case that the underlying circle-principal bundle is trivial, so that the connection is given by a 1-form $A \in \Omega^1(X)$, the action functional is
where the first summand is the kinetic action and the second the gauge interaction term.
The above action functional is called the Nambu-Goto action in dimension 1. Alternatively (and mandatorily for vanishing mass parameter), the kinetic action is replaced by the corresponding Polyakov action.
We determine the covariant phase space of the theory: the space of solutions to the equations of motion and the presymplectic structure.
We assume for simplicity that the class of the background circle bundle is trivial, so that the connection is equivalently given by a 1-form $A \in \Omega^1(X)$. Write $F = d A$ for its curvature 2-form: the field strength of the electromagnetic field.
The variation of the gauge interaction term is
Let $\mathbb{R}^d \stackrel{\simeq}{\to} U \hookrightarrow X$ be a local coordinate patch with coordinates $\{x^\mu\}$ and assume that $\gamma$ takes values in $U$ (or at least that its variation is supported there, which we can assume without restriction of generality). Then the variation is given by is
The variation of the kinetic terms is slightly subtle due to the square root in
To deal with this, we first look at variations of trajectories in a small region where $g(\dot \gamma, \dot \gamma)$ is non-zero. For such we can always find a diffeomorphism $\Sigma \stackrel{\simeq }{\to} \Sigma$ such that this term is constantly $= 1$ in this region (recall that configurations are diffeomorphism classes of smooth curves, so we may apply such a diffeomorphism at will to compute the variation).
With the above choice of diffeomorphism gauge, the equations of motion are
where $\nabla$ is the covariant derivative with respect to the Levi-Civita connection of the metric $g$.
Computing as before in local coordinates and parameterization such that $g(\dot \gamma, \dot \gamma) = 1$, the variation of the kinetic terms is
(Here $\Gamma^\cdot{}_{\cdot \cdot}$ are the Christoffel symbols.)
This gives the equations of motion as claimed.
The norm of the tangent vector along a physical trajectory is preserved:
Therefore if the assumption $g(\dot \gamma, \dot \gamma) \neq 0$ is satisfied at one instant, is is so everywhere along the curve.
For vanishing background gauge field strength, $F = 0$, the equations of motion
express the parallel transport of the tangent vector along a physical trajectory. This identifies these trajectories with the geodesics of $X$.
relativistic particle, non-relativistic particle,
Discussion in terms of BV-formalism includes
Jean M. L. Fisch and Marc Henneaux, Antibracket—antifield formalism for constrained hamiltonian systems (doi)
Alberto Cattaneo, Michele Schiavina, On time (arXiv:1607.02412)