Positive geometry conjecture for the nonnegative ABCT variety

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.

Sources & referencesView supporting material

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.