Triple

T22668912
Position Surface form Disambiguated ID Type / Status
Subject Introduction to the Theory of Algebraic Functions of One Variable E559866 entity
Predicate emphasis P79 FINISHED
Object Riemann–Roch spaces — NE NERFINISHED

How this triple was built (2 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: Riemann–Roch spaces | Statement: [Introduction to the Theory of Algebraic Functions of One Variable, emphasis, Riemann–Roch spaces]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: Riemann–Roch spaces
Context triple: [Introduction to the Theory of Algebraic Functions of One Variable, emphasis, Riemann–Roch spaces]
  • A. Riemann–Roch theorem chosen
    The Riemann–Roch theorem is a fundamental result in algebraic geometry and complex analysis that relates the dimension of spaces of meromorphic sections of a line bundle on a curve to topological data such as genus and degree.
  • B. Grothendieck–Ogg–Shafarevich formula
    The Grothendieck–Ogg–Shafarevich formula is a result in arithmetic geometry that relates the Euler characteristic of an ℓ-adic sheaf on a curve over a finite field to local invariants such as conductors and ramification data.
  • C. Brill–Noether theory
    Brill–Noether theory is a branch of algebraic geometry that studies linear series on algebraic curves, particularly the existence and dimension of spaces of special divisors and maps to projective spaces.
  • D. Hurwitz bound on automorphism groups of curves
    The Hurwitz bound on automorphism groups of curves is a classical result in algebraic geometry stating that a compact Riemann surface of genus at least 2 has at most 84(g − 1) automorphisms.
  • E. Baker’s theory of Abelian functions
    Baker’s theory of Abelian functions is a foundational mathematical work that systematically develops the theory of Abelian functions and their applications in complex analysis and algebraic geometry.
  • F. None of above.
  • G. Unsure - the case is ambiguous/there is not enough information to decide.

Provenance (2 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_69e2454a158c819093b8e35f5045efb6 completed April 17, 2026, 2:35 p.m.
NER Named-entity recognition batch_69f1781de1d48190947cb1bb9d0890d9 completed April 29, 2026, 3:16 a.m.
Created at: April 17, 2026, 3:09 p.m.