Common transversals for coset spaces of compact groups (Q6924860)

Let \(G\) be a group and \(H\) be a subgroup. A subset \(T\) of \(G\) is said to be a \textit{left transversal} for \(H\) if \(G=\bigsqcup_{t\in T}tH\). The notion of a \textit{right transversal} is given in a similar way.\N\NIf \(T\) is a left transversal, then \(T^{-1}\) is a right transversal. A set that is simultaneously a left and right transversal is called a \textit{common transversal} for \(H\).\N\NA closed subgroup \(H\) of a topological group satisfies the \textit{index condition} if\N\[\N[\ H:H\cap H\cap xHx^{-1}]=[\ H:H\cap x^{-1}Hx],\vee x\in G.\N\]\NThe main results of this article are the following theorems.\N\NTheorem 1.1. Let \(G\) be a Polish group and \(H\) be a compact subgroup. Assume that the index condition is satisfied for \(H\leq G\). Then, there exists a Borel subset of \(G\), which is a common transversal for cosets of \(H\).\N\NTheorem 1.2. Let \(H\leq G\) be as in Theorem 0.1. Then, the index condition for \(H\leq G\) holds whenever one of the following conditions is satisfied.\N\begin{itemize}\N\item \(G\) is an inverse limit of Lie groups, or\N\item \(H\) is a compact Lie group.\N\end{itemize}\N\NThe authors give the proof of Theorem 1.1 in Section 3.