Invariant proper metrics on coset spaces (Q1939215)

Every locally compact second countable topological group \(G\) admits a proper \(G\)-invariant metric which induces its topology. This is no longer true for coset spaces \(G/H\) viewed as \(G\)-spaces, but it is true if \(H\) is compact. The main result of the paper, proposition 2.7, says that this is the only case up to extending \(G\) and \(H\) in an appropriate way. This yields a number of necessary conditions for \(G/H\) to admit a proper \(G\)-invariant metric.