Cyclic sieving and cluster duality of Grassmannian (Q784867)

The paper concerns an example of Landau Ginzburg mirror symmetry related to Grassmannians and cluster algebras. In this set up, the mirror to a Grassmannian \(X\) is given by a cluster variety \(\breve{X}\), together with a ``superpotential'' \(W:\breve{X} \to \mathbf{C}\). The author introduces two spaces: ``the decorated Grassmannian'', and the ``decorated configuration space''. In rough terms, the decorated Grassmannian is a complement of an ample divisor in the affine cone over the ordinary Grassmannian. On the other hand the decorated configuration space parametrizes particular configuration of lines in a vector space. The main result of the paper shows that both of these spaces have natural cluster structures. More precisely, the decorated Grassmannian is an \(\mathcal{A}\)-cluster variety, whereas the decorated configuration space is an \(\mathcal{X}\)-cluster variety in the sense of Fock-Goncharov [\textit{V. V. Fock} and \textit{A. B. Goncharov}, Ann. Sci. Éc. Norm. Supér. (4) 42, No. 6, 865--930 (2009; Zbl 1180.53081)]. To show this, author applies the key result obtained by Gross-Hacking-Keel-Kontsevich [\textit{M. Gross} et al., J. Am. Math. Soc. 31, No. 2, 497--608 (2018; Zbl 1446.13015)], showing that there is a canonical basis for the coordinate ring of the decorated Grassmannian, parametrized by integral tropical points of the decorated configuration space, to describe this canonical basis and obtain the superpotential \(W\) on the decorated configuration space. Moreover, a comparision of this potential to the superpotential introduced by Rietsch-Williams as mirror of the Grassmannian is provided [\textit{K. Rietsch} and \textit{L. Williams}, Duke Math. J. 168, No. 18, 3437--3527 (2019; Zbl 1439.14142)], and it is shown that they are compatible. The author also proves a purely combinatorial result about plane partitions, called the ``cyclic sieving phenomenon'', by using the fact that the canonical basis for the coordinate ring of the decorated Grassmannian can be parametrized by integral tropical points.