Non-combability of Hilbert modular groups
type: Item
instance of: scholarly article
title: Non-combability of Hilbert modular groups
zbMATH Open document ID: 0887.20014
author: Toshiaki Hattori
published in: Communications in Analysis and Geometry
publication date: 1998-03-19T00:00:00Z
review text: In der kombinatorischen Gruppentheorie hat man in der letzten Zeit einige wichtige Klassen endlich präsentierter unendlicher Gruppen definiert (mit noch nicht ganz einheitlicher Terminologie), so die von \textit{D. Epstein}, \textit{J. Cannon}, \textit{D. Holt}, \textit{S. Levy}, \textit{M. Paterson} und \textit{W. Thurston} [in ihrem Buch: Word processing in groups (Jones and Bartlett, Boston, MA, 1992; Zbl 0764.20017)]\ als ``combable'' bezeichneten Gruppen, in denen, wie sich herausstellt, das Wortproblem lösbar ist. Die Zugehörigkeit zu einer solchen Klasse hat unter Umständen geometrische Konsequenzen. Operiert eine ``combable'' Gruppe eigentlich diskontinuierlich mit kompaktem Quotientenraum auf einer Riemannschen Mannigfaltigkeit, so gilt eine isoperimetrische Ungleichung. Für ein gewisses \(k\) und entsprechende Volumendefinitionen für die Zellen eines Zellenkomplexes gibt es ein \(c>0\), so daß man zu jedem \(k\)-Zyklus \(z\) eine \((k+1)\)-Kette \(u\) mit \(\partial u=z\) und \(\text{vol}_{k+1}(u)\leq\text{diam}(z)\text{vol}_k(z)\) finden kann. Verf. beweist, daß die Gruppe \(\text{SL}(n, {\mathfrak O})\) für die Hauptordnung \({\mathfrak O}\) eines total-reellen algebraischen Zahlkörpers vom Grad \(\ell\geq 2\) für \(n\geq 2\) nicht ``combable'' (im Sinne der Definition der obenerwähnten Autoren) ist, indem er ausnutzt, daß \(\text{SL}(n,{\mathfrak O})\) auf natürliche Weise auf einem Produkt von \(\ell\) Kopien von \(\text{SO}(n)\setminus\text{SL}(n,\mathbb{R})\) operiert. Da der Quotientenraum nicht kompakt ist, müssen die Spitzen zunächst durch Horosphären abgeschnitten werden. Dann wird eine Folge von Zyklen \(z_m\) definiert, für die \(\text{vol}(z_m)\) und \(\text{diam}(z_m)\) polynomial in \(m\) nach oben und \(\text{vol}(u_m)\) für alle \(u_m\) mit \(\partial u_m =z_m\) exponentiell nach unten beschränkt sind, so daß keine allgemeine isoperimetrische Ungleichung gelten kann.
Mathematics Subject Classification ID: 20F65
Mathematics Subject Classification ID: 11F41
Mathematics Subject Classification ID: 20G30
Mathematics Subject Classification ID: 20F05
Mathematics Subject Classification ID: 20F10
zbMATH DE Number: 856915
zbMATH Keywords: Hilbert modular groups
zbMATH Keywords: finitely presented infinite groups
zbMATH Keywords: word problems
zbMATH Keywords: totally real algebraic number fields
zbMATH Keywords: non-combable groups
zbMATH Keywords: isoperimetric inequalities
reviewed by: Karl-Bernhard Gundlach
MaRDI profile type: Publication
full work available at URL: cag.1995.v3.n2.a1
OpenAlex ID: W2742086467
DOI: 10.4310/CAG.1995.V3.N2.A1
Recommended article: On Hilbert's modular group
Recommended article: The Hilbert modular group and orthogonal groups
Recommended article: Non-paritious Hilbert modular forms
Recommended article: The Modular Groups of Hilbert and Siegel
Recommended article: Q4948107
Recommended article: Combinatorics of congruence subgroups of the modular group
Recommended article: Hilbert irreducibility above algebraic groups
Recommended article: COMBING NILPOTENT AND POLYCYCLIC GROUPS
Recommended article: Q3850073
description: scientific article; zbMATH DE number 856915