Ahlfors finiteness theorem
E898488
The Ahlfors finiteness theorem is a fundamental result in the theory of Kleinian groups stating that, under suitable discreteness and analyticity conditions, the quotient of the domain of discontinuity has finite topological type.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Ahlfors finiteness theorem canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T10991688 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Ahlfors finiteness theorem Context triple: [Kleinian group, relatedTo, Ahlfors finiteness theorem]
-
A.
Conformal Invariants
Conformal Invariants is a foundational mathematical work by Lars Ahlfors that systematically develops the theory of quantities preserved under conformal mappings in complex analysis and geometric function theory.
-
B.
Lempert function on convex domains
The Lempert function on convex domains is a complex-analytic invariant that coincides with the Kobayashi distance and provides an extremal characterization of holomorphic mappings between convex domains in several complex variables.
-
C.
Milnor–Wood inequality
The Milnor–Wood inequality is a result in differential geometry and topology that bounds the Euler class of flat circle bundles over surfaces, with important implications for foliations and group actions on the circle.
-
D.
Donaldson–Uhlenbeck–Yau theorem
The Donaldson–Uhlenbeck–Yau theorem is a fundamental result in differential and algebraic geometry that characterizes when a holomorphic vector bundle over a compact Kähler manifold admits a Hermitian–Einstein metric, linking geometric stability with the existence of such metrics.
-
E.
Picard theorem
Picard theorem is a fundamental result in complex analysis stating that entire non-constant functions take on all possible complex values, with at most one exception.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Ahlfors finiteness theorem Target entity description: The Ahlfors finiteness theorem is a fundamental result in the theory of Kleinian groups stating that, under suitable discreteness and analyticity conditions, the quotient of the domain of discontinuity has finite topological type.
-
A.
Conformal Invariants
Conformal Invariants is a foundational mathematical work by Lars Ahlfors that systematically develops the theory of quantities preserved under conformal mappings in complex analysis and geometric function theory.
-
B.
Lempert function on convex domains
The Lempert function on convex domains is a complex-analytic invariant that coincides with the Kobayashi distance and provides an extremal characterization of holomorphic mappings between convex domains in several complex variables.
-
C.
Milnor–Wood inequality
The Milnor–Wood inequality is a result in differential geometry and topology that bounds the Euler class of flat circle bundles over surfaces, with important implications for foliations and group actions on the circle.
-
D.
Donaldson–Uhlenbeck–Yau theorem
The Donaldson–Uhlenbeck–Yau theorem is a fundamental result in differential and algebraic geometry that characterizes when a holomorphic vector bundle over a compact Kähler manifold admits a Hermitian–Einstein metric, linking geometric stability with the existence of such metrics.
-
E.
Picard theorem
Picard theorem is a fundamental result in complex analysis stating that entire non-constant functions take on all possible complex values, with at most one exception.
- F. None of above. chosen
Statements (42)
| Predicate | Object |
|---|---|
| instanceOf |
mathematical theorem
ⓘ
theorem in Kleinian group theory ⓘ theorem in complex analysis ⓘ |
| appliesTo |
Kleinian groups
NERFINISHED
ⓘ
discrete subgroups of PSL(2,C) ⓘ |
| assumes |
group acts properly discontinuously on its domain of discontinuity
ⓘ
group is a discrete subgroup of Möbius transformations ⓘ group is finitely generated ⓘ |
| category |
theorems about discrete groups of isometries
ⓘ
theorems in conformal dynamics ⓘ |
| concerns |
domain of discontinuity of a Kleinian group
ⓘ
quotient of the domain of discontinuity by a Kleinian group ⓘ |
| concludes |
each component of the quotient has finitely generated fundamental group
ⓘ
each component of the quotient has finitely many ends ⓘ quotient of the domain of discontinuity has finite topological type ⓘ quotient of the domain of discontinuity is a finite union of analytically finite Riemann surfaces ⓘ |
| context |
action of Kleinian groups on the Riemann sphere
ⓘ
decomposition of the Riemann sphere into limit set and domain of discontinuity ⓘ |
| field |
Kleinian groups
ⓘ
complex analysis ⓘ geometric function theory ⓘ hyperbolic geometry ⓘ low-dimensional topology ⓘ |
| generalizes | finiteness properties of Fuchsian groups ⓘ |
| hasConsequence |
finiteness of moduli for certain Kleinian group quotients
ⓘ
structure theory of analytically finite Riemann surfaces ⓘ |
| implies |
finiteness of conformal structure on quotient surfaces
ⓘ
finiteness of number of components of the quotient of the domain of discontinuity ⓘ |
| influenced |
Sullivan’s work on Kleinian groups
ⓘ
modern 3-manifold theory ⓘ |
| namedAfter | Lars Ahlfors NERFINISHED ⓘ |
| provedBy | Lars Ahlfors NERFINISHED ⓘ |
| relatesTo |
Riemann surfaces
NERFINISHED
ⓘ
Teichmüller theory NERFINISHED ⓘ analytically finite Riemann surfaces ⓘ conformal structures ⓘ |
| timePeriod | mid 20th century ⓘ |
| typicalConclusion | quotient of domain of discontinuity is a finite-type Riemann surface or orbifold ⓘ |
| typicalHypothesis | Kleinian group is finitely generated NERFINISHED ⓘ |
| usedIn |
classification of Kleinian groups
ⓘ
proofs of tameness-type results for Kleinian groups ⓘ study of hyperbolic 3-manifolds ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Ahlfors finiteness theorem Description of subject: The Ahlfors finiteness theorem is a fundamental result in the theory of Kleinian groups stating that, under suitable discreteness and analyticity conditions, the quotient of the domain of discontinuity has finite topological type.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.