Twierdzenie o skończoności Ahlforsa

W matematycznej teorii grup Kleinowskich twierdzenie Ahlforsa o skończoności opisuje iloraz dziedziny nieciągłości przez skończenie wygenerowaną grupę Kleinowską. Twierdzenie zostało udowodnione przez Larsa Ahlforsa ( 1964 , 1965 ), poza luką, którą wypełnił Greenberg (1967) .

Twierdzenie Ahlforsa o skończoności stwierdza, że ​​jeśli Γ jest skończenie wygenerowaną grupą Kleina z obszarem nieciągłości Ω, to Ω/Γ ma skończoną liczbę składowych, z których każdy jest zwartą powierzchnią Riemanna ze skończoną liczbą usuniętych punktów.

Nierówność obszaru Bersa

obszaru Bersa jest ilościowym udoskonaleniem twierdzenia Ahlforsa o skończoności udowodnionym przez Lipmana Bersa ( 1967a ). Stwierdza, że ​​jeśli Γ jest nieelementarną, skończenie wygenerowaną grupą Kleinowską z N generatorami i obszarem nieciągłości Ω, to

Powierzchnia (Ω/Γ) ≤ 4π( N − 1)

z równością tylko dla grup Schottky'ego . (Powierzchnia jest określona przez metrykę Poincarégo w każdym składniku.) Ponadto, jeśli Ω 1 jest składnikiem niezmiennym, to

Powierzchnia (Ω/Γ) ≤ 2 Powierzchnia (Ω 1 /Γ)

z równością tylko dla grup Fuchsa pierwszego rodzaju (więc w szczególności mogą istnieć co najwyżej dwa niezmienne składniki).