The barcode resolution conjecture for compactly supported piecewise linear sheaves
Let be the ambient real vector space, let be the cone defining the sheaf-theoretic setting, and let have compact support. A barcode -sheaf is an object in the essential image of the fully faithful functor from the category of -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
whose image in is isomorphic to , and such that every component of is a compactly supported barcode -sheaf.
This conjecture predicts that every compactly supported piecewise linear -sheaf can be represented by a bounded complex built from barcode -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.
References
Primary source
Masaki Kashiwara and Pierre Schapira, “Piecewise linear sheaves”, arXiv:1805.00349 (2019).
Progress summary
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.