Algebraically determined semidirect products

From MaRDI portal




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.









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)