Positive geometry conjecture for the nonnegative ABCT variety

At least 1 year old · documented by

Let Gr⁡(2,n)>0\operatorname{Gr}(2,n)_{>0} denote the positive part of the Grassmannian, let θ\theta be the rational Veronese map, and define the ABCT variety by

V(k,n):=θ(Gr⁡(2,n))‾⊂Gr⁡(k,n).V(k,n):=\overline{\theta(\operatorname{Gr}(2,n))}\subset\operatorname{Gr}(k,n).

Positive geometry conjecture. The closure

V(k,n)≥0:=θ(Gr⁡(2,n)>0)‾V(k,n)_{\geq 0}:=\overline{\theta(\operatorname{Gr}(2,n)_{>0})}

is a positive geometry.

The claim identifies the positive part of the Veronese image as a positive geometry, but the supplied text gives no result resolving it.

References

Primary source

Thomas Lam, “Moduli spaces in positive geometry”, arXiv:2405.17332 (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.