Perfect-basis realization for strongly positive parabolic bicrystals

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 GG^\vee-variety. It also notes that the Schubert-cell case supplies a suitable candidate, while not every GG^\vee-variety is expected to arise this way.

Sources & referencesView supporting material

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.