Predicted socles and cosocles of exotic standard and costandard objects

Let GG be the reductive group and let X\boldsymbol{X} be its weight lattice. For λX\lambda \in \boldsymbol{X}, write dom(λ)\operatorname{dom}(\lambda) for the dominant representative, let δλ\delta_\lambda be the grading shift attached to λ\lambda, let m(λ)\mathsf{m}(\lambda) be the relevant minimal-weight operation, and let Eμ\mathfrak{E}_\mu denote the corresponding exotic simple object. Let Δ^λ\hat\Delta_\lambda and ^λ\hat\nabla_\lambda be the exotic standard and costandard objects. Predicted exotic socle and cosocle statement. The socle of Δ^λ\hat\Delta_\lambda is isomorphic to

E\accentsetm(λ)(2ρ,dom(λ))+δλ,\mathfrak{E}_{\accentset{-}{\mathsf{m}}(\lambda)}\langle -(2\rho^\vee,\operatorname{dom}(\lambda))+\delta_\lambda\rangle,

and the cokernel of its inclusion into Δ^λ\hat\Delta_\lambda contains no composition factor of the form Eμm\mathfrak{E}_\mu\langle m\rangle with μXmin\mu \in -\boldsymbol{X}_{\mathrm{min}}. The cosocle of ^λ\hat\nabla_\lambda is isomorphic to

E\accentsetm(λ)(2ρ,dom(λ))δλ,\mathfrak{E}_{\accentset{-}{\mathsf{m}}(\lambda)}\langle (2\rho^\vee,\operatorname{dom}(\lambda))-\delta_\lambda\rangle,

and the kernel of the quotient map onto this cosocle contains no composition factor of the form Eμm\mathfrak{E}_\mu\langle m\rangle with μXmin\mu \in -\boldsymbol{X}_{\mathrm{min}}. The statement predicts the socles and cosocles of exotic standard objects; the source notes that it is confirmed for G=SL2G=\mathrm{SL}_2, while the general case is left as a prediction.

Sources & referencesView supporting material

Primary source

Pramod N. Achar, “Notes on exotic and perverse-coherent sheaves”, arXiv:1409.7346 (2014).

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.