Loops on spheres having a compact-free inner mapping group (Q1027742)

Let \((L,*)\) be an almost topological proper loop (i.e., \(L\) is a locally compact space and the multiplication \(*:L\times L \to L\) is continuous) homeomorphic to a sphere or to a real projective space. Assume that the group \(G\) topologically generated by the left translations of \(L\) is a Lie group and the stabilizer \(H\) of the identity of \(L\) in \(G\) is a compact-free subgroup of \(G\). Under these assumptions, using results of \textit{H. Salzman, D. Betten, T. Grundhöfer, H. Hähl, R. Löwen, M. Stroppel} [Compact projective planes, de Gruyter, Berlin, New York (1995; Zbl 0851.51003)], \textit{J. F. Adams} [Ann. Math. (2) 72, 20--104 (1960; Zbl 0096.17404)], \textit{V. V. Gorbatsevich} and \textit{A. L. Onishchik} [Lie groups and Lie algebras I. Foundations of Lie theory. Lie transformation groups. Encycl. Math. Sci. 20, 95--229 (1993); translation from Itogi Nauki Tekh., Ser. Sovrem. Probl. Mat., Fundam. Napravleniya 20, 103--240 (1988; Zbl 0781.22004)], \textit{T. Asoh} [Osaka J. Math. 24, 271--298 (1987; Zbl 0706.57021)] and \textit{P. T. Nagy} and the second author [Loops in group theory and Lie theory. de Gruyter Expositions in Mathematics 35. (Berlin 2002; Zbl 1050.22001)], the authors prove that \(L\) is homeomorphic to the \(1\)-sphere and \(G\) is a finite covering of the group \(PSL_2(\mathbb{R})\). Moreover, using the theory of Fourier series, they classify the \(1\)-dimensional connected \(\mathcal{C}^1\)-differentiable loops \(L\) such that the group topologically generated by the left translations of \(L\) is isomorphic to the group \(SL_2(\mathbb{R})\) (implying that \(L\) is compact).