Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Recall the usual definition of a $k$-dimensional vector bundle (everything is assumed to be continuous/smooth/etc depending on the category):

A $k$-dimensional vector bundle is a triple $(E,B,\pi)$, where $\pi\colon E \to B$, satisfying the following:

    a) The map $\pi$ is onto (I don't know if everyone requires this, but I will).

For each $p\in B$:

    b) The fiber $E_p=\pi^{-1}(p)$ is a (real) vector space.

    c) There's a neighborhood $U\ni p$ and a diffeomorphism $\phi\colon \pi^{-1}(U) \to U \times \mathbb{R}^k$ such that $P_1\circ \phi = \pi$, where $P_1$ is projection onto the first factor.

    d) for each $q\in U$, the restriction $\phi\colon E_q \to {q}\times \mathbb{R}^k$ (where $\phi$ is the diffeomorphism from c)) is a linear isomorphism.

My Question

Can d) be replaced with

    d') the restriction $\phi\colon E_p \to {p}\times \mathbb{R}^k$ is a linear isomorphism.

Edit: In the original version, the restriction of $\phi$ to every fiber over $U$ must be a linear isomorphism. In the alternate version, this is only required for the single fiber $E_p$.

share|improve this question
6  
I don't think this might work. The point of a vector bundle is that the fibers should be parameterized in a smooth (or continuous) way. If you weaken d) like you do above you are basically throwing this parameterization away. But those are only my 2 cents, I cannot enforce this opinion of mine with actual counterexamples. –  Giuseppe Negro Jan 28 '13 at 18:54
    
Can you be more specific about what it is you're changing between (d) and (d')? To me it looks like the only thing you've dropped is the phrase "for each $q \in U$", but as (I assume) $\phi$ is defined to be the map $\pi^{-1}(U) \to U \times \mathbb R^k$ from (c), and hence depends on $U$, I'm not sure what you mean by dropping this condition. –  Jim Jan 29 '13 at 7:16

1 Answer 1

up vote 2 down vote accepted

(The following is an elaboration of Martin Brandenburg's answer to the MO cross-post of this question.)

The answer to my question, as the counterexample below shows, is no.

Consider the canonical projection $\pi$ from $E:=[0,1]\times \mathbb{R}$ to $[0,1]$. For $t\neq1/2$. Equip the fiber $E_{1/2}=\{1/2\}\times\mathbb{R}$ with the "twisted" vector space structure induced by any nonlinear homeomorphism $f\colon \mathbb{R}\to\mathbb{R}$ (such as $x\mapsto x^3+x$)---in other words, define $x+'y:=f^{-1}(f(x)+f(y))$ and $r\cdot'x:=f^{-1}(rf(x))$. Equip the each of the other fibers $E_t=\{t\}\times \mathbb{R}$ with the standard vector space structure inherited from $\mathbb{R}$.

This clearly satisfies the alternate definition of a vector bundle---when $t\neq 1/2$, take $\varphi$ to be identity, and when $t=1/2$, take $\varphi$ to be $\operatorname{id}\times f$. However, this does not satisfy the actual definition of a vector bundle. To see this, suppose we have a local trivialization (the original type, not my alternate type) $(\varphi,U)$ near $1/2$. Let $\varphi_2$ be the second component of $\varphi$.

For $t\neq 1/2$, the slice $\varphi_2(t,-)$ is a continuous linear automorphism of the (standard) reals and therefore must be of the form $\varphi_2(t,x)=h(t)x$ for some nonzero $h(t)\in \mathbb{R}$. The continuity of $\varphi_2$ then requires that $h$ be continuous where it's defined.

When $t=1/2$, the slice $\varphi_2(1/2,-)$ is still a continuous linear isomorphism, but this time it's from the "twisted" real numbers $E_{1/2}$ to the standard reals. But by construction, $f$ is also such an isomorphism. So, composing $\varphi_2(1/2,-)$ with $f^{-1}$ gives a continuous linear automorphism of the reals and hence is of the form $\varphi_2(1/2,f^{-1}(u))=cu$ for some nonzero $c\in\mathbb{R}$. Thus, $\varphi_2(1/2,x)=\varphi_2[1/2,f^{-1}(f(x))]=cf(x)$.

Combining the above two results, we have $$\varphi_2(t,x)= \begin{cases} cf(x), &\text{if }t=1/2,\\ h(t)x, &\text{if }t\neq 1/2. \end{cases}$$ So, since $\varphi_2$ is continuous, $$f(x)=\frac{1}{c}\varphi_2(1/2,x)=\frac{1}{c}\lim_{t\to1/2}\varphi_2(t,x)=\frac{1}{c}\lim_{t\to1/2}h(t)x = \left(\frac{1}{c}\lim_{t\to1/2}h(t)\right)x.$$ In other words, $f$ is linear, contradicting the fact that it isn't.

share|improve this answer

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.