Conjecture on the orbit stratification of the convolution Grassmannian

About 3 years old · traced to

Let GG be the group appearing in the Pappas–Rapoport model, let L+GL^+G be its positive loop group, and let Gr⁡~μ∙\widetilde{\operatorname{Gr}}_{\mu_{\bullet}} be the convolution Grassmannian associated with the tuple of coweights μ∙\mu_{\bullet}. Write

Hecke⁡μ∙=[L+G\Gr⁡~μ∙]\operatorname{Hecke}_{\mu_{\bullet}}=\big[L^+G\backslash \widetilde{\operatorname{Gr}}_{\mu_{\bullet}}\big]

and let ∣Hecke⁡μ∙∣|\operatorname{Hecke}_{\mu_{\bullet}}| denote its underlying topological space.

Orbit-stratification conjecture. There exists a finite partially ordered set (X,<)(X,<) describing the L+GL^+G-orbits in Gr⁡~μ∙\widetilde{\operatorname{Gr}}_{\mu_{\bullet}}. Equivalently, there is a homeomorphism

∣Hecke⁡μ∙∣≃X,|\operatorname{Hecke}_{\mu_{\bullet}}|\simeq X,

where XX is endowed with the topology induced by <<.

This conjecture asserts that the orbit decomposition of the convolution Grassmannian gives a finite stratification whose underlying topological space is the finite poset of orbit strata. The supplied text does not state whether the conjecture has been proved or disproved.

References

Primary source

Diego Berger, “Stratification des variétés de Hilbert en présence de ramification”, arXiv:2301.05078 (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.