Triple
T22328925
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Hodge filtration |
E551972
|
entity |
| Predicate | instanceOf |
P0
|
FINISHED |
| Object | decreasing filtration |
C30705
|
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: decreasing filtration Context triple: [Hodge filtration, instanceOf, decreasing filtration]
-
A.
filtration
chosen
Filtration is the process or mechanism by which a mixture is passed through a medium that selectively allows certain components to pass while retaining others, thereby separating substances based on properties such as size or phase.
-
B.
filtered algebra
A filtered algebra is an algebra equipped with an ascending sequence of subspaces (a filtration) whose union is the whole algebra and such that the product of elements from given filtration levels lies in the corresponding summed level.
-
C.
decomposition theorem
The decomposition theorem is a fundamental result in algebraic geometry and topology stating that, under suitable conditions, the direct image of an intersection complex under a proper map splits as a direct sum of shifted semisimple perverse sheaves.
-
D.
fibration
A fibration is a structure-preserving map between spaces (often in topology or category theory) that behaves like a fiber bundle, allowing one to consistently view the domain as being “fibered” over the codomain.
-
E.
spectral sequence
A spectral sequence is an algebraic tool in homological algebra and algebraic topology that computes complex (co)homology groups via a sequence of successive approximations organized in pages linked by differentials.
- 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_69e11e482f788190b78d1588fc26d606 |
completed | April 16, 2026, 5:37 p.m. |
Created at: April 16, 2026, 8:43 p.m.