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.