For questions on vector bundles.

learn more… | top users | synonyms

2
votes
0answers
16 views

The long exact sequence in reduced K-theory. How to glue together the short ones?

I'm trying to filling the details about the construction of the long exact sequence in K-theory. I'm using the notation of Hatcher's book (pages 52-53). here is a related question, even thought it's ...
2
votes
1answer
24 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}$ ...
0
votes
1answer
13 views

Linear clutching function properties

I'm trying to prove proposition $4.8$ of Husemöller (pay 148) Here it is the text: Where the only hints are: $[L^{n+1}(\xi),L^{n+1}(zp)] \approx [L^{n}(\xi),L^{n}(p)] \oplus [\xi,z]$ ...
0
votes
3answers
43 views

The difference between a fiber and a section of a vector bundle

If $ E_x := \pi^{-1}(x) $ is the fiber over $x$ where $(E,\pi,M)$ is the vector bundle. And the section is $s: M \to E $ with $\pi \circ s = id_M $. This implies that $\pi^{-1} = s $ on $M$. So then ...
2
votes
0answers
22 views

How to put a structure of Fréchet space on $\Gamma(E)$?

Let $\pi: E \to M$ a smooth vector bundle over M. If $(M,g^{M})$ and $(E,g^{E})$ are complete manifolds. Consider $\nabla$ a conection on $E$. We can define these semi-norms ...
2
votes
0answers
13 views

Euler class of quotient bundle of real projective space

Let $\gamma$ be the real tautological line bundle over the real projective space $\mathbb{R}P^n$, $V$ be the trivial bundle of rank $n+1$, and $Q$ be the quotient bundle $V/\gamma$. What is the Euler ...
4
votes
1answer
52 views

Why doesn't a metric give an isomorphism $TX \cong T^*X$?

Any smooth manifold $X$ admits a Riemannian metric $g$, and we have a map $$ TX \to T^*X, \qquad (x, v) \mapsto (x, g(v,-)) $$ which is smooth if $g$ is. Why isn't this an isomorphism of vector ...
2
votes
1answer
34 views

Working out the details of example 1.13 Hatcher: $\ E_{fg}\oplus n \approx E_f \oplus E_g$

I'm studying an example provided by Hatcher in his K-theory and Vector Bundle book. I'm referring to example 1.13 pag. 24 The first part is clear, $z^2$ is the Kronecker Product of the two ...
3
votes
1answer
57 views

Are vector bundles just modules over $C^{\infty}(M)$, or are “locality” conditions required?

In this question the asker defines 1-forms on a (real, smooth) manifold $M$ to be $C^{\infty}(M)$-module homomorphism[s] from $Vec(M)$ to $C^{\infty}(M).\:\:\:\:(*)$ I'm wondering if this is ...
0
votes
0answers
27 views

Just a definition of an algebraic bundle, bundles on $\mathbb{P}_n$

I have just realized the notion of an algebraic vector bundle. I have some questions. In particular, I'd like to understand wheather I understand it correctly. Let $$\pi:E\longrightarrow X$$ be a ...
4
votes
0answers
52 views

Any no-zero homomorphism of holomorphic vector bundles over a compact Riemann surface factors through a maximal rank homomorphism.

I was reading the paper "Stable and Unitary vector bundles on a compact surface" by Narashiman and Seshadri. I quote from the paper- Can someone please explain how does any non-zero homomorphism ...
4
votes
0answers
44 views

Holonomy group as a quotient group of $\text{GL}(k,\mathbb{R})$

Currently, I'm reading the script of a Global Analysis lecture at my university. There, we look at a real vector-bundle $(E,\pi,M)$ of rank $k$ with a given connection $\nabla$ and define the ...
1
vote
2answers
55 views

An extension of line bundles splits locally

Consider an extension $0\rightarrow L \overset{\alpha}{\rightarrow} E \overset{\beta}{\rightarrow} L' \rightarrow 0$ of bundles and bundle homomorphisms, where $L$ and $L'$ are line bundles. (Let's ...
1
vote
1answer
46 views

Is this a tangent bundle and what is the meaning of this exercise

I intend to solve the following exercise but I would like to have some help with understanding the ''big picture'': Exercise. Describe a natural 1 to 1 correspondence between elements of $SO(3)$ ...
2
votes
1answer
50 views

Characteristic classes not defined on vector bundles

If you read the definition on Wikipedia, you'll see that they allow characteristic classes to be defined on general principal $G$-bundles (vector bundles being subsumed in this general case by looking ...
4
votes
1answer
36 views

Characteristic classes for quaternionic bundles

In a nutshell, the derivation of the Stiefel-Whitney and Chern classes for a (let's say) closed space $X$ is as follows: For $k = {\mathbb{R}}$ or $\mathbb{C}$, any $k$-line bundle $\xi \to X$ is the ...
2
votes
0answers
62 views

Splitting of the tangent bundle of a vector bundle and connections

Let $\pi:E\to M$ be a smooth vector bundle. Then we have the following exact sequence of vector bundles over $E$: $$ 0\to VE\xrightarrow{} TE\xrightarrow{\mathrm{d}\pi}\pi^*TM\to 0 $$ Here $VE$ is ...
2
votes
2answers
74 views

Is the following situation about first Chern numbers possible?

Let's consider complex vector bundles on a torus $T^2$ constructed in the following way: Suppose we have a map $f:T^2\to U(n)$, where $U(n)$ is the space of $n\times n$ unitary matrices. This ...
1
vote
0answers
24 views

Structures on vector bundles

I am reading the book K theory by Atiyah. In page number 32, he defines some additional structure on a vector bundle $V$. I have understood the definitions there. But there is a statement that says ...
2
votes
0answers
43 views

Prove the existence (or well-definedness) of the induced connection in tensor bundle

Given a connection $\nabla$ on a vector bundle $E$ over a smooth manifold $M$, we know there is a unique extension of $\nabla$ to all tensor bundles of $E$ that satisfies Leibniz rule and contraction. ...
0
votes
1answer
31 views

The pullback of a nontrivial line bundle is nontrivial?

Let $X$ be a complex manifold and $E$ a holomorphic vector bundle over $X$ of rank $2$. Let $\mathbb{P}(E)$ denote the projectivization of $E$, with the natural map $p: \mathbb{P}(E) \rightarrow X$. ...
2
votes
0answers
62 views

pullback is injective on picard groups?

Let $E \rightarrow X$ be a rank two holomorphic vector bundle over a complex manifold $X$. I was recently asked on exam to prove an assertion that I believe boils down to showing that the pullback map ...
1
vote
0answers
53 views

Reduction of structure group of real vector bundles

I'm trying to show that the structure group of real vector bundles can be reduced to the orthogonal group. This is an exercise in Differential Forms in Algebraic Topology by Bott and Tu. The book ...
1
vote
0answers
23 views

Induced measurable subbundle

Let $G_k(\mathbb{R}^m)=\{ W: W$ is subspace of $\mathbb{R}^m, \dim W=k \}$ measurable and suppose that the application $$ \displaystyle{\begin{array}{rccl} h:&Z&\longrightarrow& ...
1
vote
1answer
39 views

Equivalence between vector field and generator of a group of translations

I've been reading Olver's Applications of Lie groups to differential equations and did not understand the excerp where the autor explains that "[...] every nonvanishing vector field is locally ...
2
votes
0answers
20 views

Direct sums, tensor products etc. of $G$-vector bundles are again $G$-spaces

Given two $G$-vector bundles $E$ and $F$ over a $G$-space $X$ ($G$ some finite group), I am interested in the vector bundles $E \oplus F$, $E \otimes F$, $\operatorname{Hom}(E,F)$ etc. I am familiar ...
2
votes
2answers
86 views

Definition of Normal Bundle

I'm reading Differential Forms in Algebraic Topology by Bott and Tu. I reached the point where the book defines the normal bundle of a submanifold and uses the tubular neighborhood theorem. I can't ...
1
vote
0answers
31 views

Homotopic maps induce isomorphic pullbacks (algebraic setting)

I know that in continuous or even smooth category, if $f_i: X \to Y$ is homotopy and $B \to Y$ is vector bundle, than $f_0^* (B) \cong f_1^* (B)$. But I wonder whether there is the same in algebraic ...
0
votes
1answer
32 views

Affine Bundles vs Affine Spaces

I went through the wiki article on affine spaces and had a quick look on the affine bundle wiki article but I don't understand what the affine map is in the case of affine bundles over vector bundles. ...
2
votes
1answer
41 views

Total space of vector bundle deformation retracts onto 0-section of base space

I'm trying to prove the following: Total space of vector bundle deformation retracts onto 0-section of base space. Books seem to take this fact for granted. I checked Bott Tu and Hatcher. Online ...
0
votes
0answers
36 views

Sections of the dual bundle of a smooth vector bundle

Let $M$ be a smooth manifold and $E,F,G$ smooth vector bundles over $M$. Denote the global sections by $\Gamma(.)$. In this question, it is proven that the canonical map ...
2
votes
1answer
76 views

Connection vs Curvature

Why is twice a connection usually referred to the curvature: $\overline{\nabla}\circ\nabla=F^\nabla$ Is there an axiomatic definition of curvature, e.g. it is module-linear operator etc?
0
votes
1answer
43 views

Cocycles vector bundles and metrics

It is well known, and not difficult to prove that a vector bundle $E$ over a (smooth) manifold $M$ together with a metric gives rise to orthonormal frames (by Gram-Schmidt). An consequnece is that the ...
2
votes
2answers
93 views

Recover Covariant Derivative from Parallel Transport

It is well known that one can recover the connection from the parallel transport. I struggle to understand this concept. Since $\Gamma(\gamma)^t_s:E_{\gamma(s)}\to E_{\gamma(t)}$ is an isomorphism ...
1
vote
1answer
76 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 ...
0
votes
1answer
36 views

Isomorphisms in the category of vector bundles

In A Concise Course in Algebraic Topology, P. May, It is written that a vector bundle morphism $(f, g)$ is an isomorphism if and only if $g$ is a homeomorphism and $f$ restricts to linear ...
1
vote
1answer
31 views

Tensorproduct of vectorbundles

Assume we got $\pi:E \to M$, a vector bundle of manifolds. I know how to make the bundle $(E \otimes E)^* \to M$. But how do the local trivializations look like ? I suppose that if ...
5
votes
1answer
83 views

Explicit description of flat connections under pullback on principal bundles over Riemann surfaces

I'm trying to find a proof/reference for a statement that I've seen quoted in some way or the other, but without reference. The setting: let $P\longrightarrow M$ be a flat principal $G$-bundle over ...
0
votes
0answers
9 views

Short-time representation of variations of metrics on principal bundles via exp?

Let us consider a principal $G$-bundle $P\longrightarrow M$ together with an $H$-reduction $s$, where $H$ is a maximally compact Lie subgroup. As an $H$-reduction, $s\in\Gamma(M,P/H)$, hence we can ...
0
votes
0answers
57 views

Two books defined two Chern(Euler) classes yet differed by a negative sign, what's wrong?

In the book 'Principles of Algebraic Geometry' P141 and the book 'Differential Forms in Algebraic Topology' P72-73, they defined the Chern(Euler) classes of line bundles using the patching data ...
1
vote
1answer
47 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 ...
4
votes
1answer
93 views

Why aren't complex vector bundles isomorphic to their duals?

For real vector bundles the argument goes like this: pick a metric on the bundle (i.e. a continuously varying metric on the fibers, which exists if the base space is paracompact), and map a vector $v$ ...
6
votes
1answer
60 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 ...
0
votes
1answer
30 views

Why is this bundle homomorphism a isomorphism?

I got trouble with an exercise: Suppose $E$ and $E'$ are smooth vector bundles over a smooth manifold $M$,and $F:E\rightarrow{E'}$ is a bijective smooth bundle homomorphism over $M$ Prove:$F$ is a ...
1
vote
2answers
60 views

Elementary and purely Topological Proof of the non-triviality of Tautological Complex Line Bundle

I need some hints about the proof of the non triviality of the tautological complex line bundle, in a pure topological manner. Let $E$ be the t.c.l. bundle defined in this way $$ E= \{ (x,v) \in ...
3
votes
0answers
90 views

measurable function induces a measurable bundle

Greetings I am preparing a work on bundles and I found this statement Let $V$ a topological vector space with $\dim V=n$ and $(E,\pi,M)$ a vector bundle continuous over $M$ (compact space). If ...
0
votes
1answer
19 views

generation of sub bundle

Let $M$ differentiable manifold with $\dim M=n$. If $(TM,\pi,M)$ be the fiber bundle tangent. Consider the family $E=\lbrace E_x\rbrace _{x\in M}$ such that $E_x \subset T_xM$ and $\dim E_x=k$ for ...
1
vote
0answers
66 views

Is $\Lambda(T^{*}E)=\bigoplus_{k=0}^n\Lambda^k(T^{*}E)$ a complex line bundle over $T^{*}E$?

Is $\Lambda(T^{*}E)=\bigoplus_{k=0}^n\Lambda^k(T^{*}E)$ a complex line bundle over $T^{*}E$? I know that ...
0
votes
1answer
23 views

Is the tangent bundle of an oriented surface plus a trivial bundle trivial?

Let $\Sigma$ be an oriented closed surface and $E$ be the direct sum of $T\Sigma$ with a trivial line bundle. Is $E$ a trivial rank $3$ vector bundle? For genus $0$ and $1$ the answer is yes since ...
1
vote
2answers
29 views

iff criterion for n-dimensional vector bundle being trivial

Prove that an $n$ dimensional vector bundle $p: E \to B$ is trivial iff there exists a continuous map $\pi: E \to \mathbb{R}^n$ whose restriction to each fiber $p^{-1}(b), b \in B,$ is a vector space ...