Triple

T16151025
Position Surface form Disambiguated ID Type / Status
Subject equivariant index theorem E391908 entity
Predicate instanceOf P0 FINISHED
Object generalization of the Atiyah–Singer index theorem C28593 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 the Atiyah–Singer index theorem
Context triple: [equivariant index theorem, instanceOf, generalization of the Atiyah–Singer index theorem]
  • A. Green’s function in Euclidean space
    A Green’s function in Euclidean space is a fundamental solution to a linear differential operator that represents the response at one point due to a unit source located at another point, enabling the construction of solutions to boundary value problems via superposition.
  • B. theory in differential topology
    A theory in differential topology is a coherent framework of concepts, theorems, and techniques that studies the properties of smooth manifolds and smooth maps between them that are invariant under smooth deformations.
  • C. elliptic differential operator
    An elliptic differential operator is a linear differential operator whose principal symbol is invertible away from the zero section, ensuring strong regularity and smoothing properties for its solutions.
  • D. result in equivariant cohomology chosen
    A result in equivariant cohomology is a theorem or statement describing how cohomological invariants behave under a group action, typically relating equivariant cohomology groups to ordinary cohomology or geometric data of the action.
  • E. homological invariant
    A homological invariant is a quantity or structure derived from homology theory that remains unchanged under specified transformations, used to distinguish and classify mathematical objects up to an appropriate notion of equivalence.
  • 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_69d87f1c65e48190aa2b4c472e9bafc4 completed April 10, 2026, 4:39 a.m.
Created at: April 10, 2026, 5:01 a.m.