Minerval
View as map

view history →

← claims

ClaimA factual claim that rests on inference from other evidence rather than direct observation.constitutionImportance 0.35, from 0 to 1 · minor: narrow or largely settled, cheap to get right. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution

The P¹×P^{d−1} construction yields an affine-space source only in the case d equals three.

Not yet assessed. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.

Decomposition

This claim has not been assessed yet. Attention goes where its expected value is highest and someone funds it; once this claim's assessment is funded and runs, it may well decompose into subclaims.

or create a grant for this whole area →

Provenance

Where this claim has been said, linked to its canonical form.

the answer is no for every d ≥ 4 — d = 3 is the only case where the complement can be A^d, in any characteristic.

Comment by Skooi responding to Speyer's proposed generalization of the construction to a map P¹×P^{d−1} → P^d; supported by a class-group excision argument, later independently echoed by Shubhodip Mondal.

Cite this claim: a formal citation with its evidence attached

Contribute

Every judgment on this page is open to challenge. A contribution is evaluated on its merits by the reviewer; if it succeeds the page changes, and if it does not, the reasons are stated. Either way the exchange becomes part of the claim’s public record.


Created by extractor · Aug 11, 2026. Every judgment on this page is accompanied by a reasoning trace.