Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

The proof that the set of classes of vector bundles is homotopy invariant relies on the paracompactness and the Hausdorff property of the base space. Are there any known examples of:

Non trivial vector bundles over a paracompact non-Hausdorff contractible space

Non trivial vector bundles over a Hausdorff non-paracompact contractible space

Non trivial vector bundles over a non-Hausdorff non-paracompact contractible space

share|improve this question
    
You can always use a nontrivial bundle over a sphere one point join with a trivial bundle over a space satisfying those properties to construct such example. –  Xiaolei Wu Sep 6 '12 at 18:16
    
@Xiaolei Wu: I'd like to hear more about this example. Suppose I want a non-trivial bundle over the Sierpinski space. What's the base space your comment would give? –  David White Sep 6 '12 at 19:58
    
@Xiaolei Wu: I guess by one-point join you mean the wedge of the two spaces, i.e. $B\vee B'$. This won't be contractible unless both pieces are, so by sphere I guess you mean $S^\infty$? Another problem is that there is no wedge sum of vector spaces, so why should the resulting thing be a vector bundle? –  David White Sep 6 '12 at 20:50
    
I tried to find an example with a finite base space and have concluded that I can't do it. My hope was to use non-Hausdorffness to make a bundle which was $\mathbb{R}$ on some component and $\mathbb{R}^2$ on another. Unfortunately, it seems that in order for a finite space to be contractible you need to know that there is one point whose only neighborhood is the whole space. That's bad, because then locally trivial implies trivial. I'll think it over some more later tonight. –  David White Sep 6 '12 at 21:50
    
David White, You are write. I was wrong. –  Xiaolei Wu Sep 6 '12 at 22:41
add comment

2 Answers

up vote 17 down vote accepted

Let $U$ and $V$ be two copies of the real line and make a space $X$ by gluing them by the identity along the strictly positive half-line: $x\in U$ equals $x\in V$ for $x>0$. Now make a rank one vector bundle over this space by taking a trivial bundle over each of the lines: glue $U\times\mathbb R$ to $V\times \mathbb R$ by identifying $(x,y)\in U\times\mathbb R$ with $(x,f(x)y)\in V\times\mathbb R$ for $x>0$. Let's choose the clutching function to be $f(x)=x$, or any other nowhere zero continuous function of positive real $x$ that cannot be extended to a nowhere zero function of all real $x$. Surely $X$ is contractible, but the bundle can't be trivial since the function $f:U\cap V\to GL_1(\mathbb R)$ cannot be expressed as the quotient of a function extendible to $U$ and a function extendible to $V$, since that would make it itself extendible to all of $\mathbb R$.

share|improve this answer
    
Did you mean to end in mid-sentence? –  Todd Trimble Sep 7 '12 at 5:09
    
No, thanks, fixed now. –  Tom Goodwillie Sep 7 '12 at 12:24
    
Thanks for your answer. This also deals with the non-paracompact non-Hausdorff case, using a suitable wedge sum with the trivial bundle over a non-paracompact contractible space, so only the Hausdorff non-paracompact case remains without an example. –  Ramón Barral Sep 7 '12 at 13:15
    
It's been a long time since I actively studied point-set topology, but isn't $\mathbb{R}^J$ for some uncountable $J$ an example of a space which is not paracompact? It seems like it should be Hausdorff, since it's a product of Hausdorff spaces. It also feels contractible, but maybe it's not. Anyway, it's the best I could come up with for a potential base-space to handle this last example. Another I thought of was the order topology $S_\Omega$ (see Munkres), and I also feel like it's contractible because it's not too long yet to be reeled in. –  David White Sep 7 '12 at 15:05
1  
Well, $\mathbb{R}^J$ is certainly contractible: the map $(t; x_1, x_2, \ldots) \mapsto (t x_1, t x_2, \ldots)$ is continuous. The long line however is not contractible; see here: mathoverflow.net/questions/35087/… –  Todd Trimble Sep 7 '12 at 16:50
add comment

Now that Tom Goodwillie has basically answered the question, I feel I can undelete my non-answer. I wrote this when I had misunderstood what the OP wanted, but I feel like it's worth putting out there for people to see. The point is to show how far you can go in developing the theory without the hypotheses of Hausdorff and paracompact.

You can define vector bundles in a great level of generality. Here is the most general approach I know, which I learned from Mark Hovey. Let $B$ be a topological space. A space over $B$ is a space $E$ and a continuous map $p:E\to B$, i.e. an element in the category $Top \downarrow B$. A vector space over $B$ is an object $V$ of this category together with a field $F$ and maps $+:V\times V\to V, \ast: F\times V\to V, (-1):V\to V$, and $0:pt \to V$ such that a bunch of diagrams commute. These are the diagrams for associativity of $+$ and $\ast$, commutativity for $+$, distributivity, identity, inverse, etc. As an example, here is the diagram which says $x+0=x$:

$\begin{array}{ccc} V & \rightarrow & V\times pt\\\ \\\ || & & \downarrow (id,0) \\\ \\\ || & & V\times V\\\ \\\ || & & \downarrow +\\\ \\\ V & = & V \end{array}$

The product of two vector spaces $p:E\to B$ and $p':E'\to B$ is the pullback $E\times_B E'\to B$. It is an easy exercise to deduce from the axioms above that $p$ must be surjective. For all $b\in B$ define $F_b = p^{-1}(b)$. Note that for topological vector space $V$ you can form one of these vector spaces over $B$ by setting $E = V\times B$ (so all $F_b = V$) and $p$ to be projection. This is the trivial vector space over $B$. More generally, a vector space over $B$ is called trivial if there is an isomorphism in the category of spaces over $B$ between $E$ and $V\times B$ for some topological vector space $V$.

Given any $U\subset B$ with $i:U\hookrightarrow B$, one has a vector space over $U$, denoted $i^*(p)$, defined by $p:p^{-1}(U)\to U$. A vector bundle over $V$ is a locally trivial vector space over $B$, i.e. for all $b$ there is a neighborhood $U$ s.t. $i^*{p}$ is trivial.

Note that none of this development required any hypotheses on $B$. As the OP mentions, the proof of homotopy invariance of the functor $X\mapsto Vect(X)$ requires paracompactness, though it's not clear to me that it requires the Hausdorff property. Even without paracompactness you can still prove $Vect(X)$ is a contravariant functor and that for any bundle $p$ over $X\times I$ there are open sets $U\times I$ covering $X\times I$ over which $p$ is trivial (by the Lebesgue covering lemma, since $I$ is a compact metric space, and ordered). However, without partitions of unity you can't compare $i_0^*p$ with $i_1^*p$ and conclude that they are the same if there's a homotopy $H$ between $f=Hi_0$ and $g=Hi_1$. It seems to me that you really can't get away with less than partitions of unity, and this is the same as paracompactness. You might be able to push the theory a little bit further without the Hausdorff hypothesis, but you'll probably need the hypothesis eventually anyway in order to say nice things.

share|improve this answer
1  
Paracompactness is necessary in order that every locally trivial vector bundle is numerable = trivialisable over a numerable cover (i.e. a cover with a subordinate partition of unity). Numerable vector bundles on any space are classified by the usual classifying spaces. Since the universal vector bundle is numerable, and pulled back numerable bundles are trivial, this is necessary condition to have classification. However there should be locally trivial bundles that don't trivialise over a numerable cover that aren't classifiable. –  David Roberts Sep 8 '12 at 4:36
    
Interesting. This is an even further level of generality than I was aware of. Thanks for sharing. –  David White Sep 8 '12 at 16:25
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.