The barcode resolution conjecture for compactly supported piecewise linear sheaves

Let V\mathbb{V} be the ambient real vector space, let γ\gamma be the cone defining the sheaf-theoretic setting, and let FDerPL,γa(kV)F\in\operatorname{Der}_{\mathrm{PL},\gamma^{\circ a}}({\bf k}_{\mathbb{V}}) have compact support. A barcode γ\gamma-sheaf is an object in the essential image of the fully faithful functor from the category of γ\gamma-barcodes to the relevant derived category, hence is a finite direct sum of sheaves associated with barcode pieces.

Barcode resolution conjecture. There exists a bounded complex

FCb(Mod(kVγ))F^{\,\bullet}\in {\rm C}^{\mathrm{b}}\bigl(\operatorname{Mod}({\bf k}_{\mathbb{V}_\gamma})\bigr)

whose image in DerPL,γa(kV)\operatorname{Der}_{\mathrm{PL},\gamma^{\circ a}}({\bf k}_{\mathbb{V}}) is isomorphic to FF, and such that every component FjF^j of FF^{\,\bullet} is a compactly supported barcode γ\gamma-sheaf.

This conjecture predicts that every compactly supported piecewise linear γ\gamma-sheaf can be represented by a bounded complex built from barcode γ\gamma-sheaves. It concerns the failure of the barcode functor to be essentially surjective in dimensions greater than one by asserting essential surjectivity after passage to bounded complexes; the supplied source gives no resolution status.

Sources & referencesView supporting material

Primary source

Masaki Kashiwara and Pierre Schapira, “Piecewise linear sheaves”, arXiv:1805.00349 (2019).

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.