The infinite unitary and related groups are algebraically determined Polish groups

DOI10.1016/J.TOPOL.2012.04.018MaRDI QIDQ438694zbMATH OpenOpenAlexFDO

Authors Alexandru G. Atim, Robert R. Kallman

Publication date 31 July 2012

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.topol.2012.04.018

zbMATH Keywords

isometry groupsPolish groupstopological groupsunitary groups

Mathematics Subject Classification ID

Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Topological groups (topological aspects) (54H11)

Review text

Let \(\mathbf{S}\) be a subcategory of the category \(\mathbf{TopGr}\) of all Hausdorff topological groups. An object \(G\) of \(\mathbf{S}\) is called \textit{algebraically determined} in \(\mathbf{S}\) if for every object \(H\) in \(\mathbf{S}\) and every (abstract) isomorphism \(\phi : H\to G\) we have that \(\phi\) is a topological isomorphism. If \(\mathbf{S}=\mathbf{Pol}\) is the full subcategory of all Polish groups, we call the algebraically determined objects of \(\mathbf{Pol}\) \textit{simply algebraically determined Polish groups}. The question whether every isomorphism of a Polish group onto a given Polish group is automatically topological was considered by many authors as Cartan, van der Vaerden, Freudenthal, Borel and Tits and others. Many groups of interest have been shown to be algebraically determined Polish groups. This list includes \(S_\infty\), the group of all permutations of the natural numbers, all compact connected metric groups with totally disconnected center (which includes the compact connected semisimple Lie groups), the \(ax+b\) group, the homeomorphism groups of manifolds, the group of measure preserving transformations and others. The authors prove that the unitary group and the complex isometry group of a separable infinite dimensional complex Hilbert space are algebraically determined Polish groups. On the other hand, they show that the finite dimensional unitary groups \(U(n)\) are not algebraically determined Polish groups.

Recommendations

• The Poincaré and related groups are algebraically determined Polish groups
• Algebraically determined semidirect products
• Topological properties of the unitary group
• Polish groups of unitaries
• The natural semidirect product \({\mathbb{R}^n \rtimes G(n)}\) is algebraically determined

Cites work

• A theorem on compact semi-simple groups
• A uniqueness result for a class of compact connected groups
• A Uniqueness Result for Topological Groups
• Automatic continuity of homomorphisms and fixed points on metric compacta
• Die Homoiomorphie der kompakten konvexen Mengen im Hilbertschen Raum
• Homomorphismes abstraits de groupes algébriques simples
• scientific article; zbMATH DE number 7227247 (Why is no real title available?)
• scientific article; zbMATH DE number 3697401 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 976831 (Why is no real title available?)
• scientific article; zbMATH DE number 3444248 (Why is no real title available?)
• scientific article; zbMATH DE number 3261287 (Why is no real title available?)
• scientific article; zbMATH DE number 3073621 (Why is no real title available?)
• Lie groups beyond an introduction
• On the Measurability of Orbits in Borel Actions
• Stetigkeitssätze für halbeinfache Liesche Gruppen
• The Poincaré and related groups are algebraically determined Polish groups
• The topology of compact simple Lie groups is essentially unique
• The topology of Lie groups as an algebraic phenomenon. I.
• Uniqueness Results for Groups of Measure Perserving Transformations
• Uniqueness Results for Homeomorphism Groups
• Uniqueness results for the ax+b group and related algebraic objects

Cited in

(10)

• Simplicity, bounded normal generation, and automatic continuity of groups of unitaries
• A conjecture of Gleason on the foundations of geometry
• Algebraically determined semidirect products
• The Polish Lie ring of vector fields on a smooth manifold is algebraically determined
• On Polish groups of finite type
• AUTOMATIC CONTINUITY FOR ISOMETRY GROUPS
• Polish groups and Baire category methods
• The Poincaré and related groups are algebraically determined Polish groups
• An application of descriptive set theory to complex analysis
• The natural semidirect product \({\mathbb{R}^n \rtimes G(n)}\) is algebraically determined

This page was built for publication: The infinite unitary and related groups are algebraically determined Polish groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q438694)