Geometric crystals on unipotent groups and generalized Young tableaux (Q2575683): Difference between revisions

From the text: We define geometric/unipotent crystal structure on maximal unipotent subgroups of semi-simple algebraic groups. We show that in \(A_n\)-case, their ultra-discretizations coincide with crystals obtained by generalizing Young tableaux. Let \(B\) be a Borel subgroup of \(G\) and \(W\) be the Weyl group associated with \(G\). Any finite Schubert variety \(Xw \subset X := G/B\) has a natural geometric crystal structure. Then, in the semisimple setting we know that the whole flag variety \(X := G/B\) holds a geometric crystal structure. But, in general Kac-Moody setting, we do not have any natural geometric crystal structure on the flag variety \(X\). The opposite unipotent subgroup \(U^-\) can be seen as an open dense subset of \(X\). In this paper, we present some sufficient condition for existence of geometric (unipotent) crystal structure on \(U^-\) and then on \(X\), which is described as follows: if there exists a morphism \(T : U^- \to T\) satisfying a certain condition, then we obtain a \(U\)-morphism \(F : U^- \to B^-\) and then the associated unipotent crystal structure, which means the existence of a geometric crystal structure on \(U^- \). In semisimple cases, there exists such morphism which is given by matrix coefficients. In particular, for \(G = \text{SL}_{n+1}(\mathbb C)\) case, we present its geometric crystal structure explicitly and reveal that it corresponds to the crystals called generalized Young tableaux, which is a sort of ``limit'' of usual Young tableaux and forms a free \(\mathbb Z\)-lattice of rank \(n(n+1)/2\). In more general cases, e.g., affine cases, the existence of such morphisms is not yet known, which is our further problem.