On commutators of foliation preserving Lipschitz homeomorphisms
type: Item
instance of: scholarly article
title: On commutators of foliation preserving Lipschitz homeomorphisms
zbMATH Open document ID: 1012.58005
author: Kazuhiko Fukui
author: Hideki Imanishi
published in: Journal of Mathematics of Kyoto University
publication date: 2003-06-17T00:00:00Z
review text: This article concerns the group of foliation preserving Lipschitz homeomorphisms of a Lipschitz foliated manifold. Let \(M\) be an \(m\)-dimensional, connected, Lipschitz manifold, \({\mathcal F}_0\) the \(p\)-dimensional foliation of \(\mathbb{R}^m\) whose leaves are defined by \(x_{p+1}= \text{const},\dots, x_m=\text{const}\) \((1\leq p\leq m)\). By definition, a \(p\)-dimensional Lipschitz foliation \({\mathcal F}\) of \(M\) is a maximal set of local Lipschitz charts \(\{(U_\alpha, \varphi_\alpha)\}_{\alpha\in A}\) such that \(\varphi_\alpha\circ \varphi^{-1}_\beta\) preserves the leaves of the foliations \({\mathcal F}_0|\varphi_\beta(U_\alpha\cap U_\beta)\) and \({\mathcal F}_0|\varphi_\alpha(U_\alpha\cap U_\beta)\). A Lipschitz homeomorphism \(f: M\to M\) is said to be leaf preserving, if for each point \(x\in M\), \(f(L_x)= L_x\), where \(L_x\) is the leaf of \({\mathcal F}\) that contains \(x\). Let \({\mathcal H}_{LIP,L}(M,{\mathcal F})\) denote the group of the leaf preserving maps that are isotopic to the identity by the same kind of Lipschitz homeomorphisms fixed outside a compact set. Foliation preserving homeomorphism is defined in the same way except for ``\(f(L_x)= L_{f(x)}\)'', and the corresponding space \({\mathcal H}_{LIP}(M,{\mathcal F})\) of homeomorphisms is introduced. In the first part of the paper, the authors show that the homologies of \({\mathcal H}_{LIP,L}(\mathbb{R}^m,{\mathcal F}_0)\) vanish in all dimensions \(>0\). Next, a proposition called fragmentation lemma is derived under the assumption that \(M\) is compact. That is, every element of \({\mathcal H}_{LIP,L}(M,{\mathcal F})\) is expressed as a product of leaf preserving maps with support in small balls. It follows from the first result above that \({\mathcal H}_{LIP,L}(M,{\mathcal F})\) is perfect, provided that \(M\) is compact. Local contractibility of \({\mathcal H}_{LIP,L}(M,{\mathcal F})\) is immediately obtained, too. In the final section, the first homology of \({\mathca…
reviewed by: Hiroaki Shimomura
Mathematics Subject Classification ID: 58D05
Mathematics Subject Classification ID: 57R30
zbMATH DE Number: 1803230
zbMATH Keywords: homology of map groups
zbMATH Keywords: Lipschitz foliated manifold
zbMATH Keywords: leaf preserving maps
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1215/kjm/1250517615
OpenAlex ID: W1479827646
DOI: 10.1215/KJM/1250517615
description: scientific article; zbMATH DE number 1803230