**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

247 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

76 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

94 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

139 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

554 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

57 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

649 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

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

**6**

votes

**2**answers

357 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

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

**4**

votes

**0**answers

119 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

169 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

117 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

268 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

345 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

196 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

142 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

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

**2**

votes

**1**answer

98 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

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

**2**

votes

**1**answer

192 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

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

**1**

vote

**0**answers

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

**6**

votes

**1**answer

247 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

43 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

113 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

118 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

797 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

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

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

**0**

votes

**0**answers

115 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

222 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? ...

**5**

votes

**0**answers

139 views

### Non trivial rank 2 holomorphic vector bundles in complex dimensions greater than or equal 2

Does every compact complex manifold of complex dimension greater than or equal two
possess a nontrivial rank 2 holomorphic vector bundle?

**4**

votes

**0**answers

126 views

### No irreducible parallelizable manifold of given dimension

What is an example of a closed 4-manifold $M$ such that $M$ is parallelizable and $M$ is topologically (or at least smoothly) irreducible?
Topological irreducible: it is not homemorphic to ...

**1**

vote

**1**answer

213 views

### realization map for K-theory of spheres

Let $\overset{\sim}{K}(X)$ and $\overset{\sim}{KO}$ denote the reduced stable isomorphic classes of complex and real bundles over X and $\rho$ be the realization map. We know that ...

**6**

votes

**0**answers

164 views

### Simplicity of a rank 2 vector bundle over a principally polarized abelian surface

Let $A := \textrm{Jac}(C)$ be the Jacobian of a genus $2$ curve $C$, with principal polarization $\Theta$.
Studying some branched covers of $A$, I was led to consider some rank $2$ holomorphic ...

**1**

vote

**1**answer

164 views

### Orientability of Surfaces and the Fundamental Group [closed]

Let $(M,g)$ be a compact riemannian 3-manifold and $\Sigma \subset M$ an embedded compact surface homeomorphic to the projective plane. Consider the application $i_\#:\pi_1(\Sigma)\to \pi_1(M)$ given ...

**1**

vote

**0**answers

119 views

### addition on an affine scheme [closed]

At the Brenner's introduction to the geometric view of the tight closure the author states that an affine scheme has a natural addition (this addition will be extended to the vector bundles). I wonder ...