For questions on vector bundles.

learn more… | top users | synonyms

7
votes
3answers
943 views

Vector bundle transitions and Čech cohomology

I have read that transition maps $g_{\alpha\beta}:U_\alpha\cap U_\beta\to GL(n)$ of a vector bundle of rank $n$ are related to the Čech cohomology group $H^1\left(M,GL(n,\mathcal{C}^\infty_M)\right)$ ...
11
votes
2answers
657 views

Conditions such that taking global sections of line bundles commutes with tensor product?

Let us work with projective algebraic varieties over $k= \mathbb{C}$. If necessary we can also assume smoothness of the varieties. Of course it is not in general true that given two line bundles $L, ...
9
votes
1answer
619 views

Global sections of a tensor product of vector bundles on a smooth manifold

This question is similar to Conditions such that taking global sections of line bundles commutes with tensor product? and Tensor product of invertible sheaves except that I am concerned with ...
36
votes
2answers
1k views

Geometric intuition for the tensor product of vector spaces

First of all, I am very comfortable with the tensor product of vector spaces. I am also very familiar with the well-known generalizations, in particular the theory of monoidal categories. I have ...
11
votes
1answer
453 views

Second Stiefel-Whitney Class of a 3 Manifold

This is exercise 12.4 in Characteristic Classes by Milnor and Stasheff. The essential content of the exercise is to show that $w_2(TM)=0$, where $M$ is a closed, oriented 3-manifold, $TM$ its tangent ...
4
votes
1answer
144 views

Tangent bundle : is a manifold

I have studied what a differentiable manifold is, and what a tangent space at a given point is, and read the proof that its dimension is equal to the dimension of the manifold. Here a tangent vector ...
3
votes
3answers
1k views

Understanding the trivialisation of a normal bundle

I've been looking for a definition of "trivialisation of normal bundle". I think I understand what a vector bundle, fibre bundle and a local trivialisation of either is. I also know what a tangent ...
2
votes
1answer
87 views

Questions about the Moduli Space of Vector Bundles of rank 2 with trivial determinant

Let $M_0$ be the moduli space of rank 2 semi-stable vector bundles over X with trivial determinant which is a singular projective variety of dimension $3g-3$. $M_0$ is constructed as the $GIT$ ...
3
votes
1answer
127 views

Learning Fibre Bundle from “Topology and Geometry” by Bredon

Bredon defines bundle projection in the following way: $\bf13.1.$ Definition. Let $X,B$ and $F$ be Hausdorff spaces and $p:X\to B$ a map. Then $p$ is called a bundle projection with fiber $F$, if ...
2
votes
1answer
75 views

“Visual” interpretation of the Bott Periodicity for complex vector bundles

I've just read the Bott Periodicity proof (complex case) in Hatcher book about K-theory. At first it seems that using this theorem I could conclude that every complex vector bundles over $S^{2n+1}$ ...
7
votes
4answers
454 views

Line bundles of the circle

Up to isomorphism, I think there exist only two line bundles of the circle: the trivial bundle (diffeomorphic to a cylinder) and a bundle that looks like to a Möbius band. Although it seems obvious ...
9
votes
1answer
571 views

Tangent bundle of a quotient by a proper action

Given a compact group $G$ acting freely on a manifold $X$, is there a "nice" way to describe the tangent bundle of the quotient $X/G$ (when it is a manifold)? In the case the group $G$ is finite, or ...
8
votes
2answers
352 views

When characteristic classes determine a bundle?

Let $k$ be a natural number and $F$ be $\mathbb C$ or $\mathbb R$. What conditions should be imposed on a topological space that it was true that a $k$-dimensional vector bundle defined over $F$ on ...
6
votes
1answer
331 views

To prove a vector bundle $\xi$ is orientable $\iff w_1(\xi)=0$

I went about it this way: $\xi$ an $n$-rank vector bundle over a topological space $M$ is orientable. $\iff$ its top exterior power $\bigwedge^n\xi$ is trivial $\iff$ the 1-frame bundle ...
6
votes
1answer
1k views

Tensor Product of Vector Bundles

In Hatcher's book on Vector Bundles he states (page 14) that It is routine to verify that the tensor product operation for vector bundles over a fixed base space is commutative, associative, ...
7
votes
1answer
539 views

Understanding the canonical line bundle $H$, and the fact that $(H \otimes H)\oplus 1 \simeq H \oplus H$

I am trying to understand Example 1.13 of Hatcher's book on vector bundles and K-Theory (page 24). The cannonical line bundle $H \to \mathbb{C}P^1$ satisfies the relation $(H \otimes H)\oplus 1 ...
3
votes
2answers
239 views

Hairy ball theorem : a counter example ?

Recall the hairy ball theorem : any continuous vector field on a sphere $S^n$ of even dimension must vanish at least once. Now consider the Riemann sphere $\mathbb{C} \cup \infty \simeq S^2$. Let ...
3
votes
2answers
574 views

Understanding differential form

Let $M$ be a smooth manifold. A differential form of degree $k$ is a smooth section of the $k$th exterior power of the cotangent bundle of $M$. Does it mean that a differential form of degree ...
-3
votes
1answer
375 views

Another vector bundles over of a Riemannian manifold

How is that any other vector bundle over a Riemannian manifold can be turn into a Riemannian manifold as well? I think that the question is of interest due to the presence in math.SE of several ...
7
votes
2answers
615 views

Any example of manifold without global trivialization of tangent bundle

It is said for most manifolds, there does not exist a global trivialization of the tangent bundle. I am not quite clear about it. The tangent bundle is defined as $$TM=\bigsqcup_{p\in M}T_PM$$ So is ...
6
votes
1answer
137 views

Comparing notions of degree of vector bundle

In this question, $X$ will be a smooth complex projective variety. This question will be about comparing two different ways of calculating the degree of a vector bundle on such an $X$. I understand ...
6
votes
1answer
255 views

Möbius strip and $\mathscr O(-1)$. Or $\mathscr O(1)$?

On the real $\textbf P^1$ we have these algebraic line bundles: $\mathscr O(1)$ and $\mathscr O(-1)$. Which one corresponds to the Möbius strip? (Both are $1$-twists of $\textbf P^1\times\textbf ...
6
votes
1answer
469 views

Tautological vector bundle over $G_1(\mathbb{R^2})$ isomorphic to the Möbius bundle

Let $V$ be a finite dimensional vector space, and let $G_k(V)$ be the Grassmannian of $k$-dimensional subspaces of $V$. Let $T$ be the disjoint union of all these $k$-dimensional subspaces and ...
5
votes
1answer
87 views

Direct image of vector bundle

Let $f:X\to Y$ be a morphism of projective varieties and $\mathcal{E}$ be a vector bundle on $X$. How can I compute explicitly $f_*\mathcal{E}$ in various situations? For example, let ...
5
votes
1answer
91 views

Isomorphisms (and non-isomorphisms) of holomorphic degree $1$ line bundles on $\mathbb{CP}^1$ and elliptic curves

I have two highly-coupled questions concerning holomorphic line bundles, and so I will go ahead and ask them together. The first concerns line bundles on $\mathbb{CP}^1$ and the other concerns line ...
4
votes
1answer
594 views

How to calculate characteristic classes of tensor products?

I was given the following as an execrise: Prove that the tensor product of complex line bundles over $X$ satisfies the following relationship: $$c_{1}(\otimes E_{i})=\sum c_{1}(E_{i})$$ It is ...
3
votes
2answers
124 views

Line bundle over $S^2$

I'm trying to study line bundle over $S^2$. In this post was outlined the method based on clutching functions. But now I'm interesting in another approach. For the sphere there is two maps : upper ...
3
votes
2answers
193 views

Tangent space and tangent vectors

As I have heard, tangent vector to a smooth manifold $M$ in $p \in M$ is the operator $D_{\xi}$:$f \to D_{\xi}f$, where $f$ is a smooth function $f: M \to R$, with the following properties: ...
3
votes
2answers
738 views

Real line bundle smoothly isomorphic to Möbius bundle

I am reading Lee's Introduction to Smooth Manifolds and got stuck on the problem 5.6. The question is written here, question 1. (There is a typo in the question. The last sentence should be "Show that ...
2
votes
1answer
340 views

How a principal bundle and the associated vector bundle determine each other

It seems to me that given a vector bundle, the associated principal bundle is univocally determined. In fact one has to construct a principal bundle given the base, the fibre (the group $G$ in which ...
9
votes
0answers
212 views

Reality check: $\mathcal{O}_{\mathbb{P}_\mathbb{R}^1}(1)$ and $\mathcal{O}_{\mathbb{P}_\mathbb{R}^1}(-1)$ are both Möbius strips?

This question follows up this previous question, which has an accepted answer that I am having trouble believing. (Edit: the answer has now been fixed; thanks Georges!) I have been working on giving ...
6
votes
1answer
126 views

Is T($S^2 \times S^1$) trivial?

How would I find out if T($S^2 \times S^1$) is trivial or not? Using the hairy ball theorem I can show that T($S^2$) is not trivial, and it is straight forward to show that T($S^1$) is trivial. ...
5
votes
1answer
450 views

Determinant of a tensor product of two vector bundles

Let $X$ be a smooth variety over a field, $V_1$ and $V_2$ are two vector bundles over $X$ of ranks $r_1$ and $r_2$ respectively. Determinant of a vector bundle is the top exterior power of the vector ...
5
votes
1answer
293 views

Reduction of a structure group.

Let $X$ be a smooth manifold and $\pi:E\rightarrow X$ a vector bundle of rank $k$ on X. If one manages to redefine $E$ by using a cocycle $\{g_{\alpha,\beta}\}$ whose values are all contained in a ...
4
votes
2answers
123 views

Quick question: Chern classes of Sym, Wedge, Hom, and Tensor

Given $L$ is a line bundle and $V$ is bundle of rank $r$ on a surface (compact complex manifold of dim 2). Recall the formula for $c_1$ and $c_2$: $c_1(V\otimes L)=c_1(V)+rc_1(L)$ ...
3
votes
1answer
125 views

When does the difference between a vector bundle and the associated frame bundle matter?

In the comments to this question How a principal bundle and the associated vector bundle determine each other, it was remarked that while there is a bijective correspondence between rank $n$ vector ...
1
vote
1answer
55 views

Some troubles about topology and definition of a Vector Bundle

Disclaimer: It's heavily related to my old question : Visualizing the Topology of a Vector Bundle but I wanted to open a new question because the former had already got an answer and this time my ...
9
votes
1answer
177 views

Are vector bundles on $\mathbb{P}_{\mathbb{C}}^n$ of any rank completely classified? (main interest $n=3$)

It is very well known that the group of line bundles on $\mathbb{P}_{\mathbb{C}}^n$ is exactly $\mathbb{Z}$. Are bundles of higher rank classified as well? If so, could anyone provide a nice ...
6
votes
1answer
173 views

Visualizing topology of a Vector Bundle

I've started reading Milnor, Stasheff - Characteristic Classes and at page $18$ they proved that $\mathbb{R}^n$-bundle $\xi$ is trivial if and only if $\xi$ admits $n$ cross sections $s_1, \dots , ...
4
votes
2answers
132 views

The complex tangent bundle of $\mathbb{C}P^1$ is not isomorphic to its conjugate bundle.

In " Characteristic Classes" by Milnor and Stasheff on pages 167-168, the authors give a brief argument about why: The complex tangent bundle of $\mathbb{C}P^1$ is not isomorphic to its conjugate ...
4
votes
3answers
232 views

What is a tangent bundle? (Aubin)

Here's what I read in A Course in Differential Geometry by Thierry Aubin. 2.5. Definition. The tangent bundle $T(M)$ is $\bigcup_{P\in M} T_P(M).$ And then 2.6. Definition. Let $\Phi$ be a ...
3
votes
1answer
137 views

The Affine Property of Connections on Vector Bundles

Given any two connections $\nabla_1, \nabla_2: \Omega^0 (V) \to \Omega^1 (V)$ on a vector bundle $V \to M$, their difference $\nabla_1 - \nabla_2$ is a $C^\infty (M)$-linear map $\Omega^0 (V) \to ...
1
vote
1answer
60 views

Dimension of moduli space of some stable vector bundles on a cubic 3-fold.

I'm trying to understand the claim that the moduli space of stable rank 2 vector bundles on a (general?) cubic 3-fold, say $X$, with $deg c_2=6$ and $det=O_X(2)$ is of dimension 9. I belive what I ...
1
vote
1answer
70 views

Riemann Roch Meromorphic section on a line bundle.

Let $g:\mathbb{C}\times \mathbb{C^*}\rightarrow \mathbb{C}\times\mathbb{C^*}$ defined by $g(z,w)=(w^n z,\alpha w)$ where $0<|\alpha|<1$. Let $G$ be the cyclic group spanned by $g$ and $A$ the ...
1
vote
1answer
35 views

Complex bundles on $S^{2n+1}$

We know that the complex $K$ theory of spheres are 2 periodic. On the other hand every complex bundle on $S^{1}$ is trivial. So $K(S^{2n+1})=0$. So this is a motivation to ask: Is there a ...
1
vote
1answer
99 views

Topology of $GL_n(K)$

I need to show any of the following results: Consider $K=\mathbb{R}$ or $\mathbb{C}$, then, 1) The compact-open topology and the usual topology of $GL_n(K)$ are the same. 2) Taking inverses and ...
1
vote
0answers
381 views

Characterization of Chern classes and Whitney product formula

Let E be a Complex vector bundle of rank r on M. Given $s_1, \cdots , s_r$ generic global sections, i can characterize the i-th Chern class as follows: $ C_i(E)= \eta_{V_i}$, and $V_i$ is the locus ...
0
votes
1answer
71 views

$\Bbb{R}P^1$ bundle isomorphic to the Moebius bundle

I'm trying to construct an explicit isomorphism from $E = \{([x], v) : [x] ∈ \Bbb{R}P^1, v ∈ [x]\}$ to $T = [0, 1] × R/ ∼$ where $(0, t) ∼ (1, −t)$. I verified that $\Bbb{R}P^1$ is homeomorphic to ...