Stable sparse non-liftability conjecture for 2-complexes

A sparse 22-complex over F2\mathbb{F}_2 is a chain complex in degrees 00, 11, and 22 whose boundary operators are sparse. A stable lift is obtained by adding finitely many contractible cell pairs bj,bj+1b_j,b_{j+1}, with bj+1=bj\partial b_{j+1}=b_j, bj=0\partial b_j=0, and Tbj+1=0\partial^T b_{j+1}=0, and then lifting the stabilized complex to integer coefficients. Stable sparse non-liftability conjecture. There exist sparse 22-complexes over F2\mathbb{F}_2 that have no sparse stable lift to integer coefficients. This is stronger than ordinary non-liftability because stabilization by finitely many contractible pairs is also allowed; the paper leaves the claim 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.