Adapted sequences and polyhedral realizations of crystal bases for highest weight modules (Q1998958)

The \textit{polyhedral realization} is a combinatorial model to realize the \(U_q(\mathfrak{g})\)-crystals \(B(\infty)\) and \(B(\lambda)\) for a dominant integral weight \(\lambda\) [\textit{T. Nakashima} and \textit{A. Zelevinsky}, Adv. Math. 131, No. 1, 253--278 (1997; Zbl 0897.17014)] and [\textit{T. Nakashima}, J. Algebra 219, No. 2, 571--597 (1999; Zbl 0967.17011)]. This realization is described as an image of the \textit{Kashiwara embedding} \(\Psi_\iota: B(\infty) \hookrightarrow \mathbb{Z}_\iota^\infty\) (resp.\ \(\Psi_\iota^\lambda: B(\lambda) \hookrightarrow \mathbb{Z}_\iota^\infty[\lambda]\)), where \(\iota\) is an infinite sequence of entries in the index set \(I\) and \(\mathbb{Z}_\iota^\infty\) (resp.\ \(\mathbb{Z}_\iota^\infty[\lambda]\)) is an infinite \(\mathbb{Z}\)-lattice with a certain crystal structure determined by \(\iota\) (resp.\ \(\iota\) and \(\lambda\)). In the theory of polyhedral realizations, it is important to find an infinite sequence \(\iota\) to give simple and easy descriptions of the images \( \mathrm{Im}(\Psi_\iota)\) and \(\mathrm{Im}(\Psi_\iota^\lambda)\) as subsets of the infinite \(\mathbb{Z}\)-lattice. In the paper under review, when \(\mathfrak{g}\) is of a classical finite type, the authors prove that if the infinite sequence \(\iota\) satisfies the \textit{adaptedness condition}, then the pair \((\iota, \lambda)\) is \textit{ample} for any dominant integral weight. Under the ample condition on \((\iota, \lambda)\), there exists an algorithm to calculate \(\mathrm{Im}(\Psi_\iota^\lambda)\) ([T.~Nakashima, J. Algebra 219, No. 2, 571--597 (1999; Zbl 0967.17011)]). The authors also give an explicit description of the image \(\mathrm{Im}(\Psi_\iota^\lambda)\) and the value of \(\varepsilon_i^*\) in terms of column tableaux. This paper is a follow-up study to the previous author's paper [\textit{Y. Kanakubo} and \textit{T. Nakashima}, Commun. Algebra 48, No. 11, 4732--4766 (2020; Zbl 1484.17023)].