Non-combability of Hilbert modular groups (Q1909685): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
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
Normal 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 / namelinks / 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
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references