Triple

T12027034
Position Surface form Disambiguated ID Type / Status
Subject Noncommutative Geometry (1994 book) E286303 entity
Predicate subject P450 FINISHED
Object Fredholm modules
Fredholm modules are algebraic-analytic structures in noncommutative geometry that generalize elliptic operators and encode K-homology classes for C*-algebras.
 E959835 NE FINISHED

Named-entity recognition

Before disambiguation, gpt-5-mini classified whether the object phrase is a named entity — the step behind the object's NE type shown above.

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: Fredholm modules | Statement: [Noncommutative Geometry (1994 book), subject, Fredholm modules]

Disambiguation candidates (2 decisions)

The exact options the model was shown at each disambiguation step, with the option it chose highlighted — the evidence behind this triple's disambiguated ids.

NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: Fredholm modules
Context triple: [Noncommutative Geometry (1994 book), subject, Fredholm modules]
  • A. Connes–Moscovici index theorem
    The Connes–Moscovici index theorem is a fundamental result in noncommutative geometry that generalizes the classical Atiyah–Singer index theorem to the setting of foliations and noncommutative spaces.
  • B. Hilbert–Schmidt operators
    Hilbert–Schmidt operators are a class of compact operators on Hilbert spaces characterized by having finite Hilbert–Schmidt norm, playing a central role in functional analysis and operator theory.
  • C. C*-algebras
    C*-algebras are a class of norm-closed, self-adjoint operator algebras on Hilbert spaces that form a fundamental framework in functional analysis and noncommutative geometry.
  • D. 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.
  • E. equivariant index theorem
    The equivariant index theorem is a generalization of the Atiyah–Singer index theorem that computes indices of elliptic operators while taking into account the action of a symmetry group.
  • 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: Fredholm modules
Target entity description: Fredholm modules are algebraic-analytic structures in noncommutative geometry that generalize elliptic operators and encode K-homology classes for C*-algebras.
  • A. Connes–Moscovici index theorem
    The Connes–Moscovici index theorem is a fundamental result in noncommutative geometry that generalizes the classical Atiyah–Singer index theorem to the setting of foliations and noncommutative spaces.
  • B. Hilbert–Schmidt operators
    Hilbert–Schmidt operators are a class of compact operators on Hilbert spaces characterized by having finite Hilbert–Schmidt norm, playing a central role in functional analysis and operator theory.
  • C. C*-algebras
    C*-algebras are a class of norm-closed, self-adjoint operator algebras on Hilbert spaces that form a fundamental framework in functional analysis and noncommutative geometry.
  • D. 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.
  • E. equivariant index theorem
    The equivariant index theorem is a generalization of the Atiyah–Singer index theorem that computes indices of elliptic operators while taking into account the action of a symmetry group.
  • F. None of above. chosen

How the object was described

The object's one-sentence description was generated by prompting gpt-5.1 with the object name and this triple as context.

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: Fredholm modules
Triple: [Noncommutative Geometry (1994 book), subject, Fredholm modules]
Generated description
Fredholm modules are algebraic-analytic structures in noncommutative geometry that generalize elliptic operators and encode K-homology classes for C*-algebras.

Provenance (5 batches)

Stage Batch ID Job type Status
creating batch_69d6ab4669e48190b59246358b0383ab elicitation completed
NER batch_69d903f02638819091e0cc0e93fa5ea7 ner completed
NED1 batch_69f48b8111b88190a42a8904a2d26862 ned_source_triple completed
NED2 batch_69f495f069c48190a6e5856c272420c0 ned_description completed
NEDg batch_69f48fc7a8848190a06b34cc45db4789 nedg completed
Created at: April 8, 2026, 9:47 p.m.