Question

I'm hoping for some ideas/pointers here. I'm experimenting with a Livschitz theorem for functions on a locally compact Abelian group, where the periodic orbit sums take values in a closed subgroup.

If $G$ is a locally compact Abelian group (second countable) and $H$ is a closed subgroup then $G$ and $H$ inherit a natural translation-invariant metric. You can use this to induce a translation-invariant metric on $G/H$.

Does there exist a neighbourhood $N$ of the identity in $G/H$ and a continuous map $f\colon G/H\to G$ such that $f(x)\in x$ for all $x\in N$?

EDITED to incorporate simplifying suggestion of Emil Jerabek and correction of Mark Schwarzmann.

Answer 1

You are essentially asking for a local cross section for the fiber bundle $(G,\pi: G \to G/H)$. According to this article, it is known that such a section exists if the group $G$ is Lie, or more generally, LCSC and with finite covering dimension. I'm not an expert on the subject, but it seems to me that there exist metrizable LCSC abelian groups with infinite covering dimension, so this doesn't seem to give a complete answer to your question. Perhaps someone who knows more on the subject can illuminate this point, or provide a more recent reference.