Finite generation of subobjects in the geometric Hecke category

Let \Catgeom\Catgeom be the abelian category of objects equipped with compatible Hecke isomorphisms, and call an object finitely generated if it admits a surjection from an object of the form \CS1\Rg\CS^1\star \Rg with \CS1\Pervgr\CS^1\in \Pervgr. Finite-generation conjecture. A sub-object of a finitely generated object of \Catgeom\Catgeom is finitely generated. This is a noetherianity-type assertion for the geometric Hecke category; the supplied text gives no resolution or supporting evidence.

Sources & referencesView supporting material

Primary source

S. Arkhipov, R. Bezrukavnikov, A. Braverman, D. Gaitsgory and I. Mirković, “Modules over the small quantum group and semi-infinite flag manifold”, arXiv:math/0505280 (2005).

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.