grupa Schottky'ego

Podstawowa dziedzina 3-generatorowej grupy Schottky'ego

W matematyce grupa Schottky'ego jest szczególnym rodzajem grupy Kleinowskiej , którą po raz pierwszy zbadał Friedrich Schottky ( 1877 ).

Definicja

Ustalmy jakiś punkt p na kuli Riemanna . Każda krzywa Jordana, która nie przechodzi przez p, dzieli sferę Riemanna na dwie części, a część zawierającą p nazywamy „zewnętrzną” krzywą, a drugą jej „wnętrzem”. Załóżmy, że istnieją 2 g rozłącznych krzywych Jordana A 1 , B 1 ,..., A g , B g w sferze Riemanna z rozłącznymi wnętrzami. Jeśli tam są Transformacje Möbiusa T i przenoszące zewnętrzną stronę A i do wnętrza B i , to grupa generowana przez te transformacje jest grupą Kleinowską . Grupa Schottky'ego to dowolna grupa Kleinowska, którą można skonstruować w ten sposób.

Nieruchomości

Według pracy Maskita (1967) skończenie generowana grupa Kleinowska jest Schottky'ego wtedy i tylko wtedy, gdy jest skończenie generowana , swobodna , ma niepustą domenę nieciągłości, a wszystkie nietrywialne elementy są loxodromiczne .

Podstawową dziedziną działania grupy Schottky'ego G na jej punkty regularne Ω( G ) w sferze Riemanna jest określona przez definiującą ją zewnętrzną część krzywych Jordana. Odpowiednia przestrzeń ilorazowa Ω( G )/ G jest dana przez połączenie parami krzywych Jordana, podobnie jak zwarta powierzchnia Riemanna rodzaju g . To jest granica trójwymiarowej rozmaitości, biorąc iloraz ( H ∪Ω ( G ))/ G trójwymiarowej hiperbolicznej przestrzeni H plus zbiór regularny Ω ( G ) przez grupę Schottky'ego G , która jest kierownicą rodzaju g . I odwrotnie, dowolną zwartą powierzchnię Riemanna rodzaju g można otrzymać z pewnej grupy Schottky'ego rodzaju g .

Klasyczne i nieklasyczne grupy Schottky'ego

Grupę Schottky'ego nazywamy klasyczną , jeśli wszystkie rozłączne krzywe Jordana odpowiadające pewnemu zestawowi generatorów można wybrać jako okręgi. Marden ( 1974 , 1977 ) podał pośredni i niekonstruktywny dowód na istnienie nieklasycznych grup Schottky'ego, a Yamamoto (1991) podał jednoznaczny przykład takiej grupy. Doyle (1988) wykazał , że wszystkie skończenie generowane klasyczne grupy Schottky'ego mają zbiory graniczne wymiaru Hausdorffa ograniczone powyżej stałą uniwersalną mniejszą niż 2. I odwrotnie, Hou (2010) udowodnił, że istnieje uniwersalna dolna granica wymiaru Hausdorffa zbiorów granicznych wszystkich nieklasycznych grup Schottky'ego.

Zbiory graniczne grup Schottky'ego

Granica grupy Schottky'ego (Kleinowskiego) ustalona na płaszczyźnie

Zbiór graniczny grupy Schottky'ego, dopełnienie Ω ( G ), zawsze ma miarę Lebesgue'a zero, ale może mieć dodatnią d - wymiarową miarę Hausdorffa dla d < 2. Jest doskonały i nigdzie nie jest gęsty z dodatnią pojemnością logarytmiczną.

Stwierdzenie dotyczące miar Lebesgue'a wynika dla klasycznych grup Schottky'ego z istnienia szeregu Poincarégo

Poincaré wykazał, że szereg | c ja | −4 można zsumować po elementach nietożsamościowych grupy. W rzeczywistości, biorąc zamknięty dysk we wnętrzu domeny podstawowej, jego obrazy pod różnymi elementami grupowymi są rozłączne i zawarte w stałym dysku około 0. Zatem sumy obszarów są skończone. Ze wzoru na zmiany zmiennych pole jest większe niż stała razy | c ja | −4 .

Podobny argument implikuje, że zbiór graniczny ma miarę Lebesgue'a zero. Zawiera się bowiem w dopełnieniu unii obrazów obszaru podstawowego elementami grupowymi o długości słowa ograniczonej przez n . Jest to skończona suma okręgów, więc ma skończoną powierzchnię. Obszar ten jest ograniczony z góry przez stałą pomnożoną przez wkład do sumy Poincarégo elementów o długości słowa n , więc zmniejsza się do 0.

Przestrzeń Schottky'ego

Przestrzeń Schottky'ego (niektórego rodzaju g ≥ 2) jest przestrzenią zaznaczonych grup Schottky'ego rodzaju g , innymi słowy przestrzenią zbiorów g elementów PSL 2 ( C ) generujących grupę Schottky'ego, aż do równoważności pod transformacjami Möbiusa ( Bers 1975 ). Jest to złożona rozmaitość o złożonym wymiarze 3 g −3. Zawiera klasyczną przestrzeń Schottky'ego jako podzbiór odpowiadający klasycznym grupom Schottky'ego.

Przestrzeń Schottky'ego rodzaju g nie jest ogólnie po prostu spójna, ale jej uniwersalna przestrzeń pokrycia może być utożsamiana z przestrzenią Teichmüllera zwartych powierzchni Riemanna rodzaju g .

Zobacz też

Notatki

Linki zewnętrzne