Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
felt like creating double cover
I do not understand. The entry orthogonal structure talks about Riemannian metric on a vector bundle which is not necessarily the tangent bundle. Hence one can consider it even on the bundles whose total space is nonorientable, e.g. Moebius band. OK, fine. But then the diagram at double cover depicts lifting the cocycle corresponding to the tangent bundle (at least the notation suggests this). So I do not see how this is possible in nonorientable case (the entry says that it makes sense even then),
I have added a sentence. Not sure if this answers your question?
I still do not understand. The orthogonal structure is by the corresponding entry a smooth choice depending on , hence a smooth section, hence after quotienting to one gets a section of the orientation sheaf. Surely orientation sheaf exists always, but its section, nor the section of the sheaf of all metrics, don’t unless is orientable. Maybe I do not understand the terminology…
A choice of orientation is a lift all the way through .
Notice that you can always lift through , since the underlying spaces are homotopy equivalent. So if you forget smooth structure for a second, then is even an equivalence and a lift through it means nothing.
1 to 5 of 5