Some aspects of differential geometry associated with hypoelliptic second order operators

I investigate some aspects of the geometry of the bicharacteristics of a class of hypoelliptic second order partial differential operators. The resulting geometry looks quite a bit like Riemannian geometry, although with interesting differences.