Regular CW complex conjecture for the positive orthogonal Grassmannian

Let OG0(n,2n)\operatorname{OG}_{\ge0}(n,2n) be the positive orthogonal Grassmannian, with cell decomposition

OG0(n,2n)=τ(Πτ>0OG0(n,2n)),\operatorname{OG}_{\ge0}(n,2n)=\bigsqcup_{\tau}\left(\Pi^{>0}_\tau\cap \operatorname{OG}_{\ge0}(n,2n)\right),

where the cells are indexed by matchings τ\tau on [2n][2n], and the cell indexed by τ\tau is homeomorphic to Rxing(τ)\mathbb{R}^{\operatorname{xing}(\tau)}. Regular CW complex conjecture. The cell decomposition gives a regular CW complex structure on OG0(n,2n)\operatorname{OG}_{\ge0}(n,2n). Equivalently, the closure of each cell Πτ>0OG0(n,2n)\Pi^{>0}_\tau\cap \operatorname{OG}_{\ge0}(n,2n), as described by the closure relations, is homeomorphic to a closed xing(τ)\operatorname{xing}(\tau)-dimensional ball. This conjecture concerns the topology of the cell closures and is presented as analogous to a conjecture on positroid cell closures; the source does not state whether it has been resolved.

Sources & referencesView supporting material

Primary source

Pavel Galashin and Pavlo Pylyavskyy, “Ising model and the positive orthogonal Grassmannian”, arXiv:1807.03282 (2019).

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.