Algebraically determined semidirect products

From MaRDI portal
Publication:401449

DOI10.1016/J.TOPOL.2014.06.016zbMATH Open1295.22030arXiv1412.6725OpenAlexW2094454753MaRDI QIDQ401449FDOQ401449

We'am M. Al-Tameemi, Robert R. Kallman

Publication date: 27 August 2014

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

Abstract: Let G be a Polish (i.e., complete separable metric topological) group. Define G to be an algebraically determined Polish group if for any Polish group L and algebraic isomorphism varphi:LmapstoG, we have that varphi is a topological isomorphism. Let M(n,R) be the set of nimesn matrices with real coefficients and let the group G in the above definition be the natural semidirect product RntimesG(n), where nge2 and G(n) is one of the following groups: either the general linear group GL(n,R)=leftAinM(n,R)|det(A)e0ight, or the special linear group SL(n,R)=leftAinGL(n,R)|det(A)=1ight, or |SL(n,R)|=leftAinGL(n,R)||det(A)|=1ight or GL+(n,R)=leftAinGL(n,R)|det(A)>0ight. These groups are of fundamental importance for linear algebra and geometry. The purpose of this paper is to prove that the natural semidirect product RntimesG(n) is an algebraically determined Polish group. Such a result is not true for complexesntimesGL(n,complexes) nor even for R3timesSO(3,R). The proof of this result is done in a sequence of steps designed to verify the hypotheses of the road map Theorem 2. A key intermediate result is that varphi1(SO(n,R)) is an analytic subgroup of L for every nge2.


Full work available at URL: https://arxiv.org/abs/1412.6725




Recommendations




Cites Work


Cited In (3)





This page was built for publication: Algebraically determined semidirect products

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