Perfect-basis realization for strongly positive parabolic bicrystals

About 20 years old · traced to

Let (X,p,f,Θ)({\bf X},{\bf p},f,\Theta) be a strongly positive parabolic (U,χst)(U,\chi^{st})-linear bicrystal of type wPw_P. A based g∨\mathfrak{g}^\vee-module is a pair (VΘ,BΘ)(V_\Theta,{\bf B}_\Theta) consisting of a g∨\mathfrak{g}^\vee-module and a chosen basis. Then there exist a based g∨\mathfrak{g}^\vee-module (VΘ,BΘ)(V_\Theta,{\bf B}_\Theta) and a g∨\mathfrak{g}^\vee-linear map

h:VΘ→C[G∨/P∨^]h:V_\Theta\to \mathbb{C}[\widehat {G^\vee/P^\vee}]

such that the associated normal crystal B(VΘ,BΘ)\mathcal{B}(V_\Theta,{\bf B}_\Theta) is isomorphic to Bf,Θ\mathcal{B}_{f,\Theta}, and h(BΘ)h({\bf B}_\Theta) is a perfect basis for C[G∨/P∨^]\mathbb{C}[\widehat {G^\vee/P^\vee}].

Perfect-basis realization conjecture. Such a based module and linear map exist.

The source presents this as an equivalent reformulation of the preceding conjecture and suggests that VΘV_\Theta should be the coordinate algebra of an affine cone over a projective G∨G^\vee-variety. It also notes that the Schubert-cell case supplies a suitable candidate, while not every G∨G^\vee-variety is expected to arise this way.

References

Primary source

Arkady Berenstein and David Kazhdan, “Geometric and unipotent crystals II: From unipotent bicrystals to crystal bases”, arXiv:math/0601391 (2007).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.