Compact quotients of homogeneous spaces and homotopy theory of sphere bundles
A reductive homogeneous space G/H is always diffeomorphic to the normal bundle of an orbit of a maximal compact subgroup of G. We prove that if G/H admits compact quotients, then the sphere bundle associated to this normal bundle is fiber-homotopically trivial. We deduce that many reductive homogeneous spaces do not admit compact quotients, such as the complex spheres O(n+1,C)/O(n,C) for all n∈/{1,3,7}, or SL(n,R)/SL(m,R) for all n>m>1, which solves conjectures of T. Kobayashi from the early 1990s. We also prove that if the pseudo-Riemannian hyperbolic space Hp,q of signature (p,q) admits compact quotients, then p must be divisible by at least 2⌊q/2⌋.