Schottky-gruppen

Grundläggande domän för en 3-generator Schottky-grupp

Inom matematiken är en Schottky-grupp en speciell sorts Kleinian-grupp , först studerad av Friedrich Schottky ( 1877 ).

Definition

Fixa någon punkt p Riemann-sfären . Varje Jordan-kurva som inte går genom p delar Riemann-sfären i två delar, och vi kallar den bit som innehåller p kurvans "exteriör" och den andra delen för dess "inre". Antag att det finns 2 g osammanhängande Jordan - kurvor A 1 , B 1 ,..., A g , Bg i Riemann-sfären med disjunkta inre. Om det finns Möbius-transformationer Ti som tar utsidan av A i till insidan av B i , så är gruppen som genereras av dessa transformationer en kleinisk grupp . En Schottky-grupp är vilken Kleinian-grupp som helst som kan konstrueras så här.

Egenskaper

Enligt Maskit (1967) är en finit genererad Kleinian-grupp Schottky om och endast om den är finitely genererad , fri , har en icke-tom domän av diskontinuitet, och alla icke-triviala element är loxodromic .

En grundläggande domän för verkan av en Schottky-grupp G på dess regelbundna punkter Ω( G ) i Riemann-sfären ges av utsidan av Jordan-kurvorna som definierar den. Motsvarande kvotutrymme Ω( G )/ G ges genom att sammanfoga Jordan-kurvorna i par, så även en kompakt Riemann-yta av släktet g . Detta är gränsen för 3-grenröret som ges genom att ta kvoten ( H ∪Ω( G ))/ G för 3-dimensionell hyperbolisk H -rymd plus den reguljära mängden Ω( G ) av Schottky-gruppen G , som är en handtag för släktet g . Omvänt kan vilken som helst kompakt Riemann-yta av släktet g erhållas från någon Schottky-grupp av släktet g .

Klassiska och icke-klassiska Schottky-grupper

En Schottky-grupp kallas klassisk om alla disjunkta Jordan-kurvor som motsvarar någon uppsättning generatorer kan väljas att vara cirklar. Marden ( 1974 , 1977 ) gav ett indirekt och icke-konstruktivt bevis på existensen av icke-klassiska Schottky-grupper, och Yamamoto (1991) gav ett explicit exempel på en sådan. Det har visat sig av Doyle (1988) att alla ändligt genererade klassiska Schottky-grupper har gränsuppsättningar av Hausdorff-dimension som begränsas ovanför strikt av en universell konstant mindre än 2. Omvänt har Hou (2010) bevisat att det finns en universell nedre gräns på Hausdorff-dimension av gränsuppsättningar för alla icke-klassiska Schottky-grupper.

Begränsa uppsättningar av Schottky-grupper

Schottky (Kleinian) gruppgräns satt i plan

Gränsmängden för en Schottky-grupp, komplementet till Ω( G ), har alltid Lebesgue-mått noll, men kan ha positivt d - dimensionellt Hausdorff-mått för d < 2. Det är perfekt och ingenstans tätt med positiv logaritmisk kapacitet.

Uttalandet om Lebesgue-mått följer för klassiska Schottky-grupper från existensen av Poincaré-serien

Poincaré visade att serien | c i | −4 kan summeras över gruppens icke-identitetselement. Faktum är att om man tar en sluten skiva i det inre av den fundamentala domänen, är dess bilder under olika gruppelement disjunkta och inneslutna i en fast skiva omkring 0. Så summorna av områdena är ändliga. Genom förändringar av variabelformeln är arean större än en konstant gånger | c i | −4 .

Ett liknande argument innebär att gränsen har Lebesgue-mått noll. För det finns i komplementet av föreningen av bilderna av den fundamentala regionen av gruppelement med ordlängd som begränsas av n . Detta är en ändlig förening av cirklar så har ändlig area. Det området begränsas ovanför av en konstant gånger bidraget till Poincaré-summan av element med ordlängd n , så minskar till 0.

Schottky utrymme

Schottky-utrymme (av något släkte g ≥ 2) är utrymmet för markerade Schottky-grupper av släktet g , med andra ord utrymmet av uppsättningar av g -element av PSL 2 ( C ) som genererar en Schottky-grupp, upp till ekvivalens under Möbius-transformationer ( Bers 1975 ). Det är ett komplext grenrör med komplex dimension 3 g −3. Den innehåller klassisk Schottky-rymd som den delmängd som motsvarar klassiska Schottky-grupper.

Schottky-utrymmet av släktet g är inte bara förbundet i allmänhet, men dess universella täckande utrymme kan identifieras med Teichmüller-utrymmet för kompakta släktet g Riemann-ytor.

Se även

Anteckningar

externa länkar