Questions tagged [vector-bundles]
For questions on vector bundles, a topological construction that makes precise the idea of a family of vector spaces parameterized by another space $X$.
0
votes
0answers
4 views
Complex bundles and (quasi)-complex structures of manifolds
Could you help me with some hint or reference for the following questions?
I'm reviewing the Milnor-Stasheff for references.
Is there some $(2k)$-manifold with stably quasi-complex structure, such ...
0
votes
0answers
10 views
Visualizing the degree of a line bundle?
The current picture I have in my head is that a line bundle in general is some section "rotating" around the $0$-section and the degree counts how many times it crosses through the $0$-section, up to ...
1
vote
0answers
26 views
Relationship between locally trivial and locally non vanishing section.
What I want to show is that
If a line bundle (not necessarily locally trivial) has locally nonvanishing sections for each open set in the open cover of the base space, then it is locally trivial.
...
1
vote
0answers
19 views
Conditions for a Connection to be a Metric(or Chern) Connection
Given a Hermitian metric on a holomorphic vector bundle we can easily define its Chern connection. But if we are given a connection $\mathcal{A}$,
$$[De=\mathcal{A}e,]$$
where $e$ is a holomorphic ...
1
vote
1answer
41 views
Is the normal bundle construction idempotent?
Let $X$ be a submanifold of $M$. Inductively, let $N_0$ be the normal bundle of $X$ in $M$, and $N_{k+1}$ the normal bundle of $X$ in $N_k$. (Identify $X$ with the zero section of $N_k$, of course.)
...
0
votes
1answer
20 views
Are real linear maps of smooth sections locally determined?
Let $ \pi_{ 1 } \colon E_{ 1 } \to M $ and $ \pi_{ 2 } \colon E_{ 2 } \to M $ be smooth vector bundles (of finite rank) over a smooth manifold $ M $, and consider a map $ T \colon \Gamma ( E_{ 1 } ) \...
0
votes
0answers
21 views
Use clutching to show $TS^2=\mathbb{L}_{+1}^{\otimes 2}$
I'm looking for a way to show $TS^2=\mathbb{L}_{+1}^{\otimes 2}$. I'm told I should use a clutching construction, which I have very little understanding of (I've just looked at the part Karoubi's book ...
2
votes
1answer
83 views
Chern class of a vector bundle and the associated projective space bundle
I have a very basic question regarding Chern classes. Let $X$ be a smooth projective variety and $\mathcal{E}$ a vector bundle on it. Let $\pi:\mathbb{P}(\mathcal{E})\to X$ denote the projective space ...
0
votes
0answers
27 views
Proof Check for The Construction of The Quotient Bundle
I would like to see if my proof for the construction of a quotient bundle is correct.
Proof: Given a subbundle $E'$ of rank $k'$ of the vector bundle $E$ of rank $k$ we may form the quotient bundle $...
0
votes
1answer
14 views
Sufficient conditions for triviality of pullback vector bundle to imply triviality of original vector bundle
Let $E$ be a vector bundle over a smooth manifold $N$ and $f\colon M \to N$ a smooth surjective map. Is it possible that $f^*E$ is trivial while $E$ is non-trivial? If the previous question has a ...
4
votes
1answer
110 views
Decompose vector fields on product manifolds
So, I know that tangent bundle of a product manifold $M \times N$ splits in a sum
$$
T_{(x,y)}(M \times N) = T_xM \oplus T_yN,
$$
so that is obvious that the sum $X \oplus Y$ of smooth vector fields $...
1
vote
0answers
59 views
Divisors and higher cohomologies
Given a divisor $D$ on a smooth, complex manifold there is an associated holomorphic line bundle $\mathcal{O}(D)$. The space of holomorphic sections $H^0(\mathcal{O}(D))$ is directly related to the ...
0
votes
1answer
10 views
Question about equivalent definitions of (holomorphic) line bundles
Definition: A complex line bundle is a smooth manifold $L$ with a projection map $\pi:L\to M$, so that each fiber $\pi^{-1}(p)$ has the structure of a complex vector space of dimension 1. And for each ...
1
vote
1answer
37 views
Equivalent Definitions of Compactly Supported Forms in The Vertical Direction
I've come across two definitions of compactly supported forms in the vertical direction and I'm trying to show they are equivalent. For the setup, let $\pi:E \to M$ be a vector bundle of smooth ...
0
votes
1answer
39 views
Pullback of tautological bundle on Veronese curve
Let's work in $\mathbb{RP}^n$. Let $N$ be $\frac{n!}{d!(n-d)!}$
We define the Veronese map $\mu_d : \mathbb{RP}^n \to \mathbb{RP}^N$
This map
$[x_0:x_1:x_{n-1}] \mapsto [x_0..x_d, x_0..x_{d-1}x_{d+...
0
votes
0answers
32 views
Relation between the tangent bundle and the holomorphic tangent bundle of a complex manifold.
Let $M$ be a complex manifold. We define the tangent bundle $TM$ as we do in the differential case. The complex structure on $M$ naturally induces a complex structure on $TM$ which makes it a complex ...
5
votes
1answer
64 views
Existence of $S^1$-action on a vector bundle and computing its characteristic classes
The existence of an $S^1$ action sometimes helps us in computing topological invariants. For example we can compute the Euler characteristic looking at the fixed point set (see Euler characteristic ...
0
votes
2answers
56 views
Non-flat connection on trivial bundle?
From what I have read it seems like there exists non-flat connections on trivial vector/principal bundles. However I can't find any notes on it or examples.
Can anyone confirm that such connections ...
1
vote
1answer
62 views
Subbundles of a rank-two trivial bundle on $\mathbb{P}^1$.
Can every line bundle $\mathcal{O}(a)$ on $ \mathbb{P}^1$ be realized as a subbundle of the trivial bundle $\mathcal{O}\oplus \mathcal{O}$ on $\mathbb{P}^1$? I know that this phenomena can happen in ...
0
votes
0answers
24 views
Sections of a quasi-coherent sheaf along the non-vanishing set of a section of a line bundle.
Let $(X,\mathcal O)$ be a quasicompact, quasiseperated scheme, $\mathcal L$ a line bundle on $X$ and $\mathcal F$ any quasi-coherent sheaf on $X$.
Let $s \in \Gamma(X,\mathcal L)$ be any global ...
2
votes
1answer
45 views
Cobordant Map from May's Book
I have a question about an argument that occurred in the discussion about consequences of Bott periodicity in A Concise Course in Algebraic Topology by P. May on page 221. Here is the excerpt:
...
6
votes
1answer
150 views
Nontrivial Twists of a Vector Bundle
Let $k$ be a number field, and let $X$ be a projective $k$-variety. Let $\mathcal{V}$ be a vector bundle on $X$ that is defined over $k$. A vector bundle $\mathcal{V}'$ on $X$ that is defined over $k$ ...
4
votes
1answer
55 views
Cobordism Groups of Smooth Closed Manifolds
I have a question about an argument used in the proof the red tagged theorem below from A Concise Course in Algebraic Topology by P. May at page 220. Here the excerpt:
We write $\mathcal{N}_n$ for ...
0
votes
0answers
19 views
Vector Subbundle and bundle morphism
I need a proof for the following statement:
Suppose $ M \subset N, E \subset E_1 $ are two embedded submanifolds of $ N$ and $ E_1$. $ E_1 \rightarrow N $ and $E \rightarrow M $ are two vector bundles....
2
votes
1answer
35 views
Isomorphism of Vector Bundles
Let $f:X \to Y$ be continuous map between topological spaces and $E$ a $n$-vector bundle over $Y$. Then we know that the pullback $f^*E$ is also a $n$-bundle over $B$ and a pullback in sense of ...
1
vote
2answers
46 views
Classifying Map $p_{n,m}:BO(n) \times BO(m) \to BO(n+m)$
I have a question about a construction & its properties described in May's "A Concise Course in Algebraic Topology"(see page 190):
Let $VB_n(-): (pcHoTop) \to (Set)$ the functor which assigns to ...
1
vote
1answer
41 views
Triviality of complexified tangent bundle of a closed surface
Does anybody know how to prove the following statement:
The complexified tangent bundle $TS\otimes\mathbb{C}$ of a closed surface $S$ is topologically trivial iff the Euler characteristic $\chi(S)$ ...
0
votes
0answers
14 views
Sections of a locally free sheaf
Let $\mathcal{F}$ be a locally free sheaf of rank $n$ on a scheme $X$. We know that we can associate to it a vector bundle $F$ on $X$ such that $F_x \simeq \mathcal{F}(x)$, where with $\mathcal{F}(x)$ ...
1
vote
0answers
38 views
Inverse Image Sheaf and pullback of a Vector Bundle.
Let $M,N$ be smooth manifolds and $f:N\to M$ a smooth map. Denote by $\mathcal{O}_M,\mathcal{O}_N$ the corresponding sheaves of smooth functions. If we regard $\mathcal{O}_M$ as the sheaf of smooth ...
1
vote
1answer
45 views
Vector Bundle Transition Functions as Cech Cocycles
I am trying to understand the fact that vector bundles of rank $r$ over a space $X$ are classified by the Cech cohomology group $\check{H}^{1}\big(X, GL_{r}(\mathcal{O}_{X})\big)$. I believe this ...
0
votes
0answers
49 views
A question about Gieseker compactification
Let $\ell_{\infty} \subset \Bbb P^2$ be a fixed line, and $G = GL_r$. Let $\mathcal U^a_G$ be the Gieseker partial compactification of the moduli space $Bun^a_G(\Bbb A^2)$. The space $Bun^a_G(\Bbb A^2)...
0
votes
0answers
14 views
Restrict differential forms that vanish along fibres to the base
I am reading Jean-Luc Brylinski's book on loop space. At the end of section 1.6 Leray Spectral Sequence, he claims without proof that
Let $f: Y\to X$ be a smooth bundle of paracompact manifolds. A $...
2
votes
2answers
42 views
Question about Chern Character in Hatcher's book
I have a question about an argument from Allen Hatcher's script Vector Bundles and K-Theory in Cor. 4.4 (see page 110). Here the excerpt:
We consider a vector bundle $E \to S^{2n}$, Then for Chern ...
0
votes
0answers
22 views
parallel transport is independent of the bases chosen in each of the two tangent spaces
Connections on principal fibre bundles
In the above set of notes on page-3 section 2.2 under the heading Parallel transport there is a statement that equivariance ensures that the parallel transport ...
0
votes
0answers
38 views
Loop Space of Classifying Space [duplicate]
Let $\operatorname{U}(n)$ be the group of unitary $n$-matrices.
My question is why we have following isomorphism
$$\Omega BU(n) \cong U(n)$$
where $BU(n)= E/U(n)$ is the classifying space and $\...
4
votes
1answer
39 views
Chern Classes Identification
I have a question about a remark/observation in A Concise Course in Algebraic Topology by P. May at page 199.
Here the excerpt:
Having introduced the Chern classes May claims that $c_1 \in H^2(BU(...
0
votes
1answer
47 views
What is the Künneth formula for complete varieties?
I'm reading a part of Mumford's Abelian Varieties, and in the Chapter The theorem of the cube: II he claims that some "Künneth formula" tells us that if $L_1$ is a line bundle on a product $X \times ...
2
votes
1answer
65 views
Thom Isomorphism Theorem
I have a question about an argument in a proof from J.P. May's "A Concise Course in Algebraic Topology" (page 196):
We use following notations: Let $\zeta: E \to B$ be a $n$-vector bundle and $Sph(E)$...
0
votes
0answers
56 views
Exercise verification in John Lee's Introduction to Smooth Manifolds, Part 2
Let $\pi: E\to M$ be a smooth vector bundle, and $V$ an open subset of $E$ with the property that $V \cap E_p$ is non empty and convex for all $p\in M$.
By "a section of $V$" we mean a (local or ...
0
votes
0answers
64 views
Exercise verification in John Lee's Introduction to Smooth Manifolds, Part 1
Let $\pi: E\to M$ be a smooth vector bundle, and $V$ an open subset of $E$ with the property that $V \cap E_p$ is non empty and convex for all $p\in M$.
By "a section of $V$" we mean a (local or ...
0
votes
0answers
33 views
What is transition function of scheme theoretic vector bundle ??
Let X be a scheme X and $\mathscr{F}$ be a locally free sheaf of rank $n$ over $X$.
I want to consider a vector bundle over an algebraic variety $X$ , that is ,
the relative spec over $X$ of ...
2
votes
1answer
45 views
Checking My Understanding About Operations on Vector Bundles
I'm reading Bott and Tu's Differential Forms in Algebraic Topology and the discussion they give for constructing direct sums, tensor products, and duals of vector bundles is too quick for me to get a ...
1
vote
0answers
21 views
Connection from a covariant derivative
It is a basic question on connections of vector bundles, more preciously how to obtain a connection of a vector bundle starting from a covariant derivative.
Suppose $B \to M$ is a smooth vector ...
2
votes
0answers
48 views
Pullback bundle of the tangent bundle through a diffeomorphism and an application to parallel global sections
It is probably a stupid question and it is probably poorly written.
Hopefully, it is not already answered somewhere else.
(1)
Let $f:M \to N$ be a diffeomorphism. Is it true that the pullback ...
2
votes
1answer
49 views
Criteria of a real vector bundle to be Stably trivial
I am interested to know the general condition for a real vector bundle $V$ over an unorientable manifold $X$ ($X$ can be either 4d or 5d) to be stably trivial.
The case I've heard of is when $X$ is ...
0
votes
0answers
31 views
Why should one think of orientation as a homology class?
Let $\pi:E\rightarrow B$ be a smooth vector bundle. I call this vector bundle to be an oriented vector bundle, if I can choose an orientation on $\pi^{-1}(b)$ for each $b\in B$ and a trivialization ...
1
vote
1answer
49 views
A coherent sheaf is a vector bundle over subvariety?
Over a complex manifold, can every coherent sheaf be seen as a holomorphic vector bundle over an analytic subset?
Thanks in advance.
0
votes
0answers
18 views
Is the dual of a subsheaf of a stable sheaf itself stable?
Assume $(X,H)$ is a polarized $K3$-surface.
We have a torsion free sheaf $F_0$ of rank $r$ on $X$ which we can represent by 2 exact sequences:
1) $0 \rightarrow F_0 \rightarrow F \rightarrow F'' \...
2
votes
1answer
14 views
What is the support of a vector bundle complex?
I'm doing a class on K-Theory, and I'm confused about what the support of a complex of vector bundles is. Consider the following complex: $$0\to V_1\to V_2\to \dots\to V_n\to 0$$ Assume that all ...
4
votes
4answers
84 views
Examples of non trivial vector bundles
Once you see the notion of vector bundle, next thing you want to see are examples of non trivial vector bundles.
Here, I want to collect such examples with justification of one or two lines saying ...
