Representability conjecture for truncated affine Grassmannian double quotients

Suppose that GG is a reductive group split over kk, with a split Borel pair (B,T)(B,T), and let

LG=μX(T)domCμ\mathcal{L}G=\bigsqcup_{\mu\in X_*(T)_{\mathrm{dom}}}\mathcal{C}^{\mu}

be its Cartan decomposition. For a dominant cocharacter μ\mu, let Cμ\mathcal{C}^{\leq\mu} denote the closure of Cμ\mathcal{C}^{\mu}, and let K1\mathcal{K}_1 be the level-one congruence subgroup. Define the fpqc kk-sheaf

\prescript1C1μ:=K1\Cμ/K1.\prescript{}{1}{\mathcal{C}_1^{\leq\mu}}:=\mathcal{K}_1\backslash\mathcal{C}^{\leq\mu}/\mathcal{K}_1.

Representability conjecture. The fpqc sheaf \prescript1C1μ\prescript{}{1}{\mathcal{C}_1^{\leq\mu}} is represented by a normal kk-scheme. This predicts that the indicated truncated double quotient, which is presently introduced as an fpqc sheaf, admits a concrete geometric moduli interpretation as a normal scheme. The paper presents it as an open problem, and no resolution is supplied here.

Sources & referencesView supporting material

Primary source

Qijun Yan, “A relation between zip stacks and moduli stacks of truncated local shtukas”, arXiv:2308.12204 (2025).

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.