For questions on vector bundles.

learn more… | top users | synonyms

40
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 ...
14
votes
7answers
621 views

An example of a triple $(E,\pi,M)$ which is not a vector bundle

What is an example of a pair of finite dimensional $C^{\infty}$ manifolds $E$ and $M$, and a smooth function $\pi:E\rightarrow M$ such that $\pi^{-1}(p)$ has a vector space structure for each $p\in M\ ...
12
votes
5answers
913 views

Reference request: Chern classes in algebraic geometry

I have encountered Chern classes numerous times, but so far i have been able to work my way around them. However, the time has come to actually learn what they mean. I am looking for a reference that ...
12
votes
2answers
750 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, ...
12
votes
1answer
492 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 ...
11
votes
1answer
181 views

Is paralellizability a topological invariant (Invariant under homemorphism)

This MO post is a motivation to ask: Is paralellizability a topological invariant (Invariant under homeomorphism)?
11
votes
1answer
397 views

What is the line bundle $\mathcal{O}_{X}(k)$ intuitively?

I am always confused about how to understand the line bundle $\mathcal{O}_{X}(k)$ on a projective scheme $X=\mathrm{Proj}(\oplus_{n=0}^\infty A_{n})$. Of course this is by definition the ...
11
votes
1answer
605 views

Vector Bundle Over Contractible Manifold

The problem comes from Liviu Nicolaescu's book Lectures on the Geometry of Manifolds. He asks the reader to prove that any vector bundle $E$ over $\mathbb{R}^n$ is trivializable. The idea he gives is ...
10
votes
2answers
252 views

Almost A Vector Bundle

I'm trying to get some intuition for vector bundles. Does anyone have good examples of constructions which are not vector bundles for some nontrivial reason. Ideally I want to test myself by seeing ...
10
votes
2answers
226 views

Ways to think about vector bundle

I'm studying manifold theory and I've got to the point of discussing the definition of a vector bundle. The definition is quite long and a bit confusing and I was wondering if someone with a bit more ...
10
votes
1answer
156 views

Is there a characterization of injective $C(X)$-modules analogous to Serre-Swan?

The Serre-Swan theorem in topology says that if $X$ is compact Hausdorff and $C(X)$ the ring of continuous functions on $X$, then the category of finitely generated projective $C(X)$-modules is ...
9
votes
3answers
408 views

“Drawable” Examples of Vector Bundles

I'm looking for examples of vector bundles that can be easily drawn or "illustrated" on a whiteboard for a talk I am giving. I know of a couple simple examples that I could use: When our base ...
9
votes
2answers
198 views

Are there any simply connected parallelizable 4-manifolds?

On pp. 166 of Scorpan's "The Wild World of 4--manifolds", he gives an example of a parallelizable 4-manifold ($S^1\times S^3$) and then asserts: "there are no simply connected examples". It's ...
9
votes
2answers
141 views

Explicit formula for the curvaure of a connection

Let $E$ be a vector bundle over $M$ and denote by $\mathcal{A}^k(E)$ the space of sections of $\Lambda^k (TM)^* \otimes E$, i.e. the space $k$-forms with values in $E$. A connection ...
9
votes
1answer
749 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 ...
9
votes
2answers
78 views

Properties of the category of smooth vector bundles over a smooth manifold

I am wondering if there are any sources that discuss the properties of the category of vector bundles over a smooth manifold. It seems that most differential geometry texts I've looked at avoid ...
9
votes
1answer
187 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 ...
9
votes
1answer
102 views

Is a space with no nontrival vector bundles contractible?

Let $X$ be a "nice" space, say having the homotopy type of a CW complex. Suppose also that $X$ is connected. Suppose that all real vector bundles on $X$ are trivial. Does it follow that $X$ is ...
9
votes
1answer
657 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 ...
9
votes
0answers
225 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 ...
8
votes
2answers
702 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 ...
8
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)$ ...
8
votes
2answers
442 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 ...
8
votes
1answer
187 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 ...
8
votes
3answers
348 views

Dual of a holomorphic vector bundle

Let $(E,\pi,M)$ be a holomorphic bundle, i.e. $(M,J)$ is a complex manifold and $\pi \colon E \to M$ is a complex bundle such that there exists a trivialization with holomorphic transition functions. ...
8
votes
1answer
168 views

Can the diagonal of a manifold be expressed as the zero set of a section of a vector bundle?

Let $\mathbb{C} \mathbb{P}^2$ be the two dimensional complex projective space and $$M:= \mathbb{C} \mathbb{P}^2 \times \mathbb{C} \mathbb{P}^2.$$ Let $ \gamma \rightarrow \mathbb{C} \mathbb{P}^2 $ be ...
8
votes
1answer
312 views

When is the pushforward / direct image of a reflexive sheaf locally free?

I have seen a number of theorems that guarantee the direct image of a reflexive sheaf to be reflexive again, or for the direct image of a locally-free sheaf to be locally free again. This makes me ...
8
votes
0answers
88 views

What's Griffiths' ampleness in modern language?

When reading Griffiths' paper "Hermitian differential geometry, Chern classes and positive vector bundles", I found his definition of ampleness: Let $X$ be a compact complex manifold, $E\to X$ a ...
7
votes
4answers
502 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 ...
7
votes
2answers
232 views

Adjunction for varieties with higher codimension

For $X \subseteq \mathbb{P}^n$ a smooth hypersurface, the canonical divisor $K_X$ can be computed as $$ K_X = (K_{\mathbb{P}^n} + X)|_X. $$ Is there a similar formula where $X$ is of higher ...
7
votes
1answer
139 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. ...
7
votes
2answers
238 views

Trivilisations of Vector Bundles

Let $\pi : E \to X$ be a smooth rank $k$ vector bundle on a manifold $X$ (I don't think my question depends upon the stipulations on the bundle, but I've just chosen smooth in case I'm incorrect). By ...
7
votes
1answer
149 views

Is the space of smooth sections of a vector bundle finitely generated as a $C^\infty$-module?

Given a smooth finite-dimensional vector bundle $E\to M$ on a smooth manifold $M$, is the space of smooth global sections $\Gamma(E,M)$ always a finitely generated $C^\infty(M)$ module? This amounts ...
7
votes
2answers
127 views

Eigenbundle decomposition

Let $G$ be a finite cyclic group and $X$ a smooth manifold equipped with a trivial $G$-action. It is known that we can decompose every $G$-equivariant vector bundle with respect to the action: ...
7
votes
1answer
213 views

Picard group of genus one curve

Is there a known example (or at least moral reason why such a thing should exist) of a genus $1$ curve $C/k$ over a field (assume perfect if you want) with no rational points such that ...
7
votes
1answer
270 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 ...
7
votes
2answers
151 views

Regular sequence of sections of line bundles over a coherent sheaf

I am reading the first chapter from the book by Huybrechts and Lehn, where I encountered the following definition. I have the following doubts regarding this definition : What is the map ...
7
votes
2answers
215 views

Every vector bundle over $[0,1]^n$ is trivial

I would like to show the followoing result: Every vector bundle over $[0,1]^n$ is trivial First, I consider the case $n=1$, so let $E$ be a vector bundle over $[0,1]$. If $\nabla$ is a connexion ...
7
votes
1answer
554 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
108 views

Non-vanishing differential forms

Let $M$ be a differentiable manifold of dimension $n$. If the tangent bundle is trivial, then the cotangent bundle is trivial, and so are its exterior powers. In other words, on a parallelizable ...
7
votes
1answer
162 views

What can we say about a vector bundle with trivial unit sphere bundle?

If you want to avoid the back story to this question, feel free to skip the paragraphs between the horizontal lines. Yesterday Georges Elencwajg asked me the following question (I'm paraphrasing): ...
7
votes
1answer
124 views

Determinant bundle of a tensor product

Let $X$ be a ringed space (for example, a scheme or a manifold). If $V$ is a locally free $\mathcal{O}_X$-module of rank $n$, then $\mathrm{det}(V) := \Lambda^n V$ is a locally free ...
7
votes
1answer
162 views

exact sequence induced by restriction to closed subscheme

I'm somewhat embarrassed to be confused about this issue after a while studying algebraic geometry, but here goes. Let $\iota: Y \hookrightarrow X$ be the inclusion of a closed subscheme, $U$ is the ...
7
votes
1answer
211 views

Alternate definition of vector bundle?

Recall the usual definition of a $k$-dimensional vector bundle (everything is assumed to be continuous/smooth/etc depending on the category): A $k$-dimensional vector bundle is a triple ...
7
votes
1answer
106 views

Line bundles over $\mathbb R P^2$

As in this post, I'm continuing studying line bundles. Now it's line bundle over $\mathbb R P^2$. I know that this bundle is not trivial. So I want list up to equivalence all bundles over $\mathbb R ...
7
votes
1answer
238 views

What's the intuition behind the tangent bundle?

Well, when we work with a smooth manifold $M$ we can associate with each point $p\in M$ a vector space $T_p M$ of all vectors at $p$ tangent to $M$: this is the space of linear functionals obeying ...
7
votes
0answers
56 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 - ...
6
votes
3answers
263 views

Is there a way to establish a correspondence between the vector bundles over a torus and some kind of homotopy groups, just as we do to spheres

By introducing the "clutching function" one can relate the complex (real) vector bundles on a sphere with homotopy groups of $GL_n(\Bbb C)$ ($GL_n^+(\Bbb R)$ for oriented ones). Can we do a similar ...
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, ...
6
votes
1answer
193 views

Tensor product of real line bundles is trivial as a map $\mathbb{R}P^\infty\to\mathbb{R}P^\infty\times\mathbb{R}P^\infty\to\mathbb{R}P^\infty$

The tensor product of a real line bundle with itself is trivial, as is easily seen by looking at the transition functions or checking the Stiefel-Whitney class. Real line bundles are classified by the ...