**5**

votes

**2**answers

329 views

### Topological K-theory for commutative C*-algebras

It is in some sense folklore that given two arbitrary abelian groups $G,H$ one can find a $C^*$ algebra $A$ such that $K_0(A)=G$ and $K_1(A)=H$. My question is the following: what is known in the case ...

**60**

votes

**3**answers

6k views

### Intuitive explanation for the Atiyah-Singer index theorem

My question is related to the question Explanation for the Chern Character to this question about Todd classes, and to this question about the Atiyah-Singer index theorem.
I'm trying to learn the ...

**47**

votes

**3**answers

3k views

### Why do Todd classes appear in Grothendieck-Riemann-Roch formula?

Suppose for some reason one would be expecting a formula of the kind
$$\mathop{\text{ch}}(f_!\mathcal F)\ =\ f_*(\mathop{\text{ch}}(\mathcal F)\cdot t_f)$$
valid in $H^*(Y)$ where
$f:X\to Y$ is a ...

**11**

votes

**5**answers

1k views

### Can always a family of symmetric real matrices depending smoothly on a real parameter be diagonalized by smooth similarity transformations?

This question is related to another question, but it is definitely not the same.
Is it always possible to diagonalize (at least locally around each point) a family of symmetric real matrices $A(t)$ ...

**2**

votes

**0**answers

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

**62**

votes

**4**answers

3k views

### Parallelizability of the Milnor's exotic spheres in dimension 7

Are the Milnor's seven dimensional exotic spheres parallelizable?

**30**

votes

**9**answers

9k views

### What are some open problems in algebraic geometry?

What are the open big problems in algebraic geometry and vector bundles?
More specifically, I would like to know what are interesting problems related to moduli spaces of vector bundles over ...

**31**

votes

**4**answers

3k views

### Using linear algebra to classify vector bundles over P^1

There is a theorem of Grothendieck stating that a vector bundle of rank $r$ over the projective line $\mathbb{P}^1$ can be decomposed into $r$ line bundles uniquely up to isomorphism. If we let $\...

**32**

votes

**3**answers

2k views

### When is a submanifold of $\mathbf R^n$ given by global equations?

Let $M \subset \mathbf R^n$ be a (smooth) submanifold of dimension $d$. Under which conditions does there exist global equations defining $M$? By global equations I mean : does there exist a smooth ...

**16**

votes

**4**answers

3k views

### Extending vector bundles on a given open subscheme

Many people seem to know the following. Personally, I don't quite understand it though and maybe I'm wrong. It's the fact that "a vector bundle on an open subscheme extends in only one way to a vector ...

**11**

votes

**3**answers

1k views

### Are schemes that “have enough locally frees” necessarily separated

Let me motivate my question a bit.
Thm. Let $X$ be a locally noetherian finite-dimensional regular scheme. If $X$ has enough locally frees, then the natural homomorphism $K^0(X)\longrightarrow K_0(X)...

**6**

votes

**5**answers

2k views

### Vanishing of Euler class

Given a real oriented vector bundle E over the base space B of rank n, such that the Euler characteristic class in the n-th cohomology group of B vanishes, is it true that there exists a global ...

**17**

votes

**3**answers

2k views

### Is the category of vector bundles over a topological space abelian?

Consider the trivial bundle $V=\mathbb{R}\times\mathbb{R}$ and the map $f:V\rightarrow V$ given by $(t,x)\mapsto(t,tx)$. This has fibrewise kernels and cokernels, but the ranks jump at 0, so the ...

**13**

votes

**1**answer

1k views

### A question on classification of almost complex structures on $4$-manifolds

I have a (basic?) question in topology.
Question 1. Is it possible to characterise compact $4$-manifolds $M^4$, such that almost complex structures on $M^4$ are uniquely defined up to homotopy by ...

**13**

votes

**3**answers

2k views

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

I have a question about vector bundles on the algebraic surface $\mathbb{P}^1\times\mathbb{P}^1$. My motivation is the splitting theorem of Grothendieck, which says that every algebraic vector bundle ...

**14**

votes

**3**answers

1k views

### what is a spinor structure?

There are of course lots of definitions and references for this, but in the same way that, on a manifold $M$,
a Riemannian metric is a section of positive definite symmetric bilinear forms on $TM$
...

**17**

votes

**1**answer

509 views

### Does the holonomy map define a homomorphism $\pi_k(X)\to\pi_{k-1}(Hol(\nabla))$?

Consider a vector bundle $V\to E\to X$ with fiber $V$, with structure group $G$, and $X$ path-connected. Consider a connection $\nabla$ on $E$. Then for any loop $L$ in $X$, based at $p$, we have a ...

**10**

votes

**2**answers

672 views

### Configuration spaces and non homeomorphic vector bundles

Given two complex line bundles over the complex projective line ${\mathbb CP}^1$, prove or disprove that their total spaces are homeomorphic if and only if their Chern numbers are equal up to sign.
...

**8**

votes

**1**answer

617 views

### “Vector bundle” with non-smoothly varying transition functions

I'm working my way through Lang's Fundamentals of Differential Geometry, and when he introduces vector bundles, he states that for finite dimensional bundles, the third axiom is redundant. I'm hoping ...

**7**

votes

**2**answers

483 views

### Generalising the Penrose Twistor Fibration

As is well known, there exists a fibration $\mathbb{CP}^3 \to S^4$, of the four sphere by complex projective $3$-space, called the Penrose twistor fibration. Does this fibration admit a "canonical" ...

**6**

votes

**1**answer

917 views

### Does a Trivial Tangent Bundle Induce a Multiplication?

Let $M$ be a connected smooth manifold, and assume that it is parallelisable; that is, its tangent bundle is trivial. Does $M$ admit an H space structure? That is, does there exist a smooth map $\mu:...

**3**

votes

**1**answer

97 views

### Involution on the set of isomorphism classes of 2n-dimensional vector bundles induced by an involution of $O(2n)$

Denote by $\varphi$ the automorphism of $O(2n)$ given by $\varphi (A)=det(A)\cdot A$.This induces a self-map $B\varphi$ of $BO(n)$, so it induces a self-map (actually an involution)
$B\varphi ^*$ on $[...

**17**

votes

**5**answers

1k views

### A ring such that all projectives are stably free but not all projectives are free?

This question is motivated by this recent question. Suppose $R$ is commutative, Noetherian ring and $M$ a finitely generated $R$-module. Let $FD(M)$ and $PD(M)$ be the shortest length of free and ...

**14**

votes

**6**answers

1k views

### Does every vector bundle allow a finite trivialization cover?

Suppose there is a vector bundle (smooth, with constant rank finite-dimensional fibres) over a (smooth, second-countable, Hausdorff, not necessarily connected) manifold $B$ of dimension $n$.
(a) Is ...

**10**

votes

**1**answer

533 views

### Is every closed embedded codimension-n submanifold cut out by a section of a rank-n vector bundle?

Let $M$ be a smooth manifold (over $\mathbb R$) and $N \hookrightarrow M$ a closed embedding. Locally near any point in $N$, I can find coordinates $x^1,\dots,x^{\dim M}$ on $M$ so that $N$ is the ...

**9**

votes

**3**answers

906 views

### How do I describe the GL_n torsor attached to a smooth morphism of relative dimension n?

Edit: It seems I had two different constructions mixed up in my head, namely the frame torsor and the automorphism bundle of a vector bundle. This made the main question a bit confusing. The first ...

**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, $\...

**7**

votes

**2**answers

146 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?

**6**

votes

**1**answer

423 views

### Classifying Globally Generated Holomorphic Line Bundles over a Flag Manifold

I was recently looking back at an old question of mine, where I asked about the classification of the line bundles over a general complex flag manifold. Pavel Etingof gave the following excellent ...

**5**

votes

**6**answers

2k views

### Differences between reflexives and projectives modules

Let R be a normal noetherian domain.
What is the difference between a finitely generated reflexive module and a finitely generated projective module?
Can anybody recommend any references or make ...

**5**

votes

**1**answer

768 views

### Orthogonal complements in Hilbert bundles

It's a standard fact that for a finite-dimensional vector bundle with an inner product, the othogonal complement of any subbundle is itself a locally trivial vector bundle.
What is known about the ...

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

**3**

votes

**2**answers

214 views

### Kernel of an integrable holomorphic dee-bar connection is a holomorphic vector bundle

I'm looking for references for the following fact, to pass on to a grad student. I think I can prove it, but it is a bit sloppy and I'd rather have something which is already written up.
Let $X$ be a ...

**2**

votes

**1**answer

279 views

### When is restriction an equivalence of categories of equivariant vector bundles?

Suppose a (linear algebraic) group $G$ acts on a variety $X$ and that $U$ is a $G$-invariant open subvariety. My question is: under what conditions is the restriction functor
$i^*: Vect^G(X) \...

**2**

votes

**2**answers

334 views

### How to compute the index of such operator?

Let $M$ be a compact Riemannian manifold, with $R$ nowhere-vanishing vector field on $M$(whose orbit may be closed/ not closed). $E$ and $F$ are two vector bundle (Edit: which are sub-bundles of $\...

**5**

votes

**1**answer

475 views

### Spaces over which every vector bundle is a summand of the trivial bundle

Let X be a Hausdorff space such that every real vector bundle on X is summand of a trivial bundle. Does this imply that X is homotopy equivalent to a compact Hausdorf space? This question ...

**4**

votes

**1**answer

305 views

### Totally non parallelizable manifold

Does there exist a manifold M which all iterated tangent bundles are non parallelizable manifolds? That is$ M, TM , T^2(M), \ldots ,T^n(M)\ldots$ are non parallelizable manifold?
What is ...

**3**

votes

**0**answers

48 views

### Determinant twist and $Pin _{\pm}$ structure on $4k$-dimensional bundles [Reference request]

Consider the automorphism $\varphi$ of $O(2n)$ given by $\varphi (A)=det(A)\cdot A$. The induced map in cohomology $H^*(BO(2n))$ sends $w_2$ to $w_2+(n+1)w_1^2$ (a proof is given at the end of the ...

**3**

votes

**0**answers

143 views

### Paracompactness and inner product on vector bundles

Let $X$ be a Hausdorff topological space. It is well-known that every vector bundle on $X$ possesses a continuous inner product, provided that $X$ is paracompact.
Is the converse true? -- Namely ...

**1**

vote

**1**answer

107 views

### Are these two bundles, stably equivalent?

Let $(E,M,p)$ be a n dimensinal smooth vector bundle where $M$ is a k dimensional manifold. We assign to $M$, two different vector bundles $F_{1}$ and $F_{2}$ over $M$ as follows:
1)$TE$ is a ...

**1**

vote

**1**answer

356 views

### Deformations of holomorphic/algebraic vector bundles over $\mathbb{P}^3$

I would like to know what can be said about (global) deformations of holomorphic/algebraic rank two vector bundles on $\mathbb{P}^3$. I am particularly interested in the case of topologically trivial ...

**1**

vote

**1**answer

255 views

### Possible homotopy-theoretical approach to Gauss-Bonnet

Consider a vector bundle $V\to E\to X$ with fiber $V$, with structure group $G$, and $X$ path-connected. Consider a connection $\nabla$ on $E$. Then for any loop $L$ in $X$, based at $p$, we have a ...

**1**

vote

**0**answers

268 views

### The “Rolle theorem” for sections of a vector bundle

1) Assume that $E\to M$ is a smooth real vector bundle and $\nabla$ is a connection. (We do not assume any metric compatibility since we do not fix a metric on $E$). Assume that ...

**0**

votes

**0**answers

110 views

### A question on tangent bundle (and second tangent bundle)

Let $M$ be a $n$ dimensional manifold and $p:TM\to M$ be the projection map. Then $\ker Dp$ is a $n$ dimensional vector bundle on $TM$, as a sub bundle of $TT(M)$.
For what type of manifolds, ...