The intersection-sheaf characterization of the canonical basis

Let P{\mathcal{P}} be the category of semisimple perverse sheaves on T(d){\mathfrak{T}(\mathbf{d})}' constructible with respect to the stratification by the Aw,r,n{A_{\mathbf{w},\mathbf{r},\mathbf{n}}}', and let θ:PT(d)\theta:{\mathcal{P}}\to\mathcal{T}(\mathbf{d}) be defined by

(θ(B))(x)=i(1)iqi(Bxi).(\theta(\mathbf{B}^{\bullet}))(x)=\sum_i(-1)^i q^i(\mathbf{B}_x^i).

For each irreducible component Zw\overline{Z_{\mathbf{w}}'}, let ICwIC_{\mathbf{w}}^{\bullet} be the associated intersection sheaf complex, and let M=M(d,w)M=M(\mathbf{d},\mathbf{w}). The intersection-sheaf characterization.

θ(ICw)=kw,rM,nM1gwd.\theta\left(IC_{\mathbf{w}}^{\bullet}\right)=k_{\mathbf{w},\mathbf{r}^M,\mathbf{n}^M}^{-1}g^{\mathbf{d}}_{\mathbf{w}}.

The factor records the normalization on the dense stratum Aw,rM,nMA_{\mathbf{w},\mathbf{r}^M,\mathbf{n}^M}'. Proving this characterization is expected to involve identifying Verdier duality with the involution Ψ(k)\Psi^{(k)} on T(d)\mathcal{T}(\mathbf{d}).

Sources & referencesView supporting material

Primary source

Alistair Savage, “The Tensor Product of Representations of U_q(sl_2) Via Quivers”, arXiv:math/0110248 (2002).

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.