The barcode resolution conjecture for compactly supported piecewise linear sheaves
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.
Sources & referencesView supporting material
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
Sign in to submit a solution.
No solutions have been posted yet.