Triple
T10661695
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Levi-Civita symbol |
E251240
|
entity |
| Predicate | relatedConcept |
P37
|
FINISHED |
| Object |
Hodge star operator
The Hodge star operator is a linear map on differential forms in oriented Riemannian manifolds that sends a k-form to an (n−k)-form in a way that encodes the metric and orientation, enabling duality operations such as defining codifferentials and expressing vector calculus identities.
|
E876575
|
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: Hodge star operator | Statement: [Levi-Civita symbol, relatedConcept, Hodge star operator]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Hodge star operator Context triple: [Levi-Civita symbol, relatedConcept, Hodge star operator]
-
A.
Hodge Laplacian
The Hodge Laplacian is a differential operator on differential forms of a Riemannian manifold that combines the exterior derivative and its adjoint to study harmonic forms and de Rham cohomology.
-
B.
Lefschetz operator
The Lefschetz operator is a linear operator in Kähler geometry that acts on differential forms by wedging with the Kähler form, playing a central role in the Hard Lefschetz theorem and Hodge theory.
-
C.
Fubini–Study form
The Fubini–Study form is the canonical Kähler form on complex projective space, encoding its standard Hermitian and symplectic geometry.
-
D.
Hodge decomposition
Hodge decomposition is a fundamental result in differential geometry and Hodge theory that expresses differential forms on a Riemannian manifold uniquely as sums of exact, co-exact, and harmonic components.
-
E.
Dirac operator
The Dirac operator is a fundamental first-order differential operator on spinor fields that generalizes the classical Dirac equation and plays a central role in geometry, topology, and quantum field theory.
- 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: Hodge star operator Triple: [Levi-Civita symbol, relatedConcept, Hodge star operator]
Generated description
The Hodge star operator is a linear map on differential forms in oriented Riemannian manifolds that sends a k-form to an (n−k)-form in a way that encodes the metric and orientation, enabling duality operations such as defining codifferentials and expressing vector calculus identities.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Hodge star operator Target entity description: The Hodge star operator is a linear map on differential forms in oriented Riemannian manifolds that sends a k-form to an (n−k)-form in a way that encodes the metric and orientation, enabling duality operations such as defining codifferentials and expressing vector calculus identities.
-
A.
Hodge Laplacian
The Hodge Laplacian is a differential operator on differential forms of a Riemannian manifold that combines the exterior derivative and its adjoint to study harmonic forms and de Rham cohomology.
-
B.
Lefschetz operator
The Lefschetz operator is a linear operator in Kähler geometry that acts on differential forms by wedging with the Kähler form, playing a central role in the Hard Lefschetz theorem and Hodge theory.
-
C.
Fubini–Study form
The Fubini–Study form is the canonical Kähler form on complex projective space, encoding its standard Hermitian and symplectic geometry.
-
D.
Hodge decomposition
Hodge decomposition is a fundamental result in differential geometry and Hodge theory that expresses differential forms on a Riemannian manifold uniquely as sums of exact, co-exact, and harmonic components.
-
E.
Dirac operator
The Dirac operator is a fundamental first-order differential operator on spinor fields that generalizes the classical Dirac equation and plays a central role in geometry, topology, and quantum field theory.
- 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_69d6aa5b0d2881909584b20efc5877f0 |
completed | April 8, 2026, 7:19 p.m. |
| NER | Named-entity recognition | batch_69d6e018d1e881909b8e62682104e842 |
completed | April 8, 2026, 11:09 p.m. |
| NED1 | Entity disambiguation (via context triple) | batch_69d97a8cabc88190b430cb08ed0fc515 |
completed | April 10, 2026, 10:32 p.m. |
| NEDg | Description generation | batch_69d97cd3eab48190a191f0d8278ef761 |
completed | April 10, 2026, 10:42 p.m. |
| NED2 | Entity disambiguation (via description) | batch_69d97e189800819087bf6af15b2370a2 |
completed | April 10, 2026, 10:47 p.m. |
Created at: April 8, 2026, 9:08 p.m.