$\R^{n} \rtimes G(n)$ is Algebraically Determined

TL;DR

This paper proves that the semidirect product of ^n and certain linear groups over ^n is algebraically determined, meaning algebraic isomorphisms are also topological, highlighting its unique structural rigidity among similar groups.

Contribution

It establishes the algebraic determinedness of ^n times G(n) for various linear groups G(n), a property not shared by some related groups, advancing understanding of their topological and algebraic structure.

Findings

^n times G(n) is algebraically determined for specified G(n).

^n times G(n) groups are topologically rigid under algebraic isomorphisms.

Key intermediate result: ^n times SO(n,) has an analytic subgroup structure.

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: L \mapsto G$, we have that $\varphi$ is a topological isomorphism. Let $M(n,\R)$ be the set of $n \times n$ matrices with real coefficients and let the group $G$ in the above definition be the natural semidirect product $\R^{n} \rtimes G(n)$, where $n \ge 2$ and $G(n)$ is one of the following groups: either the general linear group $GL(n,\R) = \left\{ A \in M(n,\R) \ | \ \det(A) \ne 0 \right\}$, or the special linear group $SL(n,\R) = \left\{ A \in GL(n,\R) \ | \ \det(A) = 1 \right\}$, or $|SL(n,\R)| = \left\{ A \in GL(n,\R) \ | \ |\det(A)| = 1 \right\}$ or $GL^{+}(n,\R) = \left\{ A \in GL(n,\R) \ | \ \det(A) > 0 \right\}$. These groups are of fundamental importance for linear algebra and geometry. The purpose of this paper is to prove that the natural semidirect product $\R^{n} \rtimes G(n)$ is an algebraically determined Polish group. Such a result is not true for $\complexes^{n} \rtimes GL(n,\complexes)$ nor even for $\R^{3} \rtimes SO(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 $\varphi^{-1}(SO(n,\R))$ is an analytic subgroup of $L$ for every $n \ge 2$.