Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
wrote parallel transport (which was previously redirecting to connection on a bundle).
Also rewrote Dyson formula.
Nice, but it would be even nicer if there was some slick nPOV statement right at the beginning like “Parallel transport is a functor…” or something.
Okay, I added a section on the functorial description.
This has now a bit of overlap with the discussion at connection on a bundle, but anyway.
added also a section on the meaning of parallel transport in physics
A related new entry geodesic.
A related new entry geodesic.
Thanks! I added a sentence briefly relating this back explicitly to parallel transport.
added pointer to:
Added:
\begin{definition} Two curves with the same endpoints are holonomically equivalent if for every principal G-bundle with connection, the holonomies along both curves coincide. \end{definition}
This definition has many variants, depending on which curves are allowed (e.g., smooth, continuously differentiable, continuous, rough paths).
For continuously differentiable paths we have the following characterization, see Theorem 2.11 in Bischoff–Lee for an exposition and further references.
\begin{theorem} Suppose x is a continuously differentiable path [0,1]→M in a smooth manifold M with x′(0)=0, x′(1)=0. The following conditions are equivalent.
The holonomy of x for every principal G-bundle with connection with a semi-simple structure group G vanishes.
There is a C1 endpoint-preserving homotopy of rank at most 1 (a thin homotopy) that contracts x to a point.
There is a C1 endpoint-preserving homotopy h that contracts x to a point such that imh⊂imx.
The map x factors through an R-tree T, i.e., a metrizable space T such that for every embeddings a,b:[s,t]→T such that a(s)=b(s), a(t)=b(t) we have ima=imb.
There is a Lipschitz function h:[0,1]→[0,∞) (a height function) such that h(0)=h(1) and if h(s)=h(t)=infh|[s,t],thenx(s)=x(t)$.
The Chen path signature of x is trivial.
The path x is word-reduced in the sense of Tlas Theorem 1. \end{theorem}
1 to 13 of 13