Representability conjecture for truncated affine Grassmannian double quotients

About 3 years old · traced to

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.

References

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.