Subcanonicity conjecture for the Grothendieck topology of linear microbundles

Let (Top,T)(\mathbf{Top},T) be the underlying site and let (V,T)(\mathbb{V},\mathcal{T}) be the site obtained by augmenting it through the specified data (Set,C,D,E,H)(\mathbf{Set},C,D,E,H). A Grothendieck topology is subcanonical when every representable presheaf is a sheaf. Subcanonicity conjecture. The Grothendieck topology T\mathcal{T} is subcanonical.

If true, this would considerably simplify the formulation of calculus in V\mathbb{V}. The supplied source gives no resolution, so the conjecture remains open.

Sources & referencesView supporting material

Primary source

Tommaso Boccellari, “Linear Microbundles”, arXiv:2407.07831 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.