Uniqueness of Polish group topology
type: Item
instance of: scholarly article
title: Uniqueness of Polish group topology
zbMATH Open document ID: 1151.54029
author: Bojana Pejić
author: Paul Gartside
published in: Topology and its Applications
publication date: 2008-05-15T00:00:00Z
review text: Mackey's theorem states that if a Polish group \(G\) has a countable point-separating family of sets that are Borel in every Polish group topology on \(G\), then \(G\) has a unique Polish group topology. The authors consider the use of identity sets or verbal sets in applications of Mackey's theorem. Indeed, identity sets are always closed in any Polish group topology and have been used by others. In the paper under review, it is shown that that for any connected Lie group, identity sets are either the whole group or are nowhere dense, hence no countable family of identity sets can be point-separating, hence identity sets alone are not sufficient for every application of Mackey's theorem. Motivating the main results of the paper is the fact that verbal sets are always analytic, but not always Borel. Firstly, the authors show that full verbal sets are Borel in \(S_{\infty}\) with the topology inherited from \({\mathbb N}^{\mathbb N}\) and verbal sets are Borel in any Abelian topological group. The main results are the following analytic versions of Mackey's theorem (and subsequent applications): {\parindent=6mm \begin{itemize}\item[(1)] If a Polish group \(G\) has a countable network of sets that have the Baire property in any Polish group topology on \(G\) then \(G\) has a unique Polish group topology. \item[(2)] If a Polish group \(G\) has a \(\pi\)-base at the identity consisting of sets that have the Baire property in any Polish group topology on \(G\) then \(G\) has a unique Polish group topology. \end{itemize}} As applications, it is shown that any compact connected simple Lie group has a unique Polish group topology, and any finitely generated profinite group has a unique Polish group topology. Whether Mackey's theorem can be fully extended to the analytic case remains open. The authors construct an example showing that any such extension could not be proven using the same techniques as used by Mackey.
reviewed by: Paul J. Szeptycki
Mathematics Subject Classification ID: 54H11
Mathematics Subject Classification ID: 54H05
Mathematics Subject Classification ID: 03E15
Mathematics Subject Classification ID: 28A05
zbMATH DE Number: 5275722
zbMATH Keywords: Polish group
zbMATH Keywords: unique Polish group topology
zbMATH Keywords: identity sets
zbMATH Keywords: verbal sets
zbMATH Keywords: Borel
zbMATH Keywords: analytic
zbMATH Keywords: Lie group
zbMATH Keywords: profinite group
zbMATH Keywords: Mackey's theorem
MaRDI profile type: Publication
full work available at URL: j.topol.2008.01.001
OpenAlex ID: W2060462468
cites work: Q4331784
cites work: Q3741814
cites work: Representations of infinite permutations by words (II)
cites work: The complexity of the set of squares in the homeomorphism group of the circle
cites work: Q5734920
cites work: Q3997907
cites work: Uniqueness Results for Homeomorphism Groups
cites work: Q4323294
cites work: Borel Structure in Groups and Their Duals
cites work: On the Measurability of Orbits in Borel Actions
cites work: On finitely generated profinite groups. I: Strong completeness and uniform bounds. II: Products in quasisimple groups.
cites work: Q4349107
cites work: Stetigkeitssätze für halbeinfache Liesche Gruppen
DOI: 10.1016/J.TOPOL.2008.01.001
description: scientific article; zbMATH DE number 5275722