For questions on vector bundles.

learn more… | top users | synonyms

8
votes
0answers
173 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
0answers
140 views

Isomorphism between spaces of sections.

Let $M$ be a compact manifold and let $E_i \xrightarrow{\Large \pi_i} M$, $i = 1, 2$, be two (real or complex) vector bundles of the same rank $k$ over $M$. Assume we have metrics $g_1, g_2$ on $E_1$, ...
6
votes
0answers
273 views

Orientability of the total space of a vector bundle over an oriented manifold

Let $M$ be a (smooth) manifold of dimension $n$, and let $\pi : E \to M$ be a (smooth) vector bundle of rank $r$. If I choose a connection on $E$, then I obtain a decomposition of $T E$ as $V E ...
5
votes
0answers
62 views

How many sections of a vector bundle send a point outside a divisor?

Let $\pi:E\to X$ be a holomorphic vector bundle on a complex algebraic variety $X$, and assume $E$ has nonzero global sections; fix a divisor $D\subset E$ and a point $P\in X$. I have the vague ...
5
votes
0answers
114 views

How should we think of 'differences' of vector bundles?

Given a Hausdorff space $X$, the set of all vector bundles of finite dimensions $Vect(X)$ (up to isomorphism) with respect to the direct sum is a monoid. We can use the group completion construction ...
5
votes
0answers
341 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 ...
5
votes
0answers
148 views

Complex vector bundles with real transition functions

After doing a bit of playing around (I think) I was able to show that the map $\operatorname{id}\otimes\ \psi : \Omega^{p,q}(X, E) \to \Omega^{p,q}(X, \bar{E})$, where $\psi $ is the conjugation map ...
5
votes
0answers
120 views

Alternate pullback bundle construction

If $\pi : F \to N$ is a fiber bundle, and $\phi : M \to N$ (here, $M$ and $N$ are manifolds), then the standard way to define the pullback bundle of $F$ by $\phi$ is $$\phi^* F := \{(m,f) \in M ...
5
votes
0answers
259 views

understanding this differential operator on a tensor product

I am currently trying to read the T. Kotake's paper "An Analytical Proof of the Classical Riemann Roch Theorem", in which he defines a differential operator which acts on smooth sections of a tensored ...
4
votes
0answers
56 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
50 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 ...
4
votes
0answers
61 views

Cohomology of $\mathcal O(k)$

I am reading a paper in which it is claimed that $H^1(\mathcal O(-k),\mathcal O)=0$, where $k\geqslant 1$. Moreover, the argument also requires that $H^2(\mathcal O(-k),\mathcal O)=0$. Here ...
4
votes
0answers
170 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$ ...
4
votes
0answers
68 views

How to understand the coordinate transition map in $E\otimes E'$?

This question seems embarrassingly basic. Let $X$ be some manifold and $E,E'$ two vector bundles over $X$ with rank $n$ and $n'$ respectively. Now assume to possible refinement we have $E,E'$ defined ...
4
votes
0answers
133 views

Can the disk bundle associated to a vector bundle over a finite CW-complex be obtained by attaching cells?

Let $V$ be a vector bundle (with a chosen metric) over a finite CW-complex $X$ and $B(V), S(V)$ the associated (unit) disk resp. sphere bundles. In the paper Clifford-Modules the authors remark that ...
4
votes
0answers
89 views

Decomposition of vector bundles over a CW complex

Let $X$ be CW complex having only cells up to dimension $n$. I want to prove that every $m$-dimensional vector bundle $E$ over $X$ decomposes as a sum $E\cong A\oplus B$ where $A$ is a ...
3
votes
0answers
46 views

Definition of the $\Bbb C^*$-weight of a line bundle

I'm new to geometric invariant theory and am unsure about a definition. Let $X$ be a smooth projective-over-affine variety equipped with a $\Bbb C^*$ action and let $Z$ be the fixed locus of this ...
3
votes
0answers
47 views

Connections on principal bundles and vector bundles

In Donaldson and Kronheimer's book on the geometry of four manifolds, a brief review of connections on principal bundles is given. Three equivalent definition are stated: 1) Via horizontal subspaces, ...
3
votes
0answers
92 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 ...
3
votes
0answers
33 views

Total space of a geometric vector bundle

Suppose that $X$ is a scheme with a $B$-action, and that $\lambda: B \to \mathbb{C}^*$ is a character of $B$. We then have a geometric vector bundle $\pi: X \times^B k \to X/B$, where $B$ acts on $X ...
3
votes
0answers
94 views

Triviality of (equivariant) holomorphic vector bundles

Let $G$ the 1-dimensional diagonalisable linear complex analytic group $\mathbb C^*$. We suppose that $G$ acts linearly on $\mathbb C^n$ with positive weights. Set $X=\mathbb C^n -\lbrace 0 \rbrace$. ...
3
votes
0answers
87 views

Almost complex structures on a manifold and its exotic copy

Consider a compact simply-connected smooth $4$-manifold $M$ and its exotic copy $M'$. Identify the underlying topological manifolds. Dold-Whitney theorem guaranties ($\mathbb R$-linear) isomorphism of ...
3
votes
0answers
73 views

How should I imagine the cup product on a topological space/manifold/variety

Let $X$ be a "space" with a vector bundle $E$. Let $n$ be the dimension of $X$. Then there is a map $$H^1(X,E)\otimes \ldots\otimes H^1(X,E)\to H^n(X,\Lambda^n E).$$ This map is given by taken the ...
3
votes
0answers
47 views

Maps between total spaces of holomorphic vector bundles

I am wondering what is possible and what is not possible regarding maps between the total spaces of holomorphic vector bundles. Let me outline a situation that is a bit more concrete, to help focus ...
3
votes
0answers
76 views

Triviality of the tangent space of an abelian variety

The tangent bundle of an abelian variety $A/K$ is trivial. Mumford's proof of this fact goes something like this: given the (non-zero) value of a section in a fiber, one can determine the value in all ...
3
votes
0answers
109 views

A question of extension of vector bundles.

Fix $p \in \mathbb{P}^1$. Let $X=\mathbb{P}^1\times \mathbb{P}^1$, $C_1=\mathbb{P}^1\times \{p\}$ and $C_2=\{p\}\times \mathbb{P}^1$. Since $\mathrm{Ext}^1(\mathcal{O}_{C_2},\mathcal{O}_{C_1})\cong ...
3
votes
0answers
51 views

Questions on a sub-bundle of $\mathbb R^3\setminus \{0\}$

Let us consider spherical coordinates $(r,\theta,\phi)$ on $\mathbb R^3$ and the manifold $M:=\mathbb R^3 \setminus \{0\}$. Let us consider the 1-form on $M$ $$ \omega = zdz ...
3
votes
0answers
58 views

Second order equations on manifolds

In my notes, the lecturer considers a smooth vector field $v: TM\to T(TM)$, with $M$ a smooth manifold. Let's write $$v(u,e)=((u,e), (a(u,e),b(u,e)).$$ It is said that $v$ is a second order equation ...
3
votes
0answers
103 views

Which (endo)functors of the category of finite-dimensional real vector spaces induce continuous maps between Hom-sets?

Let $\operatorname{Vect-fin}$ be a category of finite-dimensional vector spaces over $\mathbb{R}$. In this category Hom-sets $\operatorname{Hom}(V,W)$ are themselves finite-dimensional vector spaces ...
2
votes
0answers
32 views

Universal property of tensor product of vector bundles

To define the tensor product of vector bundles $\xi_1$ and $\xi_2$ over base $B$, Milnor-Stasheff's Characteristic Classes takes the space $\sqcup_{b \in B} F_b(\xi_1) \otimes F_b(\xi_2)$ and ...
2
votes
0answers
33 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
19 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 ...
2
votes
0answers
63 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
0answers
44 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. ...
2
votes
0answers
66 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 ...
2
votes
0answers
60 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 ...
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
0answers
133 views

Grassmannian bundle: any good reference?

I have met the notion of Grassmannian bundle of a vector bundle over a variety in intersection theory, but anywhere I look I just find a brief recall of how the stalks look like (my references so far ...
2
votes
0answers
34 views

Exterior algebra as a complex of vector bundles and an element in relative K-theory

There is a description of relative $K$-theory in terms of complexes of vector bundles. The following is an excerpt from Atiyah's book. Let $V$ be a complex vector space and consider the exterior ...
2
votes
0answers
37 views

Restriction of a Lie bracket on the space of section of a vector bundle..

Let $A\longrightarrow M$ be a vector bundle and $U\subseteq M$ an open set. Suppose I have a lie bracket on $\Gamma(A)$ such that if $\rho:A\longrightarrow TM$ is a bundle map then $$[a, fb]=f[a, ...
2
votes
0answers
104 views

Simple Examples of Correspondence Between Line Bundles and Divisors

I'm trying to work out some simple examples demonstrating the correspondence between line bundles and divisors. The toric variety $X = \mathrm{Bl}\,_0(\mathbb{C}^2/\mathbb{Z}_2)$ has quotient ...
2
votes
0answers
40 views

Why can the group of isomorphism classes of line bundles be identified with $H^1(C,\mathbb O_C^*)$?

This is a reference request to the fact in the title. Is there a book at most as advanced as Hartshorn's which explains this result?
2
votes
0answers
82 views

How can I get 3264 conics from chern class?

I'm studying Algebraic geometry by "Enumerative Geometry And String Theory" [Katz]. In section 8.3, he computed the excess contribution 31 and concluded that the number of smooth conics tangent to ...
2
votes
0answers
130 views

Chern class of tautological line bundle

I'm studying characteristic classes from the Chern-Weil construction (via connection and curvature). I'm trying to compute some simple examples. Let $E$ be the tautological line bundle over projective ...
2
votes
0answers
71 views

An orbit of a group action and the implicit function theorem

Suppose that a Lie group $G$ acts smoothly on a manifold $X$. We can easily prove the following theorem by using the constant rank theorem, which is a stronger theorem than the implicit function ...
2
votes
0answers
57 views

Curvature form projective spaces

Let $T\mathbb{C}P^n$ tangent bundle over $\mathbb{C}P^n$. We have an hermitian metric on $T \mathbb{C}P^n$ defined as $h=\frac{dzd\bar{z}}{(1+|z|^2)^2}$. If we consider Levi-Civita connection we can ...
2
votes
0answers
104 views

Example of excess intersection theory?

Let $M$ be a smooth manifold of dimension $m$ and $\pi:E\rightarrow M$ a vector bundle of rank $e$. Given a section $s$ of the bundle $\pi:E\rightarrow M$, we expect that the zero locus $Z(s)$ of $s$ ...
2
votes
0answers
67 views

Is Transversality invariant by losing Dimension?

Setup Let $X$ be a smooth, reduced and irreducible scheme. And let $E$ be a vector bundle of rank $n$ on $X$. Following Eisenbud and Harris we say that the collection $\{\sigma_1,...,\sigma_k\}$ of ...
2
votes
0answers
51 views

Possible restriction on first nonzero Stiefel-Whitney classes?

I've been reading Hatcher's book on vector bundles and I'm just getting into the section of Steifel-Whitney numbers. Naturally, I'm interested in which sequences of such numbers are realizable, and ...
1
vote
0answers
21 views

Invariant characterization of vector bundles associated to a principal bundle?

I have two related questions. Suppose I have a principal $G$-bundle $P\xrightarrow{\pi} M$. The usual construction of an associated vector bundle goes as follows. Fix some representation $\rho : ...