**3**

votes

**2**answers

478 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

294 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

91 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 E(...

**0**

votes

**0**answers

94 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

287 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 ...

**9**

votes

**2**answers

507 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

62 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

249 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

214 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

50 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

295 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

79 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

95 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

140 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 $E\...

**6**

votes

**4**answers

567 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

59 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 ...

**41**

votes

**0**answers

657 views

### Vector bundle $L$ admits connection if and only if degree of every direct summand of $L$ divisible by $\text{char}\,k$, intuition

Consider the following theorem of Atiyah.
Let $X$ be a connected smooth projective curve over an algebraically closed field $k$. Then a vector bundle $L$ on $X$ admits a connection if and only if ...

**1**

vote

**0**answers

88 views

### Pull back of a semistable vector bundle to a product is semistable?

Let $X$ be a smooth projective surface over $\mathbb{C}$. Let $L$ be an ample line bundle on $X$. Let $F$ be a $\mu_L$ semistable rank 2 vector bundle on $X$ (semistability in the sense of Mumford-...

**6**

votes

**2**answers

362 views

### Pullback along Frobenius morphism

Let $X$ be a scheme over a finite field $\mathbb{F}_q$ and let $F : X \to X$ be the absolute Frobenius morphism. If $\mathcal{L}$ is an invertible $\mathcal{O}_X$-module, then there is a natural ...

**4**

votes

**1**answer

142 views

### covering map from spheres to projective spaces and the associated vector bundle

Let $S^n$ be the $n$-sphere and consider a $2$-sheeted covering
$$
S^n\longrightarrow\mathbb{R}P^n.
$$
We have an associated vector bundle
$$
\xi: \mathbb{R}^2\longrightarrow S^n\times_{\mathbb{Z}/2}\...

**4**

votes

**0**answers

122 views

### Extend a vector bundle on a flat family

Let $f: X\to T$ be a flat family, and $\mathcal{F}_t$ is a vector bundle on $X_t$ for some $t\in T$. Can this $\mathcal{F}_t$ be extended to a vector bundle $\mathcal{F}$ on $f^{-1}(U)$ for some open ...

**7**

votes

**1**answer

162 views

### classifying maps of Whitney sums of vector bundles

For an $n$-dimensional vector bundle $\xi$ with structure group $G\leq O(n)$ over a $CW$-complex $B$, we have a classifying map up to homotopy
$$
f(\xi): B\longrightarrow BG,
$$
$f(\xi)\in [B;BG]$, ...

**8**

votes

**0**answers

171 views

### Which map realizes the isomorphism $KO_n(X)\otimes \mathbb{Q}\to \bigoplus_{i\in\mathbb{Z}}H_{n-4i}(X;\mathbb{Q})$?

The description of the real $KO$-homology groups $KO_n(X)$ can be given abstractly as maps to the real K-theory spectrum $KO$ smash $X$, or via triples $(M,x,\phi)$ where $M$ is a closed manifold, $\...

**4**

votes

**1**answer

118 views

### Vector bundles with symmetric perfect form

Let $X$ be a smooth projective curve, and $E$ a vector bundle on $X$ such that there exist a bilinear perfect symmetric form $$E\otimes E\rightarrow \mathcal O_X$$
When I see $E$ as a $GL_r$ ...

**6**

votes

**1**answer

272 views

### Why do we need ampleness in the definition of stability/semistability

This is a general question that I have. Let $X$ be a projective variety over an algebraically closed field $k$. Let $L$ be an ample line bundle over $X$. Let $F$ be a vector bundle on $X$. We say that ...

**7**

votes

**1**answer

356 views

### Zero scheme of global sections of vector bundles on affine varieties

I want to understand better the notion of zero scheme of a section of a vector bundle. For simplicity I will consider the case of affine varieties.
Let $\mathbb{K}$ be an algebraically closed field, $...

**15**

votes

**1**answer

202 views

### Smooth manifolds as idempotent splitting completion

The nlab has a particularly interesting thing to say about the category of smooth manifolds: it is the idempotent-splitting completion of the category of open sets of Euclidean spaces and smooth maps.
...

**4**

votes

**1**answer

143 views

### Semistability of principal bundle vs vector bundle

Ramanathan has defined the semistability of a principal $G-$bundle $E$ over a curve $X$ as follows:
$E$ is semistable iff for any parabolic subgroup $P\subset G$, for any reduction of the ...

**8**

votes

**2**answers

857 views

### Is every vector bundle over a noncompact finite-dimensional manifold a summand of a trivial bundle?

In the notes of Vector Bundles and K-theory by Prof Allen Hatcher, on page 12 he proved a Proposition that for each vector bundle $E\to B$ with $B$ compact hausdorff there exists a vector bundle $E'\...

**2**

votes

**1**answer

102 views

### Dimension of Quot scheme of zero dimensional quotients of a locally free sheaf

Given a locally free sheaf $E$ of rank $r$ on a (smooth, projective, algebraic) surface, I want to know the dimension of the scheme parametrizing the zero-dimensional (meaning they have zero ...

**4**

votes

**1**answer

227 views

### A question on complex line bundle over $S^{2}$

Consider the trivial bundle $\epsilon_{2}=S^{2}\times \mathbb{C}^{2}$ with the standard Hermitian inner product $<(a,b), (c,d)>=a\bar{c}+b\bar{d}$.
Assume that $\ell$ is a sub line bundle of ...

**1**

vote

**1**answer

119 views

### triviality of a $2$-sheeted covering map and the triviality of the associated vector bundle

Let $ X$ be a space with a (free and properly discontinuous) $\mathbb{Z}/2$-action and $$p: X\to X/(\mathbb{Z}/2) $$ be a $2$-sheeted covering map. Then we have an associated vector bundle
$$
\xi: \...

**3**

votes

**0**answers

108 views

### line bundle on affine grassmannian and central extension

Let $G$ be a connected reductive group over $\mathbb{C}$, let $Gr$ be the affine grassmannian of $G$. On $Gr$, we know that there is a canonical line bundle $L$ (the generator of $Pic(Gr)$).
Now $G(\...

**2**

votes

**1**answer

194 views

### Is this affine-subspace analogue of a Grassmannian a classifying space?

Let $AG_k(\mathbb{R}^N)$ be the "affine Grassmannian" consisting of $k$-dimensional hyperplanes (i.e. affine subspaces) in $\mathbb{R}^N$. Is there any relation between $AG_k(\mathbb{R}^N)$ and the ...

**4**

votes

**3**answers

196 views

### A natural embedding of the total space of tautological bundle over $G(2,n)$ in $G(2,n+1)$

I learned from the following post that the total space of the tautological line bundle over $\mathbb{R}P^{n}$ is diffeomorphic to $\mathbb{R}P^{n+1}\setminus \{pt\}$.(There is a natural embedding$([x]...

**1**

vote

**0**answers

130 views

### Twisting locally free sheaves in characteristic $p$

Let $X$ be an irreducible nodal projective curve over an algebraically closed field of characteristic $p>0$. Denote by $\pi:\tilde{X} \to X$ the normalization of $X$. Recall, the short exact ...

**4**

votes

**2**answers

263 views

### triviality of Whitney sums of a vector bundle

Let a $3$-dimensional subspace $V$ of $\mathbb{R}^4$ be $$V=\{(x_1,x_2,x_3,x_4)\in\mathbb{R}^4\mid\sum_{i=1}^4x_i=0\}.$$ The alternating group $A_4$ acts on $V$ by
$$\sigma(x_1,x_2,x_3,x_4)=(x_{\...

**6**

votes

**1**answer

252 views

### Vector bundles on open (affine) curves

It is well-known by Grothendieck (or earlier by Dedekind-Weber) that every vector bundle on $\mathbb{P}^1_k$ for $k$ a field decomposes into a sum of the line bundles $\mathcal{O}(k)$.
As ...

**3**

votes

**0**answers

45 views

### Is the unit bundle of a Finsler vector bundle a sphere bundle?

I asked this at mathstackexchange but got no answer, so I am trying here.
Let $E$ be a Finsler vector bundle* of rank $k$ over a manifold $M$. Does the unit "bundle" $UE$ admits a structure of a ...

**3**

votes

**0**answers

115 views

### Dimension of the singular locus of $\mathcal M_X(r,d)$

Let $X$ be an algebraic smooth curve of genus $g$ over $\mathbb C$, and let $\mathcal M_X(r,d)$ (resp $\mathcal M_X^0(r)$) be the moduli space of vector bundle of rank $r$ and degree $d$ (resp. with ...

**3**

votes

**1**answer

119 views

### Vector bundle with a perfect pairing and ($\mathbb Z/2$, $SL_r$)-bundle

I think this is a well knowing result but I can't find any reference,
Let $(E,q)$ be a vector bundle with a non degenerated quadratic form $q:E\rightarrow E^*$ with trivial determinant, suppose ...

**4**

votes

**0**answers

83 views

### Dual involution on the $Ext^1$

Let $X$ be a smooth algebraic curve over $\mathbb C$, and let $F$ be a vector bundle on it of degree $1$, take the dual of an extention $$0\rightarrow F^*\rightarrow E\rightarrow F\rightarrow0$$ is ...

**10**

votes

**3**answers

801 views

### Is there a notion of “flat vector bundle over a topological space”?

I am reading this paper and at the top of page 5 the author makes reference to categories consisting of flat complex vector bundles over $X$ where $X$ is an arbitrary topological space. However, the ...

**8**

votes

**3**answers

332 views

### Trivialisation of vector bundles on Stein spaces

Does every vector bundle on a Stein space have a finite local trivialisation?
Definitions:
Stein space means either a complex analytic Stein space or a nonarchimedean Stein space in the sense of ...

**1**

vote

**0**answers

92 views

### Bilinear form and double cover

Let $\pi:X\rightarrow Y$ be a double cover of curves (smooth and projective), and $E$ a vector bundle on $X$ with a non-degenerate symmetric bilinear form $\phi:E\otimes E\rightarrow \mathcal O_X$. ...

**5**

votes

**1**answer

201 views

### Stiefel-Whitney class of unordered configuration space

Let $S^m$ be the $m$-sphere and $$F(S^m,2)/\mathbb{Z}_2=\{(a,b)\mid a,b\in S^m, a\neq b\}/(a,b)\sim (b,a)$$ be the $2$-nd unordered configuration space on $S^m$. How to compute the total Stiefel-...

**4**

votes

**1**answer

216 views

### characteristic classes of tangent bundle of 2-nd unordered configuration space

Given a (real or almost complex) manifold $M$, Let the 2-nd unordered configuration space be the quotient space
$$
B(M,2)=(M\times M\setminus\ \Delta)/\ \mathbb{Z}_2
$$
where
$$
\Delta=\{(m,m)\mid m\...

**0**

votes

**0**answers

120 views

### Chern classes of ideal sheaf of locally complete intersection

Let $C\varsubsetneq X$ be a reducible locally complete intersection closed pure $1$-dimensional subscheme in a smooth projective variety of dimension $3$ over a algebraically closed field $k$ of ...

**3**

votes

**2**answers

224 views

### Connectedness of moduli of vector bundles

Let $X$ be a smooth projective variety. Given two vector bundles $V_1$ and $V_2$ such that $[V_1]=[V_2]\in K^0(X)$, can one expect that $V_1$ and $V_2$ can be connected by a family of vector bundles? ...