10
$\begingroup$

I am wondering if there are necessary and sufficient conditions under which an one-dimensional subbundle of $TM$ has a nowhere vanishing vector field.

More precisely let $M$ be a compact smooth manifold.

a. When dose there exist a one-dimensional (smooth or continuous) subbundle $L\subset TM$?

b. If $L\subset TM$ is a continuous/smooth line subbundle of $TM$, does there exist a nowhere vanishing continuous/smooth section $X:M\to L$? If so, the euler characteristic of $L$ should be zero.

This is related to the partially hyperbolic system $f:M\to M$ and $TM=E^s\oplus E^c\oplus E^u$. I am curious if there is a 'center flow' if $\dim E^c=1$.


To Ryan: Am I right to say the following about your answers:

  1. If there exists an 1-dimensional subbundle $L$ of $TM$, then $\chi(M)=0$. This is independent of the case whether $M$ is orientiable or not.

  2. If $M$ is orientable, then there always exists an orientable 1-dimensional subbundle $L$ of $TM$.

Another question is, when is an 1-dimensional subbundle $L\subset TM$ orientable? Is it sufficient to assume that $M$ is orientable?


Thank you all. I did not formulate some questions properly. What I really mean is:

I. For a given line bundle $L\subset TM$, what is the obstruction for $L$ beging orientable? (or equivalently trivial according to Georges)

For example let $L_{\mathbb{C}}$ be a complex line bundle over a complex manifold $M$, if the top Chern class $c_1(L_{\mathbb{C}})$ does not vanish, then $L_{\mathbb{C}}$ can not be trivial. Is there some similar results in the real case?

II. Is there an example such that $M$ is orientable and has a non-orientable line bundle $L\subset TM$?

$\endgroup$
1
  • 1
    $\begingroup$ Regarding your question (1), yes. That's what I'm saying. The covering space argument is one way to approach this. Re (2) that is an if and only if $\chi M =0$, where I use $\chi M$ as shorthand for the Euler characteristic. This is of course assuming $M$ is connected. $\endgroup$ Nov 24, 2010 at 18:08

5 Answers 5

5
$\begingroup$

A bundle is orientable if and only if its first Stiefel-Whitney class is 0 (one can see the first Stiefel-Whitney class as the function $w_1: H_1(M)\rightarrow \mathbb{Z}_2$ which associate to a loop the sign of the determinant of the monodromy).

As mentionned by Ryan, if a line bundle is non-orientable then there is a two sheeted cover of $M$ which orients $L$ (the covering correspond exactly to the index two subgroup $ker(w_1)$) this implies that if an oriented bundle admits a 1-dimensionnal sub-bundle the its Euler class has to be $0$ (regardless if the bundle is the tangent bundle or not).

Finally one can easily see that $T(T^2)$ is the sum of two non-trivial line bundle:

The canonical line bundle $\gamma$ on $\mathbb{R}P^1$ is non trivial but $\gamma\oplus\gamma^*$ is (it is oriented, 2 dimensionnal and admit a section given by the trace map). Pulling back this bundle by the projection $T^2\rightarrow S^1$ you get a trivial bundle (hence the tangent bundle) on $T^2$ written as a sum of two non trivial line bundle ($w_1$ is non zero on each summand).

$\endgroup$
3
  • $\begingroup$ It seems that the Stiefel-Whitney class was designed for my question (^-^). All answers here are great! $\endgroup$
    – Pengfei
    Nov 25, 2010 at 12:00
  • 3
    $\begingroup$ Stiefel-Whitney classes are designed for a more general question than the one you ask -- the issue of constructing linearly-independent sections of vector bundles. Your questions have answers that don't need "big machines" like that, but of course they are convieniently answered by big machines. $\endgroup$ Nov 25, 2010 at 16:04
  • $\begingroup$ I agree that Stiefel-Whitney classes in general are designed for far more general problem. However in my answer I only talked about the first Stiefel-Whitney class which, correct me if I'm wrong, is specifically designed to address the orientability of vector bundle and is easily defined. $\endgroup$
    – Noz
    Nov 25, 2010 at 16:27
9
$\begingroup$

If there is a 1-dimensional sub-bundle of $TM$, if it was an orientable bundle you'd have $\chi M = 0$. Consider the case it's non-orientable. Then there would be a 2-sheeted connected "orientation cover" of $M$, $\tilde M \to M$ such that the 1-dimensional sub-bundle of $M$ pulls-back to a trivial 1-dimensional sub-bundle of $\tilde M$. So $\chi \tilde M = 0$, but since Euler characteristic is multiplicative under covers, $\chi M = 0$. So if $TM$ is orientable, this implies there is a non-zero vector field on $TM$ by obstruction theory.

$\endgroup$
4
  • $\begingroup$ Isn't $TM$ always orientable? $\endgroup$ Nov 24, 2010 at 3:44
  • $\begingroup$ Specifically: it seems like if you pull back any atlas of $M$ you'll get an oriented atlas of $TM$ since the differentials of the transition maps will be triangular block matrices with the two matrices on the diagonal being the same. $\endgroup$ Nov 24, 2010 at 3:48
  • 3
    $\begingroup$ As a manifold $TM$ is always orientable, yes. But I was thinking of orientability in the bundle sense, ie $TM$ orientable if and only if $M$ is orientable. $\endgroup$ Nov 24, 2010 at 4:35
  • $\begingroup$ To Ryan: I added a comment in the question since I could change lines there. $\endgroup$
    – Pengfei
    Nov 24, 2010 at 8:59
5
$\begingroup$

Here is a cool proof that if there is a nonvanishing vector field then the Euler characteristic must be zero:

Suppose $X$ is a nonvanishing vector field. Let $f_t$ be the corresponding time $t$ flow. Then for some small $\varepsilon > 0$, the flow $f_\varepsilon$ has no fixed points (to show this, we must use the compactness of the manifold $M$). So by the Lefschetz fixed point theorem, we have $$0 = \sum_i (-1)^i \operatorname{Tr}(f_{\varepsilon,\ast} : H_i(M) \to H_i(M)). $$ But since $f_\varepsilon$ is homotopic to $f_0 = \operatorname{Id}$, we have that the RHS is equal to $$\sum_i (-1)^i \operatorname{Tr}(\operatorname{Id}:H_i(M) \to H_i(M)) = \sum_i (-1)^i \operatorname{rk}H_i(M),$$ which is the Euler characteristic.

$\endgroup$
1
  • $\begingroup$ WOW! I like this! Then the 'orientable cover' argument applies if the line bundle is not orientable. $\endgroup$
    – Pengfei
    Nov 25, 2010 at 5:49
4
$\begingroup$

Dear Pengfei, about your supplementary questions:

a) "when is an 1-dimensional subbundle L⊂TM orientable ?" A line bundle is orientable if and only if it is trivial (independently of it being or not a subbundle of the tangent bundle). To prove the non-trivial implication, endow your orientable line bundle with a Riemann metric and choose in every fibre the unique vector of length one which has the correct orientation.This gives you a nowhere zero section .

b) "If M is orientable, then there always exists an orientable 1-dimensional subbundle L of TM " No.The tangent bundle $TS^2$of the two-sphere $S^2$ has no line subbundle at all. Indeed that subbundle would be trivial since line bundles are classified by $H^1( S^2, \mathbb Z/(2))$, which is zero . But the trivial bundle is not a subbundle of the tangent bundle since "you can't comb a sphere".

$\endgroup$
2
$\begingroup$

To construct a non orientable line bundle on the torus $\mathbb{T}^2$ you can proceed as follows:

Consider a planar Reeb foliation of the anulus (see this drawing) and then glue the boundary circles obtaining a one dimensional non singular foliation of the two dimensional torus. Notice that it cannot be orientable since in one direction, when you follow the holonomy, you return with the wrong orientation (notice also, as explained above, that if you glue two such foliations, i.e. you consider the double cover, you get an orientable foliation).

$\endgroup$
1
  • $\begingroup$ Yes! This example is fantastic. Both the non-orientability and its orientable cover can be realized directly. $\endgroup$
    – Pengfei
    Nov 25, 2010 at 10:59

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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