**6**

votes

**2**answers

206 views

### The Thom space of a Whitney sum of vector bundles

Let $\xi$ and $\eta$ be vector bundles over the same base space $X$. Their Whitney sum is a bundle $\xi\oplus\eta$ over $X$. I read somewhere (without proof) that its Thom space is given by
$$
...

**3**

votes

**0**answers

104 views

### “Parameterising” extensions $0\to E\to W\to F\to 0$ by $\mathbb P(H^1(E\otimes F^*))$?

Let $X$ be a complex projective manifold and $E$ and $F$ be holomorphic vector bundles on $X$. The extensions of $F$ by $E$ are classified by elements $e\in H^1(E\otimes F^*)$. On the other hand, for ...

**1**

vote

**0**answers

69 views

### A family of rank two bundles on $\mathbb CP^1$ parameterized by $H^1(O(-2n))$

Let $n$ be a positive integer. Consider the family of extensions
$$0\to O(-n)\to E\to O(n)\to 0,$$
parameterized by $H^1(O(-2n))$. For each element $e\in H^1(O(-2n))$ we get a rank two bundle $E$ ...

**3**

votes

**1**answer

204 views

### Confusion surrounding the Koszul-Malgrange theorem

I recently had the need to appeal to some complex geometry in my research and have been trying to unravel the various relationships surrounding the Koszul-Malgrange theorem.
According to nlab, the ...

**6**

votes

**1**answer

231 views

### Closed formulas for topological K-theory?

Let $X$ be a compact manifold. I'm interested in whether any of the following cases admits a general closed formula for (complex)-$K$-theory. Let $E$ be a complex vector bundle with a given line ...

**0**

votes

**1**answer

63 views

### Can we always extend a vector bundle on an open subset of a ringed space with soft structure sheaf?

Let $(X,\mathcal{O}_X)$ be a ringed space with soft structure sheaf. Moreover let $X$ be paracompact.
Let $U$ be an open subset on $X$ and let $E$ be a finite dimensional vector bundle on $U$, i.e. ...

**1**

vote

**0**answers

84 views

### Orders of zeros of section of sheaf

We have a semistable family (fibers has normal crossings and they are reduced, multp 1) $f: X \rightarrow Y,$ of complex curves over a smooth curve $Y.$ The family is smooth over the set ...

**4**

votes

**1**answer

73 views

### Locally nilpotent algebraic section of tangent bundle is complete?

Suppose $X$ is a smooth affine algebraic variety over $\mathbb{C}$ and let $V$ be an algebraic vector field (i.e. an algebraic section of the tangent bundle). If $V$ is locally nilpotent, meaning that ...

**6**

votes

**1**answer

181 views

### Very stable vector bundles

Let $X$ be a smooth curve, and $E$ a rank $r$ vector bundle over $X$, $E$ is said very stable if every nilpotent map $$u:E\rightarrow E\otimes K_X$$ is zero (nilpotent means that the composition ...

**8**

votes

**2**answers

404 views

### Moduli space of (all) vector bundles on $\mathbb{P}^1$

It is well known that, by a theorem of Grothendieck, every vector bundle (always assumed coherent in this question; and everything is over the complex numbers) splits as a direct sum of line bundles.
...

**1**

vote

**1**answer

74 views

### Triviality of a circle fibration induced by an almost complex structure

Let $E→M$ be a plane bundle endowed with an almost complex structure $J.$
$J$ induces a natural positive definite inner product in the associated bundle $End(E)→M$,denoted by $<,>$. More ...

**3**

votes

**2**answers

234 views

### Borel--Bott--Weil for the Grassmannians

The Borel--Bott--Weil Theorem is usually stated for the complete flag manifold of $SU(N)$. Does an analogue hold for the other flags, for example the Grassmannians?
More precisely, suppose $G(\mathbf ...

**3**

votes

**0**answers

68 views

### How to visualize the dual objects of jets of functions?

I work with a smooth $f: M \to \Bbb C$ and I would like to have an object mimicking the concept of "$k$-th order differential" from multivariate calculus. For various reasons that are not important ...

**2**

votes

**1**answer

162 views

### Tangent bundle of a homogeneous space and the euler exact sequence

Let $H \subset G$ be a closed subgroup of a lie group and $G/H$ the homogeneous coset space. There's an exact sequence of adjoint representations of $H$:
$$0 \to \mathfrak{h} \to \mathfrak{g} \to ...

**5**

votes

**1**answer

95 views

### Isomorphism classes of differential rank $k$ vectors bundles over $S^q$ [closed]

Could anybody provide a motivated sketch of why the isomorphism classes of the differentiable rank $k$ real vector bundles over the sphere $S^q$ are given by$$\text{Vect}_k(S^q) \simeq \pi_{q - ...

**3**

votes

**1**answer

54 views

### vector bundles induced by an action of a finite subgroup of $O(n)$

Let $M$ be a path-connected manifold. Let $G$ be a finite subgroup in $O(n)$ and suppose $G$ acts freely on $M$. Then we have an associated vector bundle
$$
\xi(M,G): \mathbb{R}^n\longrightarrow ...

**0**

votes

**0**answers

90 views

### Action on algebraic variety and adjoint bundles

Let $X$ be a complex algebraic variety and let $G$ be a complex algebraic group; I mean that $X$ is a reduced, separated scheme of finite type on $\operatorname{Spec}\mathbb{C}$, and the underlying ...

**6**

votes

**1**answer

134 views

### non-orientability of vector bundles induced from a symmetric group action

Let $\Sigma_k$ be the symmetric group on $k$-letters. Let $M$ be a manifold with a free $\Sigma_k$-action. Then we can form a $k$-dimensional vector bundle
$$
\xi:\mathbb{R}^k\longrightarrow ...

**9**

votes

**2**answers

206 views

### non-triviality of the underlying real vector bundle of the complexification of a real vector bundle

Let $M$ be a given manifold and $\xi$ be a given $k$-dimensional vector bundle over $M$. How to determine whether the underlying real vector bundle of $\xi\otimes\mathbb{C}$, i.e. the Whitney sum ...

**11**

votes

**1**answer

222 views

### Property of bundles with connections on abelian variety doesn't hold for additive or multiplicative group?

This question is a followup to two of my previous questions, see here and here.
Let $A$ be an abelian variety over a field $k$ of characteristic $0$. How do I prove, without using ...

**2**

votes

**0**answers

407 views

### On Eigenspace of a Bundle Map which is the horizontal part of a complex structure on $TM$

Let $(M^{n+m},g)$ be a Riemannian manifold and let $\mathcal{H}(TM) \subseteq TTM$ be the horizontal space associated to the Levi-Civita connection of $g$. Let $\bar{J} : TTM \longrightarrow ...

**7**

votes

**2**answers

137 views

### Tangent bundle of smooth closed simply-connected $4$-manifold $w_1 = w_2 = 0$ can be trivialized in complement of point?

Let $M$ be a smooth closed simply-connected $4$-manifold with $w_1 = w_2 = 0$. Can $TM$ be trivialized in the complement of a point?

**13**

votes

**1**answer

235 views

### Do vanishing characteristic classes of the tangent bundle imply a manifold is stably frameable?

Suppose we know that all stable characteristic classes of the tangent bundle of a manifold $M$ vanish, i.e. the map $f:M\rightarrow BO$ stably classifying the tangent bundle is trivial on cohomology, ...

**4**

votes

**0**answers

154 views

### Representation theory and associated bundles

I am looking for a text or set of notes that discusses the relationship between the representation theory of Lie groups and associated vector bundles, preferably using modern categorical language. For ...

**7**

votes

**1**answer

271 views

### When is a general sheaf (on the projective plane) globally generated?

Let $v$ be a chern character on $\mathbb P^2$ so that the moduli of sheaves of chern character $v$ is non-empty of the expected dimension. When is it true that the general sheaf in moduli is globally ...

**5**

votes

**0**answers

96 views

### Flatness of Chern classes for flat family of sheaves

Let $Q$ be a quasi-projective $k$-scheme (not necessarily smooth), $X$ a smooth projective $k$-variety and $\mathcal E$ a family of (torsion free) sheaves on $X$ parametrized by $Q$. Suppose that ...

**1**

vote

**1**answer

115 views

### Transferring connection information to associated bundles and back

This might not be research level but I've tried more than once to ask about this in MSE and it got nowhere. So I thought It's fair to at least try.
At the risk of repeating well known stuff I tried ...

**4**

votes

**1**answer

204 views

### Stable vector bundles in Weil's parametrization

Let $C$ be a smooth projective algebraic curve. Isomorphism classes of vector bundles on $C$ are in bijection with $GL_n(F) \backslash GL_n (\mathbb{A}) / GL_n(\mathcal{O})$, I think (one trivalizes ...

**2**

votes

**1**answer

144 views

### the pfaffian-adjugate and its counterparts for matrices odd size

Let $R$ be a commutative ring (zero characteristic). Take a skew-symmetric matrix $A\in Mat^{skew-sym}(n,R)$.
If $n$ is even, then $\det(A)=Pf^2(A)$ and there exists the "Pfaffian adjugate/adjoint" ...

**4**

votes

**0**answers

159 views

### Cohomology and deformations of moduli of vector bundles

I believe that the following is well-known, but I cannot find a reference
in the literature...
Let $X$ be a smooth variety (in our case $X = M^s(r)$ coarse moduli space of stable rank $r$ vector ...

**0**

votes

**0**answers

70 views

### Horizontal vector fields and the push forward of the differential of the projection map

I am not very familiar with differential geometry but need to understand some aspects of it for my research. This includes in particular the notion of horizontal vector fields and I would like to ...

**0**

votes

**1**answer

160 views

### Triviality of certain vector bundles

Let $M$ be a smooth manifold and let $SM$ be the bundle of symmetric bi-linear forms on $TM.$ Riemannian metrics are a particular kind of sections in this bundle. Since any manifold admits a global ...

**1**

vote

**1**answer

175 views

### If the restriction of a vector bundle to a divisor is semi stable, then is the vector bundle itself semistable?

Let $X$ be a smooth projective variety of dimension $n$. Let $D$ be a smooth divisor of $X$. Let $i:D\hookrightarrow X$ be the inclusion. Let $H$ be an ample line bundle on $X$.
Let $E$ be a vector ...

**3**

votes

**2**answers

473 views

### Principal bundles that can't be detected by spheres

The question I'm trying to answer is the following:
Let $P \to X$ be a principal $G$-bundle (over a connected CW complex)
satisfying that all pullbacks to spheres (of arbitrary dimension) are
...

**6**

votes

**2**answers

285 views

### Global sections of coherent sheaves on determinantal hypersurfaces in $\mathbb{P}^n$

Let us consider the short exact sequence of coherent sheaves on $\mathbb{P}^n$ $$0 \to \mathcal{O}_{\mathbb P^n}(-1)^{r} \stackrel{N}{\longrightarrow} \mathcal{O}_{\mathbb P^n}^{r} \longrightarrow ...

**3**

votes

**1**answer

89 views

### self-Whitney sum of the canonical vector bundle on Grassmannians

Let $G_{k}(\mathbb{R}^N)$ be the Grassmannian manifold consisting of $k$-subspaces in $\mathbb{R}^N$. There is a canonical $k$-dimensional vector bundle
$$
\gamma_{k,N}: \mathbb{R}^k\longrightarrow ...

**0**

votes

**0**answers

92 views

### Sheaf of Sections of Cone

Fulton's intersection theory book at Chapter 4 makes the following claim: If $\mathcal{E}$ is a locally free sheaf (on $X$), and $E:=Spec(Sym(\mathcal{E}))$ a total space of some cone/bundle on $X$, ...

**8**

votes

**2**answers

276 views

### Maximal trivialising subspace for a vector bundle

Let $X$ be a locally compact Hausdorff space. Given a vector bundle $p: E\to X$, a subspace $Y$ of $X$ is called trivialising (for this bundle), if after restricting this bundle to $Y$, it is a ...

**8**

votes

**2**answers

489 views

### Vector bundles, finitely generated projective module?

Let $B$ be a Tychonoff space and let $\mathbb{R}(B)$ denote the ring of continuous real valued functions on $B$. For any vector bundle $\xi$ over $B$, let $S(\xi)$ denote the $\mathbb{R}(B)$-module ...

**2**

votes

**0**answers

59 views

### Determine the representation given by space of sections of symmetric products of cotangent bundle of projective plane

In a recent project, it was interesting for me to determine the $PGL(3)$ representation given by $H^0(S^2(\Omega(1)) \otimes \mathcal O(4))$ on $\mathbb P^2$. I did this by using the Euler sequence, ...

**3**

votes

**0**answers

173 views

### Vector bundle $\gamma^1$ over $\textbf{P}^\infty$ does not have finite type? [closed]

Using Stiefel-Whitney classes, how do I see that the vector bundle $\gamma^1$ over $\textbf{P}^\infty$ does not have finite type?

**5**

votes

**2**answers

241 views

### Relative Characteristic classes

A pair of vector bundles over a base space $X$ is a pair $(E,F)$ where $E$ is a vector bundle over $X$ and $F$ is a sub-bundle of $E$. Two pairs $(E_{1},F_{1})$ and $(E_{2}, F_{2})$ are ...

**19**

votes

**0**answers

212 views

### “High-concept” explanation for proof of a theorem of Ochanine?

See Akhil Mathew's notes on Ochanine's theorem for elliptic genera here and here.
Let $\phi: \Omega_{SO} \to \Lambda$ be a genus. We might ask when $\phi$ satisfies the following multiplicative ...

**4**

votes

**0**answers

47 views

### Isometry theorem, exists homeomorphism that carries each fiber isomorphically onto itself

Let $\mu$ and $\mu'$ be two different Euclidean metrics on the same vector bundle $\xi$. How do I see there exists a homeomorphism $f: E(\xi) \to E(\xi)$ which carries each fiber isomorphically onto ...

**3**

votes

**1**answer

294 views

### Tangent bundle of $S^2 \times S^1$ trivial or not [closed]

Is the tangent bundle of $S^2 \times S^1$ trivial or not?

**2**

votes

**0**answers

74 views

### Are “vector spaces” over a smooth scheme with constant fiber dimension locally free?

I've got the follow question which drives me almost crazy as the answer seems to be simple. Given a morphism $p:V\to S$ of schemes of finite type over some base field. Assume that $p$ has all the ...

**4**

votes

**0**answers

93 views

### Higher tangent bundles of manifolds with non integer dimension

One way to define the tangent space of a manifold at a point $p\in M$ is the following: We define an equivalent relation on the space of curves passing $p$ as follows: Two curves $\alpha, \beta$ are ...

**2**

votes

**0**answers

137 views

### Doubt on elementary transformations in the paper - On a family of algebraic vector bundles by Maruyama

Let $S$ be a surface. $C$ be a curve on $S$ and $i:C\hookrightarrow S$ is the inclusion. Let $E$ be a rank 2 vector bundle on $S$ and $F$ a line bundle on $C$. Suppose we have a surjection ...

**6**

votes

**4**answers

542 views

### What does “higher monodromy” tell us about a principal bundle

Let $P \to X$ be a principal $G-$bundle and let $f: X \to BG$ be its classifying map. As I understand there's some way to associate a monodromy representation $\pi_1(X) \to G$ to it. I know how to ...

**1**

vote

**1**answer

55 views

### Spaces of Killing spinors for different orientation

Simply put, I want to understand how a change of orientation on a Riemannian spin manifold can change the space of Killing spinors.
To be more precise:
Let $M$ be a spin manifold (i.e. the first and ...