Triple
T18956185
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Kummer surface |
E463785
|
entity |
| Predicate | specialCaseOf |
P7025
|
FINISHED |
| Object | Kummer variety |
—
|
NE NERFINISHED |
How this triple was built (2 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: Kummer variety | Statement: [Kummer surface, specialCaseOf, Kummer variety]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Kummer variety Context triple: [Kummer surface, specialCaseOf, Kummer variety]
-
A.
Kummer surfaces
chosen
Kummer surfaces are special quartic algebraic surfaces in projective three-space characterized by having 16 ordinary double points, extensively studied in the context of complex geometry and abelian varieties.
-
B.
Jacobian varieties
Jacobian varieties are complex algebraic varieties associated to algebraic curves that parametrize degree-zero line bundles (or divisor classes) on the curve and carry a natural structure of principally polarized abelian varieties.
-
C.
Severi varieties
Severi varieties are special projective algebraic varieties characterized by extremal geometric properties, such as having secant varieties of minimal possible dimension, and form a small, highly structured class in algebraic geometry.
-
D.
Shimura varieties
Shimura varieties are higher-dimensional algebraic varieties that generalize modular curves and play a central role in the Langlands program by connecting number theory, automorphic forms, and arithmetic geometry.
-
E.
Abelian Varieties with Complex Multiplication and Modular Functions
"Abelian Varieties with Complex Multiplication and Modular Functions" is a foundational monograph by Goro Shimura that develops the arithmetic theory of abelian varieties with complex multiplication and their deep connections to modular and automorphic functions.
- F. None of above.
- G. Unsure - the case is ambiguous/there is not enough information to decide.
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_69d8dcffc278819086792a4ebfddfafa |
completed | April 10, 2026, 11:20 a.m. |
| NER | Named-entity recognition | batch_69e5d5cdf2d08190a0aecd3fa5335a75 |
completed | April 20, 2026, 7:29 a.m. |
Created at: April 10, 2026, noon