0-coconnectivity conjecture for the loop scheme of a smooth affine scheme

About 15 years old · traced to

Let ZZ be an affine smooth scheme of finite type over the ground field, viewed as a 00-coconnective DG scheme, and let Z\qqartZ\qqart denote its loop DG scheme. 0-coconnectivity conjecture. The DG scheme Z\qqartZ\qqart is 00-coconnective. This is a special case of the question of which classical schemes have 00-coconnective loop schemes; the paper notes that the property can fail for non-smooth schemes but gives no resolution of this smooth affine case.

References

Primary source

Dennis Gaitsgory and Nick Rozenblyum, “DG Indschemes”, arXiv:1108.1738 (2023).

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.