Triple

T6708999
Position Surface form Disambiguated ID Type / Status
Subject Simon Donaldson E153081 entity
Predicate knownFor P22 FINISHED
Object 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.
E613807 NE FINISHED

How this triple was built (4 steps)

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.

NER Named-entity recognition gpt-5-mini
Instruction
Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).
Input
Phrase: Donaldson–Uhlenbeck–Yau theorem | Statement: [Simon Donaldson, knownFor, Donaldson–Uhlenbeck–Yau theorem]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Donaldson–Uhlenbeck–Yau theorem
Context triple: [Simon Donaldson, knownFor, Donaldson–Uhlenbeck–Yau theorem]
  • A. Monge–Ampère equation
    The Monge–Ampère equation is a fully nonlinear partial differential equation central to differential geometry, optimal transport, and several complex variables, often used to study curvature and geometric structures.
  • B. Yamabe problem
    The Yamabe problem is a fundamental question in differential geometry concerning whether every compact Riemannian manifold admits a metric of constant scalar curvature within a given conformal class.
  • C. Atiyah–Singer index theorem
    The Atiyah–Singer index theorem is a fundamental result in mathematics that links the analytical properties of elliptic differential operators to topological invariants of manifolds, unifying analysis, topology, and geometry.
  • D. Hirzebruch–Riemann–Roch theorem
    The Hirzebruch–Riemann–Roch theorem is a fundamental result in algebraic geometry and topology that expresses the holomorphic Euler characteristic of a complex manifold in terms of characteristic classes, unifying and extending classical Riemann–Roch type formulas.
  • E. Kähler–Ricci flow
    Kähler–Ricci flow is a geometric evolution equation that deforms Kähler metrics on complex manifolds according to their Ricci curvature, playing a central role in complex differential geometry and the study of canonical metrics.
  • F. None of above. chosen
  • G. Unsure - the case is ambiguous/there is not enough information to decide.
NEDg Description generation gpt-5.1
Instruction
Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"
Input
Entity: Donaldson–Uhlenbeck–Yau theorem
Triple: [Simon Donaldson, knownFor, Donaldson–Uhlenbeck–Yau theorem]
Generated description
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.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: Donaldson–Uhlenbeck–Yau theorem
Target entity description: 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.
  • A. Monge–Ampère equation
    The Monge–Ampère equation is a fully nonlinear partial differential equation central to differential geometry, optimal transport, and several complex variables, often used to study curvature and geometric structures.
  • B. Yamabe problem
    The Yamabe problem is a fundamental question in differential geometry concerning whether every compact Riemannian manifold admits a metric of constant scalar curvature within a given conformal class.
  • C. Atiyah–Singer index theorem
    The Atiyah–Singer index theorem is a fundamental result in mathematics that links the analytical properties of elliptic differential operators to topological invariants of manifolds, unifying analysis, topology, and geometry.
  • D. Hirzebruch–Riemann–Roch theorem
    The Hirzebruch–Riemann–Roch theorem is a fundamental result in algebraic geometry and topology that expresses the holomorphic Euler characteristic of a complex manifold in terms of characteristic classes, unifying and extending classical Riemann–Roch type formulas.
  • E. Kähler–Ricci flow
    Kähler–Ricci flow is a geometric evolution equation that deforms Kähler metrics on complex manifolds according to their Ricci curvature, playing a central role in complex differential geometry and the study of canonical metrics.
  • F. None of above. chosen

Provenance (5 batches)

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_69c68808d8d8819087369015270788fe completed March 27, 2026, 1:37 p.m.
NER Named-entity recognition batch_69c6d105b49c8190932246a727e2c513 completed March 27, 2026, 6:48 p.m.
NED1 Entity disambiguation (via context triple) batch_69c7008e6b308190a3d5db2bf4a469c4 completed March 27, 2026, 10:11 p.m.
NEDg Description generation batch_69c701be78cc8190a0848ea60908d129 completed March 27, 2026, 10:16 p.m.
NED2 Entity disambiguation (via description) batch_69c7021b27288190866aef500198479d completed March 27, 2026, 10:18 p.m.
Created at: March 27, 2026, 2:06 p.m.