arXiv subjects
Publications and source records attributed to Herbert Abels.
In 1967 L. Auslander conjectured that every crystallographic subgroup of an affine group is virtually solvable, i.e. contains a solvable subgroup of finite index. D. Fried and W. Goldman proved Auslander's conjecture for affine space of dimension 3 using cohomological arguments. Using dynamical arguments we prove the Auslander conjecture for dimension less than 7.
Let $S$ be a finitely generated abelian semigroup of invertible linear operators on a finite dimensional real or complex vector space $V$. We show that every coarsely dense orbit of $S$ is actually dense in $V$. More generally, if the orbit contains a coarsely dense subset of some open cone $C$ in $V$ then the closure of the orbit contains the closure of $C$. In the complex case the orbit is then actually dense in $V$. For the real case we give precise information about the possible cases for the closure of the orbit.
In this paper we bring together results about the density of subsemigroups of abelian Lie groups, the minimal number of topological generators of abelian Lie groups and a result about actions of algebraic groups. We find the minimal number of generators of a finitely generated abelian semigroup or group of matrices with a dense or a somewhere dense orbit by computing the minimal number of generators of a dense subsemigroup (or subgroup) of the connected component of the identity of its Zariski closure.
In this note we give an example of a one-dimensional manifold with two connected components and a complete metric whose group of isometries has an orbit which is not closed. This answers a question of S. Gao and A. S. Kechris.
We show that if a (locally compact) group $G$ acts properly on a locally compact $σ$-compact space $X$ then there is a family of $G$-invariant proper continuous finite-valued pseudometrics which induces the topology of $X$. If $X$ is furthermore metrizable then $G$ acts properly on $X$ if and only if there exists a $G$-invariant proper compatible metric on $X$.