The fundamental group is a more or less complete invariant of a 3-dimensional manifold. We will discuss how the purely algebraic question of whether or not this group has a left-invariant total order appears to be related to two other, seemingly quite different, properties of the manifold, one geometric and the other essentially analytic.