Non-combability of Hilbert modular groups (Q1909685): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Karl-Bernhard Gundlach / rank | |||
Property / reviewed by | |||
Property / reviewed by: Karl-Bernhard Gundlach / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.4310/cag.1995.v3.n2.a1 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2742086467 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 08:44, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Non-combability of Hilbert modular groups |
scientific article |
Statements
Non-combability of Hilbert modular groups (English)
0 references
19 March 1998
0 references
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.
0 references
Hilbert modular groups
0 references
finitely presented infinite groups
0 references
word problems
0 references
totally real algebraic number fields
0 references
non-combable groups
0 references
isoperimetric inequalities
0 references