Large free groups of isometries and their geometrical uses
type: Item
instance of: scholarly article
title: Large free groups of isometries and their geometrical uses
zbMATH Open document ID: 0563.57021
author: Jan Mycielski
author: Stan Wagon
published in: L'Enseignement Mathématique. 2e Série
publication date: 1984-01-01T00:00:00Z
review text: Motivated by some geometric problems related to the Banach-Tarski paradox, the authors investigate the following questions for spheres and Euclidean and hyperbolic spaces: (1) Is there a free group of isometries of rank the continuum no element of which (except the identity) has a fixed point? (2) Is there a free group of isometries of rank the continuum whose action is locally commutative? The authors settle all remaining cases of these two problems in \({\mathbb{R}}^ n\), \(S^ n\), and \({\mathbb{H}}^ n\), using recent work of Borel, Deligne and Sullivan in \(S^ 4\) and \(S^{4k+1}\), and a special argument in the case of \({\mathbb{H}}^ 3\). The geometric applications are discussed. These typically use nonmeasurable sets, but the existence of a rank-two, free, discrete group of isometries in \({\mathbb{H}}^ 2\) is used to construct a paradoxical decomposition of \({\mathbb{H}}^ 2\) using very simple Borel sets. The authors question in {\S} 9 regarding a simple paradoxical decomposition of \({\mathbb{R}}^ 2\setminus \{(0,0)\}\) using transformations in \(SL_ 2({\mathbb{Z}})\) has been resolved by the first author: Let A be the region between the x-axis and the line \(y=x\); let B be the region between the y-axis and the same line; and let C be the remaining set. Then \(A\cup B\equiv A\equiv B\equiv C\).
Mathematics Subject Classification ID: 57S20
Mathematics Subject Classification ID: 53C20
Mathematics Subject Classification ID: 51M10
Mathematics Subject Classification ID: 20E05
Mathematics Subject Classification ID: 51M05
zbMATH DE Number: 3897854
zbMATH Keywords: locally commutative actions
zbMATH Keywords: free actions
zbMATH Keywords: free group of isometries of rank the continuum
zbMATH Keywords: paradoxical decomposition of \({\mathbb{H}}^ 2\)
zbMATH Keywords: Borel sets
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 3897854