Vector Fields and Vector Bundles

In summary, the conversation discusses the concept of f-related fields and proves two statements related to this concept. The first statement states that X and Y are f-related if and only if X(g∘f)=Y(g)∘f for all g∈C∞(M). The second statement states that if X_i is f-related to Y_i, then [X_1,X_2] is f-related to [Y_1,Y_2]. The conversation also briefly talks about vector bundles and their classification using homotopy classes of maps from a manifold to a grassmannian. Some recommended resources for studying vector bundles are Milnor's Princeton notes, Atiyah's K-theory book, and Spivak
  • #1
I need help solving the following problem:

Let [itex]M,N[/itex] be differentiable manifolds, and [itex]f\in C^\infty(M,N)[/itex]. We say that the fields [itex]X\in \mathfrak{X}(M)[/itex] and [itex]Y \in \mathfrak{X}(N)[/itex] are f-related if and only if [itex]f_{*p}(X(p))=Y_{f(p)}[/itex] for all [itex]p\in M[/itex].

Prove that:

(a) [itex]X[/itex] and [itex]Y[/itex] are f-related if and only if [itex]X(g \circ f)=Y(g) \circ f[/itex], for all [itex]g\in C^\infty(M)[/itex].

(b) If [itex]X_i[/itex] is f-related with [itex]Y_i[/itex], [itex]i=1,2[/itex], then [itex][X_1,X_2][/itex] is f-related with [itex][Y_1,Y_2][/itex].

I know this is silly, but my main problem is that i don't know how the identity [itex]f_{*p}(X(p))=Y_{f(p)}[/itex] looks like. What i mean is the following:

If [itex]X=\sum_{i=1}^m X_i \frac{\partial }{\partial x_i}[/itex], and [itex]Y=\sum_{j=1}^m Y_j \frac{\partial }{\partial y_j}[/itex], then

[tex]f_{*p}(X(p))=f_{*p}(\sum_{i=1}^m X_i(p) \frac{\partial }{\partial x_i})=\sum_{i=1}^m f_{*p}(X_i(p) \frac{\partial }{\partial x_i})[/tex]


[tex]f_{*p}(X(p))=\sum_{i=1}^m f_{*p}(X_i(p))\frac{\partial }{\partial x_i}+X_i(p) f_{*p}(\frac{\partial }{\partial x_i})=\sum_{j=1}^m Y_j (f(p))\frac{\partial }{\partial y_j}.[/tex]

Is this correct?

Another question. Does anyone know some good online notes regarding vector bundles?
Last edited:
Physics news on
  • #2
these are just fancy versions of the chain standard intro to bundles was milnors princeton notes, later written up and published by stasheff.

and the early parts of atiyahs k theory book.

oh and spivaks dif geom vol 1.

these are not free anymore i guess. have you tried searching google under "notes on vector bundles"?
  • #3
a vector bundle is a continuous family of vector spaces. a basic example is the family of tangent spaces to the sphere, one plane for each point, thought oif as disjoint. thus a point of the tangent bundle is a pair, (p,v) where p is a point of the sphere and v is a vector tangent to the sphere at p. it makes sense to say a pair (p,v) is near the pair (q,w) if p is near q, and v is near w, i.e. if both head and foot of v are near respectively both head and foot of w.

given a vector bundle on a manifold like the sphere, then the basic question is whether it is possible to find a continuous family of vectors, one at each point of the sphere, i.e. a continuoius map from the sphere to the tangent bundle that takes p to some pair (p,v).

such a family is called a continuous vector field.

given a manifold, a basic question is what are all the vector bundles on that manifold. that is called k theory. for some reason.

the most fundamental, or tautological, vector field is the one on a grassmannian, like the projective plane. by definition the projective plane is the family of all lines through the origin of euclidean 3 spoace.

hence every "poibnt" is anturally associated to a line, anmely itwelf. so projective space comes equipped with a natural or tautological lien bundle, as follows:let E be euclidean 3 space, and let P be the projective plane, i.e. P = (E-0)/k* where k* = the non zero scalars acting on E-0 by scalar multiplication. i.e. E-0 is the punctured euclidean space, and P is the set of equivalence classes of points, where points on the same punctured line through the origin are equivalent.

then each point p of E-0 determines a line, namely the one it spans togetehr with 0. thus consider all pairs (p,L) in ExP, where p lies on the line L.

this is aline bundle over P, with the inverse image of each "point" L of P being the line of points on L.

similarly, one can define the grassmannian Gr(k,n) of k planes through the origin of n space. this space of equivalence classes of points on the same k plane, carries a natural tautological k plane bundle.

niow the basic theory of vector bundles and their classification is this: given any manifold M and map M--->Gr(k,n) there is anatrual k plane bundle on M pulled back from the tautological one on Gr.

And conversely, given any k plane bundle on M, there is a map M-->Gr, such that the pullback bundle is equivalent to the original one.

moreover homotopic maps from m to Gr pullback equivalent bundles.

hence the classification of bundles on M is the same as the analysis of homotopy clases of maps from M to Gr.

moreover, anyone bundle has a natural sequnec of obstruction classes in tis cohomology that emasure the possibility of finding independent r tuples of vector fields, called characteristic classes.

sinbce the theory of vector bundle clasification says all bundles are pullbacks of the tautological ones, it follows that for all bundles the natural cahracteristic classes can be regarded as pullbacks of the concrete classes on Gr.

thus the cohomology of grasmannians is basic to th stduy of vectorbundles.this much is about what everyone nows abut vectro bun\dles, and rougly what irecall from second year in gradschool. there are also comutational techniques like whitneys product formula, and the trick of comouting classes of a hyopersurface from an embedding, using the fact that the sum of the the normal bundle and tangent bundle equals the ambient trivial bundle of euclidean space.

this stuff is nicely described in [an exercise?] in bott- tu.
  • #4
Thx a lot for the reply mathwonk.

I have with me Spivaks book. Sadly, the notes of Milnor wherent abailable in my school library (I guess someone esle in my course took them).

I'll keep reading Spivaks and anything on the web i can find.
Last edited:
  • #5
try thesew free notes from allen hatcher:

what i have described seems to be the first parts of chap 1 and of chap 3 of hatcher.

hatchers book is apparently just his synthesis of the other books i have mentioned where the originators of the theory described their own work.

hence the other books are preferable as original sources, but his books are well regarded and free.
Last edited:
  • #6
spivak is milnors student, so his version will have benefited from milnors.
  • #7
Thx a lot :)
  • #8
my pleasure.

Related to Vector Fields and Vector Bundles

1. What is a vector field?

A vector field is a function that assigns a vector to each point in a given space. In other words, it is a way of visualizing the direction and magnitude of a vector at every point in a space.

2. What is the difference between a vector field and a scalar field?

A scalar field assigns a scalar value (such as temperature or pressure) to each point in a space, while a vector field assigns a vector (such as velocity or force) to each point in a space.

3. What is a vector bundle?

A vector bundle is a mathematical structure that generalizes the concept of a vector space. It is a collection of vector spaces that are "glued" together in a smooth and consistent way, and can be thought of as a continuous family of vector spaces over a base space.

4. How are vector fields and vector bundles related?

Vector fields can be thought of as sections of a vector bundle, meaning that they are functions that assign a vector to each point in the base space of the bundle. In other words, a vector field is a way of "choosing" a vector from each vector space in the bundle at every point in the base space.

5. What are some real-world applications of vector fields and vector bundles?

Vector fields and vector bundles have many applications in physics, engineering, and mathematics. They can be used to model and analyze fluid flow, electromagnetic fields, and forces acting on objects. They are also important in differential geometry, where they are used to study the curvature and topology of manifolds.

Similar threads

  • Differential Geometry
  • Differential Geometry
  • Differential Geometry
  • Differential Equations
  • Differential Geometry