Skip to main content

Questions tagged [vector-bundles]

A continuously varying family of vector spaces of the same dimension over a topological space. If the vector spaces are one-dimensional, the term line bundle is used and has the associated tag line-bundles.

Filter by
Sorted by
Tagged with
2 votes
1 answer
183 views

Dual of slope semistable vector bundle on higher dimensional variety

Recall the definition of slope semistability, taken from section 1.2 of Huybrechts and Lehn's "Geometry of Moduli Spaces of Sheaves" book. Let $X$ be a projective $\mathbb{C}$-scheme and $E \...
maxo's user avatar
  • 79
8 votes
3 answers
670 views

A manifold whose tangent space is a sum of line bundles and higher rank vector bundles

I am looking for an example of the following situation. Let $M$ be a connected (if possible compact) manifold such that its tangent bundle $T(M)$ admits a vector bundle decomposition $$ T(M) = A \...
Bobby-John Wilson's user avatar
3 votes
1 answer
160 views

Let $\phi : A \to B$ be a surjective $*$-homomorphism of star algebras, is there any good notion of "normal bundle of $B$ in $A$"?

Let $\phi : A \to B$ be a surjective $*$-homomorphism of star algebras (maybe more restricted kind of star algebra), is there any good notion of "normal bundle of $B$ in $A$"? By a "...
admircc's user avatar
  • 31
0 votes
0 answers
148 views

What is the adjoint bundle of groups $P\times_{G}G$?

It is said that G acts on itself by conjugation. I am familiar with another type of adjoint bundle in which a representation of G on a vector space is given. Can someone explain the differences and ...
Lefevres's user avatar
0 votes
0 answers
91 views

Question on notation for definition of symbol of differential operator

I was looking at this definition of the symbol of a differential operator, and am unsure what "$T^*X\otimes_XE$" means. I couldn’t find an explanation anywhere on nlab either. My main ...
Barsa Jahanpanah's user avatar
2 votes
0 answers
71 views

Stable homotopy of vector bundles

Consider the category $\mathsf{VectBun}$ of real vector bundles over topological spaces, where the morphisms are bundle maps that are fiberwise isomorphisms. This category has a stabilization functor ...
Derived Cats's user avatar
6 votes
0 answers
200 views

Holomorphic fibre bundles over noncompact Riemann surfaces

Some days ago I came across the paper "Holomorphic fiber bundles over Riemann surfaces", by H. Rohrl. At the beginning of Section 1, the following theorem is quoted: Theorem. Every fiber ...
Don's user avatar
  • 271
4 votes
0 answers
86 views

Can we get a connection on the principal bundle from a connection on the associated vector bundle?

Assume $G$ is a Lie group, $P \to M$ is a smooth principal $G$-bundle, and $\rho \colon G \to GL(V)$ is a smooth representation of $G$. We can define a connection on the associated vector bundle $E := ...
mfdmfd's user avatar
  • 99
1 vote
0 answers
26 views

A question related to the local family index theorem without the kernel bundle assumption

Let $\pi:X\to B$ be a submersion with closed, oriented and spin fibers of even dimension and $E\to X$ a Hermitian bundle with a unitary connection $\nabla^E$. By putting metrics and connections on ...
Ho Man-Ho's user avatar
  • 1,117
5 votes
1 answer
259 views

Origin of the name Trace resp Integral symbol for the trace map of Dualizing Sheaf

Let $X \subset \mathbb{P}^n_k$ be a normal projective subscheme over $k$ of dimension $n$. The dualizing sheaf is in context of Serre duality a pair $(\omega_X,t)$ (which exists in that case) ...
user267839's user avatar
  • 5,780
1 vote
0 answers
57 views

Extending the natural thom form of a vector bundle from the boundary of a manifold

(Edited after taking into account Tom Goodwillie's answer.) Let $E \rightarrow X$ be an orientable vector bundle. In this MO answer it is explained how to obtain a representative of the Thom class (...
Kai Hugtenburg's user avatar
3 votes
1 answer
272 views

Is the subscheme parametrizing the k-th degeneracy loci Cohen-Macaulay?

Let $X$ be a Cohen-Macaulay projective variety (say over an algebraically closed field of characteristic 0), and $E,F$ two vector bundles such that $E^*\otimes F$ is globally generated. Consider the ...
klerk's user avatar
  • 105
2 votes
1 answer
182 views

Identifying the circle bundle of the canonical line bundle $\mathcal{O}(-n-1)$ over a projective space $\mathbb{CP}^n$

It's not hard to see the following fact: the circle bundle of the tautological line bundle $\mathcal{O}(-1)\rightarrow \mathbb{CP}^n$ is $S^{2n+1}$, the unit sphere inside $C^{n+1}.$ I want to see ...
Partha's user avatar
  • 893
5 votes
1 answer
170 views

Converging paths implies converging parallel transports along those paths?

Suppose we have a vector bundle $E$ with connection $\nabla$ over a smooth manifold $M$. Let’s also say we have a sequence of smooth paths $\gamma_n\in C^\infty([0,1],M)$ starting at the same point $\...
user815293's user avatar
2 votes
1 answer
218 views

Deriving the definition of vector bundle morphisms from Cartan geometry (a.k.a. why are they linear?)

I'm familiar with the definition of the category of vector bundles, but I'm trying to derive it from some first principles about general fiber bundles. My intuition is that vector bundles should be ...
Alex Bogatskiy's user avatar
2 votes
1 answer
176 views

Proving that $H^1(X,\mathcal{Hom}(\mathcal{G},\mathcal{E})) \cong \text{Ext}^1(\mathcal{G},\mathcal{E})$ holds for locally free sheaves

The following passage is from a thesis I'm reading: Suppose we have a short exact sequence of vector bundles $$0 \to \mathcal{E} \to \mathcal{F}\to \mathcal{G} \to 0.$$ Since these sheaves are ...
Johannes's user avatar
0 votes
0 answers
91 views

I'm looking for the NLab page on particle species

This is just a reference request. I came across an NLab page on particle species described as certain vector bundles. But I can't seem to find it again when I searched recently. If someone can point ...
Mozibur Ullah's user avatar
2 votes
1 answer
174 views

Factorization systems for vector bundles

Are there any well-known factorization systems for the category of vector bundles defined over topological spaces?
Siya's user avatar
  • 195
5 votes
1 answer
307 views

Bochner Laplacian in coordinates

Sorry if this is a too basic question, but I didn't find an answer anywhere: The connection Laplacian, or Bochner Laplacian, is the differential operator acting on $k$-tensor fields $T\in\Gamma^{\...
B.Hueber's user avatar
  • 1,077
1 vote
0 answers
77 views

Are coherent modules with integrable log-connections locally free?

Let $X$ be a smooth Noetherian scheme over a field $K$. It is known that every coherent module with integrable connection on $X$ is locally free. Is the same true for coherent modules with log-...
kindasorta's user avatar
  • 2,123
2 votes
0 answers
392 views

Parallel transport on a vector bundle : expansion of the correspondance between normal and tubular coordinates

Let $(M, g^{TM})$ be a Riemannian manifold of dimension $n$. Let $X \subset M$ be a submanifold of dimension $n$ with boundary $\partial X$. Then we have a splitting of the tangent bundle $$TM \vert_{\...
hseldon39's user avatar
1 vote
1 answer
442 views

Vector bundles on $\mathbb{P}^1$

I am considering an alternative proof of Grothendieck's classification of vector bundles on $\mathbb{P}^1$. Given a vector bundle $E$ on $\mathbb{P}^1$ one can associate a graded module $\Gamma(E)$ ...
Sidana's user avatar
  • 21
2 votes
0 answers
132 views

Cohomology of equivariant toric vector bundles using Klyachko's filtration

I am trying to understand Klyachko's following description of the cohomology groups of locally free (hopefully more generally of reflexive) sheaves on toric varieties. Whereas detailed literature ...
sagirot's user avatar
  • 455
1 vote
0 answers
109 views

Stable equivalence and stability theorem of vector bundles

I am going through this paper by Tanaka. In the proof of Proposition 3.2(1) given below The author says that by the stability theorem as $\dim (B)\le m$ we have $\alpha\oplus1\cong m\oplus1$. But I ...
Devendra Singh Rana's user avatar
3 votes
1 answer
131 views

Derived flat bundles

I am looking for a notion of derived flat bundles over a surface $X$. Flat vector bundles may be thought of in terms of surface representations $\pi_1(X)\rightarrow\text{GL}(V)$. Is there a notion of ...
user521599's user avatar
4 votes
0 answers
99 views

category of vector bundles with connections and its K-theory

For the category of Hermitian vector bundles with unitary connections, an object is (of course) a Hermitian vector bundle with a Hermitian metric and a unitary connection $(E, g^E, \nabla^E)$. For ...
Ho Man-Ho's user avatar
  • 1,117
3 votes
0 answers
78 views

Let $f: X \to D$ be a proper holomorphic submersion. Does a holomorphic form on $X$, closed on each fiber of $f$, have holomorphic coefficients?

Let $D$ be the unit disc in $\mathbb{C}^n$ and let $f: X \to D$ be a proper surjective holomorphic submersion, which is trivial as a smooth fiber bundle, with connected fiber $F$. We get an induced ...
Vik78's user avatar
  • 538
6 votes
0 answers
151 views

Extending topological vector bundles and obstruction theory

This is a question that has appeared in various forms on MathOverflow, see here and here, for example. But as opposed to these more algebraic questions, I am interested in the purely topological ...
Paul Cusson's user avatar
  • 1,755
3 votes
1 answer
178 views

Isomorphism between tangent bundle of $S^2$ and the kernel of a bundle homomorphism

Let $S^{4n+3} \to \mathbb{H}P^n$ be the standard projection which is a fiber bundle with fiber $S^3$. By the action of $S^1$ on $S^3$ we get a fiber bundle $$ \mathbb{C}P^1 \xrightarrow{\iota} \mathbb{...
Patrick Perras's user avatar
8 votes
0 answers
312 views

Flat Maurer-Cartan connection iff flat Berry connection

I am studying two connections on induced representation spaces $\text{Ind}_{H}^{G} \Gamma$, where $H \subseteq G$ are groups, and $\Gamma$ is an irrep of $H$. The first is the canonical or $H$-...
Victor V Albert's user avatar
2 votes
0 answers
63 views

Rank and determinant of the image of a vector bundle after applying a Schur functor?

Let $\mathcal{E}$ be a vector bundle of rank $r$ and degree $d$ over some smooth projective variety $X$. Furthermore, let $\lambda$ be a partition of $n$. We apply the $\lambda$-th Schur functor to $\...
Max Briest's user avatar
2 votes
0 answers
106 views

Reference for numerically non-negative polynomials for nef vector bundles

Let $K$ be a field. A polynomial $F \in \mathbb{Q}[X_1, \dots, X_r]$ which is weighted homogeneous of degree $n$ with respect to the grading $\deg(X_k) = k$ is called numerically non-negative for nef ...
user avatar
2 votes
0 answers
74 views

Orthogonal bundles with values in a line bundle vs. reductions of structure group to $O(n)$

I have already posted this question in math.stackexchange here, but didn't get any response, so I'm posting my question here as well. Let $X$ be a smooth projective variety over $\mathbb{C}$, and $\pi:...
Hajime_Saito's user avatar
0 votes
1 answer
306 views

Self-intersection of zero section of line bundle over elliptic base curve

Let $C$ be an elliptic curve over $k=\mathbb{C}$ and $\mathcal{L}$ a line bundle of degree $d$. It induces naturally a $\mathbb{A}^1$-fibration $L \to C$ where $L=\underline{\operatorname{Spec}} (\...
user267839's user avatar
  • 5,780
1 vote
0 answers
273 views

A question on the proof of pullback bundles by homotopic maps are isomorphic in Prof. Ralph Cohen notes

Here is a question about proving the pullback bundles by homotopic maps are isomorphic in Prof. Ralph Cohen notes Bundles, Homotopy, and Manifolds. The proof is in page 73 of the notes. For me, ...
Ho Man-Ho's user avatar
  • 1,117
0 votes
0 answers
263 views

Pushforwards in vector bundles over a topological spaces

I have been reading the discussion from Pushforward and pullback.. I understand that it is quite straight forward to construct a pullback of a vector bundle. In the discussion it is clear that if we ...
Siya's user avatar
  • 195
3 votes
2 answers
548 views

Obstructions to the existence of a flat connection on a vector bundle

Given a smooth manifold $M$ and a smooth vector bundle $E \to M$ (with real or complex fibers), what are known obstructions to the existence of a flat connection on $E \to M$? If all known ...
0 votes
0 answers
134 views

A question about vector bundle isomorphisms

Let $E\to X\times[0, 1]$ be a vector bundle. Define a map $i_t:X\to X\times[0, 1]$ by $i_t(x)=(x, t)$. Then we know the vector bundles $i_0^*E$ and $i_1^*E$ are isomorphic, and probably there are many ...
Ho Man-Ho's user avatar
  • 1,117
2 votes
0 answers
102 views

Differential graded modules and the Serre-Swan theorem

I am thinking about how connections combine with a modification of the Serre-Swan theorem, which relates vector bundles to projective modules. If $E \rightarrow B$ is a vector bundle, or even just any ...
user avatar
1 vote
0 answers
46 views

Homology groups of moduli of parabolic bundles with fixed determinant

I am looking for the Homology groups of the moduli space of stable parabolic bundles over a smooth projective curve with fixed determinant. In particular, what is the second homology group of such ...
yors's user avatar
  • 195
1 vote
0 answers
72 views

The curvature of the induced connection on the antidual bundle

Let $E\to M$ be a complex vector bundle over a (real, smooth) manifold and $\nabla$ a connection on $E\to M$ whose curvature is $R$. From Section 1.5 of "Differential Geometry of Complex Vector ...
Ho Man-Ho's user avatar
  • 1,117
4 votes
2 answers
385 views

Is a positive degree self map on a Riemann surface homotopic to a holomorphic self map?

Let $S$ be a compact Riemann surface and $f:S\to S$ be a continuous self map of positive degree. Is $f$ homotopic to a holomorphic map on $S$? Motivation: I had intention to consider this question ...
Ali Taghavi's user avatar
2 votes
0 answers
293 views

The definition of the determinant of a coherent sheaf

Let $ X $ be a smooth (projective) variety and $ \mathcal{F} $ a torsion-free coherent sheaf of rank $ r $ on $ X $. The determinant $ \det \mathcal{F} $ can be defined by (1) $ \det \mathcal F := ( \...
Cranium Clamp's user avatar
3 votes
0 answers
251 views

Equality of topologies in the spaces of section of a vector bundle

In this notes Geometric Wave Equations by Stefan Waldmann at page 7 he has Let $E \longrightarrow M$ be a vector bundle of rank $N$. For a chart $(U, \psi)$ we consider a compact subset $K \subseteq ...
amilton moreira's user avatar
0 votes
0 answers
124 views

Rank of a tangent map related to holomorphic line bundles

Let $L,\,\,J$ be two holomorphic line bundles over a compact Riemann surface $X$ of genus $g_X>0$ such that (1) $d_1:=\dim H^0\big(\operatorname{Hom}(L,J)\big)>0$ and $d_2:=\dim H^0\big(\...
Yu Feng's user avatar
  • 371
2 votes
1 answer
110 views

Normal bundle of veronese as iteration extension of symmetric powers

In this post, an answer claims that the normal bundle of the Veronese decomposes into a filtration, such that the associated graded is $$\bigoplus_{i=2}^d S^i T,$$ where $T$ is the tangent bundle. But ...
maxo's user avatar
  • 79
1 vote
0 answers
81 views

Algebraizable image of a morphism of Galois cohomology stacks

Assume I have a surjective morphism of algebraic group schemes over $\mathbb{Q}_p$, $\mathcal{G}\longrightarrow S$, equipped with a section, and assume both of these group schemes are equipped with an ...
kindasorta's user avatar
  • 2,123
0 votes
1 answer
177 views

Equivariant sheaves on $\mathbb P^1$

Let $K(\mathbb P^1)$ be the Grothendieck group of sheaves on $\mathbb P^1$. I want to show that the map $K^{{\rm PGL}(2)\times \{\pm 1\}}(\mathbb P^1) \to K(\mathbb P^1)$ is not onto. I read somewhere ...
Yellow Pig's user avatar
  • 2,540
2 votes
1 answer
377 views

Pullback of a vector bundle extension class

Let $ X $ be a variety with an automorphism $ \phi : X \rightarrow X $. Suppose there is a short exact sequence of vector bundles $ 0 \rightarrow F \rightarrow E \rightarrow G \rightarrow 0 $ on $ X $ ...
Cranium Clamp's user avatar
2 votes
0 answers
191 views

The conormal sheaf is the sheaf of sections of the conormal bundle for smooth manifolds

$\def\sO{\mathcal{O}} \def\d{\mathrm{d}}$In ringed spaces theory, there is a notion of “conormal sheaf of an immersion” (mainly used in scheme theory), whereas in smooth manifold theory, there is the ...
Elías Guisado Villalgordo's user avatar

1
2 3 4 5
24