Conjecture on the orbit stratification of the convolution Grassmannian

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.

Sources & referencesView supporting material

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.