Strong sparse non-liftability conjecture for chain complexes

A chain complex over F2\mathbb{F}_2 is sparse when every row and column of every boundary operator has O(1)O(1) nonzero entries; a sparse lift to Z\mathbb{Z} has uniformly bounded row and column 11 norms. A 22-complex has cells in degrees 00, 11, and 22. Strong sparse non-liftability conjecture. There exist sparse chain complexes over F2\mathbb{F}_2 with no sparse lift to integer coefficients, and there exist sparse 22-complexes over F2\mathbb{F}_2 with no sparse lift to integer coefficients. This conjecture asserts that the obstruction already occurs for general sparse complexes and, more strongly, for sparse 22-complexes; the paper presents it as open.

Sources & referencesView supporting material

Primary source

Michael Freedman and Matthew B. Hastings, “Building manifolds from quantum codes”, arXiv:2012.02249 (2021).

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.