Equivalence of mirror families constructed from toric degenerations of flag varieties (Q941085)

Let \(G\) be the algebraic group \(SL_{n+1}(\mathbb{C})\), \(B\) its Borel subgroup and \(P\) any parabolic subgroup of \(G\). \textit{V. V. Batyrev, I. Ciocan-Fontanine, B. Kim} and \textit{D. van Straten} [Acta Math. 184, No. 1, 1--39 (2000; Zbl 1022.14014)] gave a construction of a family of Calabi-Yau varieties which they conjecture to be mirror to the anticanonical hypersurfaces in the partial flag variety \(G/P\). Their construction is based on a certain toric degeneration of \(G/P\). \textit{V. V. Batyrev} extended this construction to the case of any small toric degeneration in [Collino, Alberto (ed.) et al., The Fano conference. Papers of the conference organized to commemorate the 50th anniversary of the death of Gino Fano (1871--1952), Torino, Italy, September 29--October 5, 2002. Torino: Università di Torino, Dipartimento di Matematica. 109--122 (2004; Zbl 1072.14070)]. In the article under review the author constructs families of varieties using degenerations of the full flag variety \(G/B\) described by \textit{V. Alexeev} and \textit{M. Brion} in [Sel. Math., New Ser. 10, No. 4, 453--478 (2004; Zbl 1078.14075)], called string degenerations. The string degenerations of \(G/B\) are indexed by reduced decompositions of \(\omega_0\), the longest element in the Weyl group of \(G\). Let \(\overline{\omega_0}\) be a reduced decomposition of \(\omega_0\). The author degenerates the pair \((G/B, -K_{G/B})\) to a toric variety \(X_{\Delta(\overline{\omega_0})}\) with a \(\mathbb{Q}\)-line bundle \(\mathcal{O}_{X_{\Delta(\overline{\omega_0})}}(1)\). He analyzes the string diagram associated to \(\overline{\omega_0}\), which leads to a combinatorial description of the polytope \(\Delta^*(\overline{\omega_0})\) dual to \(\Delta(\overline{\omega_0})\) and of the subfamily \(F_{\overline{\omega_0}}\) of \(|\mathcal{O}_{X_{\Delta^*(\overline{\omega_0})}}(1)|\). The main results are integrality of \(\Delta^*(\overline{\omega_0})\) and birationality of families \(F_{\overline{\omega_0}}\) for all decompositions \(\overline{\omega_0}\). The proofs are based on the classification of the changes in equations and inequalities defining \(\Delta^*(\overline{\omega_0})\) and \(F_{\overline{\omega_0}}\) caused by braid moves on the string diagrams. Finally, the author proves that his construction coincides with Batyrev's if the string degeneration for \(\overline{\omega_0}\) is small.