Conjecture on the multiplicative compatibility of the geometric isomorphisms

Let PP and QQ be the projective modules and let ψ(P)\psi(P) and ψ(Q)\psi(Q) be the corresponding subvarieties of the Springer fibre. The graded vector-space isomorphisms identify endomorphism and homomorphism spaces with cohomology groups:

Endg(P)H(ψ(P)),Homg(P,Q)H(ψ(P)ψ(Q)).\operatorname{End}_{\mathfrak{g}}(P)\cong H^*(\psi(P)),\qquad \operatorname{Hom}_{\mathfrak{g}}(P,Q)\cong H^*(\psi(P)\cap\psi(Q)).

Multiplicative compatibility conjecture. The isomorphism Endg(P)H(ψ(P))\operatorname{End}_{\mathfrak{g}}(P)\cong H^*(\psi(P)) is a ring homomorphism, and the isomorphism

Homg(P,Q)H(ψ(P)ψ(Q))\operatorname{Hom}_{\mathfrak{g}}(P,Q)\cong H^*(\psi(P)\cap\psi(Q))

is compatible with the corresponding left and right module structures over Endg(P)\operatorname{End}_{\mathfrak{g}}(P) and Endg(Q)\operatorname{End}_{\mathfrak{g}}(Q), identified with the cohomology rings of ψ(P)\psi(P) and ψ(Q)\psi(Q). This would strengthen the known graded-vector-space correspondence by recovering the multiplicative and module structures, but the source does not state a resolution.

Sources & referencesView supporting material

Primary source

Catharina Stroppel, “Parabolic category O, perverse sheaves on Grassmannians, Springer fibres and Khovanov homology”, arXiv:math/0608234 (2008).

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.