Smooth local choices can still refuse to assemble
- What it is
- A paper claims a counterexample showing that continuously changing compatible information need not combine into one global mathematical model.
- Who did it
- Morgan Rogers and Joshua Wrigley
- What it could mean
- All the local pieces can look compatible without a whole ever existing. This counterexample would expose that trap in mathematical model-building: continuous local information is not automatically a global solution.
See the check plan
Evidence & validation
From announcement to evidence
Discovery recorded. State of Proof has not yet examined this claim.
Read the original work
A counterexample to Kanalas' problem of continuously realising types ↗See the proposed checks
Map coherence, continuity, fibre realization, and sheaf-model notions to the original problem; highest risk is a mismatch between the construction and Kanalas' hypotheses.
No proof docket yet
A docket is the public record of checks and open questions. This paper does not have one yet; the check plan above describes work still to do.
Explore existing proof dockets →
- What it claims
- Gives a coherent theory, space, and continuous type assignment for which no corresponding sheaf model realizes the assigned types fibrewise, negatively answering a problem of Kristóf Kanalas.
- Why this could matter
- Smooth local choices can still refuse to assemble The paper tests a powerful mathematical instinct: if compatible information changes continuously from place to place, it should combine into one coherent global model. This counterexample says continuity alone is not enough.
- If it holds up
- Foundational: theories that build global objects from local data need stronger compatibility conditions, sharpening the logic behind sheaves and local-to-global reasoning.
- If it does not
- A promising local-to-global principle remains alive, and the attempted counterexample exposes which hypothesis actually guarantees assembly.
- Impact horizon
- Foundational · Logic · Category theory · Local-to-global models
- Version
- submitted 2026-08-26 12:08:01 UTC.
- Why we tracked it
- a compact negative answer with a claim-mappable construction.
- Highest-risk dependency
- a mismatch between the construction and Kanalas' hypotheses.
- Available artifacts
- New Slack discovery packet; no formal/code artifact listed.
- Current boundary
- Intake record only; examination not started.