nLab kinematic tangent space

Redirected from "kinematic tangent bundle".
Contents

Context

Differential geometry

synthetic differential geometry

Introductions

from point-set topology to differentiable manifolds

geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry

Differentials

V-manifolds

smooth space

Tangency

The magic algebraic facts

Theorems

Axiomatics

cohesion

infinitesimal cohesion

tangent cohesion

differential cohesion

graded differential cohesion

singular cohesion

id id fermionic bosonic bosonic Rh rheonomic reduced infinitesimal infinitesimal & étale cohesive ʃ discrete discrete continuous * \array{ && id &\dashv& id \\ && \vee && \vee \\ &\stackrel{fermionic}{}& \rightrightarrows &\dashv& \rightsquigarrow & \stackrel{bosonic}{} \\ && \bot && \bot \\ &\stackrel{bosonic}{} & \rightsquigarrow &\dashv& \mathrm{R}\!\!\mathrm{h} & \stackrel{rheonomic}{} \\ && \vee && \vee \\ &\stackrel{reduced}{} & \Re &\dashv& \Im & \stackrel{infinitesimal}{} \\ && \bot && \bot \\ &\stackrel{infinitesimal}{}& \Im &\dashv& \& & \stackrel{\text{étale}}{} \\ && \vee && \vee \\ &\stackrel{cohesive}{}& \esh &\dashv& \flat & \stackrel{discrete}{} \\ && \bot && \bot \\ &\stackrel{discrete}{}& \flat &\dashv& \sharp & \stackrel{continuous}{} \\ && \vee && \vee \\ && \emptyset &\dashv& \ast }

Models

Lie theory, ∞-Lie theory

differential equations, variational calculus

Chern-Weil theory, ∞-Chern-Weil theory

Cartan geometry (super, higher)

Contents

Introduction

A kinematic tangent space of a generalized smooth space at some point is an equivalence class of smooth curves through that point, regraded as equivalent if their first derivatives coincide. This generalizes the notion of tangent space of a differentiable manifold. The alternative notion is that of operational tangent space which for differentiable manifolds coincides, but more generally need not.

Generalised smooth spaces are, as the name suggests, generalisations of smooth manifolds. They share many common properties and constructions with manifolds. One of the most basic constructions applied to manifolds is that of the tangent space. There are, indeed, several different constructions of tangent spaces, but as can be shown they are all equivalent for smooth manifolds (see Spivak 79, for example). This is no longer true for more general smooth spaces, indeed even for Fréchet manifolds the various notions are no longer equivalent.

One of the more intuitive definitions of the tangent space of a manifold is as the space of derivatives of smooth curves. Roughly speaking, in this view the tangent space of a manifold at a point is the home of all derivatives of smooth curves through that point. To differentiate this notion from the other definitions, it is sometimes called the kinematic tangent space.

Once we go beyond ordinary smooth manifolds, the kinematic tangent space of a smooth space XX may not have some or all of its “usual” properties. In particular, it may not even be a vector space. (If it is then XX is also called a microlinear space, at least in the context of synthetic differential geometry and possibly under some more conditions. ) However, it will always be a kind of partial vector space.

It is also possible to define “higher” kinematic tangent spaces. This is not done by iterating the construction, but rather by considering a slightly different construction: instead of derivatives of curves, we can take the second derivative of curves whose first derivative vanishes. For an ordinary manifold, this yields nothing extra as it is merely observing that the tangent space of the zero vector is again the tangent space. However, for more general spaces it can provide more tangent vectors. For example, the kinematic tangent space at 00 of the space [0,1)[0,1) is just {0}\{ 0\} because any curve α\alpha with α(0)=0\alpha (0) = 0 must also have α(0)=0\alpha '(0) = 0. But there are curves α\alpha with α(0)=0\alpha (0) = 0 and α(0)=0\alpha '(0) = 0 but α(0)0\alpha''(0) \ne 0. These curves define a tangent vector that “sees” the inward direction from 00.

Definition

Unless otherwise specified, we shall assume that we have fixed an arbitrary category of generalised smooth space. The general construction does not rely on a particular choice, though of course one should be consistent.

Definition

Let XX be a smooth space. Let xXx \in X be a point. The kinematic tangent space at xx, written T xXT_{x} X, is defined as the set of equivalence classes of smooth curves α:X\alpha \colon \mathbb{R} \to X with the property that α(0)=x\alpha (0) = x under the relation αβ\alpha \simeq \beta if (fα)(0)=(fβ)(0)(f \circ \alpha )'(0) = (f \circ \beta )'(0) for all smooth functions f:Xf \colon X \to \mathbb{R} .

As mentioned in the introduction, this need not be a vector space. However, it will always have some of the structure of a vector space. There is a special vector, which we write as 00 (or 0 x0_{x}) represented by the constant curve at xx. And for vT xXv \in T_{x} X and λ\lambda \in \mathbb{R} we can define λv\lambda v by taking a representative for vv, say α\alpha , and letting λv\lambda v be the equivalence class of tα(λt)t \mapsto \alpha (\lambda t). What fails is the existence of a globally defined addition. It may be defined for a given pair of vectors: for u,vT xXu, v \in T_{x} X we say that the sum u+vu + v exists if, for representatives α\alpha and β\beta of uu and vv respectively, there is a smooth curve γ\gamma with γ(0)=x\gamma (0) = x and

(fγ)(0)=(fα)(0)+(fβ)(0) (f \circ \gamma )'(0) = (f \circ \alpha )'(0) + (f \circ \beta )'(0)

for all smooth f:Xf \colon X \to \mathbb{R} . It follows from the definition that if u+vu + v exists, it is unique. Also, all the identities one would expect from addition hold providing all the terms are defined.

One nice property of the kinematic tangent spaces is that the construction of the analogous tangent bundle is straightforward. This is because all of our categories are cocomplete and cartesian closed.

Definition

Let XX be a smooth space. The tangent bundle of XX is defined to be the quotient of the smooth space C (,X)C^{\infty } (\mathbb{R},X) by the relation αβ\alpha \simeq \beta if α(0)=β(0)\alpha (0) = \beta (0) and for all smooth f:Xf \colon X \to \mathbb{R} , (fα)(0)=(fβ)(0)(f \circ \alpha )'(0) = (f \circ \beta )'(0).

If XX is functionally Hausdorff - that is, smooth functions separate points - then the equivalence class can be written more elegantly as: αβ\alpha \simeq \beta if for all f:Xf \colon X \to \mathbb{R} and i{0,1}i \in \{ 0,1\} , (fα) (i)(0)=(fβ) (i)(0)(f \circ \alpha )^{(i)}(0) = (f \circ \beta )^{(i)}(0).

It should be pointed out at this early stage that when considering the space of tangent vectors at a particular point, say xXx \in X, then there are potentially two smooth structures on this set coming from the above definitions. We have the space T xXT_{x} X defined as the quotient of curves based at xx and the space (TX) x(T X)_{x} defined as the fibre of the full tangent bundle. The inclusion of based curves in all curves descends to a smooth map T xX(TX) xT_{x} X \to (T X)_{x} which is a bijection on the underlying sets, but this need not be a diffeomorphism.

The definition of the kinematic tangent spaces and bundle are closely related to the alternative definition of the tangent space in terms of derivations (sometimes called the operational tangent space). One could say that the kinematic tangent space is the space of curves seen through the lens of derivations.

Now if the first derivative of a curve vanishes, then its second derivative acts as a derivation since:

((fg)α)(0) =(fα)(0)(gα)(0)+2(fα)(0)(gα)(0)+(fα)(0)(gα)(0) =(fα)(0)(gα)(0)+(fα)(0)(gα)(0). \begin{aligned} ((f g) \circ \alpha )''(0) &= (f \circ \alpha )''(0) (g \circ \alpha )(0) + 2 (f \circ \alpha )'(0) (g \circ \alpha )'(0) + (f \circ \alpha )(0) (g \circ \alpha )''(0) \\ &= (f \circ \alpha )''(0) (g \circ \alpha )(0) + (f \circ \alpha )(0) (g \circ \alpha )''(0). \end{aligned}

With this in mind, we can define higher level kinematic tangent spaces.

Definition

Let XX be a smooth space. Let xXx \in X be a point. Let kk \in \mathbb{N} . The kkth kinematic tangent space at xx, written T x,kXT_{x,k} X, is defined as the set of equivalence classes of smooth curves α:toX\alpha \colon \mathbb{R} to X with the property that α(0)=x\alpha (0) = x and (fα) (j)(0)=0(f \circ \alpha )^{(j)}(0) = 0 for 1jk11 \le j \le k - 1 and smooth f:Xf \colon X \to \mathbb{R} . The relation is αβ\alpha \simeq \beta if (fα) (k)(0)=(fβ) (k)(0)(f \circ \alpha )^{(k)}(0) = (f \circ \beta )^{(k)}(0) for all smooth functions f:Xf \colon X \to \mathbb{R} .

The kkth kinematic tangent bundle is defined similarly.

There is an obvious map T x,kXT x,mkXT_{x,k} X \to T_{x,m k} X for mm \in \mathbb{N} given by precomposition with t mt^{m}. This defines a diagram indexed by the poset \mathbb{N} with divisibility as the order. We can define the full kinematic tangent space at xx as the colimit of this diagram.

The structure of the higher kinematic tangent spaces is somewhat complicated. For example, in the second kinematic tangent space then (1)v=v(-1) \cdot v = v.

In the following we shall concentrate on the first kinematic tangent space.

Properties

In this section, we shall gather various results on kinematic tangent spaces that will be of use elsewhere.

Because the kinematic tangent space is defined using curves, it has nice properties with respect to limits and mapping spaces. However, as it also uses quotients, these properties are not necessarily as nice as they could be.

Proposition

Let X,YX,Y be smooth spaces. There is a natural isomorphism T(X×Y)TX×TYT(X \times Y) \to T X \times T Y.

The map in the given direction is obvious: the projection X×YXX \times Y \to X is smooth and so induces a map T(X×Y)TXT(X \times Y) \to T X. Together with the other projection, we get a map:

T(X×Y)TX×TY. T(X \times Y) \to T X \times T Y.

For the other direction, we need to consider curves. The result will hinge on the fact that when testing the equivalence relation for curves in X×YX \times Y, it is enough to consider functions X×YX \times Y \to \mathbb{R} that factor through one of the projections.

To see this, consider curves α:X\alpha \colon \mathbb{R} \to X and β:Y\beta \colon \mathbb{R} \to Y and let γ:X×Y\gamma \colon \mathbb{R} \to X \times Y be their product. Let f:X×Yf \colon X \times Y \to \mathbb{R} be a smooth function. The composition fγf \circ \gamma factors as:

Δ×α×βX×Yf. \mathbb{R} \xrightarrow{\Delta } \mathbb{R} \times \mathbb{R} \xrightarrow{\alpha \times \beta } X \times Y \xrightarrow{f} \mathbb{R}.

Thus the derivative of fγf \circ \gamma , at 00, factors through the derivative of (s,t)f(α(s),β(t))(s,t) \mapsto f(\alpha (s),\beta (t)) at (0,0)(0,0). As this map is smooth, its derivative agrees with the vector of partial derivatives. As every beginner in calculus knows, to compute the, say, ss-derivative we “hold tt fixed and vary ss”. That is to say, we compute the derivative of:

sf(α(s),β(0)). s \mapsto f(\alpha (s),\beta (0)).

Let y 0=β(0)y_{0} = \beta (0) and define g:Xg \colon X \to \mathbb{R} as g(x)=f(x,y 0)g(x) = f(x,y_{0}). Then the above function agrees with gαg \circ \alpha . For the other side, let x 0=α(0)x_{0} = \alpha (0) and define h:Yh \colon Y \to \mathbb{R} as h(y)=f(x 0,y)h(y) = f(x_{0},y).

Hence

(fγ)(0)=[(gα)(0) (hβ)(0)]DΔ 0. (f \circ \gamma )'(0) = \begin{bmatrix} (g \circ \alpha )'(0) & (h \circ \beta )'(0) \end{bmatrix} D \Delta _{0}.

From this we see that the map T(X×Y)TX×TYT (X \times Y) \to T X \times T Y is injective. It is clearly surjective, and thus it remains to show that it is a diffeomorphism.

This follows from the fact that they can both be written as quotients of the same space. For this, we use the natural isomorphism C (,X)×C (,Y)C (,X×YC^{\infty } (\mathbb{R}, X) \times C^{\infty } (\mathbb{R},Y) \cong C^{\infty } (\mathbb{R}, X \times Y.

For mapping spaces, we have an obvious map in one direction. A tangent vector at a map is an infinitesimal deformation of that map. Evaluation yields deformations at each point which fit together to give a family of deformations. A simple diagram chase shows that everything involved is smooth.

Proposition

Let S,XS, X be smooth spaces. There is a natural transformation TC (S,X)C (S,TX)TC^{\infty } (S, X) \to C^{\infty } (S,T X).

The natural transformation is build up as follows. We start with the evaluation map, S×C (S,X)XS \times C^{\infty } (S,X) \to X. Applying the tangent bundle functors, we obtain:

T(S×C (S,X))TX. T (S \times C^{\infty } (S,X)) \to T X.

We can compose that with the natural isomorphism from Proposition 1 to obtain:

TS×TC (S,X)TX. T S \times T C^{\infty } (S,X) \to T X.

Composing this with the zero section on TST S yields:

S×TC (S,X)TX. S \times T C^{\infty } (S,X) \to T X.

Whereupon the adjunction comes in to play to produce:

TC (S,X)C (S,TX) T C^{\infty } (S,X) \to C^{\infty } (S, T X)

as required.

References

  • Spi79 Michael Spivak, A comprehensive introduction to differential geometry Vol. I. Wilmington, Del., 1979.

Last revised on April 15, 2013 at 02:49:46. See the history of this page for a list of all contributions to it.