Triple
T33985580
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Siegel domain |
E871401
|
entity |
| Predicate | instanceOf |
P0
|
FINISHED |
| Object | generalization of upper half-plane |
C59244
|
CONCEPT FINISHED |
How this triple was built (1 step)
Every LLM step that produced this triple, in pipeline order — named-entity classification, the disambiguation choices (the exact options shown, with the pick highlighted), and the generated description. The batch + timestamp of each is in the Provenance table below.
CD
Concept disambiguation
gpt-5-mini-2025-08-07
Target class: generalization of upper half-plane Context triple: [Siegel domain, instanceOf, generalization of upper half-plane]
-
A.
conformal model of the hyperbolic plane
A conformal model of the hyperbolic plane is a geometric representation (such as the Poincaré disk or upper half-plane) in which hyperbolic lines and distances are depicted so that angles are preserved while the metric differs from the Euclidean one.
-
B.
parabolic element of PSL(2,ℤ)
A parabolic element of PSL(2,ℤ) is a Möbius transformation represented by an integer 2×2 matrix of determinant 1 with trace ±2, which fixes exactly one point on the extended real line (typically a rational cusp) and acts there by translation.
-
C.
bounded symmetric domain (up to biholomorphism)
chosen
A bounded symmetric domain (up to biholomorphism) is a connected bounded open subset of complex Euclidean space whose biholomorphic automorphism group acts transitively and admits, at each point, an involutive automorphism reversing all geodesics through that point, considered up to biholomorphic equivalence.
-
D.
extended complex plane
The extended complex plane is the complex number system augmented with a single point at infinity, forming a compact space often visualized as the Riemann sphere.
-
E.
model of hyperbolic geometry
A model of hyperbolic geometry is a mathematical structure that represents the axioms and properties of hyperbolic space—where, unlike in Euclidean geometry, through any point not on a given line there exist infinitely many parallel lines—within a concrete setting such as the Poincaré disk or upper half-plane.
- F. None of above.
Provenance (1 batch)
The batch behind each pipeline step, in order, with when it ran. Timestamps are batch-level — stages were processed in waves, so the object chain (NER → NED1 → NEDg → NED2) reads in order, but predicate / elicitation batches can sit in a different wave.
| Step | Stage | Batch ID | Status | When |
|---|---|---|---|---|
| creating | Elicitation | batch_69f3499e964c8190b674b03f6f791b4b |
completed | April 30, 2026, 12:22 p.m. |
Created at: May 1, 2026, 1:50 a.m.