### The Tangent Bundle

In a previous post I discussed the notion of a tangent vector, the idea of an infinitesimal “push” at a point in a given differentiable manifold. We measure or detect and, indeed, *define*, this push by testing how it acts on real-valued functions. Using local coordinates , these tangent vectors can be expressed as linear combinations of the operators

all of which form a basis for the tangent space . Because we often let the point be arbitrary — that is, we like to consider tangent vectors located at *any* tangent space on — it is useful to gather or bundle all of these spaces together into one giant, unified set. This new set is, perhaps not surprisingly, called *the tangent bundle* of the manifold .

**Def. (Tangent Bundle)** Let be an -dimensional real manifold. The disjoint union of all the tangent spaces, , forms the ** tangent bundle**. It is notated as

(The disjoint union symbol, , does, indeed, denote the same operation as the regular union symbol, , except that it keeps the elements in each unioned set distinct from the elements in any of the other unioned sets. If, for example, we drew as a surface and visualized each as an actual plane in , then many of these tangent planes would overlap. Forming a disjoint union allows us to keep track of overlapping points. Another helpful comparison to consider is the standard union vs. the disjoint union . The first union results in the set , but the second one results in two distinct copies of the reals.)

The tangent bundle can be a rather tricky or overwhelming object to think about. As a first step towards this end, its probably worth spelling out exactly what we mean when we say :

.

Note, then, that there is a relationship between the vector part of and the point part — the vector part, , is a tangent vector associated to the point, .

Physcists have an excellent way of describing or thinking about this gigantic collection of spaces; they describe it as the set of all possible positions and velocities a particle traveling through the manifold might have.

Interestingly enough, this tangent bundle can also be given the structure of a differentiable manifold. Actually, my previous post should have pointed out that each individual tangent space, , can always be equipped with an -dimensional differentiable structure, too. Let’s first consider this and then discuss how we can extend these observations to .

### A Differentiable Structure for Each

In order to think about each tangent space as a differentiable manifold, we need to supply it with coordinates. Since every element can be expressed as

it follows that the -tuple of reals, , completely encodes or captures . Since is arbitrary, we see that an -tuple of real numbers describes the entirety of . That is, we arrive at a single (injective) function with a single (open) domain, , with which we can provide with a differentiable structure:

There is only one transition function to check, , and so we are done. And if you take a step back to contemplate this construction, you’ll probably realize that it was all very trivial. At the end of the day, we’re really noting that *any* real vector space, , can be provided with a differentiable structure so that .

- Note: For reasons of notation, it can be a bit bizarre to contemplate tangent spaces of , but once this is sorted out, one realizes that they’re quite trivial, too. Indeed, one discovers that .
- Note: In a few weeks we will have reason to think about each space, , as its own manifold. For each , we will construct an important function called
*the exponential function*, and we will argue that it is locally one-to-one, locally onto, and differentiable. In order to make sense of this last adjective, we will need to equip the domain, , with a differentiable structure.

### A Differentiable Structure for

The tangent bundle consists of pairs, where and . Since we have -dimensional local coordinates for — the tuples — and, as discussed above, we have -dimensional local coordinates for — the coefficients — it makes sense that the tangent bundle is a -dimensional manifold.

To make this precise, given an arbitrary point , we need to specify a subset containing and an injective function with . This turns out to be simpler than it may first appear.

We simply take , where is open and, thanks to the differentiable structure of , comes equipped with an injective function . (Note that is an open set in .) We then define accordingly:

Given two such functions, and , we need to verify that the transition function is differentiable. This, too, is surprisingly simple since we can first note that

The first component is *assumed to be differentiable* since was *assumed to be a differentiable manifold*, and the second component can be expressed as an matrix of differentiable functions. As such, it is itself differentiable. Hence, the entire transition function is differentiable. (Read pages 15-16 for Do Carmo’s version of this.)

Here’s what is actually happening in plain language. We are supposing that the point lives in two subsets, and in . We’re notating points from as pairs of -tuples, $(x_1, \dots, x_n, a_1, \dots, a_n)$ with tangent vectors written using the ‘s as coefficients. We need similar notation for points from , and so we can agree to write them as $(y_1, \dots, y_n, b_1, \dots, b_n)$ where the ‘s tell us how to encode as an infinitesimal push in coordinates. That is

.

The ‘s are coefficients for expressed in the basis, while the ‘s are coefficients for expressed in the basis. So how do we convert from one basis to another? That’s right! Via a change of basis matrix. This change-of-basis matrix is precisely the differential of the mapping

for which we have notation (see pages 9-10)

where and are defined by . In Vector Calculus we learn that given a differentiable function , its *derivative matrix* at can be used to push vectors at forward to vectors at — this is precisely what the differential of does, too. It uses this derivative matrix to push forward tangent vectors.

In short, then, the tangent bundle of a manifold has a natural differentiable structure. Points in this bundle consist of pairs . We have smooth transition functions that tell us how to express in different coordinate patches, and, similarly, we have smooth transition functions that tell us how to express in different coordinate patches, too.

### Examples

(1) Euclidean space. If , then it necessarily follows that . Technically speaking, the tangent bundle is given by

but by making use of the one coordinate chart needed to define the standard differentiable structure on $\mathbb{R}^n$, this tangent bundle itself has a single coordinate chart, that serves as a diffeomorphism.

(2) The unit circle . In order to visualize , we place a copy of $latex \mathbb{R} \cong T_pS^1$ at every point , and we want to do so in a way so that distinct linear spaces and are disjoint. This can be accomplished by drawing each linear subspace as, say, a vertical line, yielding a cylinder. In the image to the left, a failed attempt at doing this is shown at the top, with a successful attempt illustrated in the bottom.

(3) The unit sphere . The four-dimensional manifold is, of course, impossible to visualize, but there is something *else* to note here. There is something about that is fundamentally more than our first two examples. For Eucldean spaces and the one-dimensional sphere we have ; in other words, the tangent bundle was really nothing more than a product manifold (and this is the definition of a *trivial bundle*). However, this does *not* hold for the unit sphere, that is is *not* trivial. A trivial tangent bundle means that at every point , *any* tangent vector is allowed. The Hairy Ball Theorem tells us that this is simply not the case for . To fully appreciate this we’ll need to think about vector fields, so stay tuned!

### Oh, Why the Hell Not? Let’s Discuss General Bundles

Tangent bundles are but one example of a more general phenomenon. Given a differentiable manifold , it is possible to associate to every point other vector spaces, ones that “vary smoothly” from point to point, just like our tangent spaces do. We use ‘s local coordinates to construct local coordinates for tangent vectors, too, and when we move through overlapping charts all of these coordinates change smoothly.

Similarly, we set up vector spaces and a notion of local coordinates so that something analogous to the tangent bundle situation happens; in fact, as in the case with our tangent bundle , we want the coordinates that parameterize “vector part” to not only transition smoothly but also to transition according to a linear function. Wikipedia has a good description of this.

In Riemannian Geometry, we’ll need access to other vector bundles over , too. Probably the one we’ll (technically or secretly) use as much as the tangent bundle is the *cotangent bundle*. Here’s a definition:

** Definition (Cotangent Bundle)**. Given a differentiable manifold , the cotangent bundle is defined by

In other (simpler?) words, an element in consists of a point in and a function that eats tangent vectors at said point. (Hopefully this sounds a bit familiar, perhaps awfully familiar to *differential forms*.) Just like the tangent bundle, is a -dimensional manifold.

We will make use of other vector bundles over , too, but we will be able to understand them without resorting to the general vector-bundle definition. Indeed, we will understand them all locally and so many of the definitions will be hidden.

However, its worth setting up my next post on tangent vectors with the following observation: functions (also called ** sections** of ) give us

**, while functions (also called sections) give us**

*vector fields***.**

*differential 1-forms*As we know from Spring’s Differential Geometry course, we will also want to define -forms, -forms and general -forms. What sort of vector space do we form at each to accomplish this?