For questions on vector bundles.

learn more… | top users | synonyms

10
votes
3answers
1k 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)$ (...
13
votes
2answers
1k 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, ...
10
votes
1answer
1k 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 ...
5
votes
1answer
828 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 ...
12
votes
1answer
637 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 ...
5
votes
3answers
2k 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 ...
4
votes
2answers
177 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
2answers
936 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 ...
3
votes
1answer
171 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 \...
2
votes
1answer
138 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$ ...
2
votes
1answer
94 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}$ ...
3
votes
1answer
147 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 ...
3
votes
2answers
174 views

“Basis extension theorem” for local smooth vector fields

Let $\pi: E \to M$ be a smooth vector bundle of rank $n$, and suppose $s_1, \ldots, s_m$ are independent smooth local sections over an open subset $U \subset M$. Can I prove the "basis extension ...
2
votes
1answer
102 views

Relationship between $\Gamma (E)\otimes \Gamma (B) $ and $\Gamma(E\otimes B) $

I have a question that I've been thinking about for a while. So If $(E,\pi_E)$ and $(B,\pi_B)$ are some vector bundles over some mainfold $M$. What is the exact relationship between $$\Gamma (E)\...
1
vote
2answers
67 views

How to find two inequivalent ,but weakly equivalent bundles?

I want to know if I can have an inequivalent but weakly equivalent bundles over the Torus, i.e. if we can find explicitly an example of a bundle map $(\overline{f},f)$ where we require that $\overline{...
0
votes
1answer
49 views

Obstruction to the splitness of an exact sequence of holomorphic vector bundles

This question was asked here, but I think there will not be an answer, so let me recopy the question on Mathoverflow. In the book of S. Kobayashi, hyperbolic complex spaces, there is the lemma (3.A.3)...
52
votes
2answers
2k 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 ...
9
votes
4answers
779 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 ...
6
votes
2answers
615 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)$ $c_2(V\...
9
votes
1answer
214 views

Tangent bundles of exotic manifolds

Consider a pair of homeomorphic but not diffeomorphic smooth manifolds $M_1$ and $M_2.$ Fix a homeomorphism $\phi\colon M_1\rightarrow M_2.$ If I understand correctly, two bundles $TM_1$ and $\phi^*...
6
votes
1answer
419 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 $V_1(\...
9
votes
1answer
309 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 A^1$...
8
votes
1answer
2k 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
547 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 ...
12
votes
0answers
114 views

Quasicoherent sheaves as smallest abelian category containing locally free sheaves

On page 362 of Ravi Vakil's notes, the author says "It turns out that the main obstruction to vector bundles to be an abelian category is the failure of cokernels of maps of locally free sheaves - ...
8
votes
1answer
912 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 ...
4
votes
2answers
837 views

Understanding the Definition of a Differential Form of Degree $k$

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 $k$ ...
9
votes
2answers
1k 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 ...
7
votes
1answer
577 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 \...
7
votes
1answer
436 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 ...
6
votes
1answer
825 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 ...
6
votes
2answers
753 views

When does a line bundle have a meromorphic section?

Let $X$ be a scheme and $D$ be a Cartier divisor on $X$. Then $D$ determines a line bundle $\mathcal{O}(D)$ on $X$. Under which condition, is the converse true? That is, when does a line bundle come ...
3
votes
2answers
524 views

Triviality/non-triviality of line/circle bundle over $S^3$

I am interested in whether I can find non-trivial bundles in the case of a fiber bundle with base space $S^3$ and fiber either $\mathbb{R}$ or $S^1$. I know that in the case of a principal bundle ...
3
votes
2answers
309 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 $X(...
14
votes
1answer
134 views

Exists homeomorphism which carries each fiber isomorphically to itself, composition?

Let $\mu$ and $\mu'$ be two different Euclidean metrics on the same vector bundle $\xi$. How do I see that there exists a homeomorphism $f: E(\xi) \to E(\xi)$ which carries each fiber isomorphically ...
7
votes
1answer
168 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. ...
6
votes
5answers
698 views

Why can we always take the zero section of a vector bundle?

$\require{AMScd}$ As I understand it, a rank $k$ vector bundle is a pair of topological spaces with a map between them $$ E\xrightarrow{p}B $$ such that there exists an open cover $(U_\alpha)$ of $B$ ...
6
votes
1answer
585 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 let ...
6
votes
0answers
271 views

de Rham Cohomology of Non-Flat Bundle

Let $E$ be a smooth vector bundle on a smooth manifold $M$. If $E$ is flat, there is a connection $\nabla$ which is a differential which we can use to define the de Rham cohomology of $E$. If $E$ ...
5
votes
1answer
158 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 $Y=\mathbb{P}^1$...
5
votes
1answer
141 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 ...
5
votes
1answer
930 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 ...
4
votes
1answer
258 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 ...
4
votes
2answers
259 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: $D_{\xi}(...
4
votes
1answer
133 views

Vector bundle as locally free coherent sheaves

I am studying coherent sheaves and was looking for a geometric motivation. Hence, in wikipedia and although here is stated that it can be seen as a generalization of vector bundles, which is quite ...
4
votes
1answer
144 views

Globally generated vector bundle

Could someone give me a definition of globally generated vector bundle? A rapid search gives me the definition of globally generated sheaves, but I am in the middle of a long work and don't really ...
4
votes
0answers
108 views

A(nother ignorant) question on phantom maps

My last question (Is such a map always null-homotopic?) is quite similar. If you do not care about my motivation for these questions, you can skip to the last line. I asked if some assumptions were ...
3
votes
2answers
138 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
1answer
90 views

Splitness of quotient sequence

Let $A, B, C$ be holomorphic vector bundles over some complex manifold $X$. Let $A', B', C'$ be sub bundles, respectively. Suppose that we have short exact sequences: $$0 \rightarrow A \rightarrow B \...
11
votes
1answer
288 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 ...