Unavoidable torsion in sparse lifts conjecture

A sparse chain complex over F2\mathbb{F}_2 has a sparse lift to integer coefficients when its boundary operators can be lifted while remaining sparse. Torsion obstruction conjecture. There exist sparse chain complexes over F2\mathbb{F}_2 that have a sparse lift to integer coefficients, but every sparse integer lift has some torsion in its homology and cohomology. Moreover, there exist sparse 11-complexes with trivial homology and cohomology for which every sparse integer lift has some torsion in homology and cohomology. This would exhibit torsion as an unavoidable obstruction even when a sparse lift exists and the original complex is homologically trivial; the conjecture remains 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.