Towards Landau-Ginzburg models for cominuscule spaces via the exceptional cominuscule family
Peter Spacek,Charles Wang
DOI: https://doi.org/10.1016/j.jalgebra.2023.03.039
2023-07-07
Abstract:We present projective Landau-Ginzburg models for the exceptional cominuscule homogeneous spaces $\mathbb{OP}^2 = E_6^\mathrm{sc}/P_6$ and $E_7^\mathrm{sc}/P_7$, known respectively as the Cayley plane and the Freudenthal variety. These models are defined on the complement $X^\vee_\mathrm{can}$ of an anti-canonical divisor of the "Langlands dual homogeneous spaces" $\mathbb{X}^\vee = P^\vee\backslash G^\vee$ in terms of generalized Plücker coordinates, analogous to the canonical models defined for Grassmannians, quadrics and Lagrangian Grassmannians in <a class="link-https" data-arxiv-id="1307.1085" href="https://arxiv.org/abs/1307.1085">arXiv:1307.1085</a>, <a class="link-https" data-arxiv-id="1404.4844" href="https://arxiv.org/abs/1404.4844">arXiv:1404.4844</a>, <a class="link-https" data-arxiv-id="1304.4958" href="https://arxiv.org/abs/1304.4958">arXiv:1304.4958</a>. We prove that these models for the exceptional family are isomorphic to the Lie-theoretic mirror models defined in <a class="link-https" data-arxiv-id="math/0511124" href="https://arxiv.org/abs/math/0511124">arXiv:math/0511124</a> using a restriction to an algebraic torus, also known as the Lusztig torus, as proven in <a class="link-https" data-arxiv-id="1912.09122" href="https://arxiv.org/abs/1912.09122">arXiv:1912.09122</a>. We also give a cluster structure on $\mathbb{C}[\mathbb{X}^\vee]$, prove that the Plücker coordinates form a Khovanskii basis for a valuation defined using the Lusztig torus, and compute the Newton-Okounkov body associated to this valuation. Although we present our methods for the exceptional types, they generalize immediately to the members of other cominuscule families.
Algebraic Geometry,Representation Theory