[Math] Is the tangent bundle of the long line $L$ homeomorphic to $L\times\mathbb R$

dg.differential-geometrydifferential-topologygn.general-topology

Question: Is the tangent bundle of the long line $L$ homeomorphic to $L\times\mathbb R$? I'd guess that the answer doesn't depend on choice of differentiable structure, but maybe it does.

Motivation: One night at dinner, someone brought up a puzzle involving infinitely many prisoners standing in a line, and someone asked if there was a physical reason that the collection of prisoners had to be countable. In other words, might (one of) the directions in the physical universe be modeled after the long line?

The answer to that question is no: the universe has a metric, but the long line has no Riemannian structure. The standard explanation for this is that a Riemannian manifold is metrizable, and a non-paracompact space isn't. Without using fancy theorems, one could instead suppose that $L$ was Riemannian and look at the exponential map starting at a point $x$ going in the increasing direction. This is an increasing function from $\mathbb R$ to $L$, so it converges to some point $y$. Then the exponential map from $y$ downwards reaches $x$ in finite time, contradiction.

In any case, the basic result is that $L$ is not Riemannian, so its tangent bundle must be nontrivial, but only in the differential sense. One could try to instead consider a continuous metric (if the tangent bundle were indeed topologically trivial), but this wouldn't give rise to an exponential map, nor, as far as I know, a metric space structure on $L$.

Best Answer

The long line has the property that there is no continuous self map $f:L\to L$ such that $f(x)>x$ (or $f(x)<x$) for all $x\in L$. Indeed, $f^n(0)$ is an increasing sequence, hence converges to some $x$, which is a fixed point. So if there were an everywhere nonzero tangent vector field (for some differentiable structure on $L$), integrating it, if possible, would give a contradiction. Integration is possible for any locally lipschitz vector field, by the usual argument plus the fact that any map $\mathbb{R}\to L$ has relatively compact image. But it would remain to "regularize" a continuous vector field, which seems not possible in the usual way. Instead, one may try to use Peano's existence theorem, and the fact that it furnishes a unique maximal (in the order sense) solution on any compact time interval.

EDIT: if you are willing to accept using differential forms, any non vanishing continuous vector field $v$ on $L$ would give a dual continuous $1$-form $\alpha$ such that $\alpha(v)=1$. But then, integrating $\alpha$ would give an injective (monotone) function $f:L\to\mathbb{R}$, which is absurd. This is sort of "square root" of the riemannian metric argument, and is much simpler.

EDIT: I realize that this only proves that the tangent bundle of $L$ is not fibrewise homeomorphic to $L\times\mathbb{R}$. I hope this is what you meant.

Related Question