Cuspidal short exact sequence conjecture in non-simply laced affine type

Let Φ+\Phi_+ be the set of positive roots, and let ρΦ+re\rho\in\Phi_+^{\mathrm{re}}. A pair (β,γ)(\beta,\gamma) is a real minimal pair for ρ\rho when it is a minimal pair in the sense used for the root decomposition of ρ\rho. Write LρL_\rho for the cuspidal module associated with ρ\rho, and let L(β,γ)L(\beta,\gamma) denote the other module occurring in the induction product LβLγL_\beta\circ L_\gamma. For pβ,γp_{\beta,\gamma} as defined in the preceding discussion, the known sequence in the symmetric case is

0Lρpβ,γ(β,γ)LβLγL(β,γ)0.0 \longrightarrow L_\rho\langle p_{\beta,\gamma}-(\beta,\gamma)\rangle \longrightarrow L_\beta\circ L_\gamma \longrightarrow L(\beta,\gamma) \longrightarrow 0.

Cuspidal short exact sequence conjecture. For non-symmetric C\mathsf{C}, let ρΦ+re\rho\in\Phi_+^{\mathrm{re}}, and let (β,γ)(\beta,\gamma) be a real minimal pair for ρ\rho. Then there still is a short exact sequence of the form

0Lρpβ,γ(β,γ)LβLγL(β,γ)0.0 \longrightarrow L_\rho\langle p_{\beta,\gamma}-(\beta,\gamma)\rangle \longrightarrow L_\beta\circ L_\gamma \longrightarrow L(\beta,\gamma) \longrightarrow 0.

This proposes that the symmetric-type short exact sequence for cuspidal modules persists in non-simply laced affine types. The source notes that an analogous result is known for all finite types, but does not provide a proof or resolution for the affine non-symmetric case.

Sources & referencesView supporting material

Primary source

Alexander S. Kleshchev, “Cuspidal systems for affine Khovanov-Lauda-Rouquier algebras”, arXiv:1210.6556 (2012).

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.