synthetic differential geometry
Introductions
from point-set topology to differentiable manifolds
geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry
Differentials
Tangency
The magic algebraic facts
Theorems
Axiomatics
Models
differential equations, variational calculus
Chern-Weil theory, ∞-Chern-Weil theory
Cartan geometry (super, higher)
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 may not have some or all of its “usual” properties. In particular, it may not even be a vector space. (If it is then 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 of the space is just because any curve with must also have . But there are curves with and but . These curves define a tangent vector that “sees” the inward direction from .
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.
Let be a smooth space. Let be a point. The kinematic tangent space at , written , is defined as the set of equivalence classes of smooth curves with the property that under the relation if for all smooth functions .
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 (or ) represented by the constant curve at . And for and we can define by taking a representative for , say , and letting be the equivalence class of . What fails is the existence of a globally defined addition. It may be defined for a given pair of vectors: for we say that the sum exists if, for representatives and of and respectively, there is a smooth curve with and
for all smooth . It follows from the definition that if 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.
Let be a smooth space. The tangent bundle of is defined to be the quotient of the smooth space by the relation if and for all smooth , .
If is functionally Hausdorff - that is, smooth functions separate points - then the equivalence class can be written more elegantly as: if for all and , .
It should be pointed out at this early stage that when considering the space of tangent vectors at a particular point, say , then there are potentially two smooth structures on this set coming from the above definitions. We have the space defined as the quotient of curves based at and the space defined as the fibre of the full tangent bundle. The inclusion of based curves in all curves descends to a smooth map 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:
With this in mind, we can define higher level kinematic tangent spaces.
Let be a smooth space. Let be a point. Let . The th kinematic tangent space at , written , is defined as the set of equivalence classes of smooth curves with the property that and for and smooth . The relation is if for all smooth functions .
The th kinematic tangent bundle is defined similarly.
There is an obvious map for given by precomposition with . This defines a diagram indexed by the poset with divisibility as the order. We can define the full kinematic tangent space at 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 .
In the following we shall concentrate on the first kinematic tangent space.
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.
Let be smooth spaces. There is a natural isomorphism .
The map in the given direction is obvious: the projection is smooth and so induces a map . Together with the other projection, we get a map:
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 , it is enough to consider functions that factor through one of the projections.
To see this, consider curves and and let be their product. Let be a smooth function. The composition factors as:
Thus the derivative of , at , factors through the derivative of at . As this map is smooth, its derivative agrees with the vector of partial derivatives. As every beginner in calculus knows, to compute the, say, -derivative we “hold fixed and vary ”. That is to say, we compute the derivative of:
Let and define as . Then the above function agrees with . For the other side, let and define as .
Hence
From this we see that the map 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 .
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.
Let be smooth spaces. There is a natural transformation .
The natural transformation is build up as follows. We start with the evaluation map, . Applying the tangent bundle functors, we obtain:
We can compose that with the natural isomorphism from Proposition 1 to obtain:
Composing this with the zero section on yields:
Whereupon the adjunction comes in to play to produce:
as required.
Last revised on April 15, 2013 at 02:49:46. See the history of this page for a list of all contributions to it.