0
$\begingroup$

This is probably not a research level question, I'm sorry if it is inappropriate. I'm reasking here this question on math.se.

Suppose that $\xi: E \to B$ is a bundle (by which I mean simply a continuous mapping), and there exists a manifold $F$ such that $\Gamma(\xi) \cong C(B, F)$ as sheaves over $B$ (here by $\Gamma$ I mean the sheaf of sections, and by $C$ I mean the sheaf of continuous functions from $B$ to $F$). Does this imply that $\xi$ is locally trivial? If the proof is simple, I would like a hint on where to start, otherwise I would like a reference that studies this and related topics in more detail, please.

UPD: I guess it boils down to whether a bundle $\xi: E \to B$ such that $\Gamma(\xi) \cong C(B, \mathbb{R}^n)$ is (locally) trivial, then one can take preimages of charts to obtain the cover of $B$ that I hope can be used in the proof, but not having really worked with sheaves before I'm not sure.

UPD: Please comment if you think this quesion should be retagged, rephrased, or something like that. Having received no comments whatsoever on both math.se and MO, I don't know what to think :(

Improve this question
$\endgroup$
3
  • 2
    $\begingroup$ I suspect that you haven't gotten comments, because people are unsure about meaning of the question. For example, could you please clarify what you mean by "bundle". Obviously it is something more general than a locally trivial fibre bundle. Is $C(B,F)$ the sheaf of continuous $F$-valued functions on $B$? Are you expecting $F$ to be the fibre? $\endgroup$
    – Donu Arapura
    Commented Sep 17, 2011 at 16:41
  • $\begingroup$ Depending on the precise definitions, the following might be a counterexample: take sufficiently nontrivial $B$ and $F$ and let $E$ be the etale space of $C(B,F)$. $\endgroup$
    – user2035
    Commented Sep 17, 2011 at 16:58
  • $\begingroup$ @Donu: Thank you, I clarified the question. @a-fortiori: Thank you, I'll look into it. $\endgroup$
    – Alexei Averchenko
    Commented Sep 18, 2011 at 1:03

1 Answer 1

Reset to default
1
$\begingroup$

Let $E$ be the union of the coordinate axes in $\mathbb R^2$, and let $\xi:E\to\mathbb R$ be the projection on the first coordinate. Then $\Gamma(\xi)$ is a trivial sheaf, so it is isomorphic to $C(\mathbb R,F)$ with $F$ any one-point space. Yet $\xi$ is not locally trivial. (This can be modified so that the fiber at $0$ of $\xi$ is pretty much anything...)

If this is too trivial an example, let $F$ be any manifold, let $E$ be as before, and let $\xi=E\times F\to\mathbb R$ such that $\xi((x,y),f)=x$. Then $\Gamma(\xi)\cong C(\mathbb R,F)$, just as before.

Improve this answer
$\endgroup$
3
  • $\begingroup$ You'll complain, probably, that the total space of $\xi$ in these examples is not a manifold... $\endgroup$
    – Mariano Suárez-Álvarez
    Commented Sep 18, 2011 at 1:20
  • $\begingroup$ Yes, this is a great counter example! $\endgroup$
    – Alexei Averchenko
    Commented Sep 18, 2011 at 1:30
  • $\begingroup$ I don't seem to be able to produce an example in which everything in sight is a manifold. $\endgroup$
    – Mariano Suárez-Álvarez
    Commented Sep 18, 2011 at 2:47

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .