Total positivity for cominuscule Grassmannians. (Q2480545)

Let \(G\) be a semisimple linear algebraic group over \(\mathbb{C}\), split over \(\mathbb{R}\), with split torus \(T\). Identify \(G\) (and related spaces) with their real points and consider them with their real topology. Let \(\Phi\subset\Hom(T,\mathbb{R}^*)\) be the set of roots and choose a system of positive roots \(\Phi^+\). Denote by \(B^+\) the Borel subgroup corresponding to \(\Phi^+\). Let \(B^-\) be the opposite Borel subgroup such that \(B^+\cap B^-=T\). Let \(U^+\) and \(U^-\) be the unipotent radicals of \(B^+\) and \(B^-\). Denote the set of simple roots by \(\Pi=\{\alpha_i\mid i\in I\}\subset \Phi^+\). For each \(\alpha_i\in\Pi\) there is an associated homomorphism \(\varphi_i\colon\text{SL}_2\to G\), generated by \(x_i(t)\in U^+\), \(y_i(t)\in U^-\) and \(\alpha_i^\vee(t)\in T\). Let \(W=N_G(T)/T\) be the Weyl group. Let \(J\subset I\). The parabolic subgroup \(W_J\subset W\) corresponds to a parabolic subgroup \(P_J\) in \(G\), containing \(B^+\). Let \(\pi^J\colon G/B^+\to G/P_J\) be the natural projection. The totally nonnegative part \(U^-_{\geq 0}\) of \(U^-\) is defined to be the subgroup of \(U^-\) generated by \(y_i(t)\) for \(t\geq 0\). The totally nonnegative part \(G/P^J_{\geq 0}\) of the partial flag variety \(G/P^J\) is the closure of the image of \(U^-_{\geq 0}\) in \(G/P^j\). In this paper it is explored the combinatorics of the nonnegative part \(G/P^J_{\geq 0}\) of a cominuscule Grassmannian.