A conjecture of Gleason on the foundations of geometry. (English) Zbl 1286.54034

In [Algebr. Topol. Foundations Geom., Proc. Colloq. Utrecht, August 1959, 39–44 (1962; Zbl 0107.02702)], A. M. Gleason posed a conjecture on the possibility of topologizing a group acting on a topological space so that a continuous action would ensue. The conjectured conditions on the group \(G\) and the space \(M\) were: (1) \(M\) is a Polish space and \(G\) is a group of homeomorphisms that acts transitively on \(M\), and (2) there are \(n\in \mathbb N\) and \(\langle m_1,\dots,m_n\rangle\in M^n\) such that \(g\mapsto\langle gm_1,\dots,gm_n\rangle\) is injective and for all \(m\in M\) the subset \(\{\langle gm_1,\dots,gm_n,gm\rangle:g\in G\}\) of \(M^{n+1}\) is analytic.
The authors disprove the conjecture but show that some modifications of (2) do lead to positive results: one should require that \(\{\langle gm_1,\dots,gm_n\rangle:g\in G\}\) is a \(G_\delta\)-set and that \(\{\langle gm_1,\dots,gm_n,gm\rangle:g\in G\}\) is Borel. In this case one can even take a point in \(M^{\mathbb N}\) rather than in a finite power. Examples show that the conditions are not necessary.
Reviewer: K. P. Hart (Delft)


54H15 Transformation groups and semigroups (topological aspects)
54H05 Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets)


Zbl 0107.02702
Full Text: DOI


[1] Atim, Alexandru G.; Kallman, Robert R., The infinite unitary and related groups are algebraically determined Polish groups, Topol. Appl., 159, 12, 2831-2840, (1 August 2012)
[2] Becker, Howard; Kechris, Alexander S., The descriptive set theory of Polish group actions, Lond. Math. Soc. Lect. Note Ser., vol. 232, (1996), Cambridge University Press New York, NY · Zbl 0949.54052
[3] Dudley, Richard M., Continuity of homomorphisms, Duke Math. J., 587-594, (1961) · Zbl 0103.01702
[4] Effros, Edward G., Transformation groups and \(C^\ast\)-algebras, Ann. Math. (2), 81, 1, 38-55, (January 1965)
[5] Gleason, Andrew M., On groups of homeomorphisms, (Freudenthal, Hans, Algebraical and Topological Foundations of Geometry, Proceedings of a Colloquium Held in Utrecht, August 1959, (1962), Pergamon Press New York), 39-44
[6] Gleason, Andrew M.; Palais, Richard S., On a class of transformation groups, Am. J. Math., 79, 631-648, (1957) · Zbl 0084.03203
[7] Hausdorff, Felix, Über innere abbildungen, Fundam. Math., 23, 279-291, (1934) · Zbl 0010.03903
[8] Hocking, John G.; Young, Gail S., Topology, (1961), Addison-Wesley Reading, MA · Zbl 0718.55001
[9] Hurewicz, Witold; Wallman, Henry, Dimension theory, (1948), Princeton University Press Princeton, NJ · Zbl 0036.12501
[10] Kechris, Alexander S., Classical descriptive set theory, (1995), Springer-Verlag New York · Zbl 0819.04002
[11] Kelley, John L., General topology, (1955), D. van Nostrand Company Princeton, NJ · Zbl 0066.16604
[12] Kuratowski, Kazimierz, Topology, vol. I, (1966), Academic Press New York · Zbl 0163.17002
[13] Mackey, George W., Borel structure in groups and their duals, Trans. Am. Math. Soc., 85, 1, 134-165, (May 1957)
[14] Montgomery, Deane, Continuity in topological groups, Bull. Am. Math. Soc., 42, 879-882, (December 1936)
[15] Oxtoby, John C., Measure and category, (1980), Springer-Verlag New York · Zbl 0435.28011
[16] von Neumann, John, Ein system algebraisch unabhängiger zahlen, Math. Ann., 99, 134-141, (1928) · JFM 54.0096.02
[17] Warner, Frank W., Foundations of differentiable manifolds and Lie groups, (1983), Springer-Verlag New York · Zbl 0516.58001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.