How to recognize a vector bundle?

Given a connected topological space $$E$$, under which conditions is it possible to find a subspace $$B$$ such that $$E$$ can be regarded as a (rank $$n$$) vector bundle over $$B$$?

Is it possible to find the conditions and the $$B$$‘s if one moves to the more rigid differentiable, holomorphic or algebraic setting?

What if we restrict to the case: dim $$E$$ = 2, dim $$B$$ = 1? When is a surface the total space of a line bundle?

MathOverflow Asked by user163840 on December 30, 2020

In smooth manifolds, Grabowski and Rotkiewicz - Higher vector bundles and multi-graded symplectic manifolds has a condition for when a monoid action $$(mathbb{R}^+, cdot, 1)$$ on a manifold $$E$$ induces a vector bundle structure where $$E$$ is the total space. I have a similar result in a recent paper (Vector bundles and differential bundles in the category of smooth manifolds), so that a morphism $$lambda:E to TE$$ induces a vector bundle where $$E$$ is the total space whenever $$lambda$$ satisfies some coherences and a certain pullback diagram (these are called differential bundles in a tangent category). The total space is obtained by splitting the idempotent $$p circ lambda:E to E$$, where $$p$$ is the tangent projection (it's a consequence of the coherences on $$lambda$$ that $$pcirc lambda$$ is an idempotent).

I don't know of any similar results that hold for general topological vector bundles, but I would be interested in seeing them!

The total space of a vector bundle is homotopy-equivalent to the base. Hence, for example, the only connected surfaces which are total spaces of real line bundles are the plane, the annulus and the Möbius strip.

Answered by Gael Meigniez on December 30, 2020

Related Questions

Are universal geometric equivalences of DM stacks affine?

0  Asked on January 17, 2021 by harry-gindi

Barycentric coordinates of weighted edges

0  Asked on January 17, 2021 by manfred-weis

Question on limit in probability of the ratio of max to min of 2 sequences of non-ive, continuous iid random variables with support $[0, infty).$

1  Asked on January 16, 2021 by learning-math

PhD dissertations that solve an established open problem

18  Asked on January 16, 2021

Commutant of the conjugations by unitary matrices

3  Asked on January 16, 2021 by jochen-glueck

Constructing intertwiners between representations of compact quantum groups

1  Asked on January 15, 2021

A certain property for Heegaard splittings

1  Asked on January 15, 2021 by no_idea

When have we lost a body of mathematics because errors were found?

10  Asked on January 14, 2021 by edmund-harriss

Prove that there are no composite integers $n=am+1$ such that $m | phi(n)$

1  Asked on January 13, 2021 by david-jones

Kernel of the map $mathbb{C}[G]^U to mathbb{C}[U^+]$

0  Asked on January 13, 2021 by jianrong-li

Finite fast tests for periodicity of certain matrices

1  Asked on January 12, 2021

Are these two kernels isomorphic groups?

0  Asked on January 12, 2021 by francesco-polizzi

Definition of subcoalgebra over a commutative ring

2  Asked on January 11, 2021 by user839372

Riesz Representation Theorem for $L^2(mathbb{R}) oplus L^2(mathbb{T})$?

0  Asked on January 10, 2021 by goulifet

Morphism of distinguished triangles where one of the arrows is a quasi-isomorphism

0  Asked on January 10, 2021 by stabilo

Cut points and critical points of the exponential map

0  Asked on January 9, 2021 by longyearbyen

Eigendecomposition of $A=I+BDB^H$

0  Asked on January 9, 2021 by user164237