Triple

T20509241
Position Surface form Disambiguated ID Type / Status
Subject Kazhdan–Lusztig theory E503515 entity
Predicate relatedTo P37 FINISHED
Object Schubert calculus NE NERFINISHED

How this triple was built (3 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: Schubert calculus | Statement: [Kazhdan–Lusztig theory, relatedTo, Schubert calculus]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Schubert calculus
Context triple: [Kazhdan–Lusztig theory, relatedTo, Schubert calculus]
  • A. Topological Methods in Algebraic Geometry
    Topological Methods in Algebraic Geometry is a foundational mathematical monograph by Friedrich Hirzebruch that applies topological techniques, particularly characteristic classes and cobordism theory, to problems in algebraic geometry.
  • B. Bott residue formula
    The Bott residue formula is a fundamental result in differential and algebraic geometry that expresses global invariants, such as characteristic numbers, as sums of local contributions at the fixed points of a holomorphic vector field or group action.
  • C. Hilbert scheme theory
    Hilbert scheme theory is a branch of algebraic geometry that studies parameter spaces representing families of subschemes of projective space, capturing how such geometric objects vary in moduli.
  • D. 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.
  • E. Hirzebruch genera
    Hirzebruch genera are topological invariants in algebraic topology and differential geometry that generalize characteristic classes to classify and study manifolds.
  • 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: Schubert calculus
Target entity description: Schubert calculus is a branch of algebraic geometry and combinatorics that studies the intersection theory of Schubert varieties in flag manifolds, often using symmetric functions and representation-theoretic tools.
  • A. Topological Methods in Algebraic Geometry
    Topological Methods in Algebraic Geometry is a foundational mathematical monograph by Friedrich Hirzebruch that applies topological techniques, particularly characteristic classes and cobordism theory, to problems in algebraic geometry.
  • B. Bott residue formula
    The Bott residue formula is a fundamental result in differential and algebraic geometry that expresses global invariants, such as characteristic numbers, as sums of local contributions at the fixed points of a holomorphic vector field or group action.
  • C. Hilbert scheme theory
    Hilbert scheme theory is a branch of algebraic geometry that studies parameter spaces representing families of subschemes of projective space, capturing how such geometric objects vary in moduli.
  • D. 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.
  • E. Hirzebruch genera
    Hirzebruch genera are topological invariants in algebraic topology and differential geometry that generalize characteristic classes to classify and study manifolds.
  • F. None of above. chosen

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_69e0b4b1e52c8190894281cf7e3283ab completed April 16, 2026, 10:06 a.m.
NER Named-entity recognition batch_69e69dc9de788190882ce471966ef2b4 completed April 20, 2026, 9:42 p.m.
Created at: April 16, 2026, 11:36 a.m.