Conjecture on the multiplicative compatibility of the geometric isomorphisms

At least 19 years old · documented by

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:

End⁡g(P)≅H∗(ψ(P)),Hom⁡g(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 End⁡g(P)≅H∗(ψ(P))\operatorname{End}_{\mathfrak{g}}(P)\cong H^*(\psi(P)) is a ring homomorphism, and the isomorphism

Hom⁡g(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 End⁡g(P)\operatorname{End}_{\mathfrak{g}}(P) and End⁡g(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.

References

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.